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_02_8683.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 213 330 393 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 t 55 122 196 234 330 392 465 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 3306 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894 c BFS found 80 new nodes in level 1 (total 81/31213425) c BFS found 502 new nodes in level 2 (total 583/31213425) c R=29 c R=30 c R=31 c R=32 c R=33 c BFS found 4770 new nodes in level 3 (total 5353/31213425) c R=34 c R=35 c BFS found 39253 new nodes in level 4 (total 44601/31213425) c R=36 c BFS found 333020 new nodes in level 5 (total 377616/31213425) c R=37 c R=38 c BFS found 2815391 new nodes in level 6 (total 3192886/31213425) c History resize c History level 26 41943040 c History resize c History level 27 62914560 c R=39 c History resize c History level 28 125829120 c History resize c History level 29 251658240 c BFS found 23853791 new nodes in level 7 (total 27046012/31213425) c BFS exiting found=false count=31213425 max_count=31213425 c R=40 c Found with: Iterative A*-Search a YES a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 a 55 122 196 213 330 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 589 691 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 691 729 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3914 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3914 3946 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4873 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3914 3946 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4868 a 55 122 196 213 330 392 465 539 592 691 729 787 860 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4868 a 55 122 196 213 330 392 465 539 592 691 729 787 860 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4868 a 55 122 196 213 330 392 465 539 592 691 729 787 860 943 1001 1064 1147 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4868 a 55 122 196 213 330 392 465 539 592 691 729 787 943 1001 1064 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4868 a 55 122 196 213 330 392 465 539 592 691 729 787 866 943 1001 1064 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4868 a 55 122 196 213 330 392 465 539 592 691 787 866 943 1001 1064 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3024 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3024 3102 3189 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3024 3102 3190 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2345 2449 2516 2578 2655 2713 2754 2836 2958 3024 3102 3190 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2836 2958 3024 3102 3190 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2905 2958 3024 3102 3190 3257 3320 3376 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2905 2958 3024 3102 3190 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3190 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 213 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1720 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1720 1773 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 866 943 1001 1097 1147 1210 1267 1392 1460 1472 1610 1677 1720 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 866 943 1001 1097 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 943 1001 1097 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3601 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3674 3735 3826 3914 3963 4031 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3320 3396 3442 3554 3617 3674 3735 3826 3914 3963 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3396 3442 3554 3617 3674 3735 3826 3914 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4868 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2754 2810 2905 2958 3024 3102 3153 3257 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894 a 55 122 196 226 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894 a 55 122 196 330 392 465 539 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 3306 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894 a 55 122 196 234 330 392 465 592 691 739 787 871 943 1001 1073 1146 1210 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 2011 2089 2163 2198 2297 2318 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 3306 3396 3442 3554 3617 3674 3735 3826 3891 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894 c Length: 40 Command being timed: "src/recon_th benchmark/queen/queen070x070.col benchmark/queen/queen070x070_02_8683.dat" User time (seconds): 4032.11 System time (seconds): 11.38 Percent of CPU this job got: 176% Elapsed (wall clock) time (h:mm:ss or m:ss): 38:16.40 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): 31586040 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9057830 Voluntary context switches: 360 Involuntary context switches: 11958 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0