{

  "ExecutionMD": {

    "ExecutionTime": 85006.925,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 11620.0,

    "OneSideOfTheCut": "(1, 2, 3, 4, 5, 9, 11, 12, 14, 18, 19, 20, 23, 25, 26, 27, 29, 34, 35, 37, 40, 44, 47, 48, 50, 51, 52, 53, 54, 56, 58, 60, 62, 66, 67, 69, 70, 71, 72, 74, 75, 77, 80, 82, 83, 85, 90, 92, 94, 96, 97, 99, 101, 103, 104, 105, 106, 107, 108, 111, 113, 115, 117, 119, 120, 121, 122, 123, 128, 129, 134, 135, 137, 138, 141, 144, 145, 146, 147, 149, 150, 152, 156, 157, 158, 159, 160, 163, 164, 165, 166, 167, 170, 171, 172, 173, 182, 184, 185, 186, 188, 193, 194, 202, 203, 205, 206, 208, 209, 210, 211, 215, 216, 218, 219, 220, 221, 222, 228, 230, 231, 232, 233, 234, 239, 240, 245, 246, 247, 250, 252, 254, 255, 256, 257, 258, 259, 264, 265, 267, 268, 274, 282, 284, 286, 292, 293, 294, 298, 300, 302, 303, 304, 307, 310, 312, 315, 316, 317, 322, 323, 326, 327, 329, 330, 331, 333, 337, 338, 339, 340, 342, 344, 345, 347, 348, 353, 354, 355, 359, 362, 363, 364, 365, 367, 369, 370, 371, 372, 375, 378, 380, 382, 384, 386, 387, 391, 393, 394, 397, 399, 403, 404, 405, 406, 408, 410, 411, 413, 415, 416, 418, 425, 427, 429, 431, 432, 435, 436, 440, 441, 442, 443, 446, 447, 449, 450, 451, 457, 458, 459, 460, 463, 464, 467, 471, 473, 474, 476, 478, 479, 480, 481, 482, 483, 485, 486, 490, 492, 493, 495, 496, 500, 501, 503, 504, 505, 506, 507, 509, 511, 512, 513, 518, 521, 522, 524, 526, 528, 529, 531, 532, 533, 536, 538, 540, 543, 546, 548, 551, 554, 555, 556, 558, 561, 562, 563, 566, 567, 568, 570, 572, 576, 583, 584, 585, 586, 587, 589, 593, 594, 595, 597, 598, 601, 606, 607, 612, 613, 614, 615, 617, 620, 623, 626, 627, 628, 629, 630, 634, 637, 638, 642, 643, 644, 646, 648, 649, 650, 651, 652, 654, 660, 662, 663, 664, 665, 666, 667, 668, 672, 673, 676, 677, 678, 679, 680, 683, 684, 688, 689, 690, 693, 695, 696, 699, 700, 701, 706, 710, 711, 712, 713, 717, 718, 720, 723, 724, 725, 726, 729, 731, 733, 735, 736, 737, 745, 746, 750, 751, 752, 754, 755, 758, 765, 766, 768, 770, 771, 774, 775, 776, 780, 781, 782, 784, 785, 788, 792, 793, 794, 795, 797, 800)",

    "BabNodes": 9165,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}