loading SCIP... n: 60 m: 16 packed: 7 density: 35 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 5 35 7 52 59 10 29 34 13 30 41 14 15 27 16 19 33 20 21 42