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