loading SCIP... n: 40 m: 186 packed: 13 density: 100 nodes: 0 solverTime: 125 buildTime: 0 solved: true 0 2 15 1 23 33 3 6 11 4 14 39 5 16 24 7 28 37 8 19 21 9 17 32 10 13 22 12 18 25 20 26 35 27 29 31 30 34 38