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/queen050x050.col c Target file: benchmark/queen/queen050x050_02_6166.dat c Size of independent set: 49 c Number of nodes of graph: 2500 c Number of edges of graph: 203350 c Average degree of graph: 162.68 s 40 85 132 186 233 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 t 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 c BFS found 62 new nodes in level 1 (total 63/54782746) c BFS found 433 new nodes in level 2 (total 496/54782746) c R=14 c R=15 c BFS found 3632 new nodes in level 3 (total 4128/54782746) c R=16 c Found with: Iterative A*-Search a YES a 40 85 132 186 233 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 716 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 c Length: 16 Command being timed: "src/recon_th benchmark/queen/queen050x050.col benchmark/queen/queen050x050_02_6166.dat" User time (seconds): 0.16 System time (seconds): 0.04 Percent of CPU this job got: 170% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.12 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): 267800 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 66535 Voluntary context switches: 4 Involuntary context switches: 0 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