loading SCIP... n: 60 m: 17 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 18 25 4 13 58 5 14 40 6 8 27 7 26 54 15 19 36 20 51 59 39 43 55