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