{ "ExecutionMD": { "TimeCompleted": "2022-01-27 09:15:29", "ExecutionTime": 0.191, "SolutionType": "Optimal", "Solution": 6063, "OneSideOfTheCut": "{ 1, 3, 5, 7, 9, 10, 13, 16, 17, 22, 29, 30, 37, 38, 58}", "BabNodes": 1, "RootBound": 6063.19, "NumCores": 12 }, "GraphMD": { "ObjectTypeString": "Graph", "Vertices": 61, "Edges": 222, "Density": 0.121 } }