{

  "ExecutionMD": {

    "ExecutionTime": 85008.936,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 2005.0,

    "OneSideOfTheCut": "(3, 4, 6, 8, 11, 12, 13, 14, 16, 17, 19, 20, 21, 26, 27, 28, 30, 32, 35, 36, 38, 41, 44, 47, 49, 54, 55, 56, 58, 60, 61, 64, 67, 68, 69, 70, 71, 73, 75, 76, 77, 78, 79, 82, 84, 88, 89, 90, 91, 93, 94, 96, 97, 98, 99, 105, 107, 108, 115, 120, 121, 123, 125, 127, 128, 130, 132, 133, 134, 135, 136, 139, 140, 144, 146, 148, 151, 154, 155, 156, 159, 162, 163, 164, 165, 166, 167, 169, 170, 171, 172, 173, 177, 179, 181, 183, 188, 190, 192, 198, 199, 201, 205, 212, 213, 214, 216, 218, 219, 221, 222, 223, 224, 225, 227, 229, 232, 237, 238, 239, 240, 241, 247, 250, 251, 252, 254, 256, 257, 258, 259, 260, 263, 265, 268, 273, 274, 277, 278, 281, 282, 286, 288, 289, 290, 292, 293, 295, 296, 297, 298, 300, 301, 302, 303, 304, 305, 309, 310, 311, 313, 314, 315, 318, 319, 323, 325, 328, 331, 332, 333, 334, 335, 338, 343, 344, 346, 348, 351, 356, 357, 358, 360, 366, 367, 368, 370, 372, 374, 376, 379, 382, 383, 385, 386, 388, 389, 390, 391, 392, 395, 397, 398, 401, 402, 403, 405, 408, 410, 412, 413, 416, 418, 421, 422, 423, 425, 426, 430, 431, 432, 433, 434, 436, 438, 441, 442, 444, 445, 446, 447, 448, 449, 451, 454, 455, 456, 457, 458, 460, 461, 463, 464, 466, 467, 471, 475, 476, 477, 478, 479, 483, 484, 485, 489, 491, 493, 494, 495, 496, 498, 499, 502, 505, 508, 510, 511, 513, 516, 517, 519, 520, 522, 527, 528, 530, 531, 535, 536, 537, 538, 540, 541, 542, 543, 547, 556, 557, 564, 565, 570, 571, 578, 579, 581, 582, 583, 584, 586, 588, 590, 591, 593, 596, 599, 600, 602, 603, 606, 608, 610, 612, 613, 617, 619, 620, 621, 624, 625, 626, 628, 630, 632, 633, 636, 643, 644, 645, 646, 648, 649, 650, 651, 654, 656, 657, 659, 666, 667, 670, 675, 676, 677, 681, 685, 687, 688, 690, 691, 693, 694, 696, 697, 698, 699, 702, 706, 707, 709, 711, 712, 713, 717, 718, 722, 723, 725, 727, 729, 731, 732, 735, 736, 737, 739, 740, 742, 743, 744, 745, 749, 750, 751, 752, 753, 754, 755, 756, 758, 760, 761, 764, 765, 768, 772, 774, 775, 776, 778, 780, 781, 784, 785, 788, 791, 792, 793, 794, 795, 796, 798, 799)",

    "BabNodes": 8381,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}