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-6.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-6.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 86
o 85
o 84
o 82
o 80
o 79
o 78
o 76
o 75
o 74
o 72
o 71
o 70
o 69
o 67
o 66
c 1723947 branches 2873 propagates
c total generalized unit propagation = 3450375, success = 49.96%
s OPTIMUM FOUND
c Optimal Solution = 66
v 70 38 39 35 3 9 -40 34 -65 -66 11 -5 -30 55 16 25 -62 4 14 -24 -53 -13 50 -20 -42 -57 -37 54 61 63 -44 19 12 10 45 -58 -47 1 2 43 33 67 64 41 -49 32 -27 -17 -26 22 -60 21 52 -28 -51 31 6 56 -29 -48 15 8 -18 46 -7 -59 -36 68 23 69
1365.746u 0.063s 22:53.27 99.4%	0+0k 0+0io 0pf+0w