{

  "ExecutionMD": {

    "ExecutionTime": 85014.386,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 2177.0,

    "OneSideOfTheCut": "(1, 3, 4, 6, 7, 9, 12, 13, 18, 19, 21, 22, 25, 28, 31, 32, 33, 34, 38, 39, 40, 41, 43, 44, 46, 47, 48, 50, 51, 54, 55, 59, 61, 62, 63, 64, 65, 68, 71, 76, 77, 78, 81, 82, 83, 85, 86, 88, 93, 94, 95, 98, 100, 102, 103, 104, 107, 108, 112, 115, 116, 120, 123, 125, 127, 129, 130, 131, 135, 137, 145, 147, 149, 150, 151, 153, 155, 157, 161, 165, 166, 169, 178, 181, 183, 184, 195, 196, 198, 200, 202, 204, 206, 209, 210, 211, 212, 213, 217, 218, 220, 221, 222, 223, 228, 232, 234, 235, 236, 237, 238, 239, 241, 244, 248, 249, 250, 252, 254, 261, 267, 272, 275, 276, 281, 282, 284, 288, 289, 291, 294, 295, 296, 297, 301, 302, 303, 308, 313, 316, 320, 322, 324, 325, 326, 328, 331, 333, 334, 335, 336, 337, 338, 339, 340, 341, 346, 347, 349, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 371, 376, 377, 379, 383, 385, 386, 388, 392, 393, 395, 396, 397, 398, 400, 401, 403, 404, 405, 407, 408, 412, 413, 414, 415, 417, 419, 420, 421, 422, 424, 425, 426, 427, 428, 429, 430, 432, 433, 434, 435, 437, 438, 439, 440, 441, 442, 444, 449, 452, 457, 464, 466, 468, 469, 471, 473, 477, 478, 482, 483, 486, 487, 489, 492, 493, 496, 497, 498, 501, 502, 503, 504, 505, 507, 509, 510, 512, 513, 517, 518, 520, 521, 522, 523, 526, 527, 531, 534, 536, 537, 538, 539, 541, 543, 546, 548, 550, 553, 556, 558, 559, 562, 564, 566, 567, 571, 575, 577, 579, 581, 582, 583, 584, 585, 586, 588, 591, 593, 597, 598, 599, 602, 605, 608, 610, 613, 614, 615, 616, 617, 618, 619, 621, 623, 624, 625, 626, 627, 628, 629, 633, 634, 635, 636, 646, 648, 649, 650, 651, 652, 654, 655, 657, 660, 661, 662, 663, 665, 668, 669, 671, 674, 675, 677, 678, 679, 681, 682, 687, 688, 691, 693, 696, 700, 701, 702, 703, 710, 711, 713, 714, 715, 716, 719, 720, 721, 725, 727, 728, 729, 730, 733, 735, 737, 739, 740, 742, 745, 747, 749, 750, 752, 753, 758, 760, 765, 767, 770, 773, 774, 776, 777, 778, 779, 782, 783, 786, 788, 795, 798, 800)",

    "BabNodes": 8413,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}