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