loading SCIP... n: 40 m: 41 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 4 27 3 28 36 5 13 20 6 12 17 7 18 22 10 14 31 19 26 37 25 35 39 29 32 38