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
o 78
o 76
o 75
o 74
o 72
o 70
o 69
o 68
o 67
o 66
o 65
o 64
o 63
o 61
c 560215 branches 473 propagates
c total generalized unit propagation = 1120878, success = 49.98%
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
545.783u 0.002s 9:06.39 99.8%	0+0k 0+0io 0pf+0w