{

  "ExecutionMD": {

    "ExecutionTime": 85087.539,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 564.0,

    "OneSideOfTheCut": "(8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 29, 30, 33, 34, 36, 38, 39, 40, 41, 42, 45, 46, 47, 48, 50, 53, 54, 55, 59, 62, 64, 69, 70, 73, 74, 76, 77, 78, 79, 81, 83, 84, 86, 92, 94, 95, 96, 99, 100, 102, 103, 104, 107, 114, 119, 121, 122, 124, 126, 127, 128, 131, 135, 140, 141, 144, 147, 149, 151, 154, 162, 166, 167, 168, 169, 170, 171, 174, 175, 178, 179, 181, 183, 185, 186, 188, 190, 198, 199, 201, 202, 203, 204, 206, 207, 209, 212, 216, 217, 218, 219, 222, 223, 224, 227, 232, 233, 234, 235, 236, 237, 239, 241, 244, 245, 246, 248, 249, 252, 253, 255, 256, 258, 260, 261, 262, 263, 266, 267, 270, 273, 274, 277, 278, 279, 285, 287, 288, 289, 291, 300, 301, 302, 305, 306, 307, 309, 310, 312, 314, 317, 318, 319, 320, 321, 322, 323, 325, 328, 330, 332, 335, 339, 340, 345, 346, 351, 352, 353, 354, 355, 356, 358, 367, 369, 370, 374, 375, 379, 381, 382, 383, 387, 388, 392, 394, 396, 397, 399, 402, 403, 404, 405, 406, 408, 410, 413, 416, 417, 418, 419, 420, 422, 423, 425, 427, 429, 433, 435, 437, 439, 440, 441, 442, 445, 450, 451, 454, 456, 457, 461, 462, 464, 465, 466, 467, 468, 469, 474, 476, 480, 481, 483, 484, 485, 486, 489, 490, 491, 492, 493, 497, 501, 502, 504, 505, 507, 510, 513, 517, 518, 520, 521, 522, 523, 524, 525, 526, 528, 529, 530, 531, 532, 533, 534, 535, 537, 538, 539, 540, 542, 543, 544, 545, 546, 547, 548, 549, 551, 552, 553, 555, 559, 560, 562, 564, 570, 571, 572, 574, 576, 583, 586, 589, 590, 591, 592, 593, 595, 596, 599, 603, 604, 605, 606, 608, 610, 614, 616, 619, 629, 632, 633, 634, 636, 637, 638, 639, 641, 643, 645, 646, 648, 649, 652, 653, 654, 658, 660, 664, 665, 669, 671, 672, 675, 677, 678, 683, 684, 685, 686, 687, 689, 692, 695, 698, 703, 705, 706, 707, 709, 710, 711, 713, 714, 716, 718, 721, 722, 725, 726, 729, 731, 735, 736, 738, 739, 740, 741, 742, 743, 745, 751, 752, 754, 755, 756, 757, 759, 760, 761, 762, 764, 765, 766, 772, 773, 774, 776, 778, 779, 781, 782, 783, 784, 785, 786, 790, 791, 793, 794, 795, 796, 797, 799, 800)",

    "BabNodes": 3065,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 1600,

    "Density": 0.005

  }

}