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