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