Parallel Model-Based Diagnosis on Multi-Core Computers