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_02_2368.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 695 769 819 947 1023 1074 1123 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 t 60 144 219 301 378 454 517 610 695 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 c BFS found 96 new nodes in level 1 (total 97/24403223) c R=22 c R=23 c BFS found 804 new nodes in level 2 (total 901/24403223) c R=24 c R=25 c R=26 c R=27 c BFS found 8805 new nodes in level 3 (total 9706/24403223) c R=28 c R=29 c BFS found 90156 new nodes in level 4 (total 99858/24403223) c R=30 c BFS found 918642 new nodes in level 5 (total 1018493/24403223) c R=31 c Found with: Iterative A*-Search a YES a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1074 1123 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1074 1123 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1074 1147 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1074 1147 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 378 454 517 610 695 769 819 947 1023 1074 1147 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 378 454 517 610 695 769 819 947 1023 1074 1147 1233 1283 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 378 454 517 610 695 769 819 919 1023 1074 1147 1233 1283 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 378 454 517 610 695 769 819 919 1023 1074 1147 1233 1283 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1283 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4590 4701 4756 4812 4909 5011 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2030 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4701 4756 4812 4909 5011 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2030 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4592 4701 4756 4812 4909 5011 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2030 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4307 4365 4416 4518 4592 4701 4756 4812 4909 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 2030 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4115 4178 4307 4365 4416 4518 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 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 4115 4178 4307 4365 4416 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 1963 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 4115 4178 4365 4416 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 1622 1687 1762 1844 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 4115 4178 4283 4365 4416 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1074 1147 1208 1283 1412 1454 1545 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 4115 4178 4283 4365 4416 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1147 1208 1283 1412 1454 1545 1634 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 4115 4178 4283 4365 4416 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1075 1147 1208 1283 1412 1454 1545 1634 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 4178 4283 4365 4416 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 919 1023 1075 1147 1208 1283 1412 1454 1545 1634 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 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 1023 1075 1147 1208 1283 1412 1454 1545 1634 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 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 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 4547 4592 4701 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 378 454 517 610 695 769 819 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 4547 4592 4680 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 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 4592 4680 4756 4812 4909 5007 5102 5137 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 273 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 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 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 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 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 c Length: 31 Command being timed: "src/recon_th benchmark/queen/queen080x080.col benchmark/queen/queen080x080_02_2368.dat" User time (seconds): 667.75 System time (seconds): 1.78 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 5:34.91 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): 5025648 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1263817 Voluntary context switches: 11 Involuntary context switches: 2502 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