Class find_embedding::TimeoutException

class TimeoutException : public find_embedding::MinorMinerException