loading SCIP... n: 60 m: 84 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 34 54 2 4 35 3 30 41 5 40 53 6 20 57 7 9 45 8 11 46 10 50 52 12 39 58 14 24 36 15 25 49 17 33 43 21 23 48 22 44 47 26 37 38 29 31 32