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