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