Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 28
o 27
o 26
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
o 13
o 12
c 12582 branches 1445 propagates
c total generalized unit propagation = 26567, success = 47.20%
s OPTIMUM FOUND
c Optimal Solution = 12
v 28 -35 54 79 27 56 45 -58 -65 39 -74 -63 6 1 52 -75 -31 48 -3 77 -62 73 -69 -33 11 -18 29 38 66 -30 -20 32 -22 -24 -41 -5 -40 -78 71 15 61 51 -14 46 2 -67 9 13 68 60 17 37 49 80 -64 19 16 55 36 -25 26 -10 12 -70 8 -50 34 4 -72 -47 53 -44 23 -57 43 42 7 -76 21 -59
6.785u 0.001s 0:06.78 100.0%	0+0k 0+0io 0pf+0w