set solver timeout