loading SCIP... n: 60 m: 85 packed: 16 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 9 2 40 50 3 13 46 4 20 27 6 17 24 7 11 18 8 32 56 12 26 42 14 44 57 15 29 30 16 25 58 19 36 45 21 39 52 22 38 54 33 43 59 37 51 53