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