fixed the way the time prints in solver