{
  "ExecutionMD": {
    "TimeCompleted": "2022-07-27  10:19:19",
    "ExecutionTime": 21.279,
    "SolutionType": "Approximate",
    "Solution": 61676544,
    "OneSideOfTheCut": "{  2, 5, 6, 7, 9, 11, 18, 20, 21, 22, 23, 26, 27, 28, 29, 30, 35, 36, 37, 38, 41, 42, 45, 46, 47, 51, 52, 54, 56, 57, 61, 63, 64, 65, 66, 69, 71, 72, 75, 76, 78, 79, 80, 81, 82, 84, 90, 91, 92, 94, 95, 97, 99, 100, 101, 102, 105, 106, 108, 109, 110, 111, 113, 120, 124, 126, 128, 129, 133, 134, 135, 136, 140, 144, 146, 150, 151, 158, 159, 160}",
    "BabNodes": 495,
    "RootBound": 61676566.63,
    "MaxWorkersUsed": 47,
    "NumCores": 48
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 161,
    "Edges": 12880,
    "Density": 1.0
  }
}