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