Stop solving after a certain amount of time has elapsed
Better name for options
Check time & confl limit more often