c Copyright Volker Turau & Christoph Weyer, 2022 c Institute of Telematics c Hamburg University of Technology, Hamburg, Germany c Contact: turau@tuhh.de c Graph file: benchmark/queen/queen200x200.col c Target file: benchmark/queen/queen200x200_01_0761.dat c Size of independent set: 199 c Number of nodes of graph: 40000 c Number of edges of graph: 13253400 c Average degree of graph: 662.67 s 161 358 514 759 898 1109 1319 1532 1724 1975 2133 2306 2412 2683 2899 3155 3385 3589 3607 3986 4146 4351 4416 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 13404 13779 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 31870 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 t 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 9597 9686 9987 10001 10322 10410 10615 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 c BFS found 250 new nodes in level 1 (total 251/4227330) c R=4 c Found with: Iterative A*-Search 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 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 13404 13779 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 31870 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 13404 13779 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 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 13404 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 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 9597 9686 9987 10001 10322 10410 10615 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 c Length: 4 Command being timed: "src/recon_th benchmark/queen/queen200x200.col benchmark/queen/queen200x200_01_0761.dat" User time (seconds): 2.03 System time (seconds): 0.09 Percent of CPU this job got: 101% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.09 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): 462704 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 115415 Voluntary context switches: 4 Involuntary context switches: 5 Swaps: 0 File system inputs: 8 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0