{
  "ExecutionMD": {
    "TimeCompleted": "2023-01-14  10:23:40",
    "ExecutionTime": 10.266,
    "SolutionType": "Approximate",
    "Solution": 13294,
    "OneSideOfTheCut": "{  1, 2, 3, 4, 6, 7, 8, 9, 18, 19, 23, 24, 27, 30, 31, 32, 33, 35, 38, 39, 40, 42, 43, 45, 46, 47, 49, 50, 54, 57, 59, 61, 62, 67, 68, 70, 76, 79, 80, 82, 83, 85, 87, 88, 89, 94, 97}",
    "BabNodes": 13,
    "RootBound": 13412.0,
    "MaxWorkersUsed": 5,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 4997,
    "Density": 0.99
  }
}