loading SCIP... n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 18 32 4 6 27 5 9 23 7 20 36 10 37 39 11 13 15 12 19 33 17 28 31 25 30 35