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