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