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