CPLEX:
Cbc:
SCIP11:
SCIP10:
Glpk: