For what it is worth, I discovered the reason for the slowness on the virtual machine. I used the default motherboard chipset in Virtualbox of “PIIX3”. Apparently there are general I/O issues with Red Hat distributions and that chipset in Virtualbox, and switching the chipset to “ICH9” got rid of the slowness.