Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_bwt3cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/bwt3cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1703
o 1703
o 177
c 10 branches 261 propagates
c total generalized unit propagation = 8, success = 87.50%
s OPTIMUM FOUND
c Optimal Solution = 177
v 1 -2 -3 4 -5 6 -7 8 -9 -10 -11 -12 -13 -14 15 16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 35 -36 37 -38 39 -40 41 -42 43 -44 45 -46 -47 48 49 -50 51 -52 53 -54 -55 56 -57 -58 59 -60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 73 -74 -75 -76 -77 -78 -79 -80 81 -82 -83 84 -85 -86 -87 88 -89 -90 -91 92 -93 94 -95 96 -97 98 -99 100 -101 -102 103 104 -105 106 -107 108 -109 110 -111 112 -113 -114 115 116 -117 118 -119 -120 121 122 -123 -124 125 126 -127 128 -129 -130 131 -133 135 137 -138 -140 -141 143 144 145 146 -148 -149 -150 -151 -153 -154 -155 -156 -157 -158 160 -161 -162 -163 -164 -165 -167 -169 -171 -173 -175 -177 179 -181 -183 -185 -186 -188 -189 -191 -192 194 195 196 197 198 199 -200 -201 -202 -203 -205 -206 -207 -208 210 211 212 -213 215 -216 -217 -218 -220 -221 223 -224 -226 -228 -230 -232 234 -236 -238 -240 -242 -244 246 -248 -250 252 -254 256 -258 -260 262 132 134 136 139 142 147 152 159 166 168 170 172 174 176 178 180 182 184 187 190 193 204 209 214 219 222 225 227 229 231 233 235 237 239 241 243 245 247 249 251 253 255 257 259 261
0.727u 0.009s 0:00.75 96.0%	0+0k 0+0io 0pf+0w