{

  "ExecutionMD": {

    "ExecutionTime": 85017.96,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 3044.0,

    "OneSideOfTheCut": "(1, 3, 6, 7, 10, 11, 15, 16, 18, 19, 21, 24, 25, 26, 27, 29, 31, 33, 36, 38, 42, 44, 45, 46, 47, 48, 49, 50, 56, 57, 58, 61, 63, 65, 68, 69, 70, 71, 73, 74, 76, 78, 79, 83, 86, 87, 94, 95, 96, 98, 100, 102, 103, 106, 113, 116, 117, 118, 120, 121, 122, 123, 125, 126, 127, 128, 133, 135, 136, 139, 143, 144, 145, 146, 147, 148, 149, 152, 153, 154, 155, 161, 166, 167, 169, 170, 171, 172, 174, 176, 181, 182, 183, 184, 186, 187, 191, 196, 198, 199, 201, 206, 210, 212, 216, 218, 221, 224, 226, 232, 235, 237, 240, 241, 243, 245, 247, 248, 249, 250, 251, 252, 253, 256, 257, 258, 259, 262, 264, 265, 266, 270, 271, 272, 273, 275, 278, 280, 286, 289, 291, 293, 294, 295, 297, 298, 301, 302, 303, 304, 305, 306, 307, 314, 317, 319, 324, 325, 327, 330, 331, 332, 333, 334, 335, 336, 339, 340, 341, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 354, 355, 358, 362, 364, 365, 366, 367, 368, 369, 370, 374, 376, 378, 380, 382, 383, 385, 386, 387, 390, 391, 392, 394, 396, 399, 404, 405, 406, 409, 410, 411, 413, 414, 416, 417, 418, 419, 420, 422, 424, 425, 428, 430, 431, 432, 433, 437, 440, 443, 444, 445, 447, 450, 452, 455, 457, 458, 459, 460, 461, 463, 466, 468, 472, 473, 475, 479, 480, 482, 486, 487, 489, 490, 494, 495, 500, 501, 502, 503, 504, 506, 508, 510, 511, 514, 520, 523, 524, 526, 529, 531, 532, 533, 535, 543, 545, 547, 549, 550, 551, 552, 554, 555, 562, 565, 566, 567, 568, 569, 570, 571, 572, 573, 575, 577, 578, 581, 583, 588, 590, 593, 596, 598, 599, 600, 602, 604, 606, 607, 610, 612, 615, 616, 620, 621, 622, 623, 626, 628, 629, 630, 632, 633, 635, 636, 637, 638, 639, 641, 642, 643, 644, 645, 646, 648, 651, 653, 656, 657, 658, 659, 661, 663, 665, 668, 670, 672, 673, 675, 677, 679, 682, 683, 684, 687, 689, 690, 691, 694, 697, 698, 700, 703, 704, 705, 707, 709, 710, 712, 713, 717, 718, 719, 720, 721, 724, 725, 730, 732, 736, 737, 738, 739, 740, 741, 742, 745, 746, 747, 749, 751, 759, 760, 763, 765, 766, 768, 769, 772, 774, 776, 777, 781, 782, 786, 790, 791, 797, 798, 800)",

    "BabNodes": 8205,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 4667,

    "Density": 0.015

  }

}