loading SCIP... n: 60 m: 16 packed: 10 density: 50 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 11 27 2 38 55 4 10 25 6 33 41 7 50 58 8 31 40 14 29 35 19 20 28 22 57 59 24 32 44