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