Diagnosing optimization problems