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