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