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