{

  "ExecutionMD": {

    "ExecutionTime": 85026.338,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 941.0,

    "OneSideOfTheCut": "(3, 5, 8, 9, 13, 14, 21, 22, 25, 26, 29, 30, 32, 33, 34, 36, 37, 38, 40, 41, 44, 45, 46, 47, 49, 50, 51, 52, 54, 55, 56, 58, 59, 61, 63, 64, 65, 67, 74, 75, 76, 78, 79, 84, 87, 88, 89, 90, 91, 92, 95, 96, 97, 101, 103, 105, 106, 108, 110, 114, 115, 117, 120, 122, 124, 126, 127, 130, 133, 134, 135, 138, 140, 143, 146, 150, 152, 153, 154, 155, 160, 161, 162, 163, 164, 165, 167, 168, 170, 171, 172, 173, 175, 176, 177, 180, 181, 184, 185, 187, 193, 198, 200, 202, 203, 210, 211, 213, 214, 218, 220, 222, 224, 228, 230, 234, 235, 236, 240, 251, 257, 260, 261, 262, 266, 267, 270, 271, 272, 274, 277, 279, 280, 281, 282, 284, 288, 290, 291, 292, 293, 296, 297, 299, 301, 304, 308, 312, 317, 318, 321, 324, 326, 329, 330, 333, 334, 336, 337, 338, 339, 340, 341, 342, 346, 348, 352, 356, 357, 359, 360, 361, 362, 363, 364, 366, 369, 372, 374, 376, 380, 382, 384, 386, 389, 391, 394, 395, 396, 397, 399, 400, 401, 402, 404, 407, 408, 418, 420, 422, 423, 424, 425, 426, 433, 439, 441, 442, 443, 450, 451, 453, 455, 456, 458, 459, 460, 461, 466, 468, 470, 471, 476, 477, 479, 480, 482, 483, 484, 485, 488, 492, 496, 497, 498, 501, 503, 504, 506, 508, 509, 512, 513, 514, 517, 518, 519, 523, 526, 527, 528, 530, 532, 535, 537, 538, 539, 543, 544, 546, 549, 550, 551, 553, 554, 555, 556, 558, 560, 561, 562, 564, 566, 570, 573, 574, 577, 578, 579, 580, 581, 591, 592, 593, 594, 595, 596, 597, 598, 599, 604, 606, 608, 609, 610, 611, 613, 614, 615, 618, 619, 621, 622, 624, 626, 629, 631, 634, 635, 636, 637, 638, 639, 641, 643, 645, 646, 648, 649, 651, 652, 653, 654, 656, 657, 658, 660, 661, 669, 670, 671, 673, 675, 677, 678, 682, 683, 684, 687, 688, 689, 690, 691, 694, 695, 697, 700, 702, 703, 704, 705, 706, 707, 708, 711, 714, 715, 717, 718, 719, 720, 724, 725, 727, 729, 730, 735, 736, 738, 741, 742, 743, 746, 747, 750, 751, 753, 756, 758, 762, 764, 765, 766, 767, 768, 769, 771, 772, 775, 781, 782, 786, 787, 788, 789, 793, 794, 797, 800)",

    "BabNodes": 7693,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 4672,

    "Density": 0.015

  }

}