{
  "ExecutionMD": {
    "TimeCompleted": "2021-11-25  13:07:09",
    "ExecutionTime": 6.051,
    "SolutionType": "Optimal",
    "Solution": 4322,
    "OneSideOfTheCut": "{  2, 5, 6, 8, 9, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 31, 34, 36, 38, 39, 43, 45, 47, 48, 49, 50, 52, 53, 56, 58, 63, 65, 68, 69, 70, 71, 72, 74, 75, 76, 79, 80, 81, 83, 84, 85, 87, 89, 90, 91, 92, 93, 95, 98, 99, 100}",
    "BabNodes": 3,
    "RootBound": 4330.74,
    "MaxWorkersUsed": 2,
    "NumCores": 12
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 5006,
    "Density": 0.991
  }
}