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