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