makespan: [3243,4263]   nodes: 511
makespan: [3124,3242]   nodes: 512
makespan: [3060,3123]   nodes: 519
makespan: [2993,3059]   nodes: 525
makespan: [2968,2992]   nodes: 533
makespan: [2957,2967]   nodes: 544
makespan: [2929,2956]   nodes: 558
makespan: [2852,2928]   nodes: 564
makespan: [2841,2851]   nodes: 573
makespan: [2826,2840]   nodes: 588
makespan: [2801,2825]   nodes: 596
makespan: [2790,2800]   nodes: 607
makespan: [2762,2789]   nodes: 621
makespan: [2685,2761]   nodes: 627
makespan: [2674,2684]   nodes: 636
makespan: [2666,2673]   nodes: 667
makespan: [2627,2665]   nodes: 676
makespan: [2550,2626]   nodes: 682
makespan: [2539,2549]   nodes: 698
makespan: [2531,2538]   nodes: 732
makespan: [2520,2530]   nodes: 748
makespan: [2509,2519]   nodes: 791
makespan: [2498,2508]   nodes: 808
makespan: [2490,2497]   nodes: 844
makespan: [2479,2489]   nodes: 861
makespan: [2451,2478]   nodes: 901
makespan: [2440,2450]   nodes: 919
makespan: [2432,2439]   nodes: 956
makespan: [2421,2431]   nodes: 974
makespan: [2419,2420]   nodes: 1006
makespan: [2402,2418]   nodes: 1045
makespan: [2391,2401]   nodes: 1062
makespan: [2383,2390]   nodes: 1098
makespan: [2372,2382]   nodes: 1115
makespan: [2354,2371]   nodes: 1173
makespan: [2348,2353]   nodes: 1180
makespan: [2337,2347]   nodes: 1196
makespan: [2329,2336]   nodes: 1225
makespan: [2326,2328]   nodes: 1239
makespan: [2318,2325]   nodes: 1246
makespan: [2313,2317]   nodes: 1299
makespan: [2307,2312]   nodes: 1306
makespan: [2296,2306]   nodes: 1323
makespan: [2288,2295]   nodes: 1354
makespan: [2285,2287]   nodes: 1369
makespan: [2277,2284]   nodes: 1376
makespan: [2255,2276]   nodes: 1411
makespan: [2249,2254]   nodes: 1418
makespan: [2238,2248]   nodes: 1436
makespan: [2230,2237]   nodes: 1468
makespan: [2227,2229]   nodes: 1484
makespan: [2219,2226]   nodes: 1491
makespan: [2217,2218]   nodes: 1516
makespan: [2206,2216]   nodes: 1550
makespan: [2200,2205]   nodes: 1557
makespan: [2189,2199]   nodes: 1574
makespan: [2181,2188]   nodes: 1605
makespan: [2178,2180]   nodes: 1620
makespan: [2170,2177]   nodes: 1627
makespan: [2166,2169]   nodes: 1677
makespan: [2161,2165]   nodes: 1733
makespan: [2155,2160]   nodes: 1740
makespan: [2144,2154]   nodes: 1757
makespan: [2136,2143]   nodes: 1788
makespan: [2133,2135]   nodes: 1803
makespan: [2125,2132]   nodes: 1810
makespan: [2123,2124]   nodes: 1869
makespan: [2112,2122]   nodes: 1887
makespan: [2104,2111]   nodes: 1920
makespan: [2101,2103]   nodes: 1936
makespan: [2093,2100]   nodes: 1943
makespan: [2092,2092]   nodes: 1987
makespan: [2089,2091]   nodes: 2003
makespan: [2081,2088]   nodes: 2010
makespan: [2080,2080]   nodes: 2061
makespan: [2072,2079]   nodes: 2068
makespan: [2071,2071]   nodes: 2109
makespan: [2070,2070]   nodes: 2164
makespan: [2062,2069]   nodes: 2171
makespan: [2061,2061]   nodes: 2207
makespan: [2058,2060]   nodes: 2222
makespan: [2050,2057]   nodes: 2229
makespan: [2045,2049]   nodes: 2275
makespan: [2037,2044]   nodes: 2306
makespan: [2034,2036]   nodes: 2323
makespan: [2026,2033]   nodes: 2331
makespan: [2017,2025]   nodes: 2371
makespan: [2011,2016]   nodes: 2379
makespan: [2000,2010]   nodes: 2400
makespan: [1992,1999]   nodes: 2434
makespan: [1989,1991]   nodes: 2453
makespan: [1981,1988]   nodes: 2461
makespan: [1980,1980]   nodes: 2522
makespan: [1977,1979]   nodes: 2539
makespan: [1969,1976]   nodes: 2547
makespan: [1960,1968]   nodes: 2589
makespan: [1954,1959]   nodes: 2597
makespan: [1943,1953]   nodes: 2618
makespan: [1935,1942]   nodes: 2651
makespan: [1932,1934]   nodes: 2670
makespan: [1924,1931]   nodes: 2678
makespan: [1923,1923]   nodes: 2733
makespan: [1922,1922]   nodes: 2806
makespan: [1919,1921]   nodes: 2820
makespan: [1911,1918]   nodes: 2827
makespan: [1907,1910]   nodes: 2877
makespan: [1902,1906]   nodes: 2933
makespan: [1896,1901]   nodes: 2940
makespan: [1885,1895]   nodes: 2956
makespan: [1877,1884]   nodes: 2986
makespan: [1874,1876]   nodes: 3000
makespan: [1866,1873]   nodes: 3007
makespan: [1864,1865]   nodes: 3066
makespan: [1853,1863]   nodes: 3083
makespan: [1845,1852]   nodes: 3114
makespan: [1842,1844]   nodes: 3129
makespan: [1834,1841]   nodes: 3136
makespan: [1833,1833]   nodes: 3177
makespan: [1830,1832]   nodes: 3192
makespan: [1822,1829]   nodes: 3199
makespan: [1821,1821]   nodes: 3250
makespan: [1813,1820]   nodes: 3257
makespan: [1812,1812]   nodes: 3293
makespan: [1807,1811]   nodes: 3348
makespan: [1803,1806]   nodes: 3355
makespan: [1802,1802]   nodes: 3387
makespan: [1799,1801]   nodes: 3398
makespan: [1791,1798]   nodes: 3405
makespan: [1786,1790]   nodes: 3450
makespan: [1778,1785]   nodes: 3480
makespan: [1775,1777]   nodes: 3496
makespan: [1767,1774]   nodes: 3504
makespan: [1758,1766]   nodes: 3542
makespan: [1752,1757]   nodes: 3550
makespan: [1741,1751]   nodes: 3570
makespan: [1733,1740]   nodes: 3602
makespan: [1730,1732]   nodes: 3620
makespan: [1722,1729]   nodes: 3628
makespan: [1714,1721]   nodes: 3691
makespan: [1708,1713]   nodes: 3716
makespan: [1700,1707]   nodes: 3756
makespan: [1692,1699]   nodes: 3785
makespan: [1689,1691]   nodes: 3798
makespan: [1681,1688]   nodes: 3805
makespan: [1672,1680]   nodes: 3904
makespan: [1663,1671]   nodes: 3936
makespan: [1659,1662]   nodes: 3943
makespan: [1652,1658]   nodes: 3944
makespan: [1641,1651]   nodes: 3961
makespan: [1633,1640]   nodes: 3989
makespan: [1630,1632]   nodes: 4002
makespan: [1625,1629]   nodes: 4010
makespan: [1622,1624]   nodes: 4011
makespan: [1615,1621]   nodes: 4068
makespan: [1603,1614]   nodes: 4074
makespan: [1592,1602]   nodes: 4090
makespan: [1584,1591]   nodes: 4116
makespan: [1581,1583]   nodes: 4128
makespan: [1573,1580]   nodes: 4134
makespan: [1567,1572]   nodes: 4183
makespan: [1564,1566]   nodes: 4195
makespan: [1556,1563]   nodes: 4201
makespan: [1548,1555]   nodes: 4287
makespan: [1546,1547]   nodes: 4390
makespan: [1538,1545]   nodes: 4391
makespan: [1537,1537]   nodes: 4397
makespan: [1522,1536]   nodes: 4450
makespan: [1519,1521]   nodes: 4492
makespan: [1517,1518]   nodes: 4503
makespan: [1515,1516]   nodes: 4516
makespan: [1509,1514]   nodes: 4544
makespan: [1506,1508]   nodes: 4545
makespan: [1500,1505]   nodes: 4546
makespan: [1497,1499]   nodes: 4554
makespan: [1489,1496]   nodes: 4555
makespan: [1488,1488]   nodes: 4561
makespan: [1480,1487]   nodes: 4613
makespan: [1477,1479]   nodes: 4614
makespan: [1471,1476]   nodes: 4615
makespan: [1468,1470]   nodes: 4687
makespan: [1467,1467]   nodes: 4688
makespan: [1465,1466]   nodes: 4692
makespan: [1459,1464]   nodes: 4763
makespan: [1457,1458]   nodes: 4796
makespan: [1449,1456]   nodes: 4873
makespan: [1442,1448]   nodes: 4964
makespan: [1441,1441]   nodes: 5003
makespan: [1434,1440]   nodes: 5052
makespan: [1426,1433]   nodes: 5064
makespan: [1424,1425]   nodes: 5065
makespan: [1418,1423]   nodes: 5079
makespan: [1415,1417]   nodes: 5099
makespan: [1399,1414]   nodes: 5113
makespan: [1392,1398]   nodes: 5153
makespan: [1379,1391]   nodes: 5193
makespan: [1375,1378]   nodes: 5215
makespan: [1374,1374]   nodes: 5273
makespan: [1370,1373]   nodes: 5293
makespan: [1369,1369]   nodes: 5353
makespan: [1368,1368]   nodes: 5414
makespan: [1367,1367]   nodes: 5454
makespan: [1360,1366]   nodes: 5481
makespan: [1355,1359]   nodes: 5494
makespan: [1353,1354]   nodes: 5521
makespan: [1349,1352]   nodes: 5603
makespan: [1341,1348]   nodes: 5647
makespan: [1337,1340]   nodes: 5676
makespan: [1334,1336]   nodes: 5745
makespan: [1333,1333]   nodes: 5755
makespan: [1314,1332]   nodes: 5822
makespan: [1304,1313]   nodes: 5890
makespan: [1286,1303]   nodes: 5954
makespan: [1285,1285]   nodes: 6014
makespan: [1277,1284]   nodes: 6046
makespan: [1276,1276]   nodes: 6074
makespan: [1272,1275]   nodes: 6131
makespan: [1271,1271]   nodes: 6185
makespan: [1259,1270]   nodes: 6248
makespan: [1258,1258]   nodes: 6335
makespan: [1257,1257]   nodes: 6389
makespan: [1254,1256]   nodes: 6390
makespan: [1251,1253]   nodes: 6437
makespan: [1248,1250]   nodes: 6481
makespan: [1241,1247]   nodes: 6542
makespan: [1230,1240]   nodes: 6576
makespan: [1225,1229]   nodes: 6628
makespan: [1218,1224]   nodes: 6686
makespan: [1212,1217]   nodes: 6695
makespan: [1210,1211]   nodes: 6754
makespan: [1207,1209]   nodes: 6797
makespan: [1203,1206]   nodes: 6863
makespan: [1194,1202]   nodes: 6932
makespan: [1188,1193]   nodes: 6940
makespan: [1184,1187]   nodes: 6996
makespan: [1181,1183]   nodes: 7030
makespan: [1178,1180]   nodes: 7061
makespan: [1171,1177]   nodes: 7135
makespan: [1164,1170]   nodes: 7179
makespan: [1160,1163]   nodes: 7183
makespan: [1155,1159]   nodes: 7238
makespan: [1151,1154]   nodes: 7300
makespan: [1147,1150]   nodes: 7306
makespan: [1146,1146]   nodes: 7307
makespan: [1145,1145]   nodes: 7361
makespan: [1142,1144]   nodes: 7413
makespan: [1138,1141]   nodes: 7486
makespan: [1133,1137]   nodes: 7540
makespan: [1132,1132]   nodes: 7541
makespan: [1130,1131]   nodes: 7560
makespan: [1129,1129]   nodes: 7561
makespan: [1128,1128]   nodes: 7609
makespan: [1125,1127]   nodes: 7658
makespan: [1119,1124]   nodes: 7745
makespan: [1118,1118]   nodes: 7760
makespan: [1114,1117]   nodes: 7830
makespan: [1112,1113]   nodes: 7918
makespan: [1105,1111]   nodes: 7930
makespan: [1097,1104]   nodes: 7972
makespan: [1095,1096]   nodes: 8034
makespan: [1090,1094]   nodes: 8048
makespan: [1089,1089]   nodes: 8049
makespan: [1088,1088]   nodes: 13809
makespan: [1086,1087]   nodes: 162473
makespan: [1083,1085]   nodes: 267499
makespan: [1081,1082]   nodes: 1011798
makespan: [1080,1080]   nodes: 1011808
makespan: [1078,1079]   nodes: 1011878
makespan: [1077,1077]   nodes: 1011911
makespan: [1075,1076]   nodes: 1012174
makespan: [1072,1074]   nodes: 1012192
makespan: [1069,1071]   nodes: 1012383
makespan: [1068,1068]   nodes: 1091011
makespan: [1067,1067]   nodes: 1196617
makespan: [1064,1066]   nodes: 1196625
makespan: [1063,1063]   nodes: 1323116
makespan: [1062,1062]   nodes: 11436815
makespan: [1061,1061]   nodes: 11436847
nodes: 52066027  cpu: 3600.0002