{

  "ExecutionMD": {

    "ExecutionTime": 85030.518,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 1998.0,

    "OneSideOfTheCut": "(1, 3, 4, 5, 7, 8, 9, 10, 13, 17, 18, 19, 22, 24, 26, 27, 31, 32, 34, 37, 40, 41, 43, 44, 49, 50, 51, 52, 53, 54, 55, 59, 60, 61, 64, 66, 70, 72, 74, 76, 79, 81, 83, 84, 85, 86, 87, 90, 93, 96, 97, 98, 100, 104, 105, 106, 107, 111, 112, 115, 120, 121, 122, 127, 128, 129, 131, 132, 138, 139, 140, 141, 142, 145, 148, 149, 150, 151, 152, 156, 157, 159, 160, 162, 166, 168, 169, 171, 172, 176, 178, 179, 181, 183, 185, 188, 189, 190, 191, 195, 198, 200, 202, 204, 208, 209, 212, 214, 215, 216, 217, 219, 220, 222, 224, 225, 227, 231, 232, 234, 235, 237, 238, 239, 240, 241, 242, 243, 246, 247, 250, 252, 254, 256, 257, 262, 263, 267, 269, 271, 277, 280, 282, 283, 287, 288, 289, 293, 296, 298, 299, 303, 304, 308, 310, 311, 312, 318, 319, 320, 325, 329, 330, 332, 333, 341, 343, 346, 347, 349, 350, 351, 352, 353, 356, 360, 368, 369, 373, 374, 376, 378, 385, 386, 388, 391, 392, 395, 397, 398, 399, 400, 403, 405, 406, 407, 408, 409, 411, 412, 415, 418, 422, 423, 425, 426, 429, 430, 431, 432, 433, 437, 439, 442, 443, 445, 446, 448, 451, 456, 458, 462, 464, 466, 469, 470, 471, 472, 473, 478, 479, 481, 484, 485, 488, 489, 496, 497, 500, 504, 506, 511, 512, 514, 516, 517, 519, 520, 521, 522, 524, 529, 530, 531, 532, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 553, 556, 558, 560, 561, 564, 565, 569, 570, 571, 572, 576, 578, 579, 580, 582, 583, 587, 589, 590, 593, 595, 596, 597, 598, 599, 602, 603, 604, 606, 607, 608, 610, 611, 612, 617, 618, 619, 620, 623, 628, 630, 631, 634, 635, 636, 639, 641, 642, 643, 644, 645, 647, 650, 652, 656, 659, 661, 668, 669, 672, 673, 674, 676, 677, 681, 682, 683, 684, 685, 686, 688, 689, 690, 693, 694, 696, 699, 702, 703, 706, 708, 709, 711, 712, 713, 716, 717, 719, 721, 722, 724, 725, 726, 729, 735, 737, 739, 740, 743, 744, 749, 752, 756, 757, 758, 759, 762, 765, 771, 773, 774, 778, 779, 780, 783, 784, 786, 789, 797, 799)",

    "BabNodes": 8393,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}