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_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_ls/akmaxsat_ls
c initialized bestCost to 20
o 20
c first lower bound: 0
c 127937 branches 177888 propagates
c total generalized unit propagation = 257987, success = 49.59%
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
81.810u 0.009s 1:21.90 99.8%	0+0k 0+0io 0pf+0w