Este é o antigo problema binário versus denário de quilo / mega / giga / terabytes.
Observe a linha
Array Size : 7804669952 (7443.11 GiB 7991.98 GB)
Portanto, enquanto o tamanho da sua matriz é de 7991,98 GB, usando o denary GB - que é exatamente exatamente 8 * 1TB - usando o binário GiB é 7443.11 GiB. Dividindo por 2 ^ 10 novamente dá 7.27TiB, então perder cerca de 1.5% para overhead FS nos leva a 7.16TiB, ou 7.2 com arredondamento, que é exatamente o que o df
está reportando.
Para ver uma análise mais detalhada de uma matriz semelhante, incluindo uma justificativa para essa figura de "1,5%", leia minha resposta aqui