{

  "ExecutionMD": {

    "ExecutionTime": 85011.468,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 930.0,

    "OneSideOfTheCut": "(1, 3, 5, 6, 9, 11, 13, 14, 15, 16, 21, 22, 24, 26, 27, 28, 30, 32, 37, 38, 40, 44, 45, 46, 48, 50, 53, 61, 63, 65, 68, 70, 71, 74, 75, 76, 78, 81, 84, 85, 86, 87, 88, 89, 90, 97, 98, 100, 101, 103, 104, 107, 108, 109, 111, 113, 114, 115, 118, 121, 128, 129, 130, 131, 132, 133, 135, 137, 138, 144, 146, 147, 148, 152, 154, 155, 156, 159, 161, 162, 166, 169, 170, 171, 173, 175, 177, 178, 179, 182, 184, 185, 189, 191, 192, 197, 198, 199, 200, 201, 204, 205, 209, 213, 214, 218, 223, 224, 226, 231, 233, 237, 238, 241, 243, 244, 245, 249, 251, 254, 263, 270, 274, 276, 277, 279, 288, 289, 290, 293, 294, 298, 300, 304, 307, 310, 311, 312, 313, 315, 316, 320, 321, 322, 326, 327, 328, 329, 331, 332, 333, 334, 335, 337, 339, 343, 344, 346, 347, 348, 349, 351, 352, 353, 357, 359, 360, 361, 367, 368, 369, 370, 371, 372, 374, 376, 377, 378, 381, 382, 386, 387, 388, 389, 391, 392, 393, 395, 400, 401, 402, 404, 405, 408, 409, 410, 411, 413, 417, 423, 425, 427, 430, 431, 434, 436, 437, 438, 441, 443, 450, 452, 454, 456, 463, 464, 466, 468, 470, 471, 472, 473, 474, 476, 478, 481, 482, 486, 487, 488, 489, 490, 491, 492, 493, 498, 499, 502, 505, 507, 509, 514, 515, 516, 519, 520, 525, 526, 527, 528, 529, 532, 533, 535, 537, 539, 540, 543, 546, 547, 548, 549, 554, 555, 557, 559, 561, 566, 568, 570, 571, 577, 581, 582, 583, 584, 587, 588, 592, 593, 597, 602, 603, 606, 609, 615, 618, 620, 621, 624, 625, 626, 628, 629, 631, 632, 633, 634, 635, 636, 639, 640, 641, 642, 645, 647, 648, 649, 650, 653, 654, 655, 659, 660, 661, 664, 666, 667, 670, 671, 673, 674, 677, 679, 681, 682, 686, 688, 690, 693, 694, 696, 699, 702, 705, 707, 708, 710, 711, 712, 713, 714, 717, 720, 722, 725, 726, 729, 735, 740, 741, 742, 743, 746, 747, 750, 751, 755, 756, 757, 758, 759, 762, 763, 764, 767, 775, 776, 778, 779, 780, 782, 784, 786, 787, 790, 791, 794, 798, 800)",

    "BabNodes": 7711,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 4667,

    "Density": 0.015

  }

}