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