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