loading SCIP... n: 60 m: 18 packed: 7 density: 35 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 40 57 2 13 26 10 17 23 14 44 51 15 34 38 16 45 59 18 30 53