loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 8 12 2 7 9 3 6 18 4 21 27 5 17 24 13 37 38 22 25 39 29 31 33 32 34 36