loading SCIP... n: 60 m: 13 packed: 8 density: 40 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 6 19 1 5 54 2 10 24 4 41 48 13 29 56 20 25 49 30 32 43 44 51 53