{ "ExecutionMD": { "ExecutionTime": 11.223, "SolutionType": "Approximate", "RelativeGap": 0.0, "Solution": 1430.0, "OneSideOfTheCut": "{ 5, 8, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 25, 28, 32, 34, 36, 38, 40, 44, 46, 48, 49, 52, 54, 55, 56, 60, 61, 63, 64, 65, 67, 71, 72, 73, 75, 76, 81, 82, 85, 88, 90, 91, 92, 93, 94, 95, 96, 97, 99}", "BabNodes": 253, "RootBound": 1441.53, "MaxWorkersUsed": 47, "NumCores": 48 }, "GraphMD": { "Vertices": 100, "Edges": 2475, "Density": 0.5 } }