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