{

  "ExecutionMD": {

    "ExecutionTime": 85000.699,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 11646.0,

    "OneSideOfTheCut": "(1, 2, 4, 6, 7, 11, 13, 16, 18, 20, 21, 26, 27, 29, 31, 32, 33, 34, 36, 37, 38, 40, 41, 42, 43, 44, 50, 51, 55, 56, 58, 60, 61, 63, 64, 65, 66, 70, 71, 73, 74, 75, 76, 77, 78, 80, 82, 83, 85, 88, 90, 91, 95, 96, 104, 106, 107, 111, 115, 116, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 130, 131, 132, 134, 136, 139, 140, 143, 144, 147, 150, 154, 157, 159, 160, 162, 167, 168, 170, 172, 174, 175, 178, 179, 180, 181, 182, 183, 189, 193, 195, 196, 197, 198, 199, 201, 205, 209, 211, 212, 213, 215, 216, 217, 218, 219, 221, 223, 225, 228, 232, 240, 241, 246, 248, 249, 250, 251, 253, 254, 256, 261, 263, 264, 267, 269, 271, 274, 276, 277, 280, 281, 284, 289, 292, 293, 294, 296, 297, 300, 302, 303, 306, 310, 312, 313, 314, 320, 321, 324, 325, 326, 328, 329, 332, 335, 336, 338, 339, 340, 341, 344, 346, 347, 348, 349, 350, 351, 356, 359, 360, 361, 364, 368, 371, 373, 374, 375, 376, 377, 382, 383, 392, 395, 397, 400, 405, 406, 407, 413, 414, 418, 421, 422, 423, 424, 425, 427, 429, 431, 432, 437, 440, 441, 444, 445, 446, 447, 449, 451, 452, 456, 457, 459, 461, 463, 465, 469, 473, 474, 478, 479, 480, 481, 482, 484, 485, 486, 487, 489, 490, 492, 493, 495, 496, 498, 499, 500, 501, 504, 505, 506, 507, 509, 510, 511, 512, 516, 517, 519, 520, 521, 522, 523, 526, 527, 529, 530, 533, 534, 535, 536, 537, 539, 541, 542, 543, 545, 546, 548, 550, 551, 552, 557, 558, 560, 561, 562, 564, 566, 568, 573, 576, 577, 582, 584, 585, 586, 590, 591, 593, 594, 596, 599, 601, 602, 603, 604, 606, 607, 608, 612, 613, 614, 615, 617, 618, 619, 621, 624, 626, 627, 628, 629, 631, 632, 634, 635, 636, 637, 638, 651, 652, 653, 654, 657, 659, 661, 663, 665, 667, 669, 670, 673, 676, 677, 678, 680, 682, 684, 686, 688, 689, 691, 692, 693, 694, 696, 698, 699, 700, 701, 704, 705, 709, 713, 714, 717, 718, 719, 723, 726, 727, 728, 729, 730, 731, 732, 735, 736, 739, 741, 742, 743, 746, 749, 751, 752, 754, 761, 764, 767, 770, 773, 774, 779, 781, 782, 784, 786, 787, 796)",

    "BabNodes": 9111,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}