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