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/queen070x070.col c Target file: benchmark/queen/queen070x070_01_1828.dat c Size of independent set: 69 c Number of nodes of graph: 4900 c Number of edges of graph: 561890 c Average degree of graph: 229.34 s 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 t 55 122 196 234 330 392 465 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 c BFS found 90 new nodes in level 1 (total 91/31213425) c BFS found 894 new nodes in level 2 (total 985/31213425) c R=27 c R=28 c R=29 c R=30 c R=31 c R=32 c BFS found 9559 new nodes in level 3 (total 10544/31213425) c R=33 c R=34 c BFS found 94931 new nodes in level 4 (total 105470/31213425) c R=35 c BFS found 925041 new nodes in level 5 (total 1030493/31213425) c R=36 c R=37 c History level 26 41943040 c History level 27 62914562 c BFS found 8860043 new nodes in level 6 (total 9890310/31213425) c History level 28 125829119 c BFS exiting found=false count=31213432 max_count=31213425 c History level 29 251658240 c R=38 c History level 30 503316480 c History limit reached c Found with: Iterative A*-Search a YES a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4802 4894 a 55 122 196 239 330 393 424 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4802 4894 a 55 122 196 239 330 393 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4802 4894 a 55 122 196 239 330 393 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4802 4894 a 55 122 196 239 330 393 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1793 1846 1958 2011 2089 2163 2184 2297 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1793 1855 1958 2011 2089 2163 2184 2297 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 424 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4734 4807 4894 a 55 122 196 239 330 392 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3396 3438 3554 3618 3674 3735 3792 3895 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3396 3438 3554 3618 3674 3735 3792 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3396 3438 3554 3618 3674 3735 3792 3891 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2184 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2297 2336 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3031 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 592 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 862 943 1008 1073 1147 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 862 943 1008 1073 1152 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 862 943 1008 1073 1152 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4721 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 862 943 1008 1073 1152 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4720 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1210 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4720 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3118 3212 3257 3306 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4720 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1684 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3212 3257 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4720 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3212 3257 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4720 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3212 3257 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4079 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 239 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3212 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3212 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1347 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 330 392 465 539 570 691 739 794 871 943 1008 1073 1152 1212 1267 1392 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 330 392 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 392 465 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1460 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 c Length: 38 Command being timed: "src/recon_th benchmark/queen/queen070x070.col benchmark/queen/queen070x070_01_1828.dat" User time (seconds): 17124.87 System time (seconds): 13.61 Percent of CPU this job got: 109% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:21:08 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): 27011328 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12527725 Voluntary context switches: 1024 Involuntary context switches: 58783 Swaps: 0 File system inputs: 12712 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0