The mantis parallel debuggerTowards modeling the performance of a fast connected components algorithm on parallel machines