loading SCIP... n: 60 m: 120 packed: 16 density: 80 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 31 46 1 7 21 2 42 59 3 4 58 5 8 44 6 25 35 9 37 38 10 45 51 11 17 54 12 48 53 13 30 39 14 19 43 16 29 34 18 20 28 24 32 36 33 47 56