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