makespan: [4118,5351]   nodes: 945
makespan: [3888,4117]   nodes: 950
makespan: [3684,3887]   nodes: 961
makespan: [3636,3683]   nodes: 997
makespan: [3618,3635]   nodes: 1044
makespan: [3581,3617]   nodes: 1103
makespan: [3562,3580]   nodes: 1104
makespan: [3488,3561]   nodes: 1113
makespan: [3440,3487]   nodes: 1147
makespan: [3422,3439]   nodes: 1192
makespan: [3388,3421]   nodes: 1322
makespan: [3379,3387]   nodes: 1367
makespan: [3331,3378]   nodes: 1396
makespan: [3300,3330]   nodes: 1526
makespan: [3252,3299]   nodes: 1550
makespan: [3220,3251]   nodes: 1666
makespan: [3209,3219]   nodes: 1762
makespan: [3161,3208]   nodes: 1786
makespan: [3147,3160]   nodes: 1886
makespan: [3108,3146]   nodes: 2007
makespan: [3106,3107]   nodes: 2109
makespan: [3103,3105]   nodes: 2234
makespan: [3086,3102]   nodes: 2353
makespan: [3060,3085]   nodes: 2384
makespan: [3050,3059]   nodes: 2411
makespan: [3012,3049]   nodes: 2443
makespan: [2998,3011]   nodes: 2482
makespan: [2975,2997]   nodes: 2521
makespan: [2959,2974]   nodes: 2623
makespan: [2957,2958]   nodes: 2666
makespan: [2920,2956]   nodes: 2805
makespan: [2908,2919]   nodes: 2924
makespan: [2903,2907]   nodes: 2945
makespan: [2902,2902]   nodes: 3079
makespan: [2882,2901]   nodes: 3117
makespan: [2871,2881]   nodes: 3195
makespan: [2860,2870]   nodes: 3234
makespan: [2853,2859]   nodes: 3270
makespan: [2851,2852]   nodes: 3312
makespan: [2831,2850]   nodes: 3434
makespan: [2803,2830]   nodes: 3560
makespan: [2800,2802]   nodes: 3674
makespan: [2790,2799]   nodes: 3794
makespan: [2772,2789]   nodes: 3878
makespan: [2768,2771]   nodes: 3994
makespan: [2761,2767]   nodes: 4148
makespan: [2759,2760]   nodes: 4211
makespan: [2739,2758]   nodes: 4328
makespan: [2738,2738]   nodes: 4435
makespan: [2732,2737]   nodes: 4450
makespan: [2717,2731]   nodes: 4548
makespan: [2711,2716]   nodes: 4581
makespan: [2708,2710]   nodes: 4687
makespan: [2701,2707]   nodes: 4792
makespan: [2680,2700]   nodes: 4886
makespan: [2676,2679]   nodes: 4995
makespan: [2673,2675]   nodes: 5144
makespan: [2657,2672]   nodes: 5289
makespan: [2655,2656]   nodes: 5385
makespan: [2636,2654]   nodes: 5386
makespan: [2617,2635]   nodes: 5484
makespan: [2602,2616]   nodes: 5601
makespan: [2585,2601]   nodes: 5726
makespan: [2584,2584]   nodes: 5775
makespan: [2581,2583]   nodes: 5887
makespan: [2569,2580]   nodes: 6026
makespan: [2556,2568]   nodes: 6159
makespan: [2553,2555]   nodes: 6292
makespan: [2544,2552]   nodes: 6341
makespan: [2541,2543]   nodes: 6444
makespan: [2536,2540]   nodes: 6586
makespan: [2533,2535]   nodes: 6590
makespan: [2531,2532]   nodes: 6661
makespan: [2517,2530]   nodes: 6693
makespan: [2514,2516]   nodes: 6697
makespan: [2512,2513]   nodes: 6771
makespan: [2503,2511]   nodes: 6801
makespan: [2495,2502]   nodes: 6805
makespan: [2482,2494]   nodes: 6893
makespan: [2474,2481]   nodes: 6903
makespan: [2466,2473]   nodes: 7027
makespan: [2461,2465]   nodes: 7069
makespan: [2457,2460]   nodes: 7204
makespan: [2453,2456]   nodes: 7269
makespan: [2452,2452]   nodes: 7352
makespan: [2444,2451]   nodes: 7394
makespan: [2443,2443]   nodes: 7403
makespan: [2441,2442]   nodes: 7418
makespan: [2440,2440]   nodes: 7465
makespan: [2436,2439]   nodes: 7477
makespan: [2432,2435]   nodes: 7495
makespan: [2428,2431]   nodes: 7582
makespan: [2424,2427]   nodes: 7702
makespan: [2423,2423]   nodes: 7776
makespan: [2421,2422]   nodes: 7832
makespan: [2410,2420]   nodes: 7919
makespan: [2406,2409]   nodes: 7925
makespan: [2402,2405]   nodes: 7929
makespan: [2400,2401]   nodes: 7964
makespan: [2391,2399]   nodes: 8089
makespan: [2374,2390]   nodes: 8107
makespan: [2370,2373]   nodes: 8147
makespan: [2353,2369]   nodes: 8231
makespan: [2349,2352]   nodes: 8272
makespan: [2342,2348]   nodes: 8414
makespan: [2338,2341]   nodes: 8443
makespan: [2335,2337]   nodes: 8556
makespan: [2330,2334]   nodes: 8637
makespan: [2325,2329]   nodes: 8681
makespan: [2322,2324]   nodes: 8780
makespan: [2318,2321]   nodes: 8835
makespan: [2316,2317]   nodes: 8881
makespan: [2311,2315]   nodes: 8930
makespan: [2306,2310]   nodes: 9015
makespan: [2301,2305]   nodes: 9063
makespan: [2300,2300]   nodes: 9161
makespan: [2297,2299]   nodes: 9213
makespan: [2295,2296]   nodes: 9306
makespan: [2294,2294]   nodes: 9394
makespan: [2289,2293]   nodes: 9452
makespan: [2285,2288]   nodes: 9520
makespan: [2281,2284]   nodes: 9627
makespan: [2277,2280]   nodes: 9663
makespan: [2271,2276]   nodes: 9751
makespan: [2267,2270]   nodes: 9806
makespan: [2265,2266]   nodes: 9851
makespan: [2260,2264]   nodes: 9899
makespan: [2256,2259]   nodes: 9965
makespan: [2255,2255]   nodes: 10055
makespan: [2250,2254]   nodes: 10103
makespan: [2246,2249]   nodes: 10170
makespan: [2242,2245]   nodes: 10305
makespan: [2240,2241]   nodes: 10388
makespan: [2238,2239]   nodes: 10478
makespan: [2230,2237]   nodes: 10526
makespan: [2225,2229]   nodes: 10619
makespan: [2223,2224]   nodes: 10727
makespan: [2221,2222]   nodes: 10729
makespan: [2218,2220]   nodes: 10844
makespan: [2214,2217]   nodes: 10863
makespan: [2213,2213]   nodes: 10966
makespan: [2209,2212]   nodes: 10985
makespan: [2208,2208]   nodes: 11116
makespan: [2194,2207]   nodes: 11160
makespan: [2191,2193]   nodes: 11161
makespan: [2187,2190]   nodes: 11269
makespan: [2185,2186]   nodes: 11361
makespan: [2175,2184]   nodes: 11462
makespan: [2170,2174]   nodes: 11564
makespan: [2159,2169]   nodes: 11745
makespan: [2151,2158]   nodes: 11750
makespan: [2149,2150]   nodes: 11904
makespan: [2132,2148]   nodes: 12015
makespan: [2122,2131]   nodes: 12144
makespan: [2121,2121]   nodes: 12154
makespan: [2117,2120]   nodes: 12285
makespan: [2103,2116]   nodes: 12424
makespan: [2101,2102]   nodes: 12426
makespan: [2082,2100]   nodes: 12570
makespan: [2081,2081]   nodes: 12728
makespan: [2080,2080]   nodes: 12751
makespan: [2077,2079]   nodes: 12753
makespan: [2075,2076]   nodes: 12771
makespan: [2073,2074]   nodes: 12952
makespan: [2063,2072]   nodes: 13076
makespan: [2062,2062]   nodes: 13086
makespan: [2058,2061]   nodes: 13215
makespan: [2057,2057]   nodes: 13353
makespan: [2055,2056]   nodes: 13355
makespan: [2044,2054]   nodes: 13399
makespan: [2042,2043]   nodes: 13401
makespan: [2036,2041]   nodes: 13541
makespan: [2023,2035]   nodes: 13571
makespan: [2014,2022]   nodes: 13720
makespan: [2006,2013]   nodes: 13883
makespan: [1999,2005]   nodes: 14042
makespan: [1997,1998]   nodes: 14143
makespan: [1991,1996]   nodes: 14305
makespan: [1989,1990]   nodes: 14307
makespan: [1987,1988]   nodes: 14403
makespan: [1970,1986]   nodes: 14532
makespan: [1968,1969]   nodes: 14628
makespan: [1966,1967]   nodes: 14802
makespan: [1947,1965]   nodes: 14939
makespan: [1945,1946]   nodes: 15104
makespan: [1938,1944]   nodes: 15140
makespan: [1936,1937]   nodes: 15305
makespan: [1932,1935]   nodes: 15351
makespan: [1930,1931]   nodes: 15353
makespan: [1928,1929]   nodes: 15422
makespan: [1917,1927]   nodes: 15553
makespan: [1911,1916]   nodes: 15599
makespan: [1909,1910]   nodes: 15668
makespan: [1908,1908]   nodes: 15821
makespan: [1906,1907]   nodes: 15863
makespan: [1904,1905]   nodes: 15994
makespan: [1899,1903]   nodes: 16135
makespan: [1893,1898]   nodes: 16273
makespan: [1890,1892]   nodes: 16295
makespan: [1885,1889]   nodes: 16429
makespan: [1882,1884]   nodes: 16590
makespan: [1880,1881]   nodes: 16733
makespan: [1879,1879]   nodes: 16888
makespan: [1871,1878]   nodes: 16944
makespan: [1870,1870]   nodes: 17078
makespan: [1867,1869]   nodes: 17091
makespan: [1862,1866]   nodes: 17243
makespan: [1859,1861]   nodes: 17378
makespan: [1858,1858]   nodes: 17490
makespan: [1849,1857]   nodes: 17596
makespan: [1839,1848]   nodes: 17658
makespan: [1837,1838]   nodes: 17795
makespan: [1831,1836]   nodes: 17849
makespan: [1827,1830]   nodes: 17876
makespan: [1825,1826]   nodes: 18017
makespan: [1824,1824]   nodes: 18129
makespan: [1819,1823]   nodes: 18264
makespan: [1818,1818]   nodes: 18386
makespan: [1816,1817]   nodes: 18533
makespan: [1812,1815]   nodes: 18687
makespan: [1808,1811]   nodes: 18785
makespan: [1804,1807]   nodes: 18816
makespan: [1803,1803]   nodes: 18961
makespan: [1802,1802]   nodes: 19077
makespan: [1798,1801]   nodes: 19176
makespan: [1794,1797]   nodes: 19208
makespan: [1792,1793]   nodes: 19313
makespan: [1789,1791]   nodes: 19395
makespan: [1787,1788]   nodes: 19421
makespan: [1785,1786]   nodes: 19477
makespan: [1783,1784]   nodes: 19616
makespan: [1778,1782]   nodes: 19766
makespan: [1774,1777]   nodes: 19797
makespan: [1773,1773]   nodes: 19811
makespan: [1767,1772]   nodes: 19834
makespan: [1765,1766]   nodes: 19884
makespan: [1760,1764]   nodes: 20049
makespan: [1758,1759]   nodes: 20177
makespan: [1757,1757]   nodes: 20330
makespan: [1756,1756]   nodes: 20350
makespan: [1755,1755]   nodes: 20414
makespan: [1747,1754]   nodes: 20503
makespan: [1741,1746]   nodes: 20648
makespan: [1740,1740]   nodes: 20750
makespan: [1735,1739]   nodes: 20942
makespan: [1729,1734]   nodes: 21062
makespan: [1726,1728]   nodes: 21154
makespan: [1725,1725]   nodes: 21197
makespan: [1723,1724]   nodes: 21365
makespan: [1721,1722]   nodes: 21461
makespan: [1719,1720]   nodes: 21634
makespan: [1717,1718]   nodes: 21746
makespan: [1716,1716]   nodes: 21838
makespan: [1714,1715]   nodes: 21871
makespan: [1712,1713]   nodes: 21969
makespan: [1710,1711]   nodes: 22077
makespan: [1706,1709]   nodes: 22099
makespan: [1702,1705]   nodes: 22253
makespan: [1697,1701]   nodes: 22374
makespan: [1695,1696]   nodes: 22483
makespan: [1693,1694]   nodes: 22578
makespan: [1689,1692]   nodes: 22640
makespan: [1685,1688]   nodes: 22786
makespan: [1682,1684]   nodes: 22883
makespan: [1681,1681]   nodes: 23054
makespan: [1677,1680]   nodes: 23199
makespan: [1672,1676]   nodes: 23314
makespan: [1671,1671]   nodes: 23424
makespan: [1664,1670]   nodes: 23444
makespan: [1660,1663]   nodes: 23590
makespan: [1658,1659]   nodes: 63647
makespan: [1657,1657]   nodes: 63653
makespan: [1653,1656]   nodes: 1927670
makespan: [1652,1652]   nodes: 1927731
makespan: [1651,1651]   nodes: 3319153
makespan: [1649,1650]   nodes: 3319275
nodes: 39137891  cpu: 3600.0005