run the solver strategies in parallel threads
fixed FindBugs warnings