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/queen100x100.col c Target file: benchmark/queen/queen100x100_02_1699.dat c Size of independent set: 99 c Number of nodes of graph: 10000 c Number of edges of graph: 1646700 c Average degree of graph: 329.34 s 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 t 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 c BFS found 113 new nodes in level 1 (total 114/16170810) c R=6 c Found with: Iterative A*-Search a YES a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7473 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 c Length: 6 Command being timed: "src/recon_th benchmark/queen/queen100x100.col benchmark/queen/queen100x100_02_1699.dat" User time (seconds): 0.29 System time (seconds): 0.05 Percent of CPU this job got: 91% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.38 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): 277448 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 69011 Voluntary context switches: 10 Involuntary context switches: 0 Swaps: 0 File system inputs: 37952 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0