I'm not quite sure about the model # but both the boxes have CMY8GX3M2A1866C9 on a label in the back so that might be it.
*Edit: Never mind, I'm updating the BIOS at the moment.
I've also checked with CPU-Z, and the BIOS, the memory appears to be running at the correct frequency and latency. I...