loading SCIP... n: 60 m: 50 packed: 10 density: 50 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 53 56 5 19 43 6 44 47 13 25 39 14 30 45 17 48 51 20 22 32 24 52 59 31 36 50 35 49 58