SOLVED.txt

c first lower bound: 170
o 194
o 192
o 190
o 189
o 188
o 187
o 186
o 185
o 184
c 95 branches 640 propagates
c total generalized unit propagation = 786, success = 6.49%
s OPTIMUM FOUND
c Optimal Solution = 184
v -165 157 155 -140 -128 -119 -118 116 -112 98 86 -83 -80 -53 51 46 -37 28 -16 -5 3 -58 -14 -148 -142 -123 -101 -77 59 -42 -35 -1 -38 -8 163 -149 106 -71 -24 -88 -67 -47 138 -57 -124 -54 18 -150 143 -52 -160 -145 -102 -134 -113 -159 -78 133 -91 48 -172 -167 147 -144 79 -25 21 -100 -76 19 -61 -156 10 -22 -13 -60 -69 151 -87 -17 -153 117 -26 -12 171 -73 -168 -85 -158 -56 -141 -2 -6 -72 -23 -162 -170 -126 -125 -68 40 64 -62 36 -65 110 -166 -81 -136 27 31 -105 -114 169 -63 -29 -20 -55 -43 -99 70 -132 -49 -4 -104 -103 -95 -39 -146 -94 127 -129 -107 32 -44 -41 -15 111 -96 -66 45 -109 131 -137 -120 -11 -34 74 -115 -92 122 -50 -161 -130 -89 -154 -152 -9 -30 -108 -33 -135 -82 -164 -90 -97 -121 93 -7 -139 84 -75