loading SCIP... n: 60 m: 56 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 21 37 3 26 45 4 16 52 5 13 56 6 39 49 8 23 36 9 19 38 12 50 51 15 22 59 17 18 43 25 29 30 35 41 53