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