A massively parallel pentago solver