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