Look for a used or refurbished '08 Octad with the highest clock you can get. 😉
That would give you 8 cores, no hyperthreading issues, and the faster clocks will help with single threaded applications. Upgrades are cheap enough, and can be added as you locate funding. 😀