Thanks for the tips. I guess I'll swith to socket 1150, motherboards are a lot cheaper for that. So I'm switching to a
Core i7-4771, with an ASRock B85 Pro4, Intel B85 Mainboard, that saves me 100 euro :)
I was also checking AMD, from your benchmarks it seems that the 4771 is roughly 30% faster...