loading SCIP... n: 60 m: 22 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 4 59 5 8 12 7 29 37 10 33 35 14 38 51 21 28 42 23 27 57 36 45 55