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