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