Analytic Performance modeling of Clusters of PC Servers based on the Scalable Coherent Interface