*** ERROR: search aborted by fatal exception. You may continue searching, but some solutions will be unreachable.
*** ERRO: a busca quedou cancelada por unha excepción grave. Pode seguir buscando, pero non se poderán obter algunhas solucións.