{
  "ExecutionMD": {
    "TimeCompleted": "2023-01-14  07:43:53",
    "ExecutionTime": 13.209,
    "SolutionType": "Approximate",
    "Solution": 4248,
    "OneSideOfTheCut": "{  1, 3, 4, 5, 6, 7, 14, 16, 17, 18, 19, 20, 29, 31, 32, 33, 34, 36, 38, 43, 45, 53, 60, 61, 62, 68, 71, 73, 74, 78, 80, 81, 83, 85, 89, 94, 97, 99, 100}",
    "BabNodes": 3,
    "RootBound": 4249.0,
    "MaxWorkersUsed": 2,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 5105,
    "Density": 1.011
  }
}