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