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