{
  "ExecutionMD": {
    "TimeCompleted": "2023-01-14  10:23:59",
    "ExecutionTime": 58.026,
    "SolutionType": "Approximate",
    "Solution": 45607,
    "OneSideOfTheCut": "{  1, 8, 11, 12, 13, 15, 18, 23, 26, 27, 32, 33, 42, 43, 46, 47, 49, 53, 55, 61, 63, 68, 75, 76, 77, 78, 79, 81, 82, 83, 84, 87, 90, 92, 95, 98, 108, 109, 110, 113, 114, 116, 117, 119, 122, 128, 129, 131, 132, 134, 137, 141, 142, 144, 146, 151, 152, 153, 154, 155, 157, 159, 160, 161, 163, 164, 177, 178, 183, 186, 190, 191, 193, 195, 197, 200, 201, 202, 203, 209, 211, 212, 214, 218, 222, 224, 226, 232, 235, 237, 238, 240, 248}",
    "BabNodes": 3,
    "RootBound": 45618.66,
    "MaxWorkersUsed": 2,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 251,
    "Edges": 3339,
    "Density": 0.106
  }
}