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