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_driverlog01cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog01cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 11737
o 11737
o 1376
o 1117
c 40 branches 503 propagates
c total generalized unit propagation = 97, success = 15.46%
s OPTIMUM FOUND
c Optimal Solution = 1117
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 -174 175 176 -177 178 -179 180 -181 182 -183 -184 185 -186 187 -188 189 -190 191 -192 193 -194 195 -197 -199 -200 -202 -203 -205 -206 -208 210 -212 -213 -214 216 -217 -218 -220 -221 -222 -224 -225 -227 -228 -230 -231 -233 -234 236 -237 -238 240 -241 -242 -244 246 248 -250 -252 -253 255 256 -257 -259 -260 -261 -263 -264 -266 -267 -269 -270 -272 -273 275 -276 -277 279 -280 -281 -283 285 287 -289 -290 -292 294 -296 -297 299 300 -301 -303 -304 -306 -307 -309 -310 -312 -313 315 -316 -317 319 -320 -321 -323 325 327 -329 -330 332 -334 -336 -337 -339 -340 -342 -343 -345 -346 -348 -349 351 -352 -353 355 -356 -357 -359 361 363 365 -366 -368 370 -372 -374 -376 -378 380 382 384 386 388 390 196 198 201 204 207 209 211 215 219 223 226 229 232 235 239 243 245 247 249 251 254 258 262 265 268 271 274 278 282 284 286 288 291 293 295 298 302 305 308 311 314 318 322 324 326 328 331 333 335 338 341 344 347 350 354 358 360 362 364 367 369 371 373 375 377 379 381 383 385 387 389
1.469u 0.008s 0:01.49 97.9%	0+0k 0+0io 0pf+0w