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