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