loading SCIP... n: 40 m: 33 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 4 9 2 26 29 3 19 39 5 8 30 6 15 16 7 11 36 17 18 35 20 31 33