Edit: Also, 3900 is 3900X running on eco mode (same spec but half power). You might get a lot more performance by tuning BIOS settings.
I'll take a peek at the BIOS, but I'll also no good at doing such things.
Edit: Also, 3900 is 3900X running on eco mode (same spec but half power). You might get a lot more performance by tuning BIOS settings.