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