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