I think, you can't see it exactly under the configuration tab, but you may call "running processes" from the "tools" menu. If there any *32.exe or *64.exe processes - that machine is probably running 64bit OS.