loading SCIP... n: 60 m: 13 packed: 6 density: 30 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 14 29 4 10 48 8 20 52 12 41 53 28 35 38 30 50 57