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