{

  "ExecutionMD": {

    "ExecutionTime": 528.263,

    "SolutionType": "Optimal",

    "RelativeGap": 0.0,

    "Solution": 416.0,

    "OneSideOfTheCut": "(2, 6, 7, 9, 10, 11, 12, 14, 16, 18, 22, 23, 25, 26, 27, 29, 33, 34, 35, 40, 41, 44, 45, 46, 48, 49, 55, 56, 61, 65, 67, 68, 70, 75, 76, 78, 80, 82, 86, 87, 88, 89, 90, 92, 95, 96, 99, 100, 101, 102, 106, 110, 112, 113, 114, 116, 120, 121, 123, 124, 125, 128, 131, 133, 134, 135, 136, 138, 139, 141, 143, 145, 146, 147)",

    "BabNodes": 163,

    "NumCores": 132

  },

  "GraphMD": {

    "Vertices": 150,

    "Edges": 544,

    "Density": 0.049

  }

}