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