{ "ExecutionMD": { "ExecutionTime": 89635.547, "SolutionType": "Approximate", "RelativeGap": 0.0, "Solution": 13337.0, "OneSideOfTheCut": "(2, 3, 8, 10, 11, 12, 14, 15, 17, 18, 20, 21, 24, 28, 29, 36, 38, 44, 47, 48, 50, 51, 57, 58, 64, 65, 70, 71, 72, 73, 74, 75, 77, 81, 82, 84, 85, 86, 87, 89, 90, 91, 94, 99, 100, 101, 104, 106, 107, 109, 112, 115, 117, 119, 120, 121, 122, 123, 124, 127, 128, 130, 132, 133, 135, 138, 142, 143, 145, 147, 148, 149, 151, 152, 154, 155, 157, 159, 160, 161, 163, 164, 165, 166, 168, 173, 179, 181, 186, 188, 190, 191, 192, 196, 201, 203, 204, 209, 211, 213, 214, 217, 218, 220, 221, 222, 224, 228, 229, 230, 231, 232, 235, 237, 238, 239, 240, 242, 243, 245, 246, 251, 253, 255, 260, 264, 266, 267, 269, 271, 272, 274, 276, 277, 278, 279, 280, 282, 283, 284, 289, 290, 291, 293, 297, 298, 300, 302, 303, 308, 309, 310, 312, 313, 318, 319, 321, 323, 324, 328, 330, 332, 333, 334, 336, 337, 342, 344, 345, 346, 347, 352, 353, 356, 360, 362, 363, 364, 365, 367, 368, 369, 370, 371, 373, 380, 381, 382, 386, 389, 391, 392, 396, 399, 400, 401, 404, 405, 406, 407, 413, 416, 417, 419, 420, 424, 425, 427, 428, 429, 435, 436, 438, 440, 441, 447, 448, 452, 455, 456, 457, 459, 464, 465, 466, 467, 470, 473, 475, 476, 479, 481, 484, 485, 486, 487, 492, 494, 495, 496, 497, 498, 499, 502, 503, 509, 511, 513, 514, 515, 517, 518, 522, 524, 525, 526, 528, 529, 530, 531, 541, 546, 547, 549, 550, 551, 552, 554, 555, 556, 557, 558, 559, 560, 562, 563, 565, 570, 571, 574, 578, 579, 581, 583, 588, 589, 590, 594, 595, 596, 597, 598, 600, 601, 603, 605, 606, 609, 610, 614, 615, 616, 618, 620, 621, 623, 624, 625, 628, 629, 632, 633, 639, 640, 641, 642, 645, 646, 649, 653, 655, 657, 661, 663, 664, 665, 666, 668, 669, 671, 673, 675, 677, 678, 682, 685, 686, 687, 688, 689, 692, 693, 696, 703, 705, 708, 714, 715, 716, 717, 718, 720, 721, 723, 726, 728, 729, 731, 732, 734, 737, 739, 740, 741, 742, 743, 744, 747, 752, 753, 754, 760, 762, 765, 766, 767, 768, 770, 772, 773, 775, 776, 778, 779, 781, 783, 784, 785, 788, 789, 792, 793, 796, 797, 798, 800, 802, 803, 804, 805, 808, 810, 811, 812, 816, 820, 821, 826, 827, 831, 833, 834, 836, 839, 841, 842, 844, 846, 847, 849, 850, 852, 853, 855, 857, 858, 859, 860, 861, 862, 865, 866, 868, 869, 872, 875, 877, 878, 881, 884, 885, 888, 889, 892, 895, 897, 898, 899, 900, 903, 904, 906, 912, 913, 917, 921, 924, 928, 929, 933, 934, 935, 938, 940, 941, 943, 944, 945, 946, 947, 948, 952, 953, 954, 955, 956, 958, 959, 960, 961, 968, 969, 971, 972, 977, 982, 983, 984, 985, 987, 989, 993, 994, 996, 997, 999, 1001, 1002, 1003, 1005, 1007, 1015, 1018, 1019, 1024, 1026, 1030, 1031, 1033, 1035, 1037, 1038, 1039, 1042, 1043, 1046, 1048, 1050, 1051, 1053, 1055, 1056, 1057, 1058, 1059, 1062, 1064, 1065, 1066, 1067, 1068, 1073, 1075, 1077, 1079, 1082, 1083, 1085, 1087, 1090, 1091, 1092, 1097, 1099, 1102, 1103, 1104, 1106, 1107, 1110, 1112, 1113, 1114, 1119, 1120, 1122, 1125, 1128, 1129, 1132, 1133, 1135, 1136, 1137, 1138, 1139, 1141, 1142, 1144, 1146, 1148, 1150, 1154, 1156, 1159, 1160, 1161, 1162, 1163, 1164, 1166, 1168, 1169, 1170, 1172, 1174, 1175, 1179, 1180, 1181, 1182, 1183, 1186, 1190, 1192, 1194, 1195, 1196, 1200, 1202, 1203, 1207, 1216, 1222, 1223, 1226, 1227, 1228, 1230, 1234, 1235, 1239, 1240, 1241, 1242, 1243, 1246, 1247, 1248, 1249, 1254, 1255, 1256, 1259, 1261, 1262, 1264, 1265, 1269, 1270, 1272, 1273, 1275, 1276, 1278, 1279, 1280, 1281, 1285, 1286, 1287, 1288, 1292, 1294, 1296, 1297, 1299, 1302, 1303, 1306, 1308, 1311, 1312, 1313, 1314, 1316, 1317, 1318, 1321, 1323, 1324, 1325, 1326, 1328, 1332, 1335, 1336, 1337, 1339, 1340, 1342, 1343, 1344, 1345, 1347, 1348, 1350, 1351, 1353, 1355, 1358, 1359, 1360, 1366, 1367, 1368, 1370, 1371, 1372, 1374, 1379, 1380, 1382, 1383, 1384, 1385, 1386, 1391, 1402, 1404, 1405, 1406, 1407, 1411, 1412, 1414, 1415, 1418, 1420, 1421, 1425, 1426, 1427, 1429, 1430, 1431, 1435, 1436, 1438, 1439, 1440, 1441, 1443, 1448, 1449, 1453, 1459, 1461, 1465, 1467, 1468, 1469, 1470, 1471, 1473, 1474, 1476, 1477, 1481, 1482, 1484, 1485, 1486, 1487, 1491, 1492, 1497, 1499, 1502, 1503, 1505, 1507, 1508, 1511, 1513, 1516, 1518, 1519, 1522, 1523, 1525, 1526, 1529, 1530, 1531, 1532, 1533, 1534, 1536, 1537, 1538, 1539, 1540, 1541, 1543, 1544, 1546, 1547, 1549, 1551, 1553, 1554, 1557, 1559, 1560, 1561, 1562, 1564, 1565, 1566, 1567, 1571, 1573, 1576, 1577, 1579, 1580, 1583, 1584, 1586, 1587, 1591, 1592, 1594, 1598, 1599, 1600, 1604, 1606, 1607, 1608, 1609, 1612, 1615, 1617, 1619, 1620, 1623, 1628, 1630, 1631, 1632, 1633, 1634, 1635, 1636, 1637, 1640, 1641, 1643, 1644, 1649, 1650, 1651, 1655, 1656, 1657, 1659, 1660, 1662, 1665, 1668, 1673, 1677, 1680, 1683, 1684, 1685, 1687, 1689, 1690, 1691, 1692, 1693, 1696, 1697, 1699, 1700, 1702, 1703, 1704, 1709, 1711, 1712, 1714, 1715, 1716, 1717, 1728, 1731, 1732, 1733, 1734, 1735, 1736, 1737, 1738, 1739, 1746, 1748, 1749, 1750, 1751, 1753, 1755, 1756, 1757, 1758, 1759, 1760, 1761, 1765, 1768, 1770, 1771, 1772, 1773, 1776, 1780, 1781, 1783, 1785, 1786, 1793, 1794, 1799, 1800, 1803, 1804, 1809, 1811, 1812, 1815, 1818, 1819, 1820, 1823, 1824, 1825, 1826, 1831, 1833, 1836, 1841, 1844, 1846, 1848, 1849, 1853, 1854, 1855, 1857, 1858, 1859, 1861, 1862, 1866, 1867, 1868, 1869, 1871, 1873, 1875, 1877, 1880, 1881, 1882, 1885, 1886, 1887, 1888, 1889, 1893, 1895, 1896, 1901, 1902, 1905, 1909, 1916, 1918, 1919, 1921, 1922, 1925, 1926, 1927, 1932, 1935, 1937, 1938, 1945, 1947, 1948, 1950, 1953, 1956, 1958, 1959, 1960, 1961, 1963, 1964, 1965, 1966, 1968, 1969, 1970, 1971, 1972, 1973, 1974, 1976, 1977, 1978, 1979, 1982, 1986, 1989, 1992, 1995, 1997, 1998, 1999, 2000)", "BabNodes": 63, "NumCores": 96 }, "GraphMD": { "Vertices": 2000, "Edges": 19990, "Density": 0.01 } }