loading SCIP... n: 60 m: 13 packed: 6 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 25 59 1 11 28 4 22 37 12 45 51 14 42 50 24 27 56