added cplex timeout option