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