{
  "ExecutionMD": {
    "TimeCompleted": "2022-01-31  22:58:55",
    "ExecutionTime": 19.055,
    "SolutionType": "Approximate",
    "Solution": 671,
    "OneSideOfTheCut": "{  1, 2, 4, 8, 10, 12, 15, 16, 18, 19, 21, 25, 27, 29, 31, 33, 35, 38, 41, 43, 45, 47, 50, 53, 57, 62, 64, 66, 69, 71, 73, 75, 77, 80, 83, 85, 87, 89, 91, 93, 94, 96, 98, 101, 102, 104, 107, 109, 111, 112, 115, 116, 118, 119, 121, 123, 127, 131, 132, 133, 134, 135, 136, 137, 139, 141, 143, 144, 146, 148, 150, 152, 153, 155, 157, 158, 159, 161, 163, 164, 166, 169, 173, 175, 178, 181, 183, 185, 187, 189, 191, 193, 195, 197, 200, 202, 204, 206, 207, 209, 212, 213, 215, 217, 218, 221, 230, 232, 234, 237, 238, 239, 243, 246, 249, 251, 252, 255, 256, 264, 265}",
    "BabNodes": 3,
    "RootBound": 674.76,
    "MaxWorkersUsed": 2,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 268,
    "Edges": 923,
    "Density": 0.026
  }
}