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