loading SCIP... n: 60 m: 13 packed: 5 density: 25 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 33 55 11 57 59 21 31 51 22 28 37 34 48 52