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