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