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