makespan: [4745,5346]   nodes: 906
makespan: [4552,4744]   nodes: 907
makespan: [4385,4551]   nodes: 910
makespan: [4346,4384]   nodes: 913
makespan: [4339,4345]   nodes: 971
makespan: [4172,4338]   nodes: 974
makespan: [4133,4171]   nodes: 977
makespan: [4112,4132]   nodes: 1054
makespan: [4073,4111]   nodes: 1065
makespan: [3980,4072]   nodes: 1155
makespan: [3941,3979]   nodes: 1167
makespan: [3914,3940]   nodes: 1251
makespan: [3866,3913]   nodes: 1342
makespan: [3831,3865]   nodes: 1431
makespan: [3807,3830]   nodes: 1540
makespan: [3768,3806]   nodes: 1543
makespan: [3744,3767]   nodes: 1623
makespan: [3705,3743]   nodes: 1636
makespan: [3678,3704]   nodes: 1717
makespan: [3630,3677]   nodes: 1805
makespan: [3595,3629]   nodes: 1889
makespan: [3579,3594]   nodes: 1996
makespan: [3540,3578]   nodes: 2008
makespan: [3513,3539]   nodes: 2089
makespan: [3465,3512]   nodes: 2176
makespan: [3430,3464]   nodes: 2261
makespan: [3400,3429]   nodes: 2376
makespan: [3378,3399]   nodes: 2470
makespan: [3351,3377]   nodes: 2559
makespan: [3331,3350]   nodes: 2656
makespan: [3303,3330]   nodes: 2715
makespan: [3268,3302]   nodes: 2756
makespan: [3265,3267]   nodes: 2875
makespan: [3230,3264]   nodes: 2910
makespan: [3202,3229]   nodes: 2990
makespan: [3176,3201]   nodes: 3105
makespan: [3148,3175]   nodes: 3185
makespan: [3137,3147]   nodes: 3293
makespan: [3127,3136]   nodes: 3294
makespan: [3124,3126]   nodes: 3412
makespan: [3099,3123]   nodes: 3447
makespan: [3089,3098]   nodes: 3448
makespan: [3071,3088]   nodes: 3528
makespan: [3061,3070]   nodes: 3529
makespan: [3043,3060]   nodes: 3631
makespan: [3034,3042]   nodes: 3736
makespan: [3026,3033]   nodes: 3852
makespan: [3015,3025]   nodes: 3887
makespan: [3005,3014]   nodes: 4007
makespan: [2979,3004]   nodes: 4115
makespan: [2951,2978]   nodes: 4199
makespan: [2940,2950]   nodes: 4298
makespan: [2930,2939]   nodes: 4299
makespan: [2927,2929]   nodes: 4409
makespan: [2902,2926]   nodes: 4443
makespan: [2892,2901]   nodes: 4444
makespan: [2874,2891]   nodes: 4528
makespan: [2864,2873]   nodes: 4529
makespan: [2846,2863]   nodes: 4617
makespan: [2837,2845]   nodes: 4705
makespan: [2829,2836]   nodes: 4805
makespan: [2818,2828]   nodes: 4847
makespan: [2811,2817]   nodes: 4966
makespan: [2802,2810]   nodes: 5049
makespan: [2794,2801]   nodes: 5144
makespan: [2783,2793]   nodes: 5186
makespan: [2778,2782]   nodes: 5307
makespan: [2776,2777]   nodes: 5416
makespan: [2771,2775]   nodes: 5459
makespan: [2767,2770]   nodes: 5532
makespan: [2762,2766]   nodes: 5579
makespan: [2759,2761]   nodes: 5664
makespan: [2748,2758]   nodes: 5704
makespan: [2743,2747]   nodes: 5754
makespan: [2742,2742]   nodes: 5879
makespan: [2738,2741]   nodes: 5977
makespan: [2734,2737]   nodes: 5978
makespan: [2727,2733]   nodes: 6021
makespan: [2723,2726]   nodes: 6022
makespan: [2718,2722]   nodes: 6143
makespan: [2716,2717]   nodes: 6252
makespan: [2711,2715]   nodes: 6295
makespan: [2707,2710]   nodes: 6367
makespan: [2702,2706]   nodes: 6414
makespan: [2699,2701]   nodes: 6498
makespan: [2688,2698]   nodes: 6538
makespan: [2683,2687]   nodes: 6588
makespan: [2670,2682]   nodes: 6717
makespan: [2666,2669]   nodes: 6843
makespan: [2660,2665]   nodes: 6934
makespan: [2655,2659]   nodes: 6981
makespan: [2653,2654]   nodes: 7107
makespan: [2652,2652]   nodes: 7207
makespan: [2646,2651]   nodes: 7256
makespan: [2635,2645]   nodes: 7296
makespan: [2630,2634]   nodes: 7415
makespan: [2629,2629]   nodes: 7524
makespan: [2624,2628]   nodes: 7566
makespan: [2619,2623]   nodes: 7622
makespan: [2614,2618]   nodes: 7667
makespan: [2600,2613]   nodes: 7756
makespan: [2595,2599]   nodes: 7804
makespan: [2586,2594]   nodes: 7929
makespan: [2574,2585]   nodes: 7959
makespan: [2573,2573]   nodes: 7987
makespan: [2570,2572]   nodes: 8113
makespan: [2563,2569]   nodes: 8114
makespan: [2560,2562]   nodes: 8119
makespan: [2555,2559]   nodes: 8250
makespan: [2535,2554]   nodes: 8256
makespan: [2528,2534]   nodes: 8257
makespan: [2525,2527]   nodes: 8262
makespan: [2520,2524]   nodes: 8368
makespan: [2496,2519]   nodes: 8493
makespan: [2495,2495]   nodes: 8519
makespan: [2485,2494]   nodes: 8523
makespan: [2467,2484]   nodes: 8651
makespan: [2465,2466]   nodes: 8680
makespan: [2460,2464]   nodes: 8790
makespan: [2454,2459]   nodes: 8898
makespan: [2438,2453]   nodes: 8963
makespan: [2436,2437]   nodes: 8985
makespan: [2425,2435]   nodes: 9019
makespan: [2422,2424]   nodes: 9157
makespan: [2419,2421]   nodes: 9160
makespan: [2412,2418]   nodes: 9222
makespan: [2409,2411]   nodes: 9228
makespan: [2406,2408]   nodes: 9322
makespan: [2402,2405]   nodes: 9377
makespan: [2388,2401]   nodes: 9406
makespan: [2385,2387]   nodes: 9471
makespan: [2366,2384]   nodes: 9511
makespan: [2360,2365]   nodes: 9531
makespan: [2358,2359]   nodes: 9645
makespan: [2353,2357]   nodes: 9700
makespan: [2345,2352]   nodes: 9807
makespan: [2344,2344]   nodes: 9898
makespan: [2332,2343]   nodes: 10019
makespan: [2325,2331]   nodes: 10056
makespan: [2324,2324]   nodes: 10225
makespan: [2316,2323]   nodes: 10333
makespan: [2315,2315]   nodes: 10426
makespan: [2297,2314]   nodes: 10544
makespan: [2296,2296]   nodes: 10596
makespan: [2285,2295]   nodes: 10798
makespan: [2269,2284]   nodes: 10850
makespan: [2268,2268]   nodes: 10869
makespan: [2264,2267]   nodes: 10959
makespan: [2258,2263]   nodes: 11082
makespan: [2257,2257]   nodes: 11121
makespan: [2249,2256]   nodes: 11230
makespan: [2248,2248]   nodes: 11322
makespan: [2236,2247]   nodes: 11436
makespan: [2229,2235]   nodes: 11549
makespan: [2227,2228]   nodes: 11703
makespan: [2220,2226]   nodes: 11882
makespan: [2213,2219]   nodes: 11883
makespan: [2209,2212]   nodes: 11907
makespan: [2207,2208]   nodes: 11952
makespan: [2204,2206]   nodes: 12122
makespan: [2195,2203]   nodes: 12162
makespan: [2191,2194]   nodes: 12189
makespan: [2175,2190]   nodes: 12414
makespan: [2174,2174]   nodes: 12455
makespan: [2173,2173]   nodes: 12497
makespan: [2167,2172]   nodes: 12538
makespan: [2165,2166]   nodes: 12690
makespan: [2162,2164]   nodes: 12844
makespan: [2160,2161]   nodes: 12944
makespan: [2155,2159]   nodes: 12970
makespan: [2145,2154]   nodes: 13062
makespan: [2139,2144]   nodes: 13214
makespan: [2138,2138]   nodes: 13295
makespan: [2136,2137]   nodes: 13310
makespan: [2131,2135]   nodes: 13330
makespan: [2129,2130]   nodes: 13429
makespan: [2121,2128]   nodes: 13678
makespan: [2118,2120]   nodes: 13691
makespan: [2117,2117]   nodes: 13746
makespan: [2116,2116]   nodes: 13796
makespan: [2115,2115]   nodes: 13845
makespan: [2110,2114]   nodes: 13883
makespan: [2108,2109]   nodes: 13996
makespan: [2107,2107]   nodes: 14111
makespan: [2105,2106]   nodes: 14151
makespan: [2100,2104]   nodes: 14226
makespan: [2098,2099]   nodes: 14257
makespan: [2095,2097]   nodes: 14323
makespan: [2088,2094]   nodes: 14341
makespan: [2084,2087]   nodes: 14453
makespan: [2081,2083]   nodes: 14528
makespan: [2078,2080]   nodes: 14614
makespan: [2072,2077]   nodes: 14618
makespan: [2070,2071]   nodes: 14822
makespan: [2068,2069]   nodes: 14823
makespan: [2060,2067]   nodes: 14887
makespan: [2058,2059]   nodes: 14888
makespan: [2047,2057]   nodes: 15018
makespan: [2042,2046]   nodes: 15087
makespan: [2035,2041]   nodes: 15307
makespan: [2034,2034]   nodes: 15461
makespan: [2028,2033]   nodes: 15576
makespan: [2027,2027]   nodes: 15580
makespan: [2026,2026]   nodes: 15586
makespan: [2025,2025]   nodes: 15590
makespan: [2023,2024]   nodes: 15700
makespan: [2022,2022]   nodes: 15822
makespan: [2018,2021]   nodes: 15838
makespan: [2014,2017]   nodes: 15902
makespan: [2012,2013]   nodes: 15903
makespan: [2009,2011]   nodes: 15968
makespan: [2005,2008]   nodes: 15972
makespan: [2003,2004]   nodes: 15973
makespan: [1987,2002]   nodes: 16103
makespan: [1985,1986]   nodes: 16313
makespan: [1982,1984]   nodes: 16333
makespan: [1972,1981]   nodes: 16492
makespan: [1971,1971]   nodes: 16623
makespan: [1963,1970]   nodes: 16662
makespan: [1959,1962]   nodes: 16776
makespan: [1956,1958]   nodes: 16849
makespan: [1953,1955]   nodes: 16956
makespan: [1950,1952]   nodes: 16968
makespan: [1947,1949]   nodes: 16992
makespan: [1946,1946]   nodes: 17187
makespan: [1942,1945]   nodes: 17221
makespan: [1938,1941]   nodes: 17285
makespan: [1934,1937]   nodes: 17394
makespan: [1931,1933]   nodes: 17428
makespan: [1922,1930]   nodes: 17534
makespan: [1920,1921]   nodes: 17723
makespan: [1915,1919]   nodes: 17801
makespan: [1908,1914]   nodes: 17978
makespan: [1905,1907]   nodes: 18045
makespan: [1904,1904]   nodes: 18151
makespan: [1896,1903]   nodes: 18178
makespan: [1892,1895]   nodes: 18289
makespan: [1889,1891]   nodes: 18298
makespan: [1880,1888]   nodes: 18400
makespan: [1876,1879]   nodes: 18582
makespan: [1875,1875]   nodes: 18691
makespan: [1872,1874]   nodes: 18737
makespan: [1869,1871]   nodes: 18748
makespan: [1866,1868]   nodes: 18840
makespan: [1860,1865]   nodes: 18877
makespan: [1851,1859]   nodes: 19085
makespan: [1848,1850]   nodes: 19116
makespan: [1847,1847]   nodes: 19202
makespan: [1842,1846]   nodes: 19280
makespan: [1839,1841]   nodes: 19312
makespan: [1836,1838]   nodes: 19456
makespan: [1831,1835]   nodes: 19641
makespan: [1826,1830]   nodes: 19697
makespan: [1824,1825]   nodes: 19772
makespan: [1819,1823]   nodes: 19847
makespan: [1817,1818]   nodes: 19927
makespan: [1814,1816]   nodes: 20056
makespan: [1811,1813]   nodes: 20247
makespan: [1806,1810]   nodes: 20321
makespan: [1799,1805]   nodes: 20393
makespan: [1792,1798]   nodes: 20487
makespan: [1791,1791]   nodes: 20609
makespan: [1790,1790]   nodes: 20697
makespan: [1789,1789]   nodes: 20723
makespan: [1785,1788]   nodes: 20787
makespan: [1784,1784]   nodes: 20812
makespan: [1783,1783]   nodes: 20870
makespan: [1782,1782]   nodes: 20877
makespan: [1780,1781]   nodes: 21001
makespan: [1779,1779]   nodes: 21008
makespan: [1778,1778]   nodes: 21179
makespan: [1776,1777]   nodes: 21353
makespan: [1775,1775]   nodes: 21466
makespan: [1773,1774]   nodes: 21487
makespan: [1767,1772]   nodes: 21565
makespan: [1766,1766]   nodes: 21622
makespan: [1763,1765]   nodes: 21658
makespan: [1761,1762]   nodes: 21673
makespan: [1760,1760]   nodes: 21714
makespan: [1756,1759]   nodes: 21841
makespan: [1753,1755]   nodes: 21893
makespan: [1752,1752]   nodes: 21940
makespan: [1749,1751]   nodes: 21983
makespan: [1747,1748]   nodes: 22043
makespan: [1744,1746]   nodes: 22192
makespan: [1743,1743]   nodes: 22363
makespan: [1741,1742]   nodes: 22429
makespan: [1739,1740]   nodes: 22432
makespan: [1734,1738]   nodes: 22434
makespan: [1725,1733]   nodes: 22575
makespan: [1724,1724]   nodes: 22611
makespan: [1721,1723]   nodes: 22702
makespan: [1719,1720]   nodes: 22727
makespan: [1718,1718]   nodes: 22787
makespan: [1717,1717]   nodes: 22850
makespan: [1716,1716]   nodes: 22974
makespan: [1711,1715]   nodes: 23050
makespan: [1707,1710]   nodes: 23074
makespan: [1706,1706]   nodes: 23199
makespan: [1700,1705]   nodes: 23263
makespan: [1697,1699]   nodes: 23281
makespan: [1694,1696]   nodes: 23433
makespan: [1692,1693]   nodes: 23495
makespan: [1685,1691]   nodes: 23552
makespan: [1682,1684]   nodes: 23646
makespan: [1679,1681]   nodes: 23673
makespan: [1672,1678]   nodes: 23742
makespan: [1667,1671]   nodes: 23907
makespan: [1663,1666]   nodes: 23980
makespan: [1660,1662]   nodes: 23990
makespan: [1653,1659]   nodes: 24105
makespan: [1646,1652]   nodes: 24190
makespan: [1641,1645]   nodes: 24259
nodes: 54486640  cpu: 3600.0005