loading SCIP... n: 60 m: 10 packed: 6 density: 30 nodes: 0 solverTime: 32 buildTime: 0 solved: false 6 40 48 12 26 34 13 18 41 16 17 36 24 42 51 28 43 45