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_04_4954.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 505 610 695 769 819 947 1023 1076 1128 1233 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 t 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 6046 6081 6192 6285 6377 c BFS found 98 new nodes in level 1 (total 99/24403223) c BFS found 882 new nodes in level 2 (total 981/24403223) c R=26 c R=27 c R=28 c R=29 c R=30 c R=31 c BFS found 11233 new nodes in level 3 (total 12214/24403223) c R=32 c R=33 c BFS found 115902 new nodes in level 4 (total 128112/24403223) c R=34 c R=35 c BFS found 1221521 new nodes in level 5 (total 1349629/24403223) c R=36 c History resize c History level 26 41943040 c History resize c History level 27 62914562 c Found with: Iterative A*-Search a YES a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2323 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4518 4600 4704 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1937 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4600 4704 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4497 4600 4704 4742 4812 4909 5007 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4365 4432 4497 4600 4704 4742 4812 4909 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4432 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4432 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4432 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4361 4432 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4039 4096 4178 4283 4361 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3722 3804 3860 3926 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2268 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 819 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 947 1023 1064 1128 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 808 947 1023 1064 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3283 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 808 947 1023 1064 1123 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5270 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 808 947 1023 1064 1123 1233 1310 1412 1475 1534 1623 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 505 610 695 769 808 947 1023 1064 1123 1233 1310 1412 1475 1534 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1310 1412 1475 1534 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4096 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1310 1412 1475 1534 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1534 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4600 4704 4742 4812 4909 4997 5102 5154 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1534 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4704 4742 4812 4909 4997 5102 5154 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4704 4742 4812 4909 4997 5102 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4704 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2356 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 118 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 6046 6081 6192 6285 6377 c Length: 36 Command being timed: "src/recon_th benchmark/queen/queen080x080.col benchmark/queen/queen080x080_04_4954.dat" User time (seconds): 1286.84 System time (seconds): 5.51 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 10:46.40 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): 10086932 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2897305 Voluntary context switches: 76 Involuntary context switches: 3393 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