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