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