Efectivamente, he cambiado las memorias a 1600 y el rendimiento de las operaciones de memoria a aumentado al máximo (7,9). Solo la CPU (operaciones de cálculo) se ha quedado en 7,6. Supongo que haciendo overclocking del procesador subiría también, pero la verdad es que no lo quiero forzar, queda en automático (aunque el procesador K admite de buena gana OC).

Para poner las memorias en 1600 he tenido que activar XMP (eXtreme Memory Profile), dice que el sistema optimiza automáticamente el ratio de CPU, la frecuencia BCLK (base clock, reloj de base) y los parámetros de memoria.

Por lo visto, la Bios viene por defecto con el standard JEDEC, con el que estas memorias funcionan a DDR3-1333, pero si lo pones en XMP Profile #1 ya funcionan en D3-1600, con la misma latencia (CL-9-9-9) y voltaje (1.5V).

Gracias por la info, estoy un poco verde en estas cosas todavía.