{
  "ExecutionMD": {
    "TimeCompleted": "2022-01-27  09:15:37",
    "ExecutionTime": 1.051,
    "SolutionType": "Optimal",
    "Solution": 8598,
    "OneSideOfTheCut": "{  1, 3, 4, 6, 8, 10, 13, 14, 17, 20, 21, 22, 34, 35, 37, 40, 42, 46, 47, 52, 53, 57, 58, 59, 64, 66, 67, 69, 76, 77, 80}",
    "BabNodes": 1,
    "RootBound": 8598.3,
    "NumCores": 12
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 81,
    "Edges": 384,
    "Density": 0.119
  }
}