all different feasible check
Correct min
removed obsolete code
debug output moved to separate file
alldifferent prune
clusters