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