Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-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/akmaxsat
c first lower bound: 21
o 70
o 69
o 68
o 67
o 66
o 65
o 64
o 63
o 62
o 61
o 60
o 59
o 58
o 57
c 563738 branches 11380608 propagates
c total generalized unit propagation = 1131422, success = 49.80%
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
1133.502u 0.043s 19:00.67 99.3%	0+0k 0+0io 0pf+0w