Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C800_H100_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C800_H100_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 46
o 44
o 43
o 41
o 40
o 39
o 38
o 37
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
o 28
o 26
o 25
o 24
o 23
o 22
c 128452 branches 214074 propagates
c total generalized unit propagation = 261342, success = 49.08%
s OPTIMUM FOUND
c Optimal Solution = 22
v 94 85 14 71 -44 93 -77 -27 -56 -59 -15 68 -88 -21 -65 -25 5 -35 -32 34 -1 -92 36 100 79 -66 -20 67 74 -39 52 -62 -95 82 58 46 54 -73 -3 -18 24 -76 -41 -40 -28 -60 -23 13 -86 38 -89 -57 -98 19 61 47 78 -72 55 37 -63 64 -70 -97 30 11 87 45 26 7 -29 -42 49 -16 31 43 8 -91 -22 -17 -48 81 -4 -75 33 -51 12 -99 -2 -90 -83 -80 -53 69 9 -10 50 -84 96 -6
82.754u 0.004s 1:23.30 99.3%	0+0k 0+0io 0pf+0w