CBLIB-example socp scip MPS