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