{

  "ExecutionMD": {

    "ExecutionTime": 85001.133,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 3049.0,

    "OneSideOfTheCut": "(2, 4, 6, 13, 14, 18, 19, 21, 22, 23, 26, 28, 30, 37, 38, 39, 42, 43, 44, 45, 46, 47, 52, 55, 57, 58, 61, 62, 66, 70, 72, 73, 76, 80, 81, 82, 83, 84, 86, 87, 88, 90, 92, 93, 95, 96, 97, 98, 100, 102, 106, 108, 109, 112, 114, 115, 116, 117, 121, 123, 129, 130, 132, 133, 135, 136, 137, 141, 142, 143, 144, 145, 146, 151, 153, 154, 155, 158, 160, 161, 162, 165, 166, 168, 169, 170, 171, 176, 177, 178, 179, 181, 182, 183, 184, 193, 194, 198, 199, 201, 202, 206, 207, 208, 210, 213, 215, 217, 219, 222, 225, 227, 228, 230, 232, 233, 236, 237, 239, 241, 243, 245, 246, 250, 253, 255, 256, 257, 259, 261, 262, 264, 266, 269, 270, 272, 273, 279, 280, 282, 284, 286, 288, 291, 293, 294, 295, 296, 298, 299, 300, 301, 303, 306, 307, 308, 309, 310, 311, 318, 319, 320, 321, 325, 326, 327, 328, 329, 332, 333, 334, 335, 336, 338, 341, 342, 345, 348, 349, 351, 353, 354, 355, 357, 367, 370, 371, 374, 375, 376, 381, 383, 385, 386, 388, 392, 393, 395, 397, 400, 402, 403, 404, 411, 413, 418, 421, 423, 424, 425, 428, 430, 431, 432, 435, 438, 440, 441, 442, 443, 446, 447, 451, 452, 453, 454, 455, 457, 460, 462, 463, 465, 468, 469, 479, 483, 484, 485, 486, 489, 490, 492, 493, 494, 496, 498, 501, 504, 506, 507, 508, 510, 513, 514, 517, 518, 519, 521, 524, 526, 527, 528, 530, 531, 532, 533, 534, 535, 537, 538, 539, 540, 543, 544, 545, 547, 548, 553, 555, 556, 558, 562, 566, 567, 568, 570, 572, 573, 574, 575, 578, 580, 583, 586, 587, 588, 590, 593, 594, 595, 597, 598, 599, 601, 603, 604, 605, 606, 608, 609, 610, 611, 612, 613, 616, 617, 623, 624, 627, 628, 629, 631, 633, 634, 636, 637, 640, 641, 642, 643, 645, 646, 650, 656, 658, 659, 660, 661, 665, 666, 667, 669, 671, 672, 673, 674, 679, 680, 681, 682, 683, 684, 686, 687, 688, 689, 690, 691, 693, 695, 696, 698, 700, 701, 702, 706, 709, 712, 713, 714, 715, 716, 719, 720, 721, 722, 723, 727, 730, 732, 736, 737, 738, 740, 742, 743, 744, 745, 746, 750, 752, 754, 755, 756, 757, 759, 761, 762, 765, 767, 770, 773, 779, 781, 787, 789, 790, 792, 795, 796, 798, 800)",

    "BabNodes": 8097,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 4661,

    "Density": 0.015

  }

}