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