Get some feel for how much time constraint-solving is taking.