[Orruar]

The i7 is hyperthreaded, like most of the non-cheap Intel CPUs. This means each core essentially runs 2 threads in parallel at the hardware level. So you basically have 12 cores available.