makespan: [3803,4676]   nodes: 444
makespan: [3715,3802]   nodes: 454
makespan: [3680,3714]   nodes: 464
makespan: [3646,3679]   nodes: 487
makespan: [3611,3645]   nodes: 497
makespan: [3589,3610]   nodes: 522
makespan: [3567,3588]   nodes: 532
makespan: [3554,3566]   nodes: 553
makespan: [3540,3553]   nodes: 576
makespan: [3505,3539]   nodes: 586
makespan: [3498,3504]   nodes: 622
makespan: [3464,3497]   nodes: 644
makespan: [3429,3463]   nodes: 653
makespan: [3407,3428]   nodes: 677
makespan: [3385,3406]   nodes: 686
makespan: [3372,3384]   nodes: 706
makespan: [3358,3371]   nodes: 728
makespan: [3323,3357]   nodes: 737
makespan: [3282,3322]   nodes: 797
makespan: [3238,3281]   nodes: 849
makespan: [3225,3237]   nodes: 870
makespan: [3176,3224]   nodes: 896
makespan: [3135,3175]   nodes: 963
makespan: [3093,3134]   nodes: 1026
makespan: [3075,3092]   nodes: 1086
makespan: [3034,3074]   nodes: 1147
makespan: [2990,3033]   nodes: 1195
makespan: [2977,2989]   nodes: 1217
makespan: [2928,2976]   nodes: 1264
makespan: [2925,2927]   nodes: 1339
makespan: [2914,2924]   nodes: 1419
makespan: [2891,2913]   nodes: 1456
makespan: [2888,2890]   nodes: 1525
makespan: [2879,2887]   nodes: 1608
makespan: [2861,2878]   nodes: 1615
makespan: [2856,2860]   nodes: 1646
makespan: [2853,2855]   nodes: 1690
makespan: [2835,2852]   nodes: 1697
makespan: [2830,2834]   nodes: 1728
makespan: [2812,2829]   nodes: 1735
makespan: [2809,2811]   nodes: 1800
makespan: [2806,2808]   nodes: 1886
makespan: [2788,2805]   nodes: 1952
makespan: [2747,2787]   nodes: 1990
makespan: [2703,2746]   nodes: 2014
makespan: [2690,2702]   nodes: 2025
makespan: [2641,2689]   nodes: 2047
makespan: [2638,2640]   nodes: 2121
makespan: [2627,2637]   nodes: 2203
makespan: [2604,2626]   nodes: 2223
makespan: [2601,2603]   nodes: 2294
makespan: [2580,2600]   nodes: 2373
makespan: [2576,2579]   nodes: 2400
makespan: [2571,2575]   nodes: 2433
makespan: [2570,2570]   nodes: 2434
makespan: [2569,2569]   nodes: 2468
makespan: [2566,2568]   nodes: 2497
makespan: [2548,2565]   nodes: 2514
makespan: [2543,2547]   nodes: 2531
makespan: [2525,2542]   nodes: 2548
makespan: [2522,2524]   nodes: 2616
makespan: [2520,2521]   nodes: 2693
makespan: [2503,2519]   nodes: 2791
makespan: [2489,2502]   nodes: 2837
makespan: [2466,2488]   nodes: 2855
makespan: [2456,2465]   nodes: 2901
makespan: [2455,2455]   nodes: 2902
makespan: [2433,2454]   nodes: 2920
makespan: [2432,2432]   nodes: 2921
makespan: [2431,2431]   nodes: 2954
makespan: [2428,2430]   nodes: 2985
makespan: [2405,2427]   nodes: 3002
makespan: [2387,2404]   nodes: 3028
makespan: [2385,2386]   nodes: 3113
makespan: [2384,2384]   nodes: 3114
makespan: [2362,2383]   nodes: 3134
makespan: [2361,2361]   nodes: 3135
makespan: [2360,2360]   nodes: 3188
makespan: [2357,2359]   nodes: 3217
makespan: [2339,2356]   nodes: 3237
makespan: [2334,2338]   nodes: 3266
makespan: [2316,2333]   nodes: 3286
makespan: [2306,2315]   nodes: 3372
makespan: [2301,2305]   nodes: 3400
makespan: [2283,2300]   nodes: 3420
makespan: [2282,2282]   nodes: 3494
makespan: [2279,2281]   nodes: 3574
makespan: [2248,2278]   nodes: 3663
makespan: [2234,2247]   nodes: 3736
makespan: [2211,2233]   nodes: 3745
makespan: [2201,2210]   nodes: 3819
makespan: [2200,2200]   nodes: 3820
makespan: [2178,2199]   nodes: 3837
makespan: [2177,2177]   nodes: 3838
makespan: [2169,2176]   nodes: 3869
makespan: [2168,2168]   nodes: 3892
makespan: [2145,2167]   nodes: 3916
makespan: [2140,2144]   nodes: 3950
makespan: [2132,2139]   nodes: 3972
makespan: [2131,2131]   nodes: 4060
makespan: [2130,2130]   nodes: 4130
makespan: [2127,2129]   nodes: 4207
makespan: [2123,2126]   nodes: 4282
makespan: [2099,2122]   nodes: 4309
makespan: [2094,2098]   nodes: 4343
makespan: [2086,2093]   nodes: 4366
makespan: [2063,2085]   nodes: 4426
makespan: [2058,2062]   nodes: 4460
makespan: [2050,2057]   nodes: 4482
makespan: [2043,2049]   nodes: 4538
makespan: [2027,2042]   nodes: 4568
makespan: [2013,2026]   nodes: 4593
makespan: [2008,2012]   nodes: 4594
makespan: [1998,2007]   nodes: 4626
makespan: [1990,1997]   nodes: 4645
makespan: [1988,1989]   nodes: 4689
makespan: [1980,1987]   nodes: 4734
makespan: [1972,1979]   nodes: 4822
makespan: [1964,1971]   nodes: 4823
makespan: [1963,1963]   nodes: 4876
makespan: [1931,1962]   nodes: 4946
makespan: [1930,1930]   nodes: 4955
makespan: [1929,1929]   nodes: 4956
makespan: [1921,1928]   nodes: 4984
makespan: [1897,1920]   nodes: 5007
makespan: [1892,1896]   nodes: 5038
makespan: [1884,1891]   nodes: 5057
makespan: [1880,1883]   nodes: 5119
makespan: [1876,1879]   nodes: 5167
makespan: [1868,1875]   nodes: 5243
makespan: [1858,1867]   nodes: 5291
makespan: [1850,1857]   nodes: 5306
makespan: [1842,1849]   nodes: 5367
makespan: [1834,1841]   nodes: 5378
makespan: [1827,1833]   nodes: 5394
makespan: [1812,1826]   nodes: 5413
makespan: [1802,1811]   nodes: 5461
makespan: [1794,1801]   nodes: 5476
makespan: [1792,1793]   nodes: 5562
makespan: [1785,1791]   nodes: 5578
makespan: [1777,1784]   nodes: 5622
makespan: [1776,1776]   nodes: 5668
makespan: [1772,1775]   nodes: 5745
makespan: [1766,1771]   nodes: 5769
makespan: [1765,1765]   nodes: 5785
makespan: [1750,1764]   nodes: 5804
makespan: [1747,1749]   nodes: 5850
makespan: [1746,1746]   nodes: 5891
makespan: [1745,1745]   nodes: 5943
makespan: [1743,1744]   nodes: 5989
makespan: [1736,1742]   nodes: 6004
makespan: [1729,1735]   nodes: 6020
makespan: [1721,1728]   nodes: 6064
makespan: [1720,1720]   nodes: 6110
makespan: [1714,1719]   nodes: 6207
makespan: [1712,1713]   nodes: 6208
makespan: [1698,1711]   nodes: 6238
makespan: [1690,1697]   nodes: 6245
makespan: [1682,1689]   nodes: 6252
makespan: [1680,1681]   nodes: 6267
makespan: [1678,1679]   nodes: 6276
makespan: [1675,1677]   nodes: 6321
makespan: [1668,1674]   nodes: 6336
makespan: [1660,1667]   nodes: 6376
makespan: [1656,1659]   nodes: 6426
makespan: [1655,1655]   nodes: 6455
makespan: [1653,1654]   nodes: 6474
makespan: [1652,1652]   nodes: 6495
makespan: [1650,1651]   nodes: 6541
makespan: [1648,1649]   nodes: 6554
makespan: [1645,1647]   nodes: 6575
makespan: [1644,1644]   nodes: 6625
makespan: [1640,1643]   nodes: 6629
makespan: [1639,1639]   nodes: 6646
makespan: [1634,1638]   nodes: 6657
makespan: [1626,1633]   nodes: 6695
makespan: [1623,1625]   nodes: 6759
makespan: [1622,1622]   nodes: 6839
makespan: [1619,1621]   nodes: 6862
makespan: [1612,1618]   nodes: 6872
makespan: [1604,1611]   nodes: 6903
makespan: [1600,1603]   nodes: 6938
makespan: [1599,1599]   nodes: 6967
makespan: [1597,1598]   nodes: 6986
makespan: [1596,1596]   nodes: 7007
makespan: [1594,1595]   nodes: 7052
makespan: [1592,1593]   nodes: 7065
makespan: [1589,1591]   nodes: 7086
makespan: [1588,1588]   nodes: 7136
makespan: [1584,1587]   nodes: 7168
makespan: [1583,1583]   nodes: 7185
makespan: [1578,1582]   nodes: 7196
makespan: [1570,1577]   nodes: 7234
makespan: [1568,1569]   nodes: 7307
makespan: [1564,1567]   nodes: 7316
makespan: [1563,1563]   nodes: 7333
makespan: [1559,1562]   nodes: 7334
makespan: [1553,1558]   nodes: 7391
makespan: [1548,1552]   nodes: 7406
makespan: [1545,1547]   nodes: 7483
makespan: [1544,1544]   nodes: 7532
makespan: [1542,1543]   nodes: 7546
makespan: [1533,1541]   nodes: 7568
makespan: [1529,1532]   nodes: 7612
makespan: [1526,1528]   nodes: 7624
makespan: [1524,1525]   nodes: 7646
makespan: [1517,1523]   nodes: 7681
makespan: [1516,1516]   nodes: 7688
makespan: [1512,1515]   nodes: 7740
makespan: [1509,1511]   nodes: 7773
makespan: [1508,1508]   nodes: 7805
makespan: [1504,1507]   nodes: 7838
makespan: [1489,1503]   nodes: 7852
makespan: [1482,1488]   nodes: 7874
makespan: [1477,1481]   nodes: 7941
makespan: [1470,1476]   nodes: 7963
makespan: [1467,1469]   nodes: 8032
makespan: [1466,1466]   nodes: 8086
makespan: [1465,1465]   nodes: 8151
makespan: [1456,1464]   nodes: 8250
makespan: [1448,1455]   nodes: 8277
makespan: [1444,1447]   nodes: 8350
makespan: [1436,1443]   nodes: 8379
makespan: [1433,1435]   nodes: 8435
makespan: [1431,1432]   nodes: 8512
makespan: [1424,1430]   nodes: 8618
makespan: [1423,1423]   nodes: 8625
makespan: [1415,1422]   nodes: 8632
makespan: [1406,1414]   nodes: 8697
makespan: [1405,1405]   nodes: 8702
makespan: [1397,1404]   nodes: 8706
makespan: [1395,1396]   nodes: 8738
makespan: [1390,1394]   nodes: 8767
makespan: [1386,1389]   nodes: 8800
makespan: [1385,1385]   nodes: 8806
makespan: [1377,1384]   nodes: 8812
makespan: [1372,1376]   nodes: 8839
makespan: [1370,1371]   nodes: 8874
makespan: [1367,1369]   nodes: 8927
makespan: [1366,1366]   nodes: 8928
makespan: [1358,1365]   nodes: 8929
makespan: [1354,1357]   nodes: 9012
makespan: [1350,1353]   nodes: 9045
makespan: [1340,1349]   nodes: 9072
makespan: [1332,1339]   nodes: 9073
makespan: [1330,1331]   nodes: 9176
makespan: [1328,1329]   nodes: 9195
makespan: [1325,1327]   nodes: 9238
makespan: [1323,1324]   nodes: 9292
makespan: [1322,1322]   nodes: 9354
makespan: [1320,1321]   nodes: 9428
makespan: [1319,1319]   nodes: 9429
makespan: [1317,1318]   nodes: 9485
makespan: [1312,1316]   nodes: 9486
makespan: [1307,1311]   nodes: 9500
makespan: [1300,1306]   nodes: 9541
makespan: [1295,1299]   nodes: 9564
makespan: [1294,1294]   nodes: 9588
makespan: [1289,1293]   nodes: 9606
makespan: [1285,1288]   nodes: 9640
makespan: [1284,1284]   nodes: 9690
makespan: [1282,1283]   nodes: 9731
makespan: [1277,1281]   nodes: 9745
makespan: [1271,1276]   nodes: 9799
makespan: [1265,1270]   nodes: 9830
makespan: [1262,1264]   nodes: 9906
makespan: [1257,1261]   nodes: 9948
makespan: [1255,1256]   nodes: 9991
makespan: [1247,1254]   nodes: 10025
makespan: [1241,1246]   nodes: 10066
makespan: [1239,1240]   nodes: 10103
makespan: [1237,1238]   nodes: 10205
makespan: [1235,1236]   nodes: 10263
makespan: [1232,1234]   nodes: 10358
makespan: [1230,1231]   nodes: 10401
makespan: [1226,1229]   nodes: 10403
makespan: [1224,1225]   nodes: 10405
makespan: [1222,1223]   nodes: 10456
makespan: [1220,1221]   nodes: 10468
makespan: [1212,1219]   nodes: 10510
makespan: [1211,1211]   nodes: 10564
makespan: [1209,1210]   nodes: 10566
makespan: [1208,1208]   nodes: 10618
makespan: [1207,1207]   nodes: 10670
makespan: [1206,1206]   nodes: 10724
makespan: [1204,1205]   nodes: 10728
makespan: [1202,1203]   nodes: 10775
makespan: [1199,1201]   nodes: 10840
makespan: [1195,1198]   nodes: 10879
makespan: [1193,1194]   nodes: 10923
makespan: [1185,1192]   nodes: 10935
makespan: [1180,1184]   nodes: 10979
makespan: [1178,1179]   nodes: 11025
makespan: [1176,1177]   nodes: 11058
makespan: [1175,1175]   nodes: 11063
makespan: [1174,1174]   nodes: 11101
makespan: [1173,1173]   nodes: 11114
makespan: [1170,1172]   nodes: 11170
makespan: [1169,1169]   nodes: 11212
makespan: [1168,1168]   nodes: 11241
makespan: [1167,1167]   nodes: 11304
makespan: [1162,1166]   nodes: 11349
makespan: [1159,1161]   nodes: 11415
makespan: [1155,1158]   nodes: 11457
makespan: [1151,1154]   nodes: 11493
makespan: [1145,1150]   nodes: 11527
makespan: [1141,1144]   nodes: 11535
makespan: [1138,1140]   nodes: 11581
makespan: [1136,1137]   nodes: 11608
makespan: [1135,1135]   nodes: 11680
makespan: [1130,1134]   nodes: 11716
makespan: [1127,1129]   nodes: 11748
makespan: [1122,1126]   nodes: 11771
makespan: [1120,1121]   nodes: 11789
makespan: [1119,1119]   nodes: 11817
makespan: [1115,1118]   nodes: 11847
makespan: [1112,1114]   nodes: 11891
makespan: [1107,1111]   nodes: 11928
makespan: [1105,1106]   nodes: 11969
makespan: [1104,1104]   nodes: 12003
makespan: [1100,1103]   nodes: 12005
makespan: [1095,1099]   nodes: 12041
makespan: [1094,1094]   nodes: 12096
makespan: [1092,1093]   nodes: 12108
makespan: [1090,1091]   nodes: 12139
makespan: [1089,1089]   nodes: 12164
makespan: [1087,1088]   nodes: 12185
makespan: [1083,1086]   nodes: 12225
makespan: [1081,1082]   nodes: 12226
makespan: [1079,1080]   nodes: 12234
makespan: [1077,1078]   nodes: 12264
makespan: [1074,1076]   nodes: 12267
makespan: [1070,1073]   nodes: 12302
makespan: [1069,1069]   nodes: 12382
makespan: [1067,1068]   nodes: 12444
makespan: [1066,1066]   nodes: 12460
makespan: [1060,1065]   nodes: 14215
makespan: [1057,1059]   nodes: 14228
makespan: [1056,1056]   nodes: 14343
makespan: [1054,1055]   nodes: 629815
makespan: [1051,1053]   nodes: 629879
makespan: [1049,1050]   nodes: 629886
makespan: [1042,1048]   nodes: 629891
makespan: [1035,1041]   nodes: 629927
makespan: [1027,1034]   nodes: 629998
makespan: [1025,1026]   nodes: 630018
makespan: [1024,1024]   nodes: 630033
makespan: [1022,1023]   nodes: 630046
makespan: [1021,1021]   nodes: 630062
makespan: [1020,1020]   nodes: 630089
makespan: [1019,1019]   nodes: 630104
makespan: [1018,1018]   nodes: 630146
makespan: [1016,1017]   nodes: 630170
makespan: [1014,1015]   nodes: 630181
makespan: [1011,1013]   nodes: 635583
makespan: [1009,1010]   nodes: 635597
makespan: [1004,1008]   nodes: 635603
makespan: [1003,1003]   nodes: 635636
makespan: [996,1002]   nodes: 635662
makespan: [994,995]   nodes: 635716
makespan: [993,993]   nodes: 635736
makespan: [989,992]   nodes: 635748
makespan: [988,988]   nodes: 635773
makespan: [987,987]   nodes: 635778
makespan: [984,986]   nodes: 635813
makespan: [983,983]   nodes: 635819
makespan: [981,982]   nodes: 635860
makespan: [980,980]   nodes: 635867
makespan: [977,979]   nodes: 635879
makespan: [976,976]   nodes: 635886
makespan: [975,975]   nodes: 635925
makespan: [974,974]   nodes: 635962
makespan: [972,973]   nodes: 635971
makespan: [964,971]   nodes: 636013
makespan: [962,963]   nodes: 636047
makespan: [956,961]   nodes: 636102
makespan: [955,955]   nodes: 636104
makespan: [954,954]   nodes: 636130
makespan: [953,953]   nodes: 636134
makespan: [952,952]   nodes: 636181
makespan: [946,951]   nodes: 636199
makespan: [945,945]   nodes: 636230
makespan: [942,944]   nodes: 636251
makespan: [939,941]   nodes: 636264
makespan: [937,938]   nodes: 1100097
makespan: [934,936]   nodes: 13133979
makespan: [931,933]   nodes: 13133996
makespan: [930,930]   nodes: 13134038
makespan: [927,929]   nodes: 13134077
makespan: [924,926]   nodes: 13134106
makespan: [923,923]   nodes: 13134117
makespan: [921,922]   nodes: 13134146
makespan: [920,920]   nodes: 13134147
makespan: [918,919]   nodes: 13134156
makespan: [917,917]   nodes: 13134219
makespan: [915,916]   nodes: 13134230
makespan: [910,914]   nodes: 13134248
makespan: [909,909]   nodes: 13134257
makespan: [906,908]   nodes: 13134285
makespan: [904,905]   nodes: 13134303
makespan: [903,903]   nodes: 13134310
makespan: [901,902]   nodes: 13134336
makespan: [898,900]   nodes: 13134354
makespan: [897,897]   nodes: 13134388
makespan: [894,896]   nodes: 13134406
makespan: [891,893]   nodes: 13134432
makespan: [890,890]   nodes: 13134471
makespan: [889,889]   nodes: 13134480
makespan: [884,888]   nodes: 13134482
makespan: [880,883]   nodes: 13134510
makespan: [877,879]   nodes: 13134551
makespan: [875,876]   nodes: 13134561
makespan: [873,874]   nodes: 13134579
makespan: [870,872]   nodes: 13134586
makespan: [868,869]   nodes: 13135064
makespan: [866,867]   nodes: 13135082
makespan: [865,865]   nodes: 13135104
makespan: [864,864]   nodes: 13135379
makespan: [863,863]   nodes: 13135400
makespan: [860,862]   nodes: 13135419
makespan: [859,859]   nodes: 13135436
makespan: [853,858]   nodes: 13135460
makespan: [851,852]   nodes: 13135473
makespan: [850,850]   nodes: 13135513
makespan: [849,849]   nodes: 13135538
makespan: [847,848]   nodes: 13135931
makespan: [846,846]   nodes: 13135971
makespan: [844,845]   nodes: 13136005
makespan: [838,843]   nodes: 13136015
makespan: [837,837]   nodes: 13136033
makespan: [835,836]   nodes: 13137311
makespan: [834,834]   nodes: 13137518
makespan: [831,833]   nodes: 13137678
makespan: [830,830]   nodes: 13137690
makespan: [829,829]   nodes: 13137798
makespan: [827,828]   nodes: 13137805
makespan: [825,826]   nodes: 13138877
makespan: [824,824]   nodes: 13138904
makespan: [821,823]   nodes: 13139082
makespan: [820,820]   nodes: 13139099
makespan: [819,819]   nodes: 13148751
makespan: [816,818]   nodes: 13148766
makespan: [813,815]   nodes: 13148778
makespan: [811,812]   nodes: 13308212
makespan: [808,810]   nodes: 13312373
makespan: [805,807]   nodes: 13312393
makespan: [801,804]   nodes: 13312420
makespan: [800,800]   nodes: 13312430
makespan: [799,799]   nodes: 13312441
makespan: [796,798]   nodes: 13312512
makespan: [795,795]   nodes: 13312527
makespan: [792,794]   nodes: 13312544
makespan: [789,791]   nodes: 16176413
makespan: [788,788]   nodes: 16304005
makespan: [787,787]   nodes: 16304024
makespan: [785,786]   nodes: 31588091
makespan: [784,784]   nodes: 41749535
nodes: 45049136  cpu: 3600.0002