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