EXP: limit number of variables sifted per reordering of manager 3
EXP: limit number of variables sifted per reordering of manager 3

after experimenting with forced reordering that has this config, but doesn't prevent blowup in all cases, so dynamic reordering is needed.
johnyf/gr1experiments