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