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_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_ls/akmaxsat_ls
c initialized bestCost to 20
o 20
c 96806 branches 73399 propagates
c total generalized unit propagation = 267012, success = 36.26%
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
110.064u 0.009s 1:50.20 99.8%	0+0k 0+0io 0pf+0w