makespan: [3994,5445]   nodes: 941
makespan: [3987,3993]   nodes: 942
makespan: [3913,3986]   nodes: 943
makespan: [3884,3912]   nodes: 957
makespan: [3843,3883]   nodes: 971
makespan: [3825,3842]   nodes: 984
makespan: [3815,3824]   nodes: 997
makespan: [3813,3814]   nodes: 1033
makespan: [3772,3812]   nodes: 1047
makespan: [3754,3771]   nodes: 1060
makespan: [3744,3753]   nodes: 1073
makespan: [3742,3743]   nodes: 1111
makespan: [3732,3741]   nodes: 1124
makespan: [3731,3731]   nodes: 1169
makespan: [3713,3730]   nodes: 1181
makespan: [3703,3712]   nodes: 1193
makespan: [3699,3702]   nodes: 1214
makespan: [3689,3698]   nodes: 1226
makespan: [3655,3688]   nodes: 1263
makespan: [3637,3654]   nodes: 1275
makespan: [3627,3636]   nodes: 1287
makespan: [3593,3626]   nodes: 1328
makespan: [3583,3592]   nodes: 1339
makespan: [3539,3582]   nodes: 1383
makespan: [3505,3538]   nodes: 1434
makespan: [3487,3504]   nodes: 1449
makespan: [3477,3486]   nodes: 1465
makespan: [3443,3476]   nodes: 1504
makespan: [3433,3442]   nodes: 1519
makespan: [3389,3432]   nodes: 1560
makespan: [3383,3388]   nodes: 1605
makespan: [3350,3382]   nodes: 1652
makespan: [3338,3349]   nodes: 1689
makespan: [3331,3337]   nodes: 1729
makespan: [3321,3330]   nodes: 1730
makespan: [3287,3320]   nodes: 1770
makespan: [3277,3286]   nodes: 1771
makespan: [3233,3276]   nodes: 1810
makespan: [3219,3232]   nodes: 1858
makespan: [3216,3218]   nodes: 1880
makespan: [3198,3215]   nodes: 1932
makespan: [3184,3197]   nodes: 1937
makespan: [3181,3183]   nodes: 1960
makespan: [3165,3180]   nodes: 2058
makespan: [3155,3164]   nodes: 2059
makespan: [3111,3154]   nodes: 2098
makespan: [3103,3110]   nodes: 2144
makespan: [3059,3102]   nodes: 2181
makespan: [3053,3058]   nodes: 2254
makespan: [3047,3052]   nodes: 2297
makespan: [3039,3046]   nodes: 2345
makespan: [3036,3038]   nodes: 2367
makespan: [3004,3035]   nodes: 2421
makespan: [3001,3003]   nodes: 2444
makespan: [2995,3000]   nodes: 2514
makespan: [2992,2994]   nodes: 2536
makespan: [2974,2991]   nodes: 2588
makespan: [2960,2973]   nodes: 2593
makespan: [2957,2959]   nodes: 2616
makespan: [2954,2956]   nodes: 2729
makespan: [2940,2953]   nodes: 2778
makespan: [2937,2939]   nodes: 2799
makespan: [2905,2936]   nodes: 2850
makespan: [2902,2904]   nodes: 2872
makespan: [2892,2901]   nodes: 2957
makespan: [2866,2891]   nodes: 2995
makespan: [2832,2865]   nodes: 3048
makespan: [2809,2831]   nodes: 3092
makespan: [2804,2808]   nodes: 3159
makespan: [2785,2803]   nodes: 3211
makespan: [2784,2784]   nodes: 3307
makespan: [2779,2783]   nodes: 3331
makespan: [2774,2778]   nodes: 3401
makespan: [2769,2773]   nodes: 3484
makespan: [2755,2768]   nodes: 3560
makespan: [2743,2754]   nodes: 3657
makespan: [2738,2742]   nodes: 3679
makespan: [2733,2737]   nodes: 3750
makespan: [2728,2732]   nodes: 3834
makespan: [2714,2727]   nodes: 3911
makespan: [2708,2713]   nodes: 4043
makespan: [2696,2707]   nodes: 4130
makespan: [2691,2695]   nodes: 4151
makespan: [2686,2690]   nodes: 4212
makespan: [2681,2685]   nodes: 4287
makespan: [2667,2680]   nodes: 4352
makespan: [2666,2666]   nodes: 4436
makespan: [2654,2665]   nodes: 4528
makespan: [2653,2653]   nodes: 4654
makespan: [2648,2652]   nodes: 4674
makespan: [2641,2647]   nodes: 4708
makespan: [2636,2640]   nodes: 4730
makespan: [2631,2635]   nodes: 4792
makespan: [2626,2630]   nodes: 4871
makespan: [2624,2625]   nodes: 4940
makespan: [2612,2623]   nodes: 4973
makespan: [2599,2611]   nodes: 5068
makespan: [2595,2598]   nodes: 5193
makespan: [2588,2594]   nodes: 5228
makespan: [2586,2587]   nodes: 5386
makespan: [2574,2585]   nodes: 5419
makespan: [2561,2573]   nodes: 5527
makespan: [2550,2560]   nodes: 5673
makespan: [2538,2549]   nodes: 5836
makespan: [2532,2537]   nodes: 5969
makespan: [2520,2531]   nodes: 6059
makespan: [2515,2519]   nodes: 6081
makespan: [2510,2514]   nodes: 6142
makespan: [2505,2509]   nodes: 6215
makespan: [2491,2504]   nodes: 6280
makespan: [2490,2490]   nodes: 6366
makespan: [2478,2489]   nodes: 6464
makespan: [2477,2477]   nodes: 6609
makespan: [2472,2476]   nodes: 6630
makespan: [2465,2471]   nodes: 6662
makespan: [2460,2464]   nodes: 6685
makespan: [2455,2459]   nodes: 6743
makespan: [2450,2454]   nodes: 6820
makespan: [2448,2449]   nodes: 6882
makespan: [2436,2447]   nodes: 6913
makespan: [2423,2435]   nodes: 7008
makespan: [2419,2422]   nodes: 7139
makespan: [2412,2418]   nodes: 7172
makespan: [2407,2411]   nodes: 7348
makespan: [2400,2406]   nodes: 7381
makespan: [2395,2399]   nodes: 7405
makespan: [2390,2394]   nodes: 7464
makespan: [2385,2389]   nodes: 7542
makespan: [2383,2384]   nodes: 7603
makespan: [2371,2382]   nodes: 7635
makespan: [2358,2370]   nodes: 7731
makespan: [2354,2357]   nodes: 7863
makespan: [2347,2353]   nodes: 7896
makespan: [2346,2346]   nodes: 8057
makespan: [2343,2345]   nodes: 8103
makespan: [2332,2342]   nodes: 8259
makespan: [2326,2331]   nodes: 8423
makespan: [2323,2325]   nodes: 8494
makespan: [2310,2322]   nodes: 8620
makespan: [2303,2309]   nodes: 8734
makespan: [2293,2302]   nodes: 8746
makespan: [2285,2292]   nodes: 8776
makespan: [2281,2284]   nodes: 8813
makespan: [2268,2280]   nodes: 8901
makespan: [2261,2267]   nodes: 9037
makespan: [2256,2260]   nodes: 9101
makespan: [2252,2255]   nodes: 9126
makespan: [2244,2251]   nodes: 9148
makespan: [2241,2243]   nodes: 9220
makespan: [2231,2240]   nodes: 9251
makespan: [2228,2230]   nodes: 9404
makespan: [2220,2227]   nodes: 9435
makespan: [2216,2219]   nodes: 9472
makespan: [2203,2215]   nodes: 9561
makespan: [2196,2202]   nodes: 9698
makespan: [2191,2195]   nodes: 9762
makespan: [2187,2190]   nodes: 9788
makespan: [2179,2186]   nodes: 9811
makespan: [2176,2178]   nodes: 9884
makespan: [2166,2175]   nodes: 9915
makespan: [2165,2165]   nodes: 10063
makespan: [2163,2164]   nodes: 10074
makespan: [2156,2162]   nodes: 10106
makespan: [2155,2155]   nodes: 10167
makespan: [2151,2154]   nodes: 10232
makespan: [2147,2150]   nodes: 10385
makespan: [2145,2146]   nodes: 10423
makespan: [2140,2144]   nodes: 10427
makespan: [2135,2139]   nodes: 10470
makespan: [2129,2134]   nodes: 10530
makespan: [2122,2128]   nodes: 10571
makespan: [2118,2121]   nodes: 10639
makespan: [2112,2117]   nodes: 10695
makespan: [2106,2111]   nodes: 10732
makespan: [2105,2105]   nodes: 10794
makespan: [2098,2104]   nodes: 10932
makespan: [2094,2097]   nodes: 10961
makespan: [2091,2093]   nodes: 10985
makespan: [2090,2090]   nodes: 11001
makespan: [2085,2089]   nodes: 11178
makespan: [2081,2084]   nodes: 11223
makespan: [2077,2080]   nodes: 11287
makespan: [2076,2076]   nodes: 11331
makespan: [2072,2075]   nodes: 11361
makespan: [2068,2071]   nodes: 11410
makespan: [2064,2067]   nodes: 11449
makespan: [2058,2063]   nodes: 11559
makespan: [2054,2057]   nodes: 11585
makespan: [2052,2053]   nodes: 11629
makespan: [2049,2051]   nodes: 11681
makespan: [2039,2048]   nodes: 11837
makespan: [2036,2038]   nodes: 11924
makespan: [2035,2035]   nodes: 11981
makespan: [2032,2034]   nodes: 12019
makespan: [2024,2031]   nodes: 12054
makespan: [2023,2023]   nodes: 12162
makespan: [2019,2022]   nodes: 12272
makespan: [2012,2018]   nodes: 12394
makespan: [2011,2011]   nodes: 12454
makespan: [2008,2010]   nodes: 12568
makespan: [2007,2007]   nodes: 12625
makespan: [2005,2006]   nodes: 12654
makespan: [2004,2004]   nodes: 12737
makespan: [1996,2003]   nodes: 12767
makespan: [1994,1995]   nodes: 12883
makespan: [1991,1993]   nodes: 12887
makespan: [1990,1990]   nodes: 12963
makespan: [1987,1989]   nodes: 12984
makespan: [1985,1986]   nodes: 12987
makespan: [1982,1984]   nodes: 12990
makespan: [1980,1981]   nodes: 13085
makespan: [1978,1979]   nodes: 13123
makespan: [1974,1977]   nodes: 13156
makespan: [1973,1973]   nodes: 13207
makespan: [1967,1972]   nodes: 13289
makespan: [1958,1966]   nodes: 13360
makespan: [1953,1957]   nodes: 13529
makespan: [1950,1952]   nodes: 13587
makespan: [1944,1949]   nodes: 13640
makespan: [1940,1943]   nodes: 13736
makespan: [1939,1939]   nodes: 13789
makespan: [1937,1938]   nodes: 13881
makespan: [1935,1936]   nodes: 13911
makespan: [1931,1934]   nodes: 13941
makespan: [1929,1930]   nodes: 13979
makespan: [1925,1928]   nodes: 14019
makespan: [1924,1924]   nodes: 14052
makespan: [1917,1923]   nodes: 14170
makespan: [1916,1916]   nodes: 14183
makespan: [1912,1915]   nodes: 14271
makespan: [1901,1911]   nodes: 14282
makespan: [1898,1900]   nodes: 14414
makespan: [1897,1897]   nodes: 14495
makespan: [1896,1896]   nodes: 14563
makespan: [1890,1895]   nodes: 14628
makespan: [1889,1889]   nodes: 14703
makespan: [1882,1888]   nodes: 14803
makespan: [1880,1881]   nodes: 14889
makespan: [1874,1879]   nodes: 14897
makespan: [1872,1873]   nodes: 15029
makespan: [1866,1871]   nodes: 15074
makespan: [1861,1865]   nodes: 15172
makespan: [1855,1860]   nodes: 15256
makespan: [1849,1854]   nodes: 15304
makespan: [1844,1848]   nodes: 15402
makespan: [1841,1843]   nodes: 15524
makespan: [1838,1840]   nodes: 15569
makespan: [1833,1837]   nodes: 15578
makespan: [1827,1832]   nodes: 15661
makespan: [1821,1826]   nodes: 15709
makespan: [1816,1820]   nodes: 15792
makespan: [1815,1815]   nodes: 15795
makespan: [1810,1814]   nodes: 15836
makespan: [1809,1809]   nodes: 15839
makespan: [1807,1808]   nodes: 15923
makespan: [1801,1806]   nodes: 16021
makespan: [1799,1800]   nodes: 16122
makespan: [1792,1798]   nodes: 16222
makespan: [1783,1791]   nodes: 16233
makespan: [1782,1782]   nodes: 16341
makespan: [1780,1781]   nodes: 16388
makespan: [1777,1779]   nodes: 16391
makespan: [1773,1776]   nodes: 16480
makespan: [1771,1772]   nodes: 16533
makespan: [1767,1770]   nodes: 16604
makespan: [1765,1766]   nodes: 16657
makespan: [1761,1764]   nodes: 16732
makespan: [1760,1760]   nodes: 16735
makespan: [1754,1759]   nodes: 16830
makespan: [1753,1753]   nodes: 16882
makespan: [1747,1752]   nodes: 16991
makespan: [1745,1746]   nodes: 16998
makespan: [1738,1744]   nodes: 17043
makespan: [1737,1737]   nodes: 17052
makespan: [1734,1736]   nodes: 17102
makespan: [1733,1733]   nodes: 17213
makespan: [1732,1732]   nodes: 17321
makespan: [1731,1731]   nodes: 17405
makespan: [1725,1730]   nodes: 17466
makespan: [1723,1724]   nodes: 17531
makespan: [1722,1722]   nodes: 17611
makespan: [1721,1721]   nodes: 17681
makespan: [1715,1720]   nodes: 17749
makespan: [1710,1714]   nodes: 17836
makespan: [1708,1709]   nodes: 17851
makespan: [1702,1707]   nodes: 17937
makespan: [1701,1701]   nodes: 17938
makespan: [1696,1700]   nodes: 17958
makespan: [1694,1695]   nodes: 17969
makespan: [1693,1693]   nodes: 17972
makespan: [1692,1692]   nodes: 17973
makespan: [1688,1691]   nodes: 17988
makespan: [1684,1687]   nodes: 18060
makespan: [1682,1683]   nodes: 18177
nodes: 69468587  cpu: 3600.0002