Variables Created

Number of finite domain variables created.

Propagators Created

Number of finite domain propagators created.

Propagators Invoked

Number of finite domain propagators invoked.

Created

Number of computation spaces created by Space.new.

Cloned

Number of computation spaces cloned by Space.clone.

Committed

Number of computation spaces committed by Space.commit.

Failed

Number of failed computation spaces.

Succeeded

Number of succeeded computation spaces.