loading SCIP... n: 60 m: 10 packed: 7 density: 35 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 6 34 2 7 40 4 12 48 5 33 45 10 32 37 13 16 22 14 25 58