Understanding solving statistics and progress (CP models)

Shows how the IDE displays a dynamically updated progress chart for a constraint programming example that takes a few seconds to solve.