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