Fix the giant benchmarky test for the constraint solver

Our constraint solver can solve it in 30s. Which is not that bad and might be
good enough for 6 month or maybe even longer. Ruby Bundler still takes up to a
minute to resolve this case and they have no cost function whatsoever.