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/queen080x080.col c Target file: benchmark/queen/queen080x080_01_0297.dat c Size of independent set: 79 c Number of nodes of graph: 6400 c Number of edges of graph: 840560 c Average degree of graph: 262.68 s 60 144 219 301 378 454 517 610 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 t 60 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3926 4039 4115 4178 4283 4365 4416 4518 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 c BFS found 94 new nodes in level 1 (total 95/24403223) c R=18 c R=19 c BFS found 860 new nodes in level 2 (total 955/24403223) c R=20 c R=21 c R=22 c R=23 c BFS found 9495 new nodes in level 3 (total 10450/24403223) c R=24 c R=25 c BFS found 97758 new nodes in level 4 (total 108202/24403223) c Found with: Iterative A*-Search a YES a 60 144 219 301 378 454 517 610 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5153 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4510 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4096 4178 4283 4365 4439 4510 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3958 4096 4178 4283 4365 4439 4510 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4096 4178 4283 4365 4439 4510 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4510 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4518 4619 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4518 4590 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4178 4283 4365 4416 4518 4590 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4590 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4590 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5491 5599 5615 5693 5771 5849 5925 6046 6081 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4590 4712 4756 4812 4909 5007 5102 5154 5232 5290 5386 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4590 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 a 60 144 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3926 4039 4115 4178 4283 4365 4416 4518 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 c Length: 25 Command being timed: "src/recon_th benchmark/queen/queen080x080.col benchmark/queen/queen080x080_01_0297.dat" User time (seconds): 20.52 System time (seconds): 0.07 Percent of CPU this job got: 197% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.44 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): 412208 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 104091 Voluntary context switches: 11 Involuntary context switches: 71 Swaps: 0 File system inputs: 19184 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0