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