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