{

  "ExecutionMD": {

    "ExecutionTime": 85066.733,

    "SolutionType": "Approximate",

    "RelativeGap": 0.0,

    "Solution": 556.0,

    "OneSideOfTheCut": "(1, 2, 4, 6, 8, 9, 10, 12, 16, 18, 19, 21, 27, 28, 33, 36, 40, 41, 42, 43, 45, 46, 49, 50, 51, 52, 54, 57, 59, 61, 63, 64, 67, 68, 69, 72, 73, 74, 78, 79, 80, 81, 83, 84, 88, 89, 91, 92, 96, 97, 100, 102, 103, 104, 106, 107, 110, 111, 113, 114, 117, 118, 119, 122, 123, 129, 132, 136, 137, 138, 141, 142, 143, 144, 146, 147, 148, 149, 150, 151, 152, 153, 155, 157, 158, 161, 162, 163, 164, 167, 168, 169, 170, 177, 179, 184, 185, 187, 188, 189, 190, 192, 193, 195, 196, 197, 198, 199, 201, 206, 207, 208, 209, 212, 213, 214, 216, 219, 222, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 238, 242, 248, 251, 252, 254, 255, 257, 258, 259, 260, 261, 262, 266, 274, 275, 276, 278, 283, 287, 292, 293, 295, 296, 297, 299, 300, 302, 304, 305, 307, 308, 309, 314, 317, 318, 320, 321, 322, 325, 326, 327, 330, 331, 332, 333, 334, 335, 339, 340, 342, 343, 344, 345, 352, 354, 355, 356, 358, 360, 361, 362, 363, 364, 366, 367, 370, 371, 374, 375, 378, 382, 384, 386, 388, 390, 391, 392, 393, 397, 399, 400, 401, 403, 405, 406, 407, 410, 411, 413, 415, 419, 420, 423, 424, 427, 428, 431, 432, 433, 435, 439, 440, 444, 447, 450, 451, 454, 455, 456, 461, 463, 465, 469, 472, 474, 478, 479, 481, 482, 483, 487, 491, 493, 494, 495, 498, 500, 502, 504, 505, 507, 508, 509, 510, 511, 512, 513, 515, 521, 523, 524, 525, 526, 527, 532, 533, 534, 538, 541, 543, 544, 545, 546, 547, 551, 554, 557, 560, 561, 563, 565, 567, 574, 576, 578, 580, 581, 582, 586, 589, 593, 594, 598, 599, 600, 603, 604, 605, 606, 609, 610, 611, 614, 619, 622, 623, 627, 628, 631, 632, 635, 636, 640, 641, 642, 646, 647, 648, 652, 654, 655, 658, 659, 666, 668, 670, 672, 680, 682, 683, 684, 686, 687, 691, 699, 703, 704, 707, 709, 711, 712, 715, 716, 719, 720, 724, 726, 727, 728, 729, 731, 732, 734, 737, 739, 740, 741, 742, 744, 747, 750, 751, 754, 755, 757, 762, 763, 764, 769, 770, 772, 773, 774, 779, 781, 783, 784, 787, 788, 790, 796, 797, 799)",

    "BabNodes": 3201,

    "NumCores": 96

  },

  "GraphMD": {

    "Vertices": 800,

    "Edges": 1600,

    "Density": 0.005

  }

}