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