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