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