loading SCIP... n: 60 m: 127 packed: 17 density: 85 nodes: 0 solverTime: 110 buildTime: 0 solved: false 0 15 37 1 26 51 3 25 40 5 12 14 6 29 47 7 21 32 8 11 36 9 35 56 10 38 58 13 17 33 16 24 42 18 20 48 22 49 53 27 31 54 28 50 52 34 45 46 41 57 59