Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_bwt4bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/bwt4bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 355
c 425 branches 59889 propagates
c total generalized unit propagation = 45, success = 97.78%
s OPTIMUM FOUND
c Optimal Solution = 355
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 419 -420 421 -422 423 -424 425 -426 427 -428 429 -430 431 -432 433 -434 435 -436 437 -438 439 -440 441 -442 443 -444 445 -446 -447 448 449 -450 451 -452 453 -454 455 -456 457 -458 459 -460 461 -462 -463 464 -465 -466 467 -468 -469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 481 -482 -483 -484 -485 -486 -487 -488 -489 -490 491 -492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 504 -505 -506 -507 -508 -509 510 -511 -512 -513 -514 515 -516 -517 518 -519 -520 -521 522 -523 -524 525 -526 527 -528 529 -530 531 -532 533 -534 535 -536 537 -538 -539 540 541 -542 543 -544 545 -546 547 -548 549 -550 551 -552 553 -554 555 -556 557 -558 559 -560 561 -562 -563 564 565 -566 567 -568 -569 570 571 -572 -573 574 -575 576 -577 578 579 -580 -581 582 -583 584 -586 -588 590 592 -593 595 -596 -598 -599 601 602 603 604 605 -607 -608 -609 -610 -611 -613 -614 -615 -616 -617 -619 -620 -621 -622 -623 -624 -625 -626 -628 -629 -630 -631 -632 -633 -634 -635 637 -638 -639 -640 -641 -642 -643 -644 -646 -648 -650 -652 -654 -656 -658 -660 -662 -664 -665 -667 -668 -670 -671 -673 -674 676 -677 -679 -680 682 683 -685 -686 -688 -689 -691 -692 -694 -695 -697 -698 -699 -700 -701 -703 -704 -705 -706 -707 -709 -710 -711 -712 -713 -715 -716 -717 -718 -719 721 722 723 724 725 726 727 728 729 730 731 -732 -733 -734 -735 -736 -737 -739 -740 -741 -742 -743 -744 -745 -746 -748 -749 -750 -751 -752 -753 -754 -755 757 758 759 -760 -761 -762 -763 -764 766 -767 -768 -769 -770 -771 -772 -773 -775 -776 -778 -779 781 -782 -784 -786 -788 -790 -792 -794 -796 -798 -800 -802 -804 -806 -808 -810 -812 -814 -816 -818 -820 -822 -824 826 -828 -830 -832 -834 -836 -838 -840 -841 -843 -844 -846 -847 -849 -850 -852 -853 855 -856 -858 -859 -861 -862 -864 -865 -867 -868 -870 -871 -873 -874 -876 -877 -878 -879 -880 882 883 884 885 886 -888 -889 -890 -891 -892 -894 -895 -896 -897 -898 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -918 -919 -920 -921 -922 -923 -924 -925 927 -928 -929 -930 -931 -932 -933 -934 -936 -937 -938 -939 -940 -941 -942 -943 945 -946 -947 -948 -949 -950 -951 -952 -954 -955 -957 -958 -960 -961 963 -964 -966 -968 -970 -972 -974 -976 -978 -980 -982 -984 -986 -988 -990 -992 -994 -996 -998 -1000 -1002 -1004 -1006 -1008 -1010 -1012 -1014 -1016 -1018 -1020 -1022 -1024 -1026 -1028 -1030 1032 -1034 -1036 -1038 -1040 -1042 -1044 -1046 -1047 -1049 -1050 -1052 -1053 -1055 -1056 1058 1059 1060 1061 1062 1063 1064 1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1076 -1077 -1078 -1079 -1080 1082 1083 1084 1085 -1086 1088 -1089 -1090 -1091 -1092 1094 -1095 -1096 -1097 -1098 -1100 -1101 -1103 -1104 1106 -1107 1109 -1110 -1112 -1114 -1116 -1118 -1120 -1122 1124 -1126 -1128 -1130 -1132 -1134 -1136 -1138 -1140 -1142 -1144 -1146 1148 -1150 -1152 1154 -1156 1158 1160 1162 -1164 1166 1168 585 587 589 591 594 597 600 606 612 618 627 636 645 647 649 651 653 655 657 659 661 663 666 669 672 675 678 681 684 687 690 693 696 702 708 714 720 738 747 756 765 774 777 780 783 785 787 789 791 793 795 797 799 801 803 805 807 809 811 813 815 817 819 821 823 825 827 829 831 833 835 837 839 842 845 848 851 854 857 860 863 866 869 872 875 881 887 893 899 917 926 935 944 953 956 959 962 965 967 969 971 973 975 977 979 981 983 985 987 989 991 993 995 997 999 1001 1003 1005 1007 1009 1011 1013 1015 1017 1019 1021 1023 1025 1027 1029 1031 1033 1035 1037 1039 1041 1043 1045 1048 1051 1054 1057 1075 1081 1087 1093 1099 1102 1105 1108 1111 1113 1115 1117 1119 1121 1123 1125 1127 1129 1131 1133 1135 1137 1139 1141 1143 1145 1147 1149 1151 1153 1155 1157 1159 1161 1163 1165 1167
0.240u 0.026s 0:00.28 92.8%	0+0k 0+0io 0pf+0w