#BEGIN: [Mon Oct 16 10:35:14 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen200x200.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.dat s 39120 3385 27316 3155 19827 13131 20570 7272 14034 6525 17574 19760 17278 5673 16096 9686 39528 30190 26707 7022 24880 8697 5871 21992 13470 35614 12488 12887 29754 26905 29068 27118 39952 16225 34017 26178 10836 9597 36624 27542 35242 13604 11491 9380 5343 3589 11219 17988 21350 33021 36229 25584 2899 39337 3607 10615 31261 28339 24256 22682 23334 24613 30260 18966 34567 6340 161 23849 16582 1724 38805 5547 35168 12690 12006 2683 5085 759 25064 39633 38144 32369 8500 898 15826 33463 36065 20643 22138 15452 36993 13279 27711 18772 11908 17037 21179 30674 1532 15018 2412 4351 16640 18198 29330 3986 20859 10322 31839 10410 2133 38304 14638 32127 17749 29467 33253 7512 34245 9177 1319 7693 14844 34684 8195 22929 34841 25851 7902 31666 33620 28141 14431 19562 6926 12364 32446 28889 16894 4416 31428 18371 30848 36481 2306 1109 22335 26599 31157 24591 37047 14209 26310 28492 13855 10001 9987 6723 8903 19313 35435 514 21657 33901 23136 358 4146 38630 27915 15254 20365 11023 18576 4608 20173 37403 19002 35895 29832 15650 25356 38411 23753 23521 11669 22594 32658 37996 4875 24062 37800 28677 6145 30476 1975 37383 21548 32963 25781 t 28677 16127 17988 36720 15018 30674 32063 12006 26178 32552 26707 5343 29754 4875 3589 31261 8903 20173 19827 9987 6926 16295 25064 5871 11908 29068 10615 9177 14431 25584 21992 17749 20365 20643 514 27711 35614 13855 15650 30848 898 3155 12887 12488 26310 10001 31428 4608 18966 22335 21548 30260 23753 24613 31839 35238 36993 4351 37089 37996 26599 9597 20570 39337 2899 11669 8195 39696 16894 1532 17278 14267 21350 4416 24591 30476 36229 21030 18371 28846 32369 1724 21657 10322 1975 28492 7512 8697 23521 23136 38411 22594 4146 2683 34245 35435 32963 14844 7022 18198 23334 33424 39834 29447 16582 3607 18576 27915 9686 7902 20859 36065 19760 24880 1109 33021 17574 16640 12364 37800 6340 33620 24256 2306 14003 759 27118 33901 13470 22682 29330 1319 15826 34567 161 37383 28141 6525 13779 2133 11491 33253 38144 7272 35168 5673 37442 22138 32658 10410 2412 39037 12690 25356 15254 27316 28339 25781 31666 19313 11023 6723 14633 22929 30190 3986 13131 11219 17002 26905 13279 34684 358 24062 15452 25851 34841 18772 35804 9380 5547 23849 19009 39528 38625 8317 19562 10836 3385 29832 7693 34017 38304 31157 38805 27542 5085 36481 6145 a YES a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13604 13855 14034 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21179 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35895 36065 36229 36481 36624 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13855 14034 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21179 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35895 36065 36229 36481 36624 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14034 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35895 36065 36229 36481 36624 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14034 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35242 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14638 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 238 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32446 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 238 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 238 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37047 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 238 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 238 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14209 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32558 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32127 32369 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32369 32527 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39633 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16096 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32527 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39952 a 161 320 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32527 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32527 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36624 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32527 32658 32963 33021 33253 33463 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32527 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2263 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39952 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2263 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21095 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2263 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16225 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2263 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38630 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2263 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21030 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32033 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14634 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21030 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32063 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14633 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21030 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32063 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39906 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14633 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21030 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32063 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39834 a 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 4608 4875 5085 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 7693 7902 8195 8317 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10615 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13779 13855 14003 14267 14431 14633 14844 15018 15254 15452 15650 15826 16127 16295 16582 16640 16894 17002 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21030 21350 21548 21657 21992 22138 22335 22594 22682 22929 23136 23334 23521 23753 23849 24062 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28846 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31839 32063 32369 32552 32658 32963 33021 33253 33424 33620 33901 34017 34245 34567 34684 34841 35168 35238 35435 35614 35804 36065 36229 36481 36720 36993 37089 37383 37442 37800 37996 38144 38304 38411 38625 38805 39037 39337 39528 39696 39834 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.dat" User time (seconds): 172.04 System time (seconds): 3.36 Percent of CPU this job got: 171% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:42.33 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 5145944 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 291 Minor (reclaiming a frame) page faults: 3370063 Voluntary context switches: 4081 Involuntary context switches: 382 Swaps: 0 File system inputs: 57576 File system outputs: 419208 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Oct 16 10:36:57 2023]