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