{

  "ExecutionMD": {

    "ExecutionTime": 85004.312,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 11630.0,

    "OneSideOfTheCut": "(1, 2, 6, 12, 13, 14, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 34, 37, 38, 42, 44, 45, 46, 47, 48, 50, 52, 55, 56, 67, 69, 70, 71, 72, 73, 76, 77, 81, 82, 83, 84, 85, 87, 89, 90, 91, 92, 93, 95, 98, 100, 101, 102, 106, 107, 109, 110, 116, 117, 118, 120, 121, 125, 126, 130, 132, 133, 134, 136, 137, 138, 140, 141, 142, 145, 149, 153, 154, 157, 158, 165, 166, 169, 170, 172, 173, 174, 175, 178, 182, 183, 184, 185, 186, 187, 188, 190, 191, 192, 194, 199, 204, 205, 206, 208, 210, 211, 212, 214, 216, 218, 220, 221, 222, 223, 224, 225, 226, 229, 238, 239, 240, 243, 244, 247, 248, 253, 255, 258, 259, 260, 261, 263, 264, 266, 268, 270, 278, 281, 284, 285, 286, 287, 290, 294, 295, 297, 299, 300, 304, 306, 308, 310, 312, 313, 314, 316, 318, 321, 325, 326, 328, 331, 332, 333, 334, 335, 336, 342, 343, 344, 345, 346, 348, 352, 353, 357, 358, 361, 362, 366, 368, 369, 372, 377, 382, 388, 389, 390, 395, 398, 402, 403, 404, 406, 407, 409, 410, 411, 412, 413, 414, 415, 419, 420, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 439, 440, 441, 442, 444, 446, 449, 450, 453, 454, 459, 460, 463, 465, 468, 470, 474, 478, 483, 484, 486, 488, 492, 495, 497, 498, 500, 507, 510, 512, 514, 516, 517, 519, 520, 522, 523, 525, 527, 530, 531, 535, 537, 538, 539, 540, 541, 544, 545, 546, 548, 550, 551, 552, 553, 555, 556, 559, 561, 562, 563, 564, 566, 574, 576, 577, 578, 580, 584, 585, 587, 590, 591, 596, 597, 598, 599, 602, 603, 604, 611, 612, 613, 614, 616, 617, 619, 620, 621, 623, 625, 627, 628, 629, 631, 632, 634, 636, 639, 641, 644, 646, 650, 651, 653, 654, 655, 656, 660, 663, 665, 666, 669, 670, 671, 673, 674, 678, 679, 681, 685, 687, 688, 689, 692, 698, 699, 702, 703, 707, 708, 710, 713, 714, 716, 717, 719, 720, 722, 725, 726, 727, 729, 734, 736, 737, 739, 740, 742, 743, 744, 745, 749, 754, 756, 760, 762, 763, 764, 766, 767, 768, 769, 770, 771, 772, 775, 777, 778, 780, 783, 785, 786, 787, 789, 790, 791, 794, 796, 797, 798)",

    "BabNodes": 9051,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}