Added cplex info (threads, timeout) as program params