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