makespan: [2815,3825]   nodes: 522
makespan: [2744,2814]   nodes: 531
makespan: [2616,2743]   nodes: 565
makespan: [2539,2615]   nodes: 573
makespan: [2535,2538]   nodes: 607
makespan: [2526,2534]   nodes: 613
makespan: [2491,2525]   nodes: 653
makespan: [2486,2490]   nodes: 660
makespan: [2430,2485]   nodes: 712
makespan: [2412,2429]   nodes: 747
makespan: [2407,2411]   nodes: 753
makespan: [2393,2406]   nodes: 792
makespan: [2388,2392]   nodes: 796
makespan: [2382,2387]   nodes: 802
makespan: [2377,2381]   nodes: 808
makespan: [2375,2376]   nodes: 849
makespan: [2370,2374]   nodes: 855
makespan: [2326,2369]   nodes: 910
makespan: [2308,2325]   nodes: 946
makespan: [2303,2307]   nodes: 952
makespan: [2289,2302]   nodes: 991
makespan: [2284,2288]   nodes: 995
makespan: [2278,2283]   nodes: 1001
makespan: [2273,2277]   nodes: 1007
makespan: [2270,2272]   nodes: 1059
makespan: [2265,2269]   nodes: 1089
makespan: [2241,2264]   nodes: 1125
makespan: [2223,2240]   nodes: 1158
makespan: [2218,2222]   nodes: 1189
makespan: [2204,2217]   nodes: 1226
makespan: [2199,2203]   nodes: 1255
makespan: [2193,2198]   nodes: 1286
makespan: [2188,2192]   nodes: 1316
makespan: [2184,2187]   nodes: 1360
makespan: [2179,2183]   nodes: 1401
makespan: [2169,2178]   nodes: 1434
makespan: [2164,2168]   nodes: 1467
makespan: [2140,2163]   nodes: 1514
makespan: [2122,2139]   nodes: 1552
makespan: [2103,2121]   nodes: 1595
makespan: [2098,2102]   nodes: 1628
makespan: [2092,2097]   nodes: 1668
makespan: [2087,2091]   nodes: 1705
makespan: [2086,2086]   nodes: 1746
makespan: [2081,2085]   nodes: 1811
makespan: [2070,2080]   nodes: 1842
makespan: [2067,2069]   nodes: 1870
makespan: [2065,2066]   nodes: 1904
makespan: [2062,2064]   nodes: 1934
makespan: [2058,2061]   nodes: 1970
makespan: [2053,2057]   nodes: 2003
makespan: [2047,2052]   nodes: 2043
makespan: [2042,2046]   nodes: 2080
makespan: [2041,2041]   nodes: 2121
makespan: [2040,2040]   nodes: 2178
makespan: [2034,2039]   nodes: 2216
makespan: [2029,2033]   nodes: 2252
makespan: [2027,2028]   nodes: 2313
makespan: [2024,2026]   nodes: 2374
makespan: [2021,2023]   nodes: 2410
makespan: [2010,2020]   nodes: 2441
makespan: [2007,2009]   nodes: 2469
makespan: [2005,2006]   nodes: 2503
makespan: [2002,2004]   nodes: 2533
makespan: [1998,2001]   nodes: 2570
makespan: [1993,1997]   nodes: 2604
makespan: [1987,1992]   nodes: 2644
makespan: [1982,1986]   nodes: 2682
makespan: [1980,1981]   nodes: 2740
makespan: [1974,1979]   nodes: 2780
makespan: [1969,1973]   nodes: 2818
makespan: [1947,1968]   nodes: 2907
makespan: [1942,1946]   nodes: 2942
makespan: [1941,1941]   nodes: 2984
makespan: [1932,1940]   nodes: 3043
makespan: [1931,1931]   nodes: 3088
makespan: [1923,1930]   nodes: 3146
makespan: [1911,1922]   nodes: 3168
makespan: [1908,1910]   nodes: 3189
makespan: [1887,1907]   nodes: 3221
makespan: [1879,1886]   nodes: 3258
makespan: [1878,1878]   nodes: 3300
makespan: [1872,1877]   nodes: 3366
makespan: [1871,1871]   nodes: 3367
makespan: [1848,1870]   nodes: 3396
makespan: [1847,1847]   nodes: 3397
makespan: [1846,1846]   nodes: 3427
makespan: [1835,1845]   nodes: 3485
makespan: [1834,1834]   nodes: 3486
makespan: [1827,1833]   nodes: 3548
makespan: [1819,1826]   nodes: 3587
makespan: [1812,1818]   nodes: 3652
makespan: [1811,1811]   nodes: 3653
makespan: [1788,1810]   nodes: 3681
makespan: [1787,1787]   nodes: 3682
makespan: [1775,1786]   nodes: 3742
makespan: [1774,1774]   nodes: 3743
makespan: [1771,1773]   nodes: 3807
makespan: [1769,1770]   nodes: 3871
makespan: [1760,1768]   nodes: 3939
makespan: [1757,1759]   nodes: 3962
makespan: [1748,1756]   nodes: 4000
makespan: [1745,1747]   nodes: 4023
makespan: [1724,1744]   nodes: 4067
makespan: [1711,1723]   nodes: 4136
makespan: [1704,1710]   nodes: 4218
makespan: [1694,1703]   nodes: 4293
makespan: [1693,1693]   nodes: 4294
makespan: [1681,1692]   nodes: 4328
makespan: [1680,1680]   nodes: 4329
makespan: [1673,1679]   nodes: 4393
makespan: [1670,1672]   nodes: 4407
makespan: [1669,1669]   nodes: 4445
makespan: [1668,1668]   nodes: 4446
makespan: [1666,1667]   nodes: 4462
makespan: [1665,1665]   nodes: 4463
makespan: [1662,1664]   nodes: 4495
makespan: [1657,1661]   nodes: 4562
makespan: [1654,1656]   nodes: 4580
makespan: [1651,1653]   nodes: 4600
makespan: [1633,1650]   nodes: 4638
makespan: [1630,1632]   nodes: 4655
makespan: [1620,1629]   nodes: 4702
makespan: [1617,1619]   nodes: 4717
makespan: [1616,1616]   nodes: 4815
makespan: [1608,1615]   nodes: 4893
makespan: [1601,1607]   nodes: 4952
makespan: [1597,1600]   nodes: 5029
makespan: [1584,1596]   nodes: 5045
makespan: [1563,1583]   nodes: 5127
makespan: [1556,1562]   nodes: 5186
makespan: [1554,1555]   nodes: 5257
makespan: [1551,1553]   nodes: 5258
makespan: [1548,1550]   nodes: 5291
makespan: [1547,1547]   nodes: 5355
makespan: [1541,1546]   nodes: 5356
makespan: [1537,1540]   nodes: 5460
makespan: [1531,1536]   nodes: 5535
makespan: [1528,1530]   nodes: 5536
makespan: [1523,1527]   nodes: 5566
makespan: [1522,1522]   nodes: 5571
makespan: [1520,1521]   nodes: 5572
makespan: [1518,1519]   nodes: 5584
makespan: [1514,1517]   nodes: 5642
makespan: [1507,1513]   nodes: 5704
makespan: [1504,1506]   nodes: 5767
makespan: [1492,1503]   nodes: 5826
makespan: [1490,1491]   nodes: 5926
makespan: [1487,1489]   nodes: 5988
makespan: [1485,1486]   nodes: 6044
makespan: [1475,1484]   nodes: 6085
makespan: [1474,1474]   nodes: 6188
makespan: [1472,1473]   nodes: 6220
makespan: [1465,1471]   nodes: 6287
makespan: [1462,1464]   nodes: 6352
makespan: [1450,1461]   nodes: 6413
makespan: [1439,1449]   nodes: 6516
makespan: [1433,1438]   nodes: 6596
makespan: [1431,1432]   nodes: 6699
makespan: [1428,1430]   nodes: 6756
makespan: [1419,1427]   nodes: 6808
makespan: [1416,1418]   nodes: 6841
makespan: [1414,1415]   nodes: 6945
makespan: [1402,1413]   nodes: 7000
makespan: [1397,1401]   nodes: 7077
makespan: [1391,1396]   nodes: 7078
makespan: [1386,1390]   nodes: 7165
makespan: [1380,1385]   nodes: 7166
makespan: [1376,1379]   nodes: 7286
makespan: [1372,1375]   nodes: 7308
makespan: [1371,1371]   nodes: 7412
makespan: [1361,1370]   nodes: 7430
makespan: [1355,1360]   nodes: 7477
makespan: [1352,1354]   nodes: 7565
makespan: [1347,1351]   nodes: 7598
makespan: [1345,1346]   nodes: 7649
makespan: [1342,1344]   nodes: 7650
makespan: [1341,1341]   nodes: 7688
makespan: [1336,1340]   nodes: 7760
makespan: [1330,1335]   nodes: 7804
makespan: [1328,1329]   nodes: 7893
makespan: [1327,1327]   nodes: 7894
makespan: [1325,1326]   nodes: 7944
makespan: [1319,1324]   nodes: 7972
makespan: [1317,1318]   nodes: 8066
makespan: [1314,1316]   nodes: 8083
makespan: [1311,1313]   nodes: 8084
makespan: [1308,1310]   nodes: 8164
makespan: [1305,1307]   nodes: 8229
makespan: [1304,1304]   nodes: 8292
makespan: [1298,1303]   nodes: 8295
makespan: [1297,1297]   nodes: 8311
makespan: [1296,1296]   nodes: 8392
makespan: [1292,1295]   nodes: 8484
makespan: [1290,1291]   nodes: 8529
makespan: [1287,1289]   nodes: 8577
makespan: [1282,1286]   nodes: 8637
makespan: [1278,1281]   nodes: 8687
makespan: [1276,1277]   nodes: 8714
makespan: [1272,1275]   nodes: 8805
makespan: [1262,1271]   nodes: 8834
makespan: [1259,1261]   nodes: 8838
makespan: [1255,1258]   nodes: 8850
makespan: [1254,1254]   nodes: 8930
makespan: [1252,1253]   nodes: 8957
makespan: [1247,1251]   nodes: 8987
makespan: [1239,1246]   nodes: 9017
makespan: [1237,1238]   nodes: 9045
makespan: [1236,1236]   nodes: 9116
makespan: [1231,1235]   nodes: 9195
makespan: [1229,1230]   nodes: 9216
makespan: [1220,1228]   nodes: 9268
makespan: [1218,1219]   nodes: 9288
makespan: [1217,1217]   nodes: 9370
makespan: [1215,1216]   nodes: 9424
makespan: [1210,1214]   nodes: 9509
makespan: [1209,1209]   nodes: 9510
makespan: [1208,1208]   nodes: 9611
makespan: [1192,1207]   nodes: 9654
makespan: [1182,1191]   nodes: 9696
makespan: [1180,1181]   nodes: 9716
makespan: [1178,1179]   nodes: 9768
makespan: [1176,1177]   nodes: 9788
makespan: [1175,1175]   nodes: 9878
makespan: [1174,1174]   nodes: 9952
makespan: [1172,1173]   nodes: 10031
makespan: [1168,1171]   nodes: 10043
makespan: [1166,1167]   nodes: 10063
makespan: [1164,1165]   nodes: 10126
makespan: [1162,1163]   nodes: 10153
makespan: [1161,1161]   nodes: 10225
makespan: [1157,1160]   nodes: 10259
makespan: [1154,1156]   nodes: 10329
makespan: [1152,1153]   nodes: 10413
makespan: [1147,1151]   nodes: 10446
makespan: [1146,1146]   nodes: 10512
makespan: [1144,1145]   nodes: 10581
makespan: [1137,1143]   nodes: 10604
makespan: [1135,1136]   nodes: 10663
makespan: [1132,1134]   nodes: 10697
makespan: [1130,1131]   nodes: 10701
makespan: [1128,1129]   nodes: 10706
makespan: [1125,1127]   nodes: 10783
makespan: [1124,1124]   nodes: 10875
makespan: [1123,1123]   nodes: 10902
makespan: [1119,1122]   nodes: 10925
makespan: [1117,1118]   nodes: 11017
makespan: [1116,1116]   nodes: 11035
makespan: [1110,1115]   nodes: 11063
makespan: [1105,1109]   nodes: 11109
makespan: [1098,1104]   nodes: 11154
makespan: [1095,1097]   nodes: 11194
makespan: [1094,1094]   nodes: 11251
makespan: [1086,1093]   nodes: 11252
makespan: [1085,1085]   nodes: 11329
makespan: [1084,1084]   nodes: 11379
makespan: [1083,1083]   nodes: 11435
makespan: [1081,1082]   nodes: 11440
makespan: [1080,1080]   nodes: 11491
makespan: [1078,1079]   nodes: 11492
makespan: [1077,1077]   nodes: 11525
makespan: [1074,1076]   nodes: 11540
makespan: [1072,1073]   nodes: 11573
makespan: [1067,1071]   nodes: 11642
nodes: 70390397  cpu: 3600.0002