MIP solver using SCIP through ZIMPL