The second option, 1x 3.5. The bigger clock freq. = the better performance you get, it doesn't scale for the cores. p.s If you run multiple servers on multicore machine - it would be correct to assign an specific cores for each server.