32-bit performance changes following constraint solver improvements

Things get faster, except T5030