a mini web search engine processing big data