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