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_warehouses_warehouse1.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/warehouse1.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 869624
o 869624
c first lower bound: 667965
o 868963
o 867186
o 865748
o 863713
o 863418
o 862862
o 861424
o 859389
o 858797
o 857612
o 857224
o 856174
o 855189
o 854139
o 854048
o 852013
o 851718
o 851294
o 849259
o 849168
o 847133
o 846880
o 845695
o 843660
o 843365
o 842573
o 841976
o 840566
o 839761
o 838503
o 837093
o 836377
o 834967
o 833917
o 833622
o 830968
o 828690
o 828100
o 827558
o 826968
o 826508
o 825918
o 825841
o 825251
o 824024
o 820551
o 819366
o 817240
o 816396
o 813004
o 810726
o 808600
o 805127
o 799761
o 797635
o 796450
o 795400
o 788048
o 785380
o 785228
o 784447
o 784152
o 783102
o 778786
o 776660
o 775905
o 775610
o 775361
o 771888
o 769310
o 769015
o 767303
o 763830
o 763535
o 758580
o 758285
o 757395
o 757100
o 737310
o 730567
c 2676 branches 26176 propagates
c total generalized unit propagation = 6746, success = 18.74%
s OPTIMUM FOUND
c Optimal Solution = 730567
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 -196 -197 198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 382 383 -384 385 -386 387 -388 389 -390 391 -392 393 -394 -395 396 397 -398 399 -400 401 -402 403 -404 405 -406 407 -408 409 -410 411 -412 413 -414 415 -416 417 -418 420 421 422 423 424 425 426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 496 497 498 499 500 501 502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 515 516 517 518 519 520 521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 534 535 536 537 538 539 540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 553 554 555 556 557 558 559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 591 592 593 594 595 596 597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 610 611 612 613 614 615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 800 -802 -804 -806 -808 -810 -812 814 -816 -818 -820 -822 -824 -826 -828 -830 -832 -834 -836 419 438 457 476 495 514 533 552 571 590 609 628 647 666 685 704 723 742 761 780 799 801 803 805 807 809 811 813 815 817 819 821 823 825 827 829 831 833 835
15.616u 0.028s 0:15.66 99.8%	0+0k 0+0io 0pf+0w