loading SCIP... n: 40 m: 141 packed: 12 density: 92 nodes: 0 solverTime: 235 buildTime: 0 solved: false 0 1 15 3 34 36 4 18 27 5 7 31 6 21 23 8 24 39 9 14 35 10 17 26 12 20 33 16 19 22 25 28 37 30 32 38