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