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_03_1545.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 231 330 372 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 t 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 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 4894 c BFS found 86 new nodes in level 1 (total 87/31213425) c BFS found 781 new nodes in level 2 (total 868/31213425) c R=26 c R=27 c R=28 c R=29 c R=30 c BFS found 8540 new nodes in level 3 (total 9408/31213425) c R=31 c R=32 c BFS found 87692 new nodes in level 4 (total 97094/31213425) c R=33 c R=34 c BFS found 851693 new nodes in level 5 (total 948781/31213425) c Found with: Iterative A*-Search a YES a 55 122 196 231 330 372 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 818 871 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 871 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 231 330 372 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4894 a 55 122 196 231 330 372 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 372 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 372 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3892 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3892 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2873 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3892 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3892 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2878 2958 3043 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2819 2878 2958 3043 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3043 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 231 330 393 465 539 589 691 736 790 871 937 1028 1073 1134 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 330 393 465 539 589 691 736 790 871 937 1028 1073 1134 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3293 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 871 937 1028 1073 1134 1220 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 871 937 1028 1073 1134 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 871 1028 1073 1134 1223 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 941 1028 1073 1134 1223 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 941 1028 1073 1147 1223 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 790 941 1028 1064 1147 1223 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 860 941 1028 1064 1147 1223 1267 1392 1460 1472 1610 1677 1697 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 787 860 941 1028 1064 1147 1223 1267 1392 1460 1472 1610 1677 1782 1830 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 787 860 941 1028 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2819 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 736 787 860 941 1028 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 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1028 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 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1028 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 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1028 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 3674 3735 3826 3892 3946 4018 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 1028 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 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 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 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 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 4894 c Length: 34 Command being timed: "src/recon_th benchmark/queen/queen070x070.col benchmark/queen/queen070x070_03_1545.dat" User time (seconds): 165.71 System time (seconds): 0.59 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:23.21 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): 1749384 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 438297 Voluntary context switches: 4 Involuntary context switches: 335 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