Solution Deduplicator and Overlapped GIA

This pull request does not include the checking of exclusion constraints between different threads.