loading SCIP... n: 60 m: 12 packed: 8 density: 40 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 3 23 1 19 22 2 32 48 4 5 53 9 25 59 12 34 43 14 37 46 16 40 54