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