{

  "ExecutionMD": {

    "ExecutionTime": 85029.083,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 3059.0,

    "OneSideOfTheCut": "(1, 2, 3, 9, 14, 17, 20, 23, 24, 25, 26, 28, 29, 30, 35, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 50, 51, 52, 53, 55, 57, 58, 59, 67, 68, 69, 70, 72, 73, 75, 78, 79, 80, 81, 85, 87, 88, 89, 90, 93, 94, 98, 99, 101, 102, 105, 106, 107, 109, 110, 111, 119, 123, 124, 128, 129, 130, 137, 138, 139, 141, 144, 146, 148, 149, 151, 152, 154, 155, 156, 159, 160, 161, 163, 165, 168, 170, 172, 173, 175, 179, 181, 186, 191, 193, 194, 198, 199, 201, 202, 205, 206, 208, 209, 212, 214, 218, 219, 225, 226, 229, 230, 231, 233, 234, 237, 239, 240, 241, 243, 244, 245, 246, 248, 250, 258, 265, 267, 269, 270, 273, 275, 276, 277, 278, 280, 282, 283, 290, 292, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 306, 312, 313, 314, 315, 318, 319, 321, 322, 337, 338, 340, 342, 343, 344, 346, 349, 352, 354, 355, 356, 357, 360, 363, 364, 365, 367, 369, 371, 376, 379, 380, 384, 386, 387, 389, 391, 394, 395, 398, 399, 403, 404, 406, 409, 411, 413, 415, 416, 417, 418, 420, 421, 422, 423, 425, 426, 427, 429, 431, 433, 434, 437, 438, 441, 442, 443, 445, 447, 448, 449, 450, 451, 452, 453, 455, 456, 458, 460, 461, 463, 464, 466, 467, 468, 475, 477, 485, 487, 489, 490, 491, 493, 495, 496, 498, 499, 502, 503, 506, 509, 511, 522, 523, 527, 528, 529, 531, 533, 535, 537, 538, 539, 541, 542, 543, 547, 548, 552, 553, 555, 556, 557, 558, 560, 561, 562, 564, 567, 569, 570, 571, 573, 574, 576, 577, 578, 580, 581, 582, 583, 584, 585, 586, 587, 591, 592, 593, 594, 595, 597, 598, 599, 601, 603, 605, 606, 608, 609, 610, 611, 612, 613, 616, 617, 618, 620, 621, 622, 624, 628, 629, 630, 631, 633, 634, 638, 640, 642, 644, 646, 648, 649, 653, 655, 656, 657, 658, 659, 660, 661, 663, 664, 665, 667, 670, 671, 672, 673, 674, 675, 676, 677, 680, 685, 686, 690, 691, 692, 694, 695, 698, 700, 704, 708, 709, 713, 716, 718, 719, 721, 722, 723, 724, 725, 729, 733, 734, 740, 743, 746, 747, 753, 754, 755, 756, 758, 762, 763, 766, 771, 772, 774, 775, 778, 780, 782, 783, 790, 791, 792, 793, 794, 796, 797, 798)",

    "BabNodes": 8079,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 4694,

    "Density": 0.015

  }

}