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