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