Isso acontece pelo motivo do distro ( não sei muito bom ) esse distro é meio que mistura de tudo e se seu PC não tiver bastante memoria , isso pode acontecer pelo motivo do clean de revisar o mapa todo e o save tambem , e o mapa com esse distro como falei tem erro na source mapa.h

cara se seu serve for de poke ate recomendo tirar o clean que nao ira ter esses problemas, e como a galera disse ae depende da maquina que seu serve esta hostiado pq se for uma ruim ou media ira acontecer isso msmo