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