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