solver searches for optimal solution, ultimately prompting its completion