You can access the current state of statistics at any moment during the search or the initial propagation by selecting the menu item View > Constraint Profiler, or by clicking on the Constraint Profiler button in the tool bar.

The Constraint Profiler displays statistics, by constraint, about the number of propagation events triggered and the effective domain reduction achieved when the corresponding constraint is active. You can double-click on a column title to sort the lines by:

A constraint can be called several times with no efficiency in terms of domain reduction. The column domain reduction corresponds to the sum of the values removed by the active constraint from integer variables. The domain reduction is evaluated by taking the difference of the value returned by getSize() on the variables before and after the event.