makespan: [2731,3745]   nodes: 526
makespan: [2687,2730]   nodes: 527
makespan: [2627,2686]   nodes: 531
makespan: [2583,2626]   nodes: 532
makespan: [2525,2582]   nodes: 536
makespan: [2481,2524]   nodes: 537
makespan: [2470,2480]   nodes: 544
makespan: [2458,2469]   nodes: 552
makespan: [2410,2457]   nodes: 557
makespan: [2366,2409]   nodes: 560
makespan: [2356,2365]   nodes: 569
makespan: [2321,2355]   nodes: 587
makespan: [2315,2320]   nodes: 588
makespan: [2304,2314]   nodes: 596
makespan: [2244,2303]   nodes: 603
makespan: [2206,2243]   nodes: 607
makespan: [2200,2205]   nodes: 611
makespan: [2196,2199]   nodes: 620
makespan: [2190,2195]   nodes: 624
makespan: [2165,2189]   nodes: 646
makespan: [2159,2164]   nodes: 650
makespan: [2155,2158]   nodes: 659
makespan: [2149,2154]   nodes: 663
makespan: [2146,2148]   nodes: 689
makespan: [2136,2145]   nodes: 693
makespan: [2130,2135]   nodes: 713
makespan: [2114,2129]   nodes: 746
makespan: [2104,2113]   nodes: 754
makespan: [2095,2103]   nodes: 774
makespan: [2085,2094]   nodes: 782
makespan: [2076,2084]   nodes: 800
makespan: [2066,2075]   nodes: 806
makespan: [2057,2065]   nodes: 825
makespan: [2047,2056]   nodes: 830
makespan: [2041,2046]   nodes: 849
makespan: [2036,2040]   nodes: 899
makespan: [2032,2035]   nodes: 951
makespan: [2022,2031]   nodes: 956
makespan: [2013,2021]   nodes: 979
makespan: [2003,2012]   nodes: 982
makespan: [2002,2002]   nodes: 1044
makespan: [1998,2001]   nodes: 1060
makespan: [1983,1997]   nodes: 1068
makespan: [1965,1982]   nodes: 1151
makespan: [1959,1964]   nodes: 1170
makespan: [1954,1958]   nodes: 1217
makespan: [1940,1953]   nodes: 1266
makespan: [1921,1939]   nodes: 1280
makespan: [1908,1920]   nodes: 1339
makespan: [1903,1907]   nodes: 1347
makespan: [1901,1902]   nodes: 1386
makespan: [1898,1900]   nodes: 1458
makespan: [1879,1897]   nodes: 1472
makespan: [1870,1878]   nodes: 1512
makespan: [1857,1869]   nodes: 1561
makespan: [1850,1856]   nodes: 1568
makespan: [1846,1849]   nodes: 1624
makespan: [1827,1845]   nodes: 1673
makespan: [1826,1826]   nodes: 1717
makespan: [1822,1825]   nodes: 1773
makespan: [1807,1821]   nodes: 1821
makespan: [1796,1806]   nodes: 1875
makespan: [1786,1795]   nodes: 1939
makespan: [1784,1785]   nodes: 1958
makespan: [1781,1783]   nodes: 1964
makespan: [1777,1780]   nodes: 1992
makespan: [1762,1776]   nodes: 2011
makespan: [1759,1761]   nodes: 2017
makespan: [1753,1758]   nodes: 2056
makespan: [1750,1752]   nodes: 2062
makespan: [1743,1749]   nodes: 2095
makespan: [1733,1742]   nodes: 2124
makespan: [1727,1732]   nodes: 2162
makespan: [1724,1726]   nodes: 2169
makespan: [1717,1723]   nodes: 2203
makespan: [1707,1716]   nodes: 2237
makespan: [1706,1706]   nodes: 2273
makespan: [1704,1705]   nodes: 2308
makespan: [1694,1703]   nodes: 2346
makespan: [1685,1693]   nodes: 2421
makespan: [1684,1684]   nodes: 2422
makespan: [1673,1683]   nodes: 2462
makespan: [1672,1672]   nodes: 2463
makespan: [1668,1671]   nodes: 2494
makespan: [1666,1667]   nodes: 2551
makespan: [1660,1665]   nodes: 2555
makespan: [1655,1659]   nodes: 2600
makespan: [1638,1654]   nodes: 2647
makespan: [1634,1637]   nodes: 2688
makespan: [1627,1633]   nodes: 2705
makespan: [1622,1626]   nodes: 2733
makespan: [1615,1621]   nodes: 2796
makespan: [1609,1614]   nodes: 2797
makespan: [1602,1608]   nodes: 2830
makespan: [1597,1601]   nodes: 2878
makespan: [1596,1596]   nodes: 2926
makespan: [1583,1595]   nodes: 2956
makespan: [1576,1582]   nodes: 2969
makespan: [1571,1575]   nodes: 2995
makespan: [1562,1570]   nodes: 3047
makespan: [1560,1561]   nodes: 3065
makespan: [1550,1559]   nodes: 3083
makespan: [1548,1549]   nodes: 3128
makespan: [1547,1547]   nodes: 3130
makespan: [1545,1546]   nodes: 3179
makespan: [1542,1544]   nodes: 3205
makespan: [1527,1541]   nodes: 3229
makespan: [1518,1526]   nodes: 3254
makespan: [1517,1517]   nodes: 3256
makespan: [1515,1516]   nodes: 3318
makespan: [1508,1514]   nodes: 3384
makespan: [1504,1507]   nodes: 3414
makespan: [1499,1503]   nodes: 3442
makespan: [1492,1498]   nodes: 3443
makespan: [1487,1491]   nodes: 3472
makespan: [1481,1486]   nodes: 3503
makespan: [1474,1480]   nodes: 3533
makespan: [1471,1473]   nodes: 3577
makespan: [1468,1470]   nodes: 3598
makespan: [1465,1467]   nodes: 3641
makespan: [1455,1464]   nodes: 3670
makespan: [1452,1454]   nodes: 3760
makespan: [1449,1451]   nodes: 3795
makespan: [1445,1448]   nodes: 3798
makespan: [1442,1444]   nodes: 3808
makespan: [1439,1441]   nodes: 3836
makespan: [1430,1438]   nodes: 3848
makespan: [1426,1429]   nodes: 3850
makespan: [1424,1425]   nodes: 3894
makespan: [1423,1423]   nodes: 3905
makespan: [1421,1422]   nodes: 3914
makespan: [1405,1420]   nodes: 3949
makespan: [1402,1404]   nodes: 3990
makespan: [1395,1401]   nodes: 4031
makespan: [1391,1394]   nodes: 4036
makespan: [1388,1390]   nodes: 4043
makespan: [1379,1387]   nodes: 4077
makespan: [1376,1378]   nodes: 4083
makespan: [1372,1375]   nodes: 4087
makespan: [1365,1371]   nodes: 4132
makespan: [1360,1364]   nodes: 4146
makespan: [1358,1359]   nodes: 4151
makespan: [1356,1357]   nodes: 4179
makespan: [1354,1355]   nodes: 4182
makespan: [1346,1353]   nodes: 4203
makespan: [1344,1345]   nodes: 4220
makespan: [1342,1343]   nodes: 4226
makespan: [1339,1341]   nodes: 4276
makespan: [1335,1338]   nodes: 4303
makespan: [1327,1334]   nodes: 4327
makespan: [1323,1326]   nodes: 4350
makespan: [1321,1322]   nodes: 4402
makespan: [1317,1320]   nodes: 4420
makespan: [1316,1316]   nodes: 4476
makespan: [1309,1315]   nodes: 4485
makespan: [1302,1308]   nodes: 4502
makespan: [1298,1301]   nodes: 4526
makespan: [1290,1297]   nodes: 4548
makespan: [1286,1289]   nodes: 4567
makespan: [1282,1285]   nodes: 4593
makespan: [1280,1281]   nodes: 4632
makespan: [1279,1279]   nodes: 4699
makespan: [1276,1278]   nodes: 4725
makespan: [1272,1275]   nodes: 4736
makespan: [1269,1271]   nodes: 4758
makespan: [1267,1268]   nodes: 4778
makespan: [1266,1266]   nodes: 4826
makespan: [1262,1265]   nodes: 4827
makespan: [1261,1261]   nodes: 4850
makespan: [1257,1260]   nodes: 4851
makespan: [1255,1256]   nodes: 4873
makespan: [1254,1254]   nodes: 4905
makespan: [1251,1253]   nodes: 4911
makespan: [1247,1250]   nodes: 4922
makespan: [1245,1246]   nodes: 4941
makespan: [1242,1244]   nodes: 4965
makespan: [1240,1241]   nodes: 4984
makespan: [1237,1239]   nodes: 5027
makespan: [1236,1236]   nodes: 5037
makespan: [1232,1235]   nodes: 5038
makespan: [1231,1231]   nodes: 5048
makespan: [1229,1230]   nodes: 5062
makespan: [1226,1228]   nodes: 5104
makespan: [1224,1225]   nodes: 5136
makespan: [1222,1223]   nodes: 5176
makespan: [1220,1221]   nodes: 5257
makespan: [1216,1219]   nodes: 5258
makespan: [1214,1215]   nodes: 5286
makespan: [1213,1213]   nodes: 5319
makespan: [1209,1212]   nodes: 5320
makespan: [1207,1208]   nodes: 5339
makespan: [1206,1206]   nodes: 5359
makespan: [1204,1205]   nodes: 5377
makespan: [1203,1203]   nodes: 5416
makespan: [1201,1202]   nodes: 5425
makespan: [1199,1200]   nodes: 5456
makespan: [1196,1198]   nodes: 5496
makespan: [1194,1195]   nodes: 5515
makespan: [1193,1193]   nodes: 5536
makespan: [1191,1192]   nodes: 5555
nodes: 48898421  cpu: 3600.0002