Give the solver thread some time to solve, terminate and get into the daemon waiting state