makespan: [3645,4676] nodes: 951 makespan: [3490,3644] nodes: 952 makespan: [3342,3489] nodes: 956 makespan: [3312,3341] nodes: 973 makespan: [3294,3311] nodes: 999 makespan: [3229,3293] nodes: 1043 makespan: [3199,3228] nodes: 1060 makespan: [3181,3198] nodes: 1087 makespan: [3158,3180] nodes: 1147 makespan: [3150,3157] nodes: 1160 makespan: [3118,3149] nodes: 1176 makespan: [3100,3117] nodes: 1201 makespan: [3088,3099] nodes: 1250 makespan: [3056,3087] nodes: 1321 makespan: [3038,3055] nodes: 1345 makespan: [3026,3037] nodes: 1393 makespan: [3007,3025] nodes: 1474 makespan: [2989,3006] nodes: 1499 makespan: [2977,2988] nodes: 1548 makespan: [2964,2976] nodes: 1614 makespan: [2952,2963] nodes: 1662 makespan: [2946,2951] nodes: 1717 makespan: [2918,2945] nodes: 1809 makespan: [2916,2917] nodes: 1855 makespan: [2880,2915] nodes: 1856 makespan: [2872,2879] nodes: 1859 makespan: [2840,2871] nodes: 1862 makespan: [2838,2839] nodes: 1892 makespan: [2822,2837] nodes: 1946 makespan: [2820,2821] nodes: 1976 makespan: [2810,2819] nodes: 2040 makespan: [2808,2809] nodes: 2070 makespan: [2806,2807] nodes: 2158 makespan: [2774,2805] nodes: 2161 makespan: [2772,2773] nodes: 2191 makespan: [2756,2771] nodes: 2243 makespan: [2754,2755] nodes: 2273 makespan: [2744,2753] nodes: 2336 makespan: [2742,2743] nodes: 2366 makespan: [2737,2741] nodes: 2433 makespan: [2735,2736] nodes: 2463 makespan: [2725,2734] nodes: 2524 makespan: [2723,2724] nodes: 2554 makespan: [2721,2722] nodes: 2623 makespan: [2711,2720] nodes: 2686 makespan: [2709,2710] nodes: 2716 makespan: [2699,2708] nodes: 2844 makespan: [2697,2698] nodes: 2869 makespan: [2681,2696] nodes: 2916 makespan: [2679,2680] nodes: 2941 makespan: [2669,2678] nodes: 2999 makespan: [2667,2668] nodes: 3024 makespan: [2662,2666] nodes: 3086 makespan: [2660,2661] nodes: 3111 makespan: [2650,2659] nodes: 3167 makespan: [2648,2649] nodes: 3192 makespan: [2646,2647] nodes: 3255 makespan: [2636,2645] nodes: 3313 makespan: [2634,2635] nodes: 3338 makespan: [2631,2633] nodes: 3451 makespan: [2625,2630] nodes: 3501 makespan: [2619,2624] nodes: 3535 makespan: [2617,2618] nodes: 3610 makespan: [2611,2616] nodes: 3660 makespan: [2605,2610] nodes: 3694 makespan: [2594,2604] nodes: 3807 makespan: [2589,2593] nodes: 3917 makespan: [2587,2588] nodes: 4029 makespan: [2586,2586] nodes: 4155 makespan: [2580,2585] nodes: 4168 makespan: [2578,2579] nodes: 4242 makespan: [2572,2577] nodes: 4318 makespan: [2566,2571] nodes: 4331 makespan: [2563,2565] nodes: 4439 makespan: [2555,2562] nodes: 4562 makespan: [2549,2554] nodes: 4671 makespan: [2537,2548] nodes: 4746 makespan: [2535,2536] nodes: 4830 makespan: [2534,2534] nodes: 4907 makespan: [2523,2533] nodes: 4912 makespan: [2521,2522] nodes: 5021 makespan: [2517,2520] nodes: 5146 makespan: [2514,2516] nodes: 5169 makespan: [2513,2513] nodes: 5258 makespan: [2505,2512] nodes: 5266 makespan: [2502,2504] nodes: 5290 makespan: [2500,2501] nodes: 5401 makespan: [2497,2499] nodes: 5436 makespan: [2494,2496] nodes: 5460 makespan: [2491,2493] nodes: 5541 makespan: [2488,2490] nodes: 5566 makespan: [2485,2487] nodes: 5601 makespan: [2482,2484] nodes: 5626 makespan: [2479,2481] nodes: 5724 makespan: [2478,2478] nodes: 5857 makespan: [2466,2477] nodes: 5873 makespan: [2464,2465] nodes: 5890 makespan: [2459,2463] nodes: 5906 makespan: [2448,2458] nodes: 5944 makespan: [2446,2447] nodes: 5956 makespan: [2441,2445] nodes: 5968 makespan: [2440,2440] nodes: 6021 makespan: [2429,2439] nodes: 6059 makespan: [2427,2428] nodes: 6071 makespan: [2422,2426] nodes: 6083 makespan: [2415,2421] nodes: 6141 makespan: [2413,2414] nodes: 6153 makespan: [2408,2412] nodes: 6165 makespan: [2403,2407] nodes: 6243 makespan: [2401,2402] nodes: 6255 makespan: [2396,2400] nodes: 6267 makespan: [2391,2395] nodes: 6422 makespan: [2389,2390] nodes: 6434 makespan: [2384,2388] nodes: 6447 makespan: [2373,2383] nodes: 6484 makespan: [2371,2372] nodes: 6496 makespan: [2366,2370] nodes: 6509 makespan: [2365,2365] nodes: 6567 makespan: [2354,2364] nodes: 6604 makespan: [2352,2353] nodes: 6616 makespan: [2347,2351] nodes: 6629 makespan: [2340,2346] nodes: 6691 makespan: [2338,2339] nodes: 6703 makespan: [2333,2337] nodes: 6716 makespan: [2328,2332] nodes: 6793 makespan: [2326,2327] nodes: 6806 makespan: [2321,2325] nodes: 6819 makespan: [2318,2320] nodes: 6956 makespan: [2316,2317] nodes: 6966 makespan: [2311,2315] nodes: 6976 makespan: [2304,2310] nodes: 7038 makespan: [2302,2303] nodes: 7048 makespan: [2297,2301] nodes: 7058 makespan: [2296,2296] nodes: 7133 makespan: [2291,2295] nodes: 7143 makespan: [2284,2290] nodes: 7203 makespan: [2282,2283] nodes: 7213 makespan: [2277,2281] nodes: 7223 makespan: [2272,2276] nodes: 7299 makespan: [2270,2271] nodes: 7308 makespan: [2265,2269] nodes: 7317 makespan: [2258,2264] nodes: 7375 makespan: [2256,2257] nodes: 7384 makespan: [2251,2255] nodes: 7393 makespan: [2248,2250] nodes: 7557 makespan: [2246,2247] nodes: 7564 makespan: [2241,2245] nodes: 7571 makespan: [2239,2240] nodes: 7640 makespan: [2234,2238] nodes: 7651 makespan: [2232,2233] nodes: 7863 makespan: [2231,2231] nodes: 7882 makespan: [2225,2230] nodes: 7894 makespan: [2222,2224] nodes: 7995 makespan: [2221,2221] nodes: 8015 makespan: [2215,2220] nodes: 8019 makespan: [2211,2214] nodes: 8143 makespan: [2208,2210] nodes: 8245 makespan: [2207,2207] nodes: 8265 makespan: [2201,2206] nodes: 8269 makespan: [2196,2200] nodes: 8431 makespan: [2189,2195] nodes: 8472 makespan: [2188,2188] nodes: 8482 makespan: [2183,2187] nodes: 8493 makespan: [2181,2182] nodes: 8613 makespan: [2180,2180] nodes: 8623 makespan: [2174,2179] nodes: 8633 makespan: [2170,2173] nodes: 8730 makespan: [2164,2169] nodes: 8734 makespan: [2162,2163] nodes: 8857 makespan: [2161,2161] nodes: 8867 makespan: [2155,2160] nodes: 8877 makespan: [2151,2154] nodes: 8972 makespan: [2145,2150] nodes: 8976 makespan: [2141,2144] nodes: 9098 makespan: [2137,2140] nodes: 9194 makespan: [2131,2136] nodes: 9198 makespan: [2130,2130] nodes: 9356 makespan: [2129,2129] nodes: 9367 makespan: [2124,2128] nodes: 9488 makespan: [2122,2123] nodes: 9598 makespan: [2116,2121] nodes: 9611 makespan: [2114,2115] nodes: 9684 makespan: [2108,2113] nodes: 9883 makespan: [2101,2107] nodes: 9967 makespan: [2100,2100] nodes: 10092 makespan: [2098,2099] nodes: 10105 makespan: [2097,2097] nodes: 10215 makespan: [2091,2096] nodes: 10259 makespan: [2090,2090] nodes: 10278 makespan: [2089,2089] nodes: 10282 makespan: [2086,2088] nodes: 10286 makespan: [2084,2085] nodes: 10299 makespan: [2081,2083] nodes: 10405 makespan: [2080,2080] nodes: 10406 makespan: [2079,2079] nodes: 10418 makespan: [2078,2078] nodes: 10521 makespan: [2070,2077] nodes: 10567 makespan: [2067,2069] nodes: 10571 makespan: [2066,2066] nodes: 10572 makespan: [2065,2065] nodes: 10584 makespan: [2062,2064] nodes: 10733 makespan: [2052,2061] nodes: 10892 makespan: [2048,2051] nodes: 10965 makespan: [2047,2047] nodes: 11150 makespan: [2040,2046] nodes: 11262 makespan: [2033,2039] nodes: 11315 makespan: [2031,2032] nodes: 11507 makespan: [2026,2030] nodes: 11513 makespan: [2020,2025] nodes: 11515 makespan: [2019,2019] nodes: 11570 makespan: [2017,2018] nodes: 11775 makespan: [2016,2016] nodes: 11909 makespan: [2011,2015] nodes: 12021 makespan: [2004,2010] nodes: 12079 makespan: [1998,2003] nodes: 12117 makespan: [1997,1997] nodes: 12246 makespan: [1990,1996] nodes: 12304 makespan: [1984,1989] nodes: 12342 makespan: [1981,1983] nodes: 12488 makespan: [1973,1980] nodes: 12656 makespan: [1970,1972] nodes: 12662 makespan: [1967,1969] nodes: 12663 makespan: [1966,1966] nodes: 12859 makespan: [1959,1965] nodes: 12964 makespan: [1957,1958] nodes: 13006 makespan: [1953,1956] nodes: 13018 makespan: [1949,1952] nodes: 13165 makespan: [1948,1948] nodes: 13256 makespan: [1947,1947] nodes: 13304 makespan: [1940,1946] nodes: 13407 makespan: [1938,1939] nodes: 13448 makespan: [1934,1937] nodes: 13460 makespan: [1933,1933] nodes: 13602 makespan: [1926,1932] nodes: 13709 makespan: [1924,1925] nodes: 13750 makespan: [1920,1923] nodes: 13762 makespan: [1918,1919] nodes: 13921 makespan: [1917,1917] nodes: 13937 makespan: [1916,1916] nodes: 14077 makespan: [1912,1915] nodes: 14194 makespan: [1904,1911] nodes: 14209 makespan: [1903,1903] nodes: 14225 makespan: [1901,1902] nodes: 14383 makespan: [1898,1900] nodes: 14534 makespan: [1895,1897] nodes: 14686 makespan: [1884,1894] nodes: 14688 makespan: [1882,1883] nodes: 14860 makespan: [1881,1881] nodes: 15064 makespan: [1870,1880] nodes: 15065 makespan: [1869,1869] nodes: 15188 makespan: [1862,1868] nodes: 15215 makespan: [1856,1861] nodes: 15252 makespan: [1851,1855] nodes: 15382 makespan: [1847,1850] nodes: 15514 makespan: [1842,1846] nodes: 15565 makespan: [1837,1841] nodes: 15700 makespan: [1827,1836] nodes: 15738 makespan: [1826,1826] nodes: 15777 makespan: [1823,1825] nodes: 15879 makespan: [1813,1822] nodes: 15917 makespan: [1812,1812] nodes: 15956 makespan: [1805,1811] nodes: 16093 makespan: [1803,1804] nodes: 16159 makespan: [1792,1802] nodes: 16293 makespan: [1789,1791] nodes: 16423 makespan: [1785,1788] nodes: 16538 makespan: [1781,1784] nodes: 16653 makespan: [1775,1780] nodes: 16686 makespan: [1772,1774] nodes: 16842 makespan: [1770,1771] nodes: 16906 makespan: [1768,1769] nodes: 16919 makespan: [1766,1767] nodes: 17014 makespan: [1764,1765] nodes: 17082 makespan: [1762,1763] nodes: 17095 makespan: [1758,1761] nodes: 17172 makespan: [1756,1757] nodes: 17235 makespan: [1754,1755] nodes: 17248 makespan: [1749,1753] nodes: 17372 makespan: [1746,1748] nodes: 17543 makespan: [1738,1745] nodes: 17649 makespan: [1732,1737] nodes: 17684 makespan: [1729,1731] nodes: 17816 makespan: [1728,1728] nodes: 17826 makespan: [1724,1727] nodes: 17830 makespan: [1723,1723] nodes: 17959 makespan: [1719,1722] nodes: 17963 makespan: [1716,1718] nodes: 18055 makespan: [1709,1715] nodes: 18071 makespan: [1705,1708] nodes: 18075 makespan: [1704,1704] nodes: 18260 makespan: [1703,1703] nodes: 18319 makespan: [1702,1702] nodes: 18323 makespan: [1701,1701] nodes: 18484 makespan: [1700,1700] nodes: 18554 makespan: [1699,1699] nodes: 18558 makespan: [1694,1698] nodes: 18623 makespan: [1693,1693] nodes: 18627 makespan: [1690,1692] nodes: 18787 makespan: [1689,1689] nodes: 18791 makespan: [1688,1688] nodes: 18876 makespan: [1686,1687] nodes: 19019 makespan: [1685,1685] nodes: 19197 makespan: [1684,1684] nodes: 19201 makespan: [1681,1683] nodes: 19344 makespan: [1680,1680] nodes: 19520 makespan: [1679,1679] nodes: 19523 makespan: [1676,1678] nodes: 19670 makespan: [1674,1675] nodes: 19673 makespan: [1671,1673] nodes: 19806 makespan: [1670,1670] nodes: 19948 makespan: [1667,1669] nodes: 20051 makespan: [1666,1666] nodes: 20136 makespan: [1665,1665] nodes: 20139 makespan: [1663,1664] nodes: 20245 makespan: [1662,1662] nodes: 20248 makespan: [1657,1661] nodes: 20343 makespan: [1656,1656] nodes: 20512 makespan: [1655,1655] nodes: 20515 makespan: [1653,1654] nodes: 20691 makespan: [1652,1652] nodes: 20864 makespan: [1651,1651] nodes: 20867 makespan: [1650,1650] nodes: 21062 makespan: [1648,1649] nodes: 21196 makespan: [1645,1647] nodes: 21330 makespan: [1642,1644] nodes: 21466 makespan: [1633,1641] nodes: 21546 makespan: [1632,1632] nodes: 21644 makespan: [1631,1631] nodes: 21647 makespan: [1630,1630] nodes: 21819 makespan: [1629,1629] nodes: 21822 makespan: [1628,1628] nodes: 21992 makespan: [1627,1627] nodes: 21995 makespan: [1626,1626] nodes: 22176 makespan: [1625,1625] nodes: 22184 makespan: [1624,1624] nodes: 22402 makespan: [1617,1623] nodes: 22568 makespan: [1614,1616] nodes: 22706 makespan: [1608,1613] nodes: 22893 makespan: [1607,1607] nodes: 22897 makespan: [1598,1606] nodes: 23071 makespan: [1597,1597] nodes: 23074 makespan: [1595,1596] nodes: 23229 makespan: [1593,1594] nodes: 23341 makespan: [1589,1592] nodes: 23505 makespan: [1586,1588] nodes: 23530 makespan: [1584,1585] nodes: 23548 makespan: [1580,1583] nodes: 23624 makespan: [1579,1579] nodes: 23641 makespan: [1578,1578] nodes: 23645 makespan: [1577,1577] nodes: 23780 makespan: [1576,1576] nodes: 23784 makespan: [1573,1575] nodes: 23953 makespan: [1570,1572] nodes: 23967 makespan: [1567,1569] nodes: 23986 makespan: [1566,1566] nodes: 24003 makespan: [1565,1565] nodes: 24007 makespan: [1564,1564] nodes: 24092 makespan: [1563,1563] nodes: 24269 makespan: [1561,1562] nodes: 24309 makespan: [1560,1560] nodes: 24313 makespan: [1555,1559] nodes: 24531 makespan: [1553,1554] nodes: 24708 makespan: [1552,1552] nodes: 24712 makespan: [1539,1551] nodes: 24858 makespan: [1538,1538] nodes: 24862 makespan: [1535,1537] nodes: 25068 makespan: [1534,1534] nodes: 25072 makespan: [1531,1533] nodes: 25262 makespan: [1530,1530] nodes: 25266 makespan: [1527,1529] nodes: 25450 makespan: [1526,1526] nodes: 25454 makespan: [1520,1525] nodes: 25655 makespan: [1519,1519] nodes: 25791 makespan: [1516,1518] nodes: 25862 makespan: [1515,1515] nodes: 25888 makespan: [1510,1514] nodes: 26032 makespan: [1507,1509] nodes: 26266 makespan: [1503,1506] nodes: 26297 makespan: [1498,1502] nodes: 26457 makespan: [1497,1497] nodes: 26598 makespan: [1494,1496] nodes: 26616 makespan: [1489,1493] nodes: 26635 makespan: [1485,1488] nodes: 26815 makespan: [1484,1484] nodes: 26972 makespan: [1483,1483] nodes: 26976 makespan: [1482,1482] nodes: 26989 makespan: [1481,1481] nodes: 26995 makespan: [1480,1480] nodes: 27159 makespan: [1478,1479] nodes: 27163 makespan: [1477,1477] nodes: 27169 nodes: 33300408 cpu: 3600.0005