loading SCIP... n: 60 m: 11 packed: 6 density: 30 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 36 52 6 31 46 7 20 21 23 28 37 29 35 51 34 38 59