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