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-3.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-3.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 26
o 25
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
o 13
o 12
o 11
c 11727 branches 1663 propagates
c total generalized unit propagation = 25073, success = 46.60%
s OPTIMUM FOUND
c Optimal Solution = 11
v 55 -31 -42 60 -32 10 30 4 -66 45 -27 35 -68 22 -44 -52 63 -50 29 -11 -47 -37 -69 41 -36 -8 -49 51 62 -25 23 -2 77 -28 -13 21 76 39 -16 -15 67 9 -26 -59 -3 57 71 5 70 -38 73 24 -53 18 65 34 -19 58 7 14 6 46 54 43 72 12 -75 -64 80 -56 61 17 48 -78 20 33 -1 74 79 40
5.799u 0.000s 0:05.80 99.8%	0+0k 0+0io 0pf+0w