{ "ExecutionMD": { "ExecutionTime": 97709.387, "SolutionType": "Approximate", "RelativeGap": 0.0, "Solution": 13294.0, "OneSideOfTheCut": "(5, 7, 9, 10, 11, 12, 13, 14, 17, 20, 22, 24, 25, 26, 27, 30, 31, 35, 37, 40, 41, 43, 44, 45, 50, 51, 52, 53, 54, 55, 56, 58, 59, 63, 64, 66, 67, 69, 70, 71, 72, 75, 76, 78, 81, 85, 86, 88, 90, 92, 94, 95, 96, 99, 103, 105, 107, 109, 110, 113, 119, 121, 122, 125, 126, 127, 129, 131, 132, 134, 135, 136, 137, 138, 139, 142, 144, 149, 153, 155, 157, 159, 162, 164, 165, 168, 169, 170, 173, 174, 177, 178, 180, 182, 184, 186, 187, 190, 193, 194, 197, 198, 199, 200, 202, 204, 205, 208, 209, 211, 212, 216, 218, 220, 222, 223, 224, 225, 226, 228, 230, 233, 236, 237, 240, 241, 243, 244, 246, 247, 248, 249, 251, 252, 253, 254, 256, 257, 261, 262, 264, 265, 266, 268, 269, 273, 274, 278, 280, 282, 283, 286, 293, 294, 296, 297, 300, 301, 302, 307, 308, 309, 311, 312, 314, 316, 317, 319, 321, 326, 328, 331, 334, 335, 336, 337, 338, 339, 340, 341, 344, 345, 346, 355, 356, 359, 360, 362, 363, 364, 365, 368, 369, 372, 373, 376, 378, 381, 382, 383, 384, 385, 386, 387, 389, 390, 391, 392, 393, 395, 396, 397, 398, 403, 407, 408, 410, 411, 414, 420, 422, 423, 424, 426, 428, 430, 431, 433, 434, 436, 440, 442, 443, 445, 448, 450, 451, 453, 455, 460, 461, 463, 466, 468, 472, 473, 476, 479, 480, 482, 485, 491, 492, 496, 497, 499, 500, 501, 504, 508, 509, 513, 514, 515, 516, 518, 519, 520, 521, 522, 523, 525, 528, 529, 530, 531, 533, 535, 536, 537, 538, 541, 543, 545, 546, 547, 548, 549, 555, 556, 557, 562, 563, 564, 565, 566, 567, 568, 569, 572, 574, 576, 577, 580, 582, 586, 588, 589, 592, 593, 594, 598, 599, 600, 601, 602, 605, 606, 608, 609, 612, 613, 614, 615, 616, 620, 621, 624, 625, 626, 628, 631, 635, 639, 640, 648, 653, 654, 656, 657, 658, 662, 663, 665, 666, 667, 668, 669, 670, 671, 672, 673, 676, 683, 684, 685, 686, 688, 689, 691, 692, 694, 695, 700, 701, 702, 705, 706, 708, 709, 712, 713, 716, 717, 719, 723, 726, 728, 733, 734, 736, 739, 740, 742, 743, 744, 746, 747, 751, 754, 756, 759, 761, 762, 764, 765, 769, 771, 773, 775, 776, 778, 780, 781, 782, 788, 793, 795, 799, 801, 804, 805, 806, 807, 808, 810, 813, 815, 816, 819, 824, 825, 827, 833, 834, 835, 836, 838, 840, 841, 846, 847, 848, 849, 854, 855, 856, 859, 860, 863, 864, 865, 866, 868, 870, 871, 872, 873, 875, 878, 879, 881, 883, 885, 886, 887, 893, 896, 897, 900, 901, 902, 903, 905, 907, 909, 910, 912, 914, 915, 917, 918, 919, 921, 922, 923, 926, 927, 931, 932, 934, 935, 936, 943, 944, 945, 948, 952, 953, 954, 955, 956, 958, 959, 960, 962, 963, 965, 970, 971, 972, 973, 974, 976, 977, 979, 981, 983, 987, 989, 995, 997, 998, 999, 1000, 1003, 1006, 1008, 1009, 1010, 1012, 1013, 1021, 1023, 1024, 1025, 1027, 1028, 1030, 1033, 1034, 1035, 1036, 1037, 1040, 1043, 1044, 1045, 1050, 1055, 1057, 1059, 1062, 1065, 1066, 1067, 1071, 1072, 1073, 1075, 1077, 1080, 1081, 1082, 1086, 1087, 1089, 1090, 1094, 1096, 1098, 1100, 1101, 1103, 1104, 1107, 1108, 1109, 1111, 1115, 1120, 1122, 1123, 1130, 1132, 1135, 1136, 1142, 1143, 1144, 1145, 1146, 1154, 1155, 1158, 1160, 1162, 1163, 1168, 1169, 1171, 1173, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1185, 1187, 1188, 1190, 1191, 1196, 1198, 1201, 1204, 1205, 1206, 1207, 1212, 1215, 1219, 1222, 1223, 1224, 1227, 1230, 1234, 1235, 1236, 1241, 1243, 1244, 1245, 1248, 1249, 1250, 1251, 1254, 1257, 1261, 1263, 1265, 1268, 1270, 1271, 1273, 1275, 1276, 1278, 1279, 1280, 1285, 1288, 1290, 1294, 1296, 1298, 1299, 1301, 1302, 1304, 1306, 1308, 1309, 1310, 1314, 1316, 1317, 1318, 1319, 1320, 1323, 1324, 1325, 1327, 1330, 1332, 1335, 1336, 1338, 1339, 1340, 1343, 1344, 1346, 1347, 1356, 1358, 1359, 1360, 1361, 1365, 1366, 1369, 1371, 1373, 1374, 1375, 1376, 1377, 1378, 1381, 1382, 1385, 1387, 1388, 1391, 1392, 1393, 1397, 1398, 1400, 1401, 1403, 1406, 1409, 1410, 1413, 1415, 1417, 1421, 1422, 1423, 1424, 1425, 1426, 1428, 1429, 1430, 1431, 1432, 1434, 1435, 1436, 1439, 1440, 1441, 1443, 1446, 1447, 1449, 1452, 1455, 1458, 1460, 1461, 1462, 1463, 1465, 1468, 1469, 1471, 1472, 1476, 1477, 1479, 1483, 1485, 1490, 1492, 1496, 1497, 1498, 1499, 1500, 1502, 1504, 1505, 1509, 1510, 1514, 1519, 1523, 1524, 1528, 1529, 1532, 1534, 1535, 1536, 1537, 1542, 1543, 1544, 1545, 1546, 1549, 1550, 1552, 1554, 1556, 1557, 1560, 1561, 1562, 1563, 1567, 1569, 1571, 1572, 1574, 1575, 1576, 1577, 1578, 1584, 1585, 1586, 1588, 1589, 1590, 1593, 1594, 1596, 1600, 1604, 1605, 1606, 1607, 1610, 1611, 1613, 1614, 1615, 1616, 1617, 1618, 1621, 1623, 1626, 1627, 1628, 1632, 1635, 1637, 1638, 1641, 1643, 1651, 1654, 1655, 1656, 1657, 1658, 1659, 1660, 1661, 1662, 1665, 1666, 1668, 1669, 1673, 1675, 1677, 1679, 1682, 1683, 1684, 1685, 1686, 1692, 1694, 1695, 1697, 1698, 1699, 1701, 1705, 1710, 1713, 1714, 1715, 1717, 1718, 1720, 1724, 1725, 1729, 1735, 1736, 1738, 1740, 1742, 1744, 1745, 1748, 1751, 1755, 1756, 1757, 1758, 1760, 1763, 1764, 1766, 1767, 1769, 1770, 1771, 1773, 1774, 1775, 1779, 1780, 1783, 1787, 1788, 1790, 1791, 1792, 1793, 1796, 1798, 1802, 1803, 1804, 1805, 1806, 1807, 1808, 1809, 1810, 1811, 1813, 1817, 1818, 1820, 1824, 1826, 1827, 1828, 1832, 1833, 1834, 1837, 1840, 1842, 1843, 1846, 1847, 1848, 1849, 1852, 1853, 1855, 1856, 1857, 1858, 1860, 1863, 1864, 1866, 1867, 1869, 1871, 1875, 1877, 1878, 1879, 1881, 1882, 1884, 1886, 1889, 1890, 1892, 1897, 1900, 1902, 1903, 1904, 1905, 1906, 1909, 1910, 1912, 1914, 1920, 1923, 1925, 1926, 1928, 1929, 1931, 1932, 1939, 1940, 1942, 1945, 1947, 1949, 1950, 1952, 1956, 1958, 1959, 1961, 1962, 1963, 1968, 1975, 1979, 1980, 1981, 1985, 1988, 1990, 1991, 1996, 1997, 1998, 1999, 2000)", "BabNodes": 15, "NumCores": 96 }, "GraphMD": { "Vertices": 2000, "Edges": 19990, "Density": 0.01 } }