Print duration for autosolving
Minor style changes