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