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