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