We tried a lot of services at Socialcam to handle our massive user base. All of them couldn't handle that number of users.

Algolia handles it without any problem but on top of that, it does it at full speed: we get results back in under a few milliseconds. Last but not least, it does it with error handling, which is great as typos are very frequent on mobile...