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_depot01bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/depot01bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 13841
o 13841
o 2175
o 1965
c 59 branches 1955 propagates
c total generalized unit propagation = 285, success = 2.46%
s OPTIMUM FOUND
c Optimal Solution = 1965
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 132 -133 -134 135 -136 137 -138 139 140 -141 -142 143 144 -145 146 -147 148 -149 150 -151 152 -153 154 -155 -156 157 158 -159 160 -161 -162 163 164 -165 -166 167 168 -169 170 -171 -172 173 175 176 178 179 181 -182 184 -186 -187 189 -190 -192 -193 195 -196 198 -199 -201 -202 -203 205 206 -207 -209 -210 -211 -213 -214 -216 -217 219 221 -222 -223 -224 226 227 -228 230 -232 -233 -235 -237 -239 -241 243 -245 247 -249 -250 -252 -253 255 -256 -258 -259 -260 262 -263 -264 -266 -267 -268 -270 -271 -272 -274 -275 -277 -278 280 282 283 284 -285 287 -288 -289 -291 -292 -293 295 -297 -298 -300 302 -304 -306 308 310 312 -314 316 -318 -320 -322 -324 -326 -328 330 -332 -334 336 -338 340 -342 -344 346 174 177 180 183 185 188 191 194 197 200 204 208 212 215 218 220 225 229 231 234 236 238 240 242 244 246 248 251 254 257 261 265 269 273 276 279 281 286 290 294 296 299 301 303 305 307 309 311 313 315 317 319 321 323 325 327 329 331 333 335 337 339 341 343 345
1.386u 0.007s 0:01.41 97.8%	0+0k 0+0io 0pf+0w