loading SCIP... n: 60 m: 19 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 8 25 2 3 37 7 18 46 9 28 57 11 41 49 20 23 52 33 43 51 36 54 55