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