{

  "ExecutionMD": {

    "ExecutionTime": 85020.966,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 2051.0,

    "OneSideOfTheCut": "(2, 3, 4, 9, 11, 12, 14, 15, 20, 21, 22, 24, 25, 27, 29, 33, 34, 37, 41, 42, 43, 44, 46, 47, 48, 49, 50, 53, 54, 57, 59, 60, 63, 64, 68, 72, 73, 74, 75, 79, 83, 85, 87, 88, 89, 90, 92, 94, 98, 102, 103, 104, 107, 108, 109, 110, 111, 112, 113, 115, 116, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 131, 137, 139, 140, 143, 144, 145, 147, 149, 152, 154, 156, 157, 161, 162, 165, 168, 170, 172, 176, 178, 181, 182, 183, 184, 186, 187, 189, 191, 194, 195, 196, 197, 198, 199, 200, 201, 203, 204, 206, 208, 210, 211, 217, 221, 222, 223, 225, 226, 230, 232, 234, 235, 236, 239, 240, 242, 243, 247, 252, 255, 256, 258, 260, 261, 262, 263, 266, 267, 269, 273, 274, 277, 279, 281, 282, 287, 288, 294, 296, 297, 299, 302, 303, 305, 307, 308, 311, 312, 313, 315, 316, 318, 320, 321, 324, 325, 327, 328, 330, 331, 334, 337, 338, 339, 340, 341, 343, 344, 347, 349, 350, 351, 354, 357, 358, 360, 361, 362, 365, 367, 371, 372, 374, 375, 380, 382, 386, 387, 389, 390, 391, 392, 393, 395, 396, 398, 399, 400, 403, 407, 408, 409, 412, 413, 414, 416, 417, 419, 420, 422, 424, 425, 426, 428, 429, 431, 434, 436, 438, 439, 443, 444, 449, 450, 451, 452, 454, 456, 460, 461, 464, 470, 472, 476, 477, 478, 479, 480, 482, 485, 486, 487, 491, 492, 496, 497, 498, 501, 503, 504, 506, 509, 510, 513, 515, 516, 517, 518, 520, 525, 528, 529, 531, 532, 535, 536, 537, 538, 542, 545, 548, 554, 555, 559, 560, 561, 566, 568, 571, 572, 573, 575, 576, 581, 582, 583, 584, 586, 587, 589, 593, 596, 599, 600, 604, 611, 612, 613, 616, 618, 619, 620, 625, 629, 631, 633, 639, 640, 641, 642, 645, 646, 650, 652, 653, 657, 658, 659, 660, 661, 663, 664, 671, 672, 673, 674, 675, 676, 677, 679, 681, 682, 683, 685, 686, 687, 690, 691, 692, 693, 695, 697, 699, 702, 703, 709, 713, 714, 717, 718, 721, 727, 729, 730, 733, 736, 737, 738, 740, 741, 742, 744, 746, 747, 748, 749, 752, 753, 754, 755, 757, 758, 759, 761, 763, 764, 765, 766, 768, 773, 776, 777, 780, 781, 782, 783, 788, 789, 793, 795, 798, 799, 800)",

    "BabNodes": 8295,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}