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