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