Was the 64-bit kernel in OS X used for this benchmark? The 32-bit kernel is enabled by default on every machine except for the XServe. You can use the 'uname -a' command to check.