Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_min3sat_c70v350l3_clq1-c2mv70c350l3g15.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g15.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 55
o 55
c first lower bound: 22
o 54
o 53
o 52
o 51
c 96419 branches 1914140 propagates
c total generalized unit propagation = 194496, success = 49.53%
s OPTIMUM FOUND
c Optimal Solution = 51
v -61 222 119 -256 29 -191 -60 80 140 -183 -1 188 223 -279 -313 199 -329 39 -176 -212 -309 -85 312 -112 -234 316 -162 292 -335 -14 -297 26 -159 -48 -124 190 92 -252 -318 -105 -116 236 -280 -303 25 -34 111 -331 181 -249 86 -215 -341 -94 -241 -72 -75 270 89 -293 -211 -242 340 -44 204 70 -349 121 -263 -28 -97 125 134 -149 -6 198 -54 55 -317 23 -103 -132 -27 251 50 -275 83 -194 84 -87 -91 327 -65 -178 278 295 -301 -19 -128 281 342 -346 -347 -17 68 -95 -110 207 -257 -9 -240 -20 96 -141 104 -155 -201 -45 114 195 -213 -73 -76 288 -315 -232 289 -5 -15 259 -56 -254 -10 -74 120 -228 146 -314 -64 -154 -82 138 -238 -169 243 18 -40 -208 88 -196 -81 -205 -320 -135 -143 -24 148 -160 158 -173 174 -269 -299 -151 210 33 -224 -324 -233 -332 164 -255 -310 -272 -300 -7 -166 333 -59 -171 334 -37 -185 296 -307 -277 337 108 -161 -175 -100 -156 168 -172 290 -328 330 -67 -217 -21 41 -221 107 -126 -77 -271 -294 47 -137 -43 163 219 -304 -142 -153 192 203 -235 -258 -53 165 -106 -239 -78 90 -267 -93 -286 -338 -170 -225 -344 -16 -260 -227 348 -12 -145 -226 -42 323 229 -285 187 -245 -244 -339 343 -179 220 -13 -32 -46 -247 -276 189 -250 -22 -246 -262 -273 -98 131 -157 -325 -57 -115 -129 -180 -284 -8 -218 -62 -118 265 -167 216 147 -266 -36 -336 -230 287 -305 -274 -350 -206 237 -136 -321 -49 -71 -177 -298 -79 -109 -282 -326 -35 -306 -130 -139 -150 -186 -38 -69 58 -99 -66 -123 -214 261 -4 -202 -197 184 -311 -30 -144 -31 152 -117 -264 -209 345 -122 -133 -248 -268 51 -283 3 -52 -11 -231 -291 -101 -322 -2 -113 -182 -308 63 -302 -253 -193 -127 102 -200 319
158.187u 0.024s 2:39.24 99.3%	0+0k 0+0io 0pf+0w