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