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