loading SCIP... n: 40 m: 159 packed: 12 density: 92 nodes: 0 solverTime: 172 buildTime: 0 solved: false 0 1 32 2 12 26 3 9 11 4 6 10 5 14 38 7 27 28 8 20 21 13 29 33 15 19 22 16 30 37 17 18 24 35 36 39