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