makespan: [3208,4020]   nodes: 522
makespan: [3161,3207]   nodes: 523
makespan: [3114,3160]   nodes: 524
makespan: [3071,3113]   nodes: 530
makespan: [3024,3070]   nodes: 531
makespan: [2977,3023]   nodes: 532
makespan: [2958,2976]   nodes: 553
makespan: [2911,2957]   nodes: 554
makespan: [2864,2910]   nodes: 555
makespan: [2831,2863]   nodes: 580
makespan: [2812,2830]   nodes: 602
makespan: [2765,2811]   nodes: 603
makespan: [2718,2764]   nodes: 604
makespan: [2670,2717]   nodes: 630
makespan: [2642,2669]   nodes: 701
makespan: [2594,2641]   nodes: 725
makespan: [2591,2593]   nodes: 787
makespan: [2569,2590]   nodes: 804
makespan: [2555,2568]   nodes: 876
makespan: [2554,2554]   nodes: 884
makespan: [2552,2553]   nodes: 925
makespan: [2529,2551]   nodes: 943
makespan: [2495,2528]   nodes: 1012
makespan: [2489,2494]   nodes: 1052
makespan: [2470,2488]   nodes: 1073
makespan: [2468,2469]   nodes: 1109
makespan: [2453,2467]   nodes: 1151
makespan: [2438,2452]   nodes: 1233
makespan: [2427,2437]   nodes: 1353
makespan: [2400,2426]   nodes: 1364
makespan: [2388,2399]   nodes: 1377
makespan: [2366,2387]   nodes: 1394
makespan: [2346,2365]   nodes: 1476
makespan: [2344,2345]   nodes: 1477
makespan: [2341,2343]   nodes: 1491
makespan: [2330,2340]   nodes: 1595
makespan: [2314,2329]   nodes: 1596
makespan: [2305,2313]   nodes: 1681
makespan: [2298,2304]   nodes: 1763
makespan: [2292,2297]   nodes: 1778
makespan: [2291,2291]   nodes: 1796
makespan: [2289,2290]   nodes: 1811
makespan: [2269,2288]   nodes: 1942
makespan: [2267,2268]   nodes: 1952
makespan: [2265,2266]   nodes: 1978
makespan: [2253,2264]   nodes: 2012
makespan: [2250,2252]   nodes: 2032
makespan: [2235,2249]   nodes: 2092
makespan: [2234,2234]   nodes: 2176
makespan: [2232,2233]   nodes: 2224
makespan: [2231,2231]   nodes: 2229
makespan: [2230,2230]   nodes: 2269
makespan: [2229,2229]   nodes: 2274
makespan: [2212,2228]   nodes: 2358
makespan: [2209,2211]   nodes: 2365
makespan: [2207,2208]   nodes: 2409
makespan: [2206,2206]   nodes: 2414
makespan: [2205,2205]   nodes: 2450
makespan: [2204,2204]   nodes: 2455
makespan: [2165,2203]   nodes: 2561
makespan: [2163,2164]   nodes: 2595
makespan: [2161,2162]   nodes: 2641
makespan: [2155,2160]   nodes: 2663
makespan: [2148,2154]   nodes: 2665
makespan: [2140,2147]   nodes: 2668
makespan: [2138,2139]   nodes: 2697
makespan: [2124,2137]   nodes: 2800
makespan: [2111,2123]   nodes: 2895
makespan: [2109,2110]   nodes: 2961
makespan: [2086,2108]   nodes: 2986
makespan: [2075,2085]   nodes: 3126
makespan: [2073,2074]   nodes: 3160
makespan: [2071,2072]   nodes: 3206
makespan: [2065,2070]   nodes: 3226
makespan: [2058,2064]   nodes: 3229
makespan: [2050,2057]   nodes: 3233
makespan: [2048,2049]   nodes: 3263
makespan: [2034,2047]   nodes: 3358
makespan: [2021,2033]   nodes: 3448
makespan: [2019,2020]   nodes: 3512
makespan: [1996,2018]   nodes: 3535
makespan: [1986,1995]   nodes: 3635
makespan: [1983,1985]   nodes: 3637
makespan: [1961,1982]   nodes: 3742
makespan: [1947,1960]   nodes: 3784
makespan: [1936,1946]   nodes: 3826
makespan: [1934,1935]   nodes: 3878
makespan: [1931,1933]   nodes: 3880
makespan: [1923,1930]   nodes: 4010
makespan: [1921,1922]   nodes: 4073
makespan: [1883,1920]   nodes: 4184
makespan: [1879,1882]   nodes: 4235
makespan: [1873,1878]   nodes: 4250
makespan: [1866,1872]   nodes: 4307
makespan: [1858,1865]   nodes: 4308
makespan: [1856,1857]   nodes: 4360
makespan: [1842,1855]   nodes: 4476
makespan: [1829,1841]   nodes: 4565
makespan: [1827,1828]   nodes: 4632
makespan: [1804,1826]   nodes: 4656
makespan: [1801,1803]   nodes: 4778
makespan: [1794,1800]   nodes: 4903
makespan: [1786,1793]   nodes: 4904
makespan: [1784,1785]   nodes: 4947
makespan: [1757,1783]   nodes: 5062
makespan: [1755,1756]   nodes: 5118
makespan: [1738,1754]   nodes: 5188
makespan: [1732,1737]   nodes: 5189
makespan: [1726,1731]   nodes: 5303
makespan: [1724,1725]   nodes: 5346
makespan: [1708,1723]   nodes: 5456
makespan: [1695,1707]   nodes: 5523
makespan: [1678,1694]   nodes: 5592
makespan: [1672,1677]   nodes: 5593
makespan: [1670,1671]   nodes: 5705
makespan: [1668,1669]   nodes: 5748
makespan: [1659,1667]   nodes: 5833
makespan: [1652,1658]   nodes: 5955
makespan: [1649,1651]   nodes: 6026
makespan: [1641,1648]   nodes: 6037
makespan: [1639,1640]   nodes: 6082
makespan: [1637,1638]   nodes: 6156
makespan: [1630,1636]   nodes: 6208
makespan: [1622,1629]   nodes: 6209
makespan: [1619,1621]   nodes: 6255
makespan: [1616,1618]   nodes: 6302
makespan: [1610,1615]   nodes: 6430
makespan: [1608,1609]   nodes: 6520
makespan: [1602,1607]   nodes: 6613
makespan: [1599,1601]   nodes: 6614
makespan: [1596,1598]   nodes: 6667
makespan: [1592,1595]   nodes: 6761
makespan: [1579,1591]   nodes: 6824
makespan: [1578,1578]   nodes: 6873
makespan: [1562,1577]   nodes: 6925
makespan: [1559,1561]   nodes: 6926
makespan: [1556,1558]   nodes: 6979
makespan: [1554,1555]   nodes: 7088
makespan: [1552,1553]   nodes: 7172
makespan: [1546,1551]   nodes: 7257
makespan: [1544,1545]   nodes: 7288
makespan: [1543,1543]   nodes: 7333
makespan: [1535,1542]   nodes: 7429
makespan: [1527,1534]   nodes: 7430
makespan: [1516,1526]   nodes: 7479
makespan: [1508,1515]   nodes: 7480
makespan: [1506,1507]   nodes: 7559
makespan: [1500,1505]   nodes: 7613
makespan: [1499,1499]   nodes: 7741
makespan: [1492,1498]   nodes: 7792
makespan: [1491,1491]   nodes: 7816
makespan: [1480,1490]   nodes: 7840
makespan: [1472,1479]   nodes: 7891
makespan: [1469,1471]   nodes: 7946
makespan: [1466,1468]   nodes: 7961
makespan: [1463,1465]   nodes: 7962
makespan: [1455,1462]   nodes: 7963
makespan: [1453,1454]   nodes: 8072
makespan: [1446,1452]   nodes: 8163
makespan: [1443,1445]   nodes: 8232
makespan: [1439,1442]   nodes: 8312
makespan: [1438,1438]   nodes: 8389
makespan: [1428,1437]   nodes: 8435
makespan: [1427,1427]   nodes: 8464
makespan: [1419,1426]   nodes: 8465
makespan: [1418,1418]   nodes: 8542
makespan: [1415,1417]   nodes: 8553
makespan: [1410,1414]   nodes: 8607
makespan: [1406,1409]   nodes: 8663
makespan: [1402,1405]   nodes: 8674
makespan: [1399,1401]   nodes: 8693
makespan: [1397,1398]   nodes: 8694
makespan: [1391,1396]   nodes: 8708
makespan: [1390,1390]   nodes: 8844
makespan: [1377,1389]   nodes: 8858
makespan: [1374,1376]   nodes: 8912
makespan: [1372,1373]   nodes: 8913
makespan: [1366,1371]   nodes: 8975
makespan: [1365,1365]   nodes: 9084
makespan: [1364,1364]   nodes: 9130
makespan: [1359,1363]   nodes: 9154
makespan: [1354,1358]   nodes: 9155
makespan: [1351,1353]   nodes: 9166
makespan: [1346,1350]   nodes: 9276
makespan: [1344,1345]   nodes: 9327
makespan: [1342,1343]   nodes: 9339
makespan: [1339,1341]   nodes: 9366
makespan: [1331,1338]   nodes: 9367
makespan: [1324,1330]   nodes: 9427
makespan: [1323,1323]   nodes: 9482
makespan: [1321,1322]   nodes: 9557
makespan: [1320,1320]   nodes: 9612
makespan: [1314,1319]   nodes: 9699
makespan: [1313,1313]   nodes: 9706
makespan: [1311,1312]   nodes: 9742
makespan: [1304,1310]   nodes: 9768
makespan: [1302,1303]   nodes: 9797
makespan: [1295,1301]   nodes: 9902
makespan: [1289,1294]   nodes: 9943
makespan: [1288,1288]   nodes: 9944
makespan: [1286,1287]   nodes: 9970
makespan: [1278,1285]   nodes: 9971
makespan: [1276,1277]   nodes: 10038
makespan: [1272,1275]   nodes: 10093
makespan: [1269,1271]   nodes: 10153
makespan: [1266,1268]   nodes: 10206
makespan: [1263,1265]   nodes: 10276
makespan: [1256,1262]   nodes: 10356
makespan: [1255,1255]   nodes: 10385
makespan: [1247,1254]   nodes: 10391
makespan: [1246,1246]   nodes: 10428
makespan: [1245,1245]   nodes: 10441
makespan: [1243,1244]   nodes: 10516
makespan: [1242,1242]   nodes: 10525
makespan: [1238,1241]   nodes: 10591
makespan: [1235,1237]   nodes: 10638
makespan: [1233,1234]   nodes: 10671
makespan: [1222,1232]   nodes: 10720
makespan: [1214,1221]   nodes: 10721
makespan: [1213,1213]   nodes: 10803
makespan: [1212,1212]   nodes: 10808
makespan: [1211,1211]   nodes: 10834
makespan: [1206,1210]   nodes: 10857
makespan: [1205,1205]   nodes: 10902
makespan: [1201,1204]   nodes: 10980
makespan: [1196,1200]   nodes: 10986
makespan: [1194,1195]   nodes: 11000
makespan: [1193,1193]   nodes: 11014
makespan: [1192,1192]   nodes: 11124
makespan: [1184,1191]   nodes: 11125
makespan: [1180,1183]   nodes: 11217
makespan: [1168,1179]   nodes: 11255
makespan: [1165,1167]   nodes: 11256
makespan: [1164,1164]   nodes: 11300
makespan: [1160,1163]   nodes: 11346
makespan: [1157,1159]   nodes: 11414
makespan: [1155,1156]   nodes: 11436
makespan: [1154,1154]   nodes: 11503
makespan: [1149,1153]   nodes: 11504
makespan: [1146,1148]   nodes: 11527
makespan: [1144,1145]   nodes: 11553
makespan: [1142,1143]   nodes: 11647
makespan: [1141,1141]   nodes: 11653
makespan: [1140,1140]   nodes: 11667
makespan: [1136,1139]   nodes: 11728
makespan: [1133,1135]   nodes: 11774
makespan: [1129,1132]   nodes: 11788
makespan: [1128,1128]   nodes: 11802
makespan: [1125,1127]   nodes: 11882
makespan: [1124,1124]   nodes: 11905
makespan: [1120,1123]   nodes: 11906
makespan: [1116,1119]   nodes: 11940
makespan: [1108,1115]   nodes: 11998
makespan: [1107,1107]   nodes: 12070
makespan: [1106,1106]   nodes: 12080
makespan: [1105,1105]   nodes: 12120
makespan: [1100,1104]   nodes: 12160
makespan: [1099,1099]   nodes: 12170
makespan: [1098,1098]   nodes: 12205
makespan: [1097,1097]   nodes: 12215
makespan: [1096,1096]   nodes: 12306
makespan: [1093,1095]   nodes: 12391
makespan: [1085,1092]   nodes: 12404
makespan: [1077,1084]   nodes: 12418
makespan: [1075,1076]   nodes: 12491
makespan: [1067,1074]   nodes: 12514
makespan: [1065,1066]   nodes: 12574
makespan: [1063,1064]   nodes: 12931
makespan: [1061,1062]   nodes: 12933
makespan: [1060,1060]   nodes: 12939
makespan: [1059,1059]   nodes: 12946
makespan: [1056,1058]   nodes: 13038
makespan: [1051,1055]   nodes: 37591
makespan: [1049,1050]   nodes: 37601
makespan: [1048,1048]   nodes: 37615
makespan: [1047,1047]   nodes: 37676
makespan: [1045,1046]   nodes: 37686
makespan: [1043,1044]   nodes: 37717
makespan: [1042,1042]   nodes: 37718
makespan: [1039,1041]   nodes: 37757
makespan: [1038,1038]   nodes: 37817
makespan: [1035,1037]   nodes: 37825
makespan: [1034,1034]   nodes: 37854
makespan: [1031,1033]   nodes: 37862
makespan: [1030,1030]   nodes: 37911
makespan: [1029,1029]   nodes: 37939
makespan: [1026,1028]   nodes: 37942
makespan: [1022,1025]   nodes: 37986
makespan: [1021,1021]   nodes: 38005
makespan: [1019,1020]   nodes: 38042
makespan: [1016,1018]   nodes: 38103
makespan: [1015,1015]   nodes: 38181
makespan: [1014,1014]   nodes: 38189
makespan: [1013,1013]   nodes: 38191
makespan: [1012,1012]   nodes: 38215
makespan: [1008,1011]   nodes: 38231
makespan: [1006,1007]   nodes: 38269
makespan: [1005,1005]   nodes: 38332
makespan: [1004,1004]   nodes: 42181
makespan: [1003,1003]   nodes: 42219
makespan: [1002,1002]   nodes: 44515
makespan: [997,1001]   nodes: 44528
makespan: [995,996]   nodes: 44548
makespan: [993,994]   nodes: 171412
makespan: [990,992]   nodes: 175250
makespan: [989,989]   nodes: 175282
makespan: [983,988]   nodes: 175311
makespan: [982,982]   nodes: 175350
makespan: [979,981]   nodes: 183410
makespan: [976,978]   nodes: 183438
makespan: [974,975]   nodes: 183467
nodes: 68749390  cpu: 3600.0002