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