{ "ExecutionMD": { "TimeCompleted": "2022-01-27 09:12:29", "ExecutionTime": 1.103, "SolutionType": "Optimal", "Solution": 3414, "OneSideOfTheCut": "{ 1, 3, 4, 6, 9, 12, 13, 15, 17, 21, 27, 33, 37, 38, 39, 40, 41, 43, 48, 49, 50}", "BabNodes": 1, "RootBound": 3414.99, "NumCores": 12 }, "GraphMD": { "ObjectTypeString": "Graph", "Vertices": 51, "Edges": 156, "Density": 0.122 } }