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