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