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