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