First, how did you end up with 12.5gb of memory in a server? 3 4gb dims and a .5gb dim? It is a strange number.

Are you running 32bit or 64bit SQL Server?

What is actually using the memory? Is there a dtexec process hanging, or has SQL Server simply cached a lot of data?