loading SCIP... n: 40 m: 33 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 15 30 4 5 23 6 11 13 9 35 37 10 24 39 12 18 25 16 21 31 29 33 36