Non-Deterministic Solution Order

[DougCube]

At least with using --alloptimal option, I have noticed that the output varies from run to run (with identical inputs). It does not appear to be deterministic. I'm guessing this is from the multi-threaded code. This makes it more difficult to debug problems in wrapper programs/scripts that use the output of this tool. Not sure if this issue is well known. Not sure if there should be an option to force a fixed order or if that would hurt performance too much.