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