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_pmax2sat_hi_file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1032
o 1032
c first lower bound: 852
c 1181 branches 4043 propagates
c total generalized unit propagation = 2631, success = 44.89%
s OPTIMUM FOUND
c Optimal Solution = 1032
v 83 -53 -41 139 -90 -29 81 126 -142 -114 -35 80 -36 18 -109 -22 -95 -63 -31 115 -85 -86 122 -78 124 45 98 64 97 93 143 87 -32 -147 117 -120 -91 -137 57 -55 47 8 13 -130 73 66 43 -104 -25 136 42 131 -44 20 140 -16 -2 116 89 65 128 148 50 -129 -14 -11 107 -27 -72 -9 33 58 123 -17 103 106 -110 67 52 -99 -119 92 -132 141 28 -96 -138 -62 -134 94 -121 -7 -68 -56 40 -111 15 -88 38 144 -46 84 23 -146 -74 -71 77 150 -49 75 69 -105 102 127 48 10 -112 -39 -145 135 -5 21 1 -60 12 -24 34 149 -37 59 118 -108 -133 -101 113 -82 4 54 51 -3 26 61 -76 -79 70 -19 30 125 -100 -6
4.075u 0.011s 0:04.11 99.2%	0+0k 0+0io 0pf+0w