loading SCIP... n: 60 m: 19 packed: 8 density: 40 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 47 48 4 7 53 8 19 55 9 14 26 12 27 49 17 25 56 22 41 42 32 39 43