We now update the status bar during the solving process