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