Symbolic mapping and allocation for the Cholesky factorization on NUMA machines: Results and optimizations. (August 2013)