#BEGIN: [Mon Oct 16 10:57:30 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen200x200.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.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=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.dat s 17988 36993 30674 9987 38144 22594 28141 20643 34017 38630 35435 14844 30848 26178 5085 34245 3589 4146 27118 2133 20859 759 37047 3607 21992 1532 24256 12364 31261 8500 14113 18371 16894 30476 28677 30190 22682 23521 5871 14431 18576 27711 8317 33463 9597 31666 36481 8195 24062 10410 20365 19009 7902 26707 28889 19562 34841 12488 23753 11669 1724 161 15452 33838 6145 28339 19239 2683 24613 32369 39528 32963 18772 18198 12006 34618 32446 24880 33620 39337 9177 25064 37996 17749 20570 9686 4608 25851 38411 16582 12690 10836 37383 15002 36065 2412 38805 39633 23136 8903 13131 23849 13604 33021 25781 6926 28492 29832 31979 898 19760 358 17574 22138 3986 11908 25584 35895 29467 20173 39901 21657 35242 32127 25356 31428 35614 27542 29068 21152 21350 14224 2899 9380 13470 26599 12887 34567 7272 17278 11491 27915 13279 6723 22335 31157 3155 3385 11023 14634 7693 16225 24591 29754 13855 17037 5547 37403 21548 26310 16640 26905 10001 10322 514 4416 37800 35168 15826 7022 23334 4351 5673 15650 11219 16096 7512 6525 39120 1975 29330 27316 6340 8697 4875 32658 1319 2306 5343 38304 36229 33253 18966 36684 22929 30260 19827 15254 1109 t 7693 6340 29330 34245 21350 11908 24256 7022 18198 13779 4608 759 14634 1109 25781 8195 23849 9380 19760 37046 18371 4875 17278 29660 4416 8500 30476 39696 23334 27316 36993 7272 10001 9597 37554 17574 31666 34684 32063 21992 35435 22929 24880 19313 13131 12006 2899 24062 6926 14002 14267 9686 30674 27915 10322 10410 28141 16640 2683 2133 36481 23753 31428 33253 28492 35614 34841 1724 21548 25851 15826 3986 29068 38805 20859 32552 5085 15650 12488 6525 26905 3385 15004 15452 26310 8697 37383 17749 358 30848 8317 3607 11219 37800 17037 32963 38625 23521 34017 35238 20570 5547 5871 4351 9987 12690 14431 26707 7512 20173 32658 6145 29832 13470 2412 27542 30190 33842 39528 3155 37996 34567 11023 6723 36720 31261 10615 26599 28677 18966 898 24591 38144 29447 8903 20643 38411 1532 18772 5343 30239 4146 22682 19562 12364 32369 25064 22335 7902 18576 11491 13279 3589 161 16295 39337 21030 19009 14844 25584 20365 22138 2306 19827 514 33021 38304 23136 13855 5673 1975 24613 27711 11669 28339 27118 39901 36229 1319 31157 15254 22594 35168 31824 17988 16582 16894 25356 36065 35818 12887 39003 16127 21657 26178 9177 10836 28889 33620 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 8317 8500 8697 8903 9177 9380 9597 9686 9987 10001 10322 10410 10836 11023 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 13279 13470 13604 13855 14113 14224 14431 14634 14844 15002 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14113 14224 14431 14634 14844 15002 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14113 14224 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14224 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14224 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14224 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 31824 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32127 32369 32446 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 19760 19827 20173 20365 20570 20643 20859 21152 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 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32446 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32446 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35895 36065 36229 36481 36684 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16096 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 36065 36229 36481 36684 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34618 34841 35168 35242 35435 35614 35896 36065 36229 36481 36684 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34841 35168 35242 35435 35614 35896 36065 36229 36481 36684 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34684 34841 35168 35242 35435 35614 35896 36065 36229 36481 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39120 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34684 34841 35168 35242 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37403 37800 37996 38144 38304 38411 38639 38805 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34684 34841 35168 35242 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37800 37996 38144 38304 38411 38639 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33838 34017 34245 34567 34684 34841 35168 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38639 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38639 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16225 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33430 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39633 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35896 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16018 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32527 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37152 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33839 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29754 29832 30190 30239 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37442 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 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 14002 14267 14431 14634 14844 15004 15254 15452 15650 15826 16127 16295 16582 16640 16894 17037 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 28889 29068 29330 29447 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 31666 31824 32063 32369 32552 32658 32963 33021 33253 33620 33842 34017 34245 34567 34684 34841 35168 35238 35435 35614 35818 36065 36229 36481 36720 36993 37046 37383 37554 37800 37996 38144 38304 38411 38625 38805 39003 39337 39528 39696 39901 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.dat" User time (seconds): 3501.29 System time (seconds): 6.60 Percent of CPU this job got: 198% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:26.39 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): 14164608 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 278 Minor (reclaiming a frame) page faults: 6139606 Voluntary context switches: 68947 Involuntary context switches: 12597 Swaps: 0 File system inputs: 42736 File system outputs: 419344 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Oct 16 11:26:57 2023]