loading SCIP... n: 60 m: 20 packed: 10 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 13 29 4 11 38 6 7 34 8 40 51 10 19 59 14 45 48 21 26 36 24 35 42 31 44 54 39 43 58