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