loading SCIP... n: 60 m: 12 packed: 6 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 36 48 4 30 55 5 6 50 11 21 53 17 31 37 22 29 35