{
  "ExecutionMD": {
    "TimeCompleted": "2023-01-15  20:45:25",
    "ExecutionTime": 16.953,
    "SolutionType": "Approximate",
    "Solution": 28374,
    "OneSideOfTheCut": "{  1, 7, 9, 10, 13, 18, 20, 21, 28, 29, 33, 36, 39, 43, 45, 49, 51, 52, 53, 55, 57, 58, 60, 61, 63, 67, 72, 75, 82, 88, 90, 91, 92, 94, 98, 101, 102, 103, 104, 107, 108, 109, 116, 117, 118, 119, 120, 124, 128, 129, 130, 136, 140, 147, 149}",
    "BabNodes": 47,
    "RootBound": 28719.69,
    "MaxWorkersUsed": 19,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 151,
    "Edges": 8992,
    "Density": 0.794
  }
}