Increase defaultMaxBackjumps to 2000 (from 200).

As suggested by Anders Löh in #1780.

(cherry picked from commit e2b481a070aa95454547dad9ff6e505454194487)