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