Update constraints.
Smaller testset, print more progress messages.