Power failure of course, but this time it had its toll: two cores of the head node went 'hotplugged', never to be seen again. Still working on it …
OK. Updating the BIOS (latest v.3.10) fixed the problem, but I doubt that the problem was indeed BIOS-induced.