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