makespan: [3911,5186]   nodes: 936
makespan: [3813,3910]   nodes: 942
makespan: [3739,3812]   nodes: 951
makespan: [3735,3738]   nodes: 956
makespan: [3641,3734]   nodes: 957
makespan: [3622,3640]   nodes: 966
makespan: [3560,3621]   nodes: 979
makespan: [3556,3559]   nodes: 984
makespan: [3462,3555]   nodes: 985
makespan: [3443,3461]   nodes: 994
makespan: [3436,3442]   nodes: 1011
makespan: [3432,3435]   nodes: 1016
makespan: [3338,3431]   nodes: 1017
makespan: [3319,3337]   nodes: 1026
makespan: [3292,3318]   nodes: 1049
makespan: [3273,3291]   nodes: 1050
makespan: [3256,3272]   nodes: 1100
makespan: [3229,3255]   nodes: 1124
makespan: [3210,3228]   nodes: 1125
makespan: [3203,3209]   nodes: 1163
makespan: [3184,3202]   nodes: 1164
makespan: [3167,3183]   nodes: 1204
makespan: [3148,3166]   nodes: 1205
makespan: [3130,3147]   nodes: 1275
makespan: [3123,3129]   nodes: 1312
makespan: [3104,3122]   nodes: 1313
makespan: [3087,3103]   nodes: 1353
makespan: [3068,3086]   nodes: 1354
makespan: [3061,3067]   nodes: 1426
makespan: [3043,3060]   nodes: 1497
makespan: [3036,3042]   nodes: 1535
makespan: [3017,3035]   nodes: 1536
makespan: [3000,3016]   nodes: 1577
makespan: [2981,2999]   nodes: 1578
makespan: [2975,2980]   nodes: 1645
makespan: [2968,2974]   nodes: 1725
makespan: [2958,2967]   nodes: 1775
makespan: [2951,2957]   nodes: 1785
makespan: [2931,2950]   nodes: 1809
makespan: [2912,2930]   nodes: 1810
makespan: [2905,2911]   nodes: 1819
makespan: [2886,2904]   nodes: 1856
makespan: [2879,2885]   nodes: 1865
makespan: [2869,2878]   nodes: 1904
makespan: [2850,2868]   nodes: 1905
makespan: [2843,2849]   nodes: 1914
makespan: [2832,2842]   nodes: 1985
makespan: [2825,2831]   nodes: 1989
makespan: [2806,2824]   nodes: 2025
makespan: [2799,2805]   nodes: 2029
makespan: [2789,2798]   nodes: 2069
makespan: [2770,2788]   nodes: 2070
makespan: [2763,2769]   nodes: 2074
makespan: [2759,2762]   nodes: 2186
makespan: [2732,2758]   nodes: 2231
makespan: [2713,2731]   nodes: 2232
makespan: [2700,2712]   nodes: 2289
makespan: [2698,2699]   nodes: 2346
makespan: [2679,2697]   nodes: 2347
makespan: [2652,2678]   nodes: 2393
makespan: [2633,2651]   nodes: 2394
makespan: [2623,2632]   nodes: 2457
makespan: [2619,2622]   nodes: 2461
makespan: [2617,2618]   nodes: 2547
makespan: [2604,2616]   nodes: 2587
makespan: [2601,2603]   nodes: 2690
makespan: [2582,2600]   nodes: 2691
makespan: [2576,2581]   nodes: 2702
makespan: [2569,2575]   nodes: 2759
makespan: [2550,2568]   nodes: 2760
makespan: [2544,2549]   nodes: 2810
makespan: [2531,2543]   nodes: 2853
makespan: [2521,2530]   nodes: 2858
makespan: [2502,2520]   nodes: 2859
makespan: [2496,2501]   nodes: 2869
makespan: [2492,2495]   nodes: 2955
makespan: [2491,2491]   nodes: 3038
makespan: [2487,2490]   nodes: 3140
makespan: [2486,2486]   nodes: 3193
makespan: [2478,2485]   nodes: 3247
makespan: [2474,2477]   nodes: 3302
makespan: [2455,2473]   nodes: 3312
makespan: [2446,2454]   nodes: 3363
makespan: [2441,2445]   nodes: 3463
makespan: [2432,2440]   nodes: 3510
makespan: [2431,2431]   nodes: 3608
makespan: [2427,2430]   nodes: 3728
makespan: [2424,2426]   nodes: 3784
makespan: [2405,2423]   nodes: 3785
makespan: [2391,2404]   nodes: 3887
makespan: [2382,2390]   nodes: 3998
makespan: [2368,2381]   nodes: 4099
makespan: [2364,2367]   nodes: 4214
makespan: [2353,2363]   nodes: 4336
makespan: [2344,2352]   nodes: 4445
makespan: [2330,2343]   nodes: 4543
makespan: [2327,2329]   nodes: 4653
makespan: [2326,2326]   nodes: 4695
makespan: [2325,2325]   nodes: 4876
makespan: [2322,2324]   nodes: 4890
makespan: [2320,2321]   nodes: 4903
makespan: [2318,2319]   nodes: 4939
makespan: [2314,2317]   nodes: 4950
makespan: [2305,2313]   nodes: 4962
makespan: [2294,2304]   nodes: 4966
makespan: [2293,2293]   nodes: 5026
makespan: [2283,2292]   nodes: 5103
makespan: [2282,2282]   nodes: 5116
makespan: [2281,2281]   nodes: 5179
makespan: [2280,2280]   nodes: 5261
makespan: [2279,2279]   nodes: 5318
makespan: [2269,2278]   nodes: 5402
makespan: [2268,2268]   nodes: 5412
makespan: [2267,2267]   nodes: 5472
makespan: [2260,2266]   nodes: 5655
makespan: [2256,2259]   nodes: 5695
makespan: [2247,2255]   nodes: 5790
makespan: [2242,2246]   nodes: 5876
makespan: [2233,2241]   nodes: 5889
makespan: [2229,2232]   nodes: 5979
makespan: [2225,2228]   nodes: 6086
makespan: [2222,2224]   nodes: 6182
makespan: [2221,2221]   nodes: 6239
makespan: [2212,2220]   nodes: 6369
makespan: [2208,2211]   nodes: 6464
makespan: [2204,2207]   nodes: 6563
makespan: [2201,2203]   nodes: 6654
makespan: [2200,2200]   nodes: 6708
makespan: [2198,2199]   nodes: 6832
makespan: [2196,2197]   nodes: 6843
makespan: [2192,2195]   nodes: 6948
makespan: [2189,2191]   nodes: 7039
makespan: [2188,2188]   nodes: 7092
makespan: [2187,2187]   nodes: 7225
makespan: [2183,2186]   nodes: 7264
makespan: [2174,2182]   nodes: 7358
makespan: [2169,2173]   nodes: 7443
makespan: [2160,2168]   nodes: 7455
makespan: [2156,2159]   nodes: 7543
makespan: [2152,2155]   nodes: 7647
makespan: [2149,2151]   nodes: 7738
makespan: [2148,2148]   nodes: 7787
makespan: [2147,2147]   nodes: 7907
makespan: [2141,2146]   nodes: 8042
makespan: [2137,2140]   nodes: 8078
makespan: [2135,2136]   nodes: 8176
makespan: [2128,2134]   nodes: 8179
makespan: [2123,2127]   nodes: 8263
makespan: [2121,2122]   nodes: 8279
makespan: [2114,2120]   nodes: 8282
makespan: [2110,2113]   nodes: 8371
makespan: [2106,2109]   nodes: 8477
makespan: [2103,2105]   nodes: 8572
makespan: [2102,2102]   nodes: 8624
makespan: [2101,2101]   nodes: 8798
makespan: [2097,2100]   nodes: 8904
makespan: [2094,2096]   nodes: 8990
makespan: [2093,2093]   nodes: 9037
makespan: [2091,2092]   nodes: 9185
makespan: [2082,2090]   nodes: 9200
makespan: [2081,2081]   nodes: 9280
makespan: [2078,2080]   nodes: 9348
makespan: [2074,2077]   nodes: 9448
makespan: [2073,2073]   nodes: 9534
makespan: [2071,2072]   nodes: 9608
makespan: [2070,2070]   nodes: 9656
makespan: [2069,2069]   nodes: 9782
makespan: [2063,2068]   nodes: 9982
makespan: [2062,2062]   nodes: 10034
makespan: [2061,2061]   nodes: 10106
makespan: [2060,2060]   nodes: 10155
makespan: [2049,2059]   nodes: 10227
makespan: [2048,2048]   nodes: 10273
makespan: [2047,2047]   nodes: 10440
makespan: [2043,2046]   nodes: 10471
makespan: [2034,2042]   nodes: 10549
makespan: [2029,2033]   nodes: 10622
makespan: [2020,2028]   nodes: 10636
makespan: [2016,2019]   nodes: 10716
makespan: [2012,2015]   nodes: 10804
makespan: [2009,2011]   nodes: 10884
makespan: [2008,2008]   nodes: 10930
makespan: [2006,2007]   nodes: 11038
makespan: [2003,2005]   nodes: 11117
makespan: [2002,2002]   nodes: 11160
makespan: [2001,2001]   nodes: 11287
makespan: [2000,2000]   nodes: 11333
makespan: [1991,1999]   nodes: 11448
makespan: [1987,1990]   nodes: 11527
makespan: [1983,1986]   nodes: 11621
makespan: [1980,1982]   nodes: 11702
makespan: [1979,1979]   nodes: 11748
makespan: [1977,1978]   nodes: 11856
makespan: [1973,1976]   nodes: 11944
makespan: [1972,1972]   nodes: 12018
makespan: [1970,1971]   nodes: 12038
makespan: [1969,1969]   nodes: 12080
makespan: [1968,1968]   nodes: 12197
makespan: [1963,1967]   nodes: 12268
makespan: [1954,1962]   nodes: 12326
makespan: [1951,1953]   nodes: 12406
makespan: [1950,1950]   nodes: 12479
makespan: [1946,1949]   nodes: 12565
makespan: [1944,1945]   nodes: 12640
makespan: [1943,1943]   nodes: 12688
makespan: [1942,1942]   nodes: 12764
makespan: [1941,1941]   nodes: 12878
makespan: [1937,1940]   nodes: 12956
makespan: [1936,1936]   nodes: 13035
makespan: [1935,1935]   nodes: 13072
makespan: [1933,1934]   nodes: 13162
makespan: [1929,1932]   nodes: 13242
makespan: [1925,1928]   nodes: 13356
makespan: [1921,1924]   nodes: 13451
makespan: [1918,1920]   nodes: 13521
makespan: [1917,1917]   nodes: 13556
makespan: [1912,1916]   nodes: 13659
makespan: [1908,1911]   nodes: 13733
makespan: [1904,1907]   nodes: 13815
makespan: [1901,1903]   nodes: 13884
makespan: [1900,1900]   nodes: 13937
makespan: [1898,1899]   nodes: 14039
makespan: [1895,1897]   nodes: 14118
makespan: [1894,1894]   nodes: 14178
makespan: [1891,1893]   nodes: 14322
makespan: [1889,1890]   nodes: 14400
makespan: [1884,1888]   nodes: 14416
makespan: [1883,1883]   nodes: 14467
makespan: [1882,1882]   nodes: 14640
makespan: [1881,1881]   nodes: 14698
makespan: [1880,1880]   nodes: 14769
makespan: [1879,1879]   nodes: 14805
makespan: [1878,1878]   nodes: 14857
makespan: [1877,1877]   nodes: 14893
makespan: [1876,1876]   nodes: 14950
makespan: [1873,1875]   nodes: 15077
makespan: [1872,1872]   nodes: 15141
makespan: [1871,1871]   nodes: 15181
makespan: [1864,1870]   nodes: 15309
makespan: [1863,1863]   nodes: 15317
makespan: [1862,1862]   nodes: 15332
makespan: [1860,1861]   nodes: 15413
makespan: [1859,1859]   nodes: 15552
makespan: [1856,1858]   nodes: 15698
makespan: [1855,1855]   nodes: 15769
makespan: [1850,1854]   nodes: 15775
makespan: [1846,1849]   nodes: 15852
makespan: [1843,1845]   nodes: 15866
makespan: [1842,1842]   nodes: 15927
makespan: [1836,1841]   nodes: 16023
makespan: [1835,1835]   nodes: 16095
makespan: [1833,1834]   nodes: 16207
makespan: [1829,1832]   nodes: 16266
makespan: [1828,1828]   nodes: 16384
makespan: [1826,1827]   nodes: 16441
makespan: [1815,1825]   nodes: 16449
makespan: [1814,1814]   nodes: 16464
makespan: [1812,1813]   nodes: 16546
makespan: [1810,1811]   nodes: 16723
makespan: [1806,1809]   nodes: 16781
makespan: [1804,1805]   nodes: 16842
makespan: [1799,1803]   nodes: 16858
makespan: [1798,1798]   nodes: 16954
makespan: [1797,1797]   nodes: 17136
makespan: [1795,1796]   nodes: 17201
makespan: [1793,1794]   nodes: 17246
makespan: [1792,1792]   nodes: 17325
makespan: [1791,1791]   nodes: 17439
makespan: [1787,1790]   nodes: 17549
makespan: [1786,1786]   nodes: 17634
makespan: [1785,1785]   nodes: 17766
makespan: [1784,1784]   nodes: 17791
makespan: [1779,1783]   nodes: 17881
makespan: [1778,1778]   nodes: 17948
makespan: [1775,1777]   nodes: 18011
makespan: [1774,1774]   nodes: 18077
makespan: [1769,1773]   nodes: 18083
makespan: [1766,1768]   nodes: 18149
makespan: [1765,1765]   nodes: 18155
makespan: [1761,1764]   nodes: 18168
makespan: [1758,1760]   nodes: 18252
makespan: [1757,1757]   nodes: 18314
makespan: [1751,1756]   nodes: 18418
makespan: [1750,1750]   nodes: 18501
makespan: [1748,1749]   nodes: 18625
makespan: [1744,1747]   nodes: 18704
makespan: [1737,1743]   nodes: 18824
makespan: [1736,1736]   nodes: 18839
makespan: [1731,1735]   nodes: 18921
makespan: [1730,1730]   nodes: 19009
makespan: [1729,1729]   nodes: 19024
makespan: [1727,1728]   nodes: 19107
makespan: [1719,1726]   nodes: 19318
makespan: [1703,1718]   nodes: 19444
makespan: [1702,1702]   nodes: 19555
makespan: [1696,1701]   nodes: 19606
makespan: [1695,1695]   nodes: 19765
makespan: [1692,1694]   nodes: 19864
makespan: [1689,1691]   nodes: 20010
makespan: [1688,1688]   nodes: 20120
makespan: [1685,1687]   nodes: 20149
makespan: [1682,1684]   nodes: 20238
makespan: [1679,1681]   nodes: 20382
makespan: [1678,1678]   nodes: 20495
makespan: [1676,1677]   nodes: 20670
makespan: [1671,1675]   nodes: 20781
makespan: [1670,1670]   nodes: 20814
makespan: [1669,1669]   nodes: 20917
makespan: [1664,1668]   nodes: 20995
makespan: [1659,1663]   nodes: 21028
makespan: [1657,1658]   nodes: 21077
makespan: [1653,1656]   nodes: 21171
makespan: [1647,1652]   nodes: 21280
makespan: [1646,1646]   nodes: 21397
makespan: [1644,1645]   nodes: 21478
makespan: [1643,1643]   nodes: 21547
makespan: [1639,1642]   nodes: 21665
makespan: [1630,1638]   nodes: 21736
makespan: [1628,1629]   nodes: 21841
makespan: [1626,1627]   nodes: 21945
makespan: [1614,1625]   nodes: 22078
makespan: [1613,1613]   nodes: 22185
makespan: [1607,1612]   nodes: 22256
makespan: [1606,1606]   nodes: 22404
makespan: [1603,1605]   nodes: 22508
makespan: [1597,1602]   nodes: 22665
makespan: [1596,1596]   nodes: 22832
makespan: [1593,1595]   nodes: 22918
makespan: [1591,1592]   nodes: 23145
makespan: [1579,1590]   nodes: 23185
makespan: [1578,1578]   nodes: 23277
makespan: [1577,1577]   nodes: 23370
makespan: [1576,1576]   nodes: 23455
makespan: [1571,1575]   nodes: 23568
makespan: [1570,1570]   nodes: 23668
makespan: [1563,1569]   nodes: 23770
makespan: [1554,1562]   nodes: 23828
makespan: [1553,1553]   nodes: 23916
makespan: [1551,1552]   nodes: 24027
makespan: [1550,1550]   nodes: 24119
makespan: [1549,1549]   nodes: 24126
makespan: [1538,1548]   nodes: 24248
makespan: [1537,1537]   nodes: 24340
makespan: [1536,1536]   nodes: 24447
makespan: [1531,1535]   nodes: 24515
makespan: [1530,1530]   nodes: 24627
makespan: [1526,1529]   nodes: 11214655
makespan: [1525,1525]   nodes: 11214812
makespan: [1521,1524]   nodes: 11214850
makespan: [1520,1520]   nodes: 11214875
makespan: [1518,1519]   nodes: 11214983
makespan: [1516,1517]   nodes: 11214992
makespan: [1515,1515]   nodes: 11215181
makespan: [1514,1514]   nodes: 11215212
makespan: [1511,1513]   nodes: 11215312
makespan: [1510,1510]   nodes: 11215341
makespan: [1508,1509]   nodes: 11215412
makespan: [1507,1507]   nodes: 11215473
makespan: [1506,1506]   nodes: 11215581
makespan: [1504,1505]   nodes: 11215666
makespan: [1502,1503]   nodes: 11215773
makespan: [1501,1501]   nodes: 11215916
makespan: [1500,1500]   nodes: 11215997
makespan: [1498,1499]   nodes: 11216103
makespan: [1497,1497]   nodes: 11216257
makespan: [1496,1496]   nodes: 11216390
makespan: [1494,1495]   nodes: 11216420
makespan: [1493,1493]   nodes: 11216512
makespan: [1492,1492]   nodes: 11216662
makespan: [1490,1491]   nodes: 11216801
makespan: [1488,1489]   nodes: 11216818
makespan: [1486,1487]   nodes: 11216977
makespan: [1484,1485]   nodes: 11217110
makespan: [1482,1483]   nodes: 11217197
makespan: [1481,1481]   nodes: 11217371
makespan: [1480,1480]   nodes: 11217436
makespan: [1477,1479]   nodes: 11217474
makespan: [1476,1476]   nodes: 11217585
makespan: [1475,1475]   nodes: 11217649
makespan: [1472,1474]   nodes: 11217753
makespan: [1471,1471]   nodes: 11217765
makespan: [1469,1470]   nodes: 11217851
makespan: [1467,1468]   nodes: 11217885
makespan: [1466,1466]   nodes: 11217940
makespan: [1463,1465]   nodes: 11217952
makespan: [1458,1462]   nodes: 11217957
makespan: [1457,1457]   nodes: 11217969
makespan: [1452,1456]   nodes: 11218056
makespan: [1451,1451]   nodes: 11218152
makespan: [1450,1450]   nodes: 11218165
makespan: [1449,1449]   nodes: 11218272
makespan: [1432,1448]   nodes: 11218300
makespan: [1431,1431]   nodes: 11218309
makespan: [1429,1430]   nodes: 11218342
makespan: [1427,1428]   nodes: 11218477
makespan: [1426,1426]   nodes: 11218517
makespan: [1422,1425]   nodes: 11218617
makespan: [1421,1421]   nodes: 11218757
makespan: [1417,1420]   nodes: 11218794
makespan: [1413,1416]   nodes: 11218881
makespan: [1408,1412]   nodes: 11219011
makespan: [1404,1407]   nodes: 11219095
makespan: [1398,1403]   nodes: 11219205
makespan: [1395,1397]   nodes: 11219263
makespan: [1394,1394]   nodes: 11219304
makespan: [1393,1393]   nodes: 11219405
makespan: [1392,1392]   nodes: 11219441
makespan: [1390,1391]   nodes: 11219545
makespan: [1389,1389]   nodes: 11219682
makespan: [1388,1388]   nodes: 11219728
makespan: [1387,1387]   nodes: 11219835
makespan: [1384,1386]   nodes: 11219862
nodes: 59511616  cpu: 3600.0002