Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-9.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-9.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 74
o 72
o 71
o 68
o 67
o 66
o 65
o 64
o 63
o 62
o 61
c 581770 branches 383 propagates
c total generalized unit propagation = 1163693, success = 49.99%
s OPTIMUM FOUND
c Optimal Solution = 61
v 46 9 56 -22 16 -51 -42 18 58 -41 23 4 40 -67 -69 -12 -10 -1 -30 -39 -3 52 -49 -2 -6 -21 -14 20 -47 -38 7 -27 44 -17 -57 -61 50 -24 13 11 -35 -54 37 15 70 19 33 25 -48 32 53 -36 -63 31 62 65 60 8 5 -34 -29 28 -26 59 66 64 -55 -45 -68 43
511.067u 0.011s 8:31.32 99.9%	0+0k 0+0io 0pf+0w