loading SCIP... n: 60 m: 7 packed: 6 density: 30 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 9 33 1 15 59 13 44 47 16 35 49 23 32 43 39 46 54