That's not bad at all my 3960x gets 1350 or so stock and best I've gotten is little over 15.5k. What's your single core?
Also if you haven't yet play with your ram makes a big difference for me running just under 3800 at 14-14-14-28 and tight sub timings vs the lose 3600 xmp