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