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