loading SCIP... n: 60 m: 127 packed: 17 density: 85 nodes: 0 solverTime: 172 buildTime: 0 solved: false 2 20 57 4 34 51 5 47 59 6 13 33 7 31 50 8 36 48 9 15 17 10 12 23 16 18 27 19 32 54 21 40 43 24 28 52 25 26 35 29 30 55 38 42 46 39 41 58 45 49 56