loading SCIP... n: 40 m: 70 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 7 36 2 6 35 4 20 22 5 11 19 8 12 39 9 15 31 10 13 33 18 27 32 21 25 26 29 37 38