Parallel Tree Search in Volunteer Computing: a Case Study