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