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
o 66
o 65
o 63
o 62
o 58
o 57
o 56
o 54
o 53
o 52
o 50
o 49
o 48
o 47
o 46
o 45
o 44
o 43
o 42
o 41
c 1677960 branches 1369 propagates
c total generalized unit propagation = 3357232, 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
1310.863u 0.474s 21:52.00 99.9%	0+0k 0+0io 0pf+0w