loading SCIP... n: 60 m: 11 packed: 6 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 23 41 3 13 54 6 10 36 15 38 59 28 39 56 29 34 44