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