{

  "ExecutionMD": {

    "ExecutionTime": 85045.657,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 2006.0,

    "OneSideOfTheCut": "(1, 2, 3, 4, 5, 10, 11, 12, 15, 17, 19, 21, 23, 25, 26, 29, 31, 32, 33, 36, 39, 40, 41, 42, 43, 44, 46, 47, 49, 52, 56, 58, 59, 62, 64, 65, 66, 67, 72, 73, 74, 75, 76, 82, 83, 85, 92, 94, 95, 99, 101, 104, 105, 107, 116, 118, 119, 121, 123, 124, 125, 126, 131, 132, 138, 141, 144, 146, 149, 151, 152, 153, 154, 156, 159, 160, 164, 165, 167, 173, 175, 176, 177, 181, 182, 183, 185, 186, 187, 189, 191, 196, 197, 198, 199, 200, 201, 204, 205, 206, 210, 214, 215, 220, 221, 223, 225, 226, 227, 228, 229, 230, 231, 232, 234, 235, 239, 241, 243, 246, 250, 253, 254, 257, 259, 260, 263, 266, 268, 270, 271, 272, 273, 274, 277, 278, 281, 283, 285, 286, 287, 289, 290, 295, 298, 299, 301, 302, 303, 305, 306, 307, 308, 312, 313, 315, 317, 318, 319, 320, 322, 324, 326, 327, 328, 329, 331, 332, 337, 339, 341, 342, 343, 348, 350, 351, 355, 356, 357, 359, 360, 362, 364, 365, 366, 367, 368, 369, 370, 375, 377, 381, 384, 388, 389, 390, 391, 392, 395, 397, 399, 401, 402, 403, 405, 409, 411, 414, 415, 416, 420, 422, 423, 427, 429, 431, 435, 436, 437, 438, 440, 442, 443, 445, 448, 449, 451, 452, 455, 457, 458, 461, 463, 464, 467, 471, 476, 477, 479, 480, 482, 486, 487, 488, 489, 492, 495, 497, 498, 499, 500, 501, 502, 503, 504, 505, 507, 510, 511, 513, 514, 516, 518, 521, 525, 526, 527, 528, 530, 532, 537, 540, 541, 543, 547, 550, 551, 552, 554, 555, 558, 559, 560, 562, 564, 565, 567, 568, 571, 572, 573, 575, 576, 578, 580, 582, 586, 587, 588, 589, 590, 591, 592, 594, 596, 598, 599, 602, 606, 609, 612, 613, 614, 615, 618, 621, 622, 625, 626, 627, 629, 630, 631, 633, 634, 635, 636, 641, 643, 644, 646, 648, 649, 652, 654, 655, 658, 659, 660, 662, 663, 664, 665, 667, 668, 669, 670, 677, 678, 683, 684, 686, 687, 691, 695, 696, 698, 699, 701, 704, 705, 706, 707, 708, 709, 710, 711, 714, 716, 719, 724, 725, 727, 730, 732, 733, 738, 739, 741, 743, 745, 747, 748, 749, 750, 752, 753, 755, 756, 759, 761, 762, 763, 764, 765, 766, 767, 768, 770, 773, 774, 775, 778, 779, 780, 783, 784, 786, 790, 791, 793, 798, 799, 800)",

    "BabNodes": 8321,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 19176,

    "Density": 0.06

  }

}