make more obvious the solver started