Don't use orderRestarts for benchmark
Reintroduce Forster's algorithm for constrained ordering