{

  "ExecutionMD": {

    "ExecutionTime": 85003.881,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 11624.0,

    "OneSideOfTheCut": "(1, 5, 6, 7, 8, 9, 12, 13, 15, 18, 19, 20, 23, 24, 25, 26, 28, 30, 34, 35, 37, 38, 40, 41, 49, 51, 53, 55, 57, 59, 60, 63, 64, 65, 66, 67, 68, 71, 72, 74, 79, 80, 81, 85, 89, 90, 91, 93, 99, 102, 105, 107, 108, 111, 115, 116, 117, 118, 121, 122, 123, 124, 125, 129, 131, 132, 133, 134, 135, 137, 140, 141, 147, 150, 152, 154, 156, 159, 161, 164, 165, 167, 169, 172, 176, 177, 181, 182, 183, 184, 186, 188, 189, 190, 191, 192, 194, 196, 197, 198, 202, 203, 204, 206, 207, 209, 214, 215, 216, 217, 218, 219, 220, 225, 229, 234, 235, 236, 238, 239, 240, 241, 242, 243, 244, 250, 258, 259, 260, 263, 265, 266, 267, 269, 270, 271, 277, 279, 285, 287, 288, 289, 291, 292, 293, 297, 298, 299, 300, 301, 302, 306, 307, 310, 312, 313, 314, 317, 318, 321, 325, 326, 327, 332, 333, 338, 340, 341, 344, 345, 346, 348, 351, 352, 354, 357, 359, 360, 362, 364, 367, 369, 370, 372, 373, 374, 375, 377, 381, 383, 384, 386, 388, 391, 393, 395, 399, 402, 404, 405, 406, 408, 409, 410, 414, 415, 416, 417, 418, 419, 424, 426, 430, 432, 433, 434, 436, 438, 439, 442, 444, 447, 450, 451, 457, 458, 460, 461, 462, 465, 466, 469, 470, 471, 473, 478, 479, 483, 484, 485, 488, 489, 490, 492, 493, 494, 495, 496, 498, 499, 504, 511, 512, 513, 519, 521, 523, 524, 526, 527, 528, 529, 530, 532, 534, 536, 537, 540, 542, 547, 548, 549, 550, 551, 553, 554, 555, 557, 558, 561, 562, 563, 566, 570, 572, 575, 577, 579, 580, 581, 585, 586, 587, 590, 591, 596, 597, 598, 600, 603, 604, 607, 610, 613, 616, 617, 618, 619, 620, 621, 622, 623, 626, 630, 632, 633, 634, 635, 637, 638, 640, 641, 644, 645, 646, 647, 648, 653, 656, 660, 670, 671, 674, 675, 676, 677, 680, 682, 683, 684, 685, 686, 687, 688, 689, 691, 692, 693, 697, 698, 699, 701, 705, 707, 711, 717, 720, 721, 723, 724, 726, 728, 730, 731, 732, 734, 736, 737, 738, 739, 744, 745, 748, 749, 750, 751, 752, 754, 755, 761, 762, 763, 765, 766, 767, 768, 769, 772, 773, 775, 776, 777, 779, 780, 782, 783, 786, 787, 790, 797, 798)",

    "BabNodes": 9073,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}