Describir: RAS Modeling of a Large InfiniBand Switch System