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_04_7426.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 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 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 t 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 c BFS found 89 new nodes in level 1 (total 90/31213425) c BFS found 833 new nodes in level 2 (total 923/31213425) c R=25 c R=26 c R=27 c R=28 c R=29 c BFS found 9450 new nodes in level 3 (total 10373/31213425) c R=30 c R=31 c BFS found 95387 new nodes in level 4 (total 105754/31213425) c R=32 c R=33 c BFS found 940065 new nodes in level 5 (total 1045805/31213425) c Found with: Iterative A*-Search a YES a 55 122 196 239 330 393 444 539 592 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 3788 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 3442 3554 3617 3674 3735 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4894 a 55 122 196 239 330 393 444 539 592 691 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 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 444 539 592 691 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 3788 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 444 539 592 691 719 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 3788 3892 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 592 691 719 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 3788 3892 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 592 691 719 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 3181 3257 3306 3396 3442 3554 3617 3674 3735 3788 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 592 691 719 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 2768 2810 2873 2958 3031 3181 3257 3306 3396 3442 3554 3617 3674 3735 3788 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 592 691 719 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 2768 2810 2873 2958 3031 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 592 691 719 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 2768 2810 2873 2958 3031 3121 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 691 719 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1782 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 691 719 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1618 1697 1782 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 691 719 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1618 1697 1782 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 862 943 1008 1073 1147 1267 1392 1460 1472 1610 1618 1697 1782 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3121 3181 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2873 2958 3031 3121 3181 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3031 3121 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3031 3121 3189 3257 3306 3427 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1697 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3031 3121 3189 3257 3306 3427 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1147 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3031 3121 3189 3257 3306 3427 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3031 3121 3189 3257 3306 3427 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3121 3189 3257 3306 3427 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3121 3189 3257 3306 3427 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3121 3189 3257 3304 3427 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 580 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1618 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 239 330 393 465 539 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1677 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 330 393 465 539 589 691 719 818 850 943 1008 1073 1137 1212 1267 1392 1460 1472 1610 1677 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 330 393 465 539 589 691 719 818 850 943 1008 1073 1137 1267 1392 1460 1472 1610 1677 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 330 393 465 539 589 691 719 818 850 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 330 393 465 539 589 691 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1856 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 330 393 465 539 589 691 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 c Length: 33 Command being timed: "src/recon_th benchmark/queen/queen070x070.col benchmark/queen/queen070x070_04_7426.dat" User time (seconds): 132.86 System time (seconds): 0.43 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:06.70 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): 1400276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 352929 Voluntary context switches: 6 Involuntary context switches: 410 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