loading SCIP... n: 60 m: 20 packed: 8 density: 40 nodes: 0 solverTime: 16 buildTime: 0 solved: false 3 10 12 8 46 47 9 32 52 11 18 43 19 24 59 21 35 45 26 39 56 33 34 58