loading SCIP... n: 60 m: 21 packed: 9 density: 45 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 17 23 3 39 51 5 25 32 6 31 42 12 28 33 14 40 54 18 21 22 20 26 52 35 37 56