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