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