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