{

  "ExecutionMD": {

    "ExecutionTime": 85000.959,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 582.0,

    "OneSideOfTheCut": "(3, 5, 7, 8, 14, 15, 16, 18, 19, 20, 22, 24, 25, 26, 30, 35, 37, 38, 39, 40, 44, 46, 47, 48, 49, 52, 55, 56, 62, 63, 64, 65, 67, 69, 70, 71, 72, 74, 79, 80, 81, 84, 87, 88, 89, 90, 92, 93, 94, 98, 100, 104, 107, 112, 114, 116, 117, 120, 121, 125, 126, 127, 131, 134, 137, 140, 142, 144, 148, 150, 151, 154, 161, 162, 163, 164, 167, 168, 169, 170, 171, 175, 181, 183, 184, 186, 187, 188, 189, 192, 193, 195, 199, 201, 204, 205, 207, 208, 210, 211, 216, 217, 222, 224, 226, 227, 229, 230, 231, 232, 235, 237, 240, 242, 244, 246, 247, 249, 251, 252, 254, 255, 257, 258, 262, 263, 268, 270, 272, 273, 275, 277, 282, 285, 287, 288, 291, 298, 299, 300, 301, 307, 308, 312, 314, 315, 316, 320, 321, 324, 325, 327, 328, 330, 332, 333, 334, 335, 336, 338, 339, 340, 341, 342, 344, 345, 347, 355, 356, 357, 359, 360, 363, 366, 368, 369, 371, 372, 374, 376, 377, 378, 379, 380, 382, 387, 389, 390, 391, 392, 394, 400, 401, 402, 404, 406, 409, 417, 418, 420, 422, 423, 428, 433, 435, 438, 439, 440, 442, 443, 448, 449, 450, 452, 454, 457, 460, 465, 467, 468, 472, 474, 476, 481, 485, 490, 491, 493, 494, 495, 496, 497, 498, 500, 501, 502, 503, 504, 506, 510, 511, 512, 520, 521, 523, 524, 525, 526, 530, 531, 535, 537, 540, 541, 544, 545, 547, 548, 549, 550, 553, 554, 557, 559, 560, 564, 566, 569, 570, 571, 576, 583, 584, 586, 588, 590, 591, 592, 593, 595, 596, 598, 602, 606, 609, 613, 615, 617, 618, 621, 625, 627, 628, 632, 634, 635, 636, 640, 641, 642, 643, 644, 646, 647, 649, 650, 651, 654, 655, 657, 658, 659, 663, 673, 677, 678, 679, 681, 684, 685, 688, 691, 693, 694, 695, 696, 699, 705, 706, 707, 709, 711, 713, 718, 719, 721, 722, 725, 726, 728, 729, 736, 740, 741, 747, 749, 750, 754, 756, 757, 758, 759, 765, 767, 768, 770, 772, 774, 776, 777, 779, 781, 782, 789, 791, 792, 793, 794, 796, 797, 798, 800)",

    "BabNodes": 3179,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 1600,

    "Density": 0.005

  }

}