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