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_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C800_H100_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 47
o 45
o 44
o 42
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 27
o 26
o 25
o 24
o 23
o 22
o 21
o 20
c 316863 branches 405770 propagates
c total generalized unit propagation = 648303, success = 48.87%
s OPTIMUM FOUND
c Optimal Solution = 20
v 73 -72 62 22 80 -87 -82 79 -57 -12 39 -58 14 -5 47 50 -18 84 81 -21 91 -3 6 92 60 38 71 -97 -78 66 -4 76 51 24 -95 -52 -63 86 -15 37 -70 -100 67 29 85 -36 -28 -35 -26 -46 -2 41 19 89 -25 33 -11 90 8 94 -16 9 20 10 -44 65 -27 -99 -43 93 -56 74 32 1 -98 68 75 -40 -61 88 -23 13 34 -54 31 -83 48 -64 -59 69 -53 -42 -45 30 55 49 -96 77 17 7
199.555u 0.002s 3:20.84 99.3%	0+0k 0+0io 0pf+0w