loading SCIP... n: 40 m: 33 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 5 15 4 12 29 8 23 36 9 19 37 10 26 32 14 31 35 20 22 39 21 24 30