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