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