Look at changes

The search and propagation log may point out weaknesses in propagation and search.

To help you see what you're doing, it's a good idea to look hard at the search log and at the trace.

The search log introduces this log and explains how to read it.

The trace lets you rapidly distinguish which variables to take into account early in the solution search. It also shows you the areas where propagation is weakest, areas that you should re-enforce with surrogate constraints.