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