makespan: [3341,3992]   nodes: 520
makespan: [3243,3340]   nodes: 523
makespan: [3150,3242]   nodes: 526
makespan: [3131,3149]   nodes: 542
makespan: [3126,3130]   nodes: 555
makespan: [3033,3125]   nodes: 556
makespan: [2948,3032]   nodes: 605
makespan: [2936,2947]   nodes: 618
makespan: [2864,2935]   nodes: 640
makespan: [2854,2863]   nodes: 661
makespan: [2851,2853]   nodes: 677
makespan: [2758,2850]   nodes: 678
makespan: [2724,2757]   nodes: 688
makespan: [2663,2723]   nodes: 733
makespan: [2660,2662]   nodes: 772
makespan: [2641,2659]   nodes: 798
makespan: [2611,2640]   nodes: 815
makespan: [2568,2610]   nodes: 883
makespan: [2541,2567]   nodes: 944
makespan: [2533,2540]   nodes: 955
makespan: [2509,2532]   nodes: 1026
makespan: [2498,2508]   nodes: 1071
makespan: [2473,2497]   nodes: 1113
makespan: [2471,2472]   nodes: 1166
makespan: [2470,2470]   nodes: 1223
makespan: [2463,2469]   nodes: 1238
makespan: [2447,2462]   nodes: 1274
makespan: [2438,2446]   nodes: 1312
makespan: [2433,2437]   nodes: 1385
makespan: [2383,2432]   nodes: 1403
makespan: [2374,2382]   nodes: 1405
makespan: [2368,2373]   nodes: 1425
makespan: [2356,2367]   nodes: 1498
makespan: [2352,2355]   nodes: 1543
makespan: [2343,2351]   nodes: 1545
makespan: [2336,2342]   nodes: 1565
makespan: [2325,2335]   nodes: 1580
makespan: [2302,2324]   nodes: 1649
makespan: [2300,2301]   nodes: 1683
makespan: [2292,2299]   nodes: 1702
makespan: [2289,2291]   nodes: 1834
makespan: [2283,2288]   nodes: 1896
makespan: [2273,2282]   nodes: 1927
makespan: [2261,2272]   nodes: 1961
makespan: [2256,2260]   nodes: 1968
makespan: [2222,2255]   nodes: 2004
makespan: [2217,2221]   nodes: 2020
makespan: [2216,2216]   nodes: 2061
makespan: [2210,2215]   nodes: 2124
makespan: [2208,2209]   nodes: 2140
makespan: [2197,2207]   nodes: 2208
makespan: [2180,2196]   nodes: 2275
makespan: [2179,2179]   nodes: 2351
makespan: [2176,2178]   nodes: 2429
makespan: [2170,2175]   nodes: 2460
makespan: [2161,2169]   nodes: 2477
makespan: [2156,2160]   nodes: 2567
makespan: [2121,2155]   nodes: 2585
makespan: [2119,2120]   nodes: 2652
makespan: [2116,2118]   nodes: 2685
makespan: [2113,2115]   nodes: 2717
makespan: [2111,2112]   nodes: 2782
makespan: [2103,2110]   nodes: 2821
makespan: [2085,2102]   nodes: 2850
makespan: [2083,2084]   nodes: 2961
makespan: [2082,2082]   nodes: 3040
makespan: [2079,2081]   nodes: 3123
makespan: [2064,2078]   nodes: 3158
makespan: [2041,2063]   nodes: 3247
makespan: [2029,2040]   nodes: 3260
makespan: [2024,2028]   nodes: 3291
makespan: [2022,2023]   nodes: 3358
makespan: [2019,2021]   nodes: 3389
makespan: [2016,2018]   nodes: 3431
makespan: [2015,2015]   nodes: 3496
makespan: [1989,2014]   nodes: 3544
makespan: [1988,1988]   nodes: 3550
makespan: [1982,1987]   nodes: 3657
makespan: [1974,1981]   nodes: 3684
makespan: [1969,1973]   nodes: 3690
makespan: [1964,1968]   nodes: 3719
makespan: [1959,1963]   nodes: 3778
makespan: [1956,1958]   nodes: 3818
makespan: [1955,1955]   nodes: 3885
makespan: [1953,1954]   nodes: 3927
makespan: [1946,1952]   nodes: 3933
makespan: [1940,1945]   nodes: 3947
makespan: [1928,1939]   nodes: 3965
makespan: [1926,1927]   nodes: 4059
makespan: [1911,1925]   nodes: 4126
makespan: [1904,1910]   nodes: 4144
makespan: [1898,1903]   nodes: 4186
makespan: [1896,1897]   nodes: 4212
makespan: [1893,1895]   nodes: 4275
makespan: [1891,1892]   nodes: 4338
makespan: [1881,1890]   nodes: 4387
makespan: [1880,1880]   nodes: 4420
makespan: [1876,1879]   nodes: 4445
makespan: [1871,1875]   nodes: 4479
makespan: [1863,1870]   nodes: 4521
makespan: [1854,1862]   nodes: 4601
makespan: [1849,1853]   nodes: 4629
makespan: [1847,1848]   nodes: 4662
makespan: [1842,1846]   nodes: 4691
makespan: [1838,1841]   nodes: 4762
makespan: [1830,1837]   nodes: 4769
makespan: [1807,1829]   nodes: 4812
makespan: [1801,1806]   nodes: 4851
makespan: [1799,1800]   nodes: 4876
makespan: [1794,1798]   nodes: 4943
makespan: [1781,1793]   nodes: 4986
makespan: [1774,1780]   nodes: 5009
makespan: [1766,1773]   nodes: 5053
makespan: [1765,1765]   nodes: 5158
makespan: [1759,1764]   nodes: 5200
makespan: [1755,1758]   nodes: 5207
makespan: [1749,1754]   nodes: 5246
makespan: [1746,1748]   nodes: 5342
makespan: [1744,1745]   nodes: 5441
makespan: [1738,1743]   nodes: 5493
makespan: [1732,1737]   nodes: 5537
makespan: [1731,1731]   nodes: 5577
makespan: [1724,1730]   nodes: 5628
makespan: [1723,1723]   nodes: 5653
makespan: [1706,1722]   nodes: 5680
makespan: [1705,1705]   nodes: 5725
makespan: [1694,1704]   nodes: 5817
makespan: [1688,1693]   nodes: 5866
makespan: [1685,1687]   nodes: 5947
makespan: [1679,1684]   nodes: 6084
makespan: [1671,1678]   nodes: 6116
makespan: [1668,1670]   nodes: 6176
makespan: [1664,1667]   nodes: 6217
makespan: [1661,1663]   nodes: 6256
makespan: [1656,1660]   nodes: 6284
makespan: [1653,1655]   nodes: 6314
makespan: [1651,1652]   nodes: 6347
makespan: [1648,1650]   nodes: 6377
makespan: [1646,1647]   nodes: 6420
makespan: [1638,1645]   nodes: 6455
makespan: [1635,1637]   nodes: 6548
makespan: [1628,1634]   nodes: 6557
makespan: [1620,1627]   nodes: 6591
makespan: [1619,1619]   nodes: 6689
makespan: [1613,1618]   nodes: 6719
makespan: [1609,1612]   nodes: 6742
makespan: [1603,1608]   nodes: 6810
makespan: [1602,1602]   nodes: 6910
makespan: [1600,1601]   nodes: 6923
makespan: [1590,1599]   nodes: 7031
makespan: [1586,1589]   nodes: 7065
makespan: [1585,1585]   nodes: 7119
makespan: [1577,1584]   nodes: 7178
makespan: [1560,1576]   nodes: 7262
makespan: [1559,1559]   nodes: 7296
makespan: [1549,1558]   nodes: 7385
makespan: [1548,1548]   nodes: 7386
makespan: [1543,1547]   nodes: 7437
makespan: [1542,1542]   nodes: 7468
makespan: [1539,1541]   nodes: 7552
makespan: [1536,1538]   nodes: 7653
makespan: [1533,1535]   nodes: 7738
makespan: [1532,1532]   nodes: 7844
makespan: [1529,1531]   nodes: 7915
makespan: [1525,1528]   nodes: 8015
makespan: [1515,1524]   nodes: 8025
makespan: [1514,1514]   nodes: 8090
makespan: [1506,1513]   nodes: 8159
makespan: [1495,1505]   nodes: 8236
makespan: [1489,1494]   nodes: 8296
makespan: [1488,1488]   nodes: 8367
makespan: [1486,1487]   nodes: 8370
makespan: [1482,1485]   nodes: 8486
makespan: [1478,1481]   nodes: 8565
makespan: [1471,1477]   nodes: 8595
makespan: [1467,1470]   nodes: 8671
makespan: [1465,1466]   nodes: 8675
makespan: [1464,1464]   nodes: 8751
makespan: [1462,1463]   nodes: 8755
makespan: [1453,1461]   nodes: 8884
makespan: [1447,1452]   nodes: 8977
makespan: [1444,1446]   nodes: 9070
makespan: [1442,1443]   nodes: 9151
makespan: [1440,1441]   nodes: 9189
makespan: [1438,1439]   nodes: 9224
makespan: [1433,1437]   nodes: 9229
makespan: [1429,1432]   nodes: 9313
makespan: [1428,1428]   nodes: 9374
makespan: [1424,1427]   nodes: 9429
makespan: [1420,1423]   nodes: 9447
makespan: [1413,1419]   nodes: 9503
makespan: [1409,1412]   nodes: 9522
makespan: [1406,1408]   nodes: 9583
makespan: [1403,1405]   nodes: 9609
makespan: [1402,1402]   nodes: 9658
makespan: [1399,1401]   nodes: 9708
makespan: [1392,1398]   nodes: 9720
makespan: [1387,1391]   nodes: 9795
makespan: [1386,1386]   nodes: 9816
makespan: [1385,1385]   nodes: 9883
makespan: [1383,1384]   nodes: 9885
makespan: [1381,1382]   nodes: 9996
makespan: [1380,1380]   nodes: 10055
makespan: [1378,1379]   nodes: 10065
makespan: [1377,1377]   nodes: 10203
makespan: [1374,1376]   nodes: 10262
makespan: [1373,1373]   nodes: 10347
makespan: [1372,1372]   nodes: 10388
makespan: [1370,1371]   nodes: 10433
makespan: [1365,1369]   nodes: 10453
makespan: [1363,1364]   nodes: 10479
makespan: [1361,1362]   nodes: 10531
makespan: [1359,1360]   nodes: 10572
makespan: [1357,1358]   nodes: 10594
makespan: [1354,1356]   nodes: 10640
makespan: [1352,1353]   nodes: 10712
makespan: [1344,1351]   nodes: 10788
makespan: [1341,1343]   nodes: 10806
makespan: [1339,1340]   nodes: 10882
makespan: [1338,1338]   nodes: 10906
makespan: [1335,1337]   nodes: 10938
makespan: [1323,1334]   nodes: 10943
makespan: [1320,1322]   nodes: 10960
makespan: [1319,1319]   nodes: 11015
makespan: [1311,1318]   nodes: 11044
makespan: [1310,1310]   nodes: 11109
makespan: [1309,1309]   nodes: 11155
makespan: [1308,1308]   nodes: 11189
makespan: [1305,1307]   nodes: 11190
makespan: [1300,1304]   nodes: 11191
makespan: [1294,1299]   nodes: 11256
makespan: [1291,1293]   nodes: 11322
makespan: [1286,1290]   nodes: 11431
makespan: [1284,1285]   nodes: 11468
makespan: [1278,1283]   nodes: 11529
makespan: [1275,1277]   nodes: 11595
makespan: [1273,1274]   nodes: 11718
makespan: [1272,1272]   nodes: 11752
makespan: [1267,1271]   nodes: 11790
makespan: [1261,1266]   nodes: 11818
makespan: [1255,1260]   nodes: 11877
makespan: [1252,1254]   nodes: 11940
makespan: [1244,1251]   nodes: 12052
makespan: [1242,1243]   nodes: 12103
makespan: [1238,1241]   nodes: 12160
makespan: [1235,1237]   nodes: 12221
makespan: [1232,1234]   nodes: 12324
makespan: [1231,1231]   nodes: 12385
makespan: [1230,1230]   nodes: 12408
makespan: [1221,1229]   nodes: 12449
makespan: [1219,1220]   nodes: 12507
makespan: [1215,1218]   nodes: 12564
makespan: [1212,1214]   nodes: 12628
makespan: [1211,1211]   nodes: 12735
makespan: [1209,1210]   nodes: 12736
makespan: [1207,1208]   nodes: 12739
makespan: [1201,1206]   nodes: 12786
makespan: [1198,1200]   nodes: 12816
makespan: [1195,1197]   nodes: 12948
makespan: [1194,1194]   nodes: 13015
makespan: [1184,1193]   nodes: 13034
makespan: [1182,1183]   nodes: 13093
makespan: [1180,1181]   nodes: 13168
makespan: [1178,1179]   nodes: 13191
makespan: [1175,1177]   nodes: 13266
makespan: [1174,1174]   nodes: 13372
makespan: [1171,1173]   nodes: 13405
makespan: [1167,1170]   nodes: 13459
makespan: [1163,1166]   nodes: 13461
makespan: [1160,1162]   nodes: 13462
makespan: [1159,1159]   nodes: 13464
makespan: [1155,1158]   nodes: 13501
makespan: [1154,1154]   nodes: 13549
makespan: [1150,1153]   nodes: 13558
makespan: [1143,1149]   nodes: 13584
makespan: [1141,1142]   nodes: 13623
makespan: [1139,1140]   nodes: 13683
makespan: [1137,1138]   nodes: 13722
makespan: [1130,1136]   nodes: 13756
makespan: [1124,1129]   nodes: 13809
makespan: [1123,1123]   nodes: 13858
makespan: [1121,1122]   nodes: 13884
makespan: [1120,1120]   nodes: 13978
makespan: [1118,1119]   nodes: 14024
makespan: [1117,1117]   nodes: 14111
makespan: [1116,1116]   nodes: 14132
makespan: [1114,1115]   nodes: 14164
makespan: [1107,1113]   nodes: 14200
makespan: [1101,1106]   nodes: 14256
makespan: [1100,1100]   nodes: 14322
makespan: [1098,1099]   nodes: 14347
makespan: [1095,1097]   nodes: 14446
makespan: [1094,1094]   nodes: 14481
makespan: [1091,1093]   nodes: 14536
makespan: [1089,1090]   nodes: 14595
makespan: [1083,1088]   nodes: 14628
makespan: [1080,1082]   nodes: 14641
makespan: [1078,1079]   nodes: 14700
makespan: [1074,1077]   nodes: 14708
makespan: [1071,1073]   nodes: 14728
nodes: 78392848  cpu: 3600.0002