Throttle progress updates to at most once a second.
Put SolverTask default values in property definitions.
Fix debug messages.
Add support for stopping solver tasks.