Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-8.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-8.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 19
o 19
c 37280 branches 167 propagates
c total generalized unit propagation = 74727, success = 49.89%
s OPTIMUM FOUND
c Optimal Solution = 19
v -59 -57 44 54 -26 -65 -76 53 52 -22 -49 -35 -3 -10 -41 34 -38 -48 -36 56 -77 -28 -1 -46 7 -11 21 45 74 20 -60 43 -78 -63 64 -4 73 -27 -66 -61 -13 -37 25 -72 -67 -6 -68 55 14 79 -5 23 -75 -69 -24 -50 15 -62 -40 32 51 2 -8 18 -16 47 -19 -58 -80 30 9 33 42 39 -70 71 -17 -29 -31 12
23.190u 0.009s 0:23.35 99.3%	0+0k 0+0io 0pf+0w