{
  "ExecutionMD": {
    "TimeCompleted": "2023-01-14  07:44:07",
    "ExecutionTime": 7.505,
    "SolutionType": "Optimal",
    "Solution": 15352,
    "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": 1,
    "RootBound": 15352.94,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 5006,
    "Density": 0.991
  }
}