Ho pensato che fosse un problema di "intasamento" della RAM, ed ho aggiunto un file swap su Usb e sembra funzionare. Speriamo di averci azzeccato !!!!