{
  "ExecutionMD": {
    "TimeCompleted": "2021-11-26  11:56:50",
    "ExecutionTime": 4.443,
    "SolutionType": "Optimal",
    "Solution": 4343,
    "OneSideOfTheCut": "{  2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 22, 23, 25, 27, 28, 29, 31, 32, 33, 34, 35, 37, 38, 39, 40, 41, 46, 48, 49, 50, 51, 52, 53, 57, 58, 59, 61, 63, 64, 65, 66, 69, 70, 71, 73, 75, 77, 78, 80, 81, 83, 84, 85, 87, 89, 90, 91, 92, 93, 97, 99, 100}",
    "BabNodes": 1,
    "RootBound": 4343.42,
    "NumCores": 12
  },
  "GraphMD": {
    "ObjectTypeString": "Graph",
    "Vertices": 101,
    "Edges": 4992,
    "Density": 0.989
  }
}