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