Restart the crawler every 15 minutes to work-around the synchronization issues