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