Thank you for response Franck. Attached please find the last boot logs. I should mention that I am booting from a USB device. That might slow down the dump process, although I have waited well over hour and the systemd-coredump processes were still running. Please let me know anything else you might need. Thank you, Tomas