loading SCIP... n: 60 m: 9 packed: 6 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 24 38 2 23 31 10 15 39 20 22 46 26 48 59 30 41 55