loading SCIP... n: 60 m: 31 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 6 58 1 16 44 3 4 24 9 10 28 11 19 36 23 30 39 37 40 56 46 49 59