ResIn: a combination of results caching and index pruning for high-performance web search engines