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