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