dis_memory_usage(7rheolef) on Linux

The text 25b335663057, as Debian 12 (Bookworm) shipped it.

memory used in distributed environment (rheolef-7.2)

dis_memory_usage(7rheolef) on Linux now