Get solver cpu time

This is a popular question.