Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 21
o 21
c first lower bound: 0
c 159185 branches 225447 propagates
c total generalized unit propagation = 320502, success = 49.66%
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
107.912u 0.013s 1:48.53 99.4%	0+0k 0+0io 0pf+0w