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