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