{
  "ExecutionMD": {
    "TimeCompleted": "2021-11-25  12:54:08",
    "ExecutionTime": 5.361,
    "SolutionType": "Optimal",
    "Solution": 3838,
    "OneSideOfTheCut": "{  1, 8, 10, 11, 12, 14, 16, 23, 25, 26, 30, 35, 37, 38, 39, 40, 46, 50, 51, 54, 55, 63, 64, 65, 66, 68, 69, 75, 77, 85, 88, 90, 91, 93, 95, 96}",
    "BabNodes": 5,
    "RootBound": 3848.59,
    "MaxWorkersUsed": 3,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 5006,
    "Density": 0.991
  }
}