loading SCIP... n: 60 m: 7 packed: 5 density: 25 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 5 36 8 10 58 16 28 42 19 22 52 21 48 49