using Coin's cpu time estimation for better comparisons