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