makespan: [2443,2849] nodes: 207 makespan: [2429,2442] nodes: 209 makespan: [2259,2428] nodes: 213 makespan: [2138,2258] nodes: 216 makespan: [2123,2137] nodes: 226 makespan: [2002,2122] nodes: 227 makespan: [1972,2001] nodes: 234 makespan: [1958,1971] nodes: 242 makespan: [1901,1957] nodes: 263 makespan: [1871,1900] nodes: 270 makespan: [1857,1870] nodes: 278 makespan: [1844,1856] nodes: 294 makespan: [1814,1843] nodes: 301 makespan: [1800,1813] nodes: 308 makespan: [1776,1799] nodes: 331 makespan: [1762,1775] nodes: 339 makespan: [1749,1761] nodes: 355 makespan: [1719,1748] nodes: 362 makespan: [1705,1718] nodes: 369 makespan: [1686,1704] nodes: 392 makespan: [1677,1685] nodes: 394 makespan: [1672,1676] nodes: 399 makespan: [1663,1671] nodes: 401 makespan: [1659,1662] nodes: 411 makespan: [1650,1658] nodes: 413 makespan: [1629,1649] nodes: 417 makespan: [1620,1628] nodes: 419 makespan: [1615,1619] nodes: 423 makespan: [1606,1614] nodes: 425 makespan: [1594,1605] nodes: 457 makespan: [1557,1593] nodes: 459 makespan: [1553,1556] nodes: 467 makespan: [1536,1552] nodes: 479 makespan: [1524,1535] nodes: 503 makespan: [1515,1523] nodes: 505 makespan: [1467,1514] nodes: 517 makespan: [1458,1466] nodes: 519 makespan: [1454,1457] nodes: 529 makespan: [1446,1453] nodes: 543 makespan: [1437,1445] nodes: 545 makespan: [1418,1436] nodes: 578 makespan: [1409,1417] nodes: 580 makespan: [1396,1408] nodes: 591 makespan: [1387,1395] nodes: 598 makespan: [1383,1386] nodes: 609 makespan: [1375,1382] nodes: 624 makespan: [1366,1374] nodes: 633 makespan: [1358,1365] nodes: 658 makespan: [1355,1357] nodes: 675 makespan: [1339,1354] nodes: 681 makespan: [1332,1338] nodes: 684 makespan: [1312,1331] nodes: 706 makespan: [1302,1311] nodes: 726 makespan: [1287,1301] nodes: 737 makespan: [1283,1286] nodes: 742 makespan: [1275,1282] nodes: 748 makespan: [1266,1274] nodes: 764 makespan: [1261,1265] nodes: 794 makespan: [1248,1260] nodes: 802 makespan: [1247,1247] nodes: 807 makespan: [1238,1246] nodes: 812 makespan: [1227,1237] nodes: 849 makespan: [1217,1226] nodes: 874 makespan: [1190,1216] nodes: 876 makespan: [1181,1189] nodes: 897 makespan: [1176,1180] nodes: 926 makespan: [1167,1175] nodes: 940 makespan: [1162,1166] nodes: 963 makespan: [1153,1161] nodes: 976 makespan: [1151,1152] nodes: 994 makespan: [1145,1150] nodes: 1015 makespan: [1144,1144] nodes: 1049 makespan: [1139,1143] nodes: 1060 makespan: [1134,1138] nodes: 1086 makespan: [1129,1133] nodes: 1109 makespan: [1125,1128] nodes: 1121 makespan: [1120,1124] nodes: 1133 makespan: [1117,1119] nodes: 1151 makespan: [1116,1116] nodes: 1164 makespan: [1111,1115] nodes: 1176 makespan: [1110,1110] nodes: 1201 makespan: [1105,1109] nodes: 1223 makespan: [1100,1104] nodes: 1246 makespan: [1096,1099] nodes: 1257 makespan: [1091,1095] nodes: 1268 makespan: [1088,1090] nodes: 1289 makespan: [1087,1087] nodes: 1305 makespan: [1082,1086] nodes: 1320 makespan: [1073,1081] nodes: 1351 makespan: [1069,1072] nodes: 1360 makespan: [1064,1068] nodes: 1368 makespan: [1063,1063] nodes: 1390 makespan: [1036,1062] nodes: 1393 makespan: [1032,1035] nodes: 1400 makespan: [1027,1031] nodes: 1406 makespan: [1023,1026] nodes: 1427 makespan: [1018,1022] nodes: 1434 makespan: [1013,1017] nodes: 1459 makespan: [1008,1012] nodes: 1480 makespan: [1004,1007] nodes: 1488 makespan: [999,1003] nodes: 1498 makespan: [996,998] nodes: 1521 makespan: [995,995] nodes: 1537 makespan: [990,994] nodes: 1553 makespan: [981,989] nodes: 1591 makespan: [971,980] nodes: 1618 makespan: [944,970] nodes: 1629 makespan: [935,943] nodes: 1655 makespan: [930,934] nodes: 1684 makespan: [916,929] nodes: 1710 makespan: [913,915] nodes: 1737 makespan: [910,912] nodes: 1759 makespan: [907,909] nodes: 1768 makespan: [906,906] nodes: 1782 makespan: [905,905] nodes: 1804 makespan: [900,904] nodes: 1825 makespan: [894,899] nodes: 1841 makespan: [887,893] nodes: 1867 makespan: [886,886] nodes: 1891 makespan: [882,885] nodes: 1912 makespan: [880,881] nodes: 1930 makespan: [868,879] nodes: 1947 makespan: [867,867] nodes: 1964 makespan: [865,866] nodes: 1983 makespan: [859,864] nodes: 1996 makespan: [851,858] nodes: 2017 makespan: [850,850] nodes: 2035 makespan: [847,849] nodes: 2045 makespan: [842,846] nodes: 2087 makespan: [840,841] nodes: 2109 makespan: [837,839] nodes: 2115 makespan: [823,836] nodes: 2132 makespan: [822,822] nodes: 2148 makespan: [814,821] nodes: 2168 makespan: [813,813] nodes: 2194 makespan: [811,812] nodes: 2291 makespan: [808,810] nodes: 2306 makespan: [806,807] nodes: 2319 makespan: [801,805] nodes: 2345 makespan: [800,800] nodes: 2364 makespan: [798,799] nodes: 2378 makespan: [797,797] nodes: 2389 makespan: [791,796] nodes: 2403 makespan: [789,790] nodes: 2416 makespan: [787,788] nodes: 2427 makespan: [778,786] nodes: 2447 makespan: [776,777] nodes: 2594 makespan: [774,775] nodes: 2617 makespan: [772,773] nodes: 2632 makespan: [771,771] nodes: 2653 makespan: [766,770] nodes: 2667 makespan: [765,765] nodes: 2673 makespan: [764,764] nodes: 2677 makespan: [760,763] nodes: 2690 makespan: [759,759] nodes: 2693 makespan: [755,758] nodes: 2708 makespan: [754,754] nodes: 2785 makespan: [750,753] nodes: 3331 makespan: [745,749] nodes: 3447 makespan: [742,744] nodes: 3453 makespan: [740,741] nodes: 3469 makespan: [738,739] nodes: 3787 makespan: [736,737] nodes: 3806 makespan: [733,735] nodes: 4410 makespan: [728,732] nodes: 4434 makespan: [725,727] nodes: 4446 makespan: [723,724] nodes: 4455 makespan: [719,722] nodes: 4474 makespan: [718,718] nodes: 4494 makespan: [717,717] nodes: 4510 makespan: [716,716] nodes: 4530 makespan: [710,715] nodes: 4536 makespan: [704,709] nodes: 5059 makespan: [699,703] nodes: 6437 makespan: [692,698] nodes: 6455 makespan: [687,691] nodes: 6475 makespan: [686,686] nodes: 6493 makespan: [683,685] nodes: 6511 makespan: [682,682] nodes: 6524 makespan: [675,681] nodes: 6534 makespan: [672,674] nodes: 6543 makespan: [669,671] nodes: 6806 makespan: [666,668] nodes: 6809 nodes: 14754579 cpu: 712.0568