added program option to control number of threads in gurobi backend