Servers, live statistics

For now, only statistics of the ngrid systems are available. It is a list of resources that were free at most 10 minutes ago.

The list is currently sorted by hostname,
the name that you need to login remotely.
You need to add .win.tue.nl if you login from a system
that is not in that DNS domain.

These and other columns are explained after the table
Click on a column header to refresh the current sorting order or to change it.

host
name

updated status free
memory

GB
allocated
memory

GB
free
/scratch
space

GB
ngrid01 2017/12/15 05:28:25 down 0 0 0
ngrid02 2017/12/15 05:29:05 down 0 0 0
ngrid03 2017/12/15 05:29:05 down 0 0 0
ngrid04 2017/12/15 05:29:05 down 0 0 0
ngrid05 2017/12/15 05:28:25 down 0 0 0
ngrid06 2017/12/15 05:29:05 down 0 0 0
ngrid07 2017/12/15 05:29:05 down 0 0 0
ngrid08 2017/12/15 05:28:25 down 0 0 0
ngrid09 2017/12/15 05:28:25 down 0 0 0
ngrid10 2017/12/15 05:28:25 down 0 0 0
ngrid11 2017/12/15 05:28:25 down 0 0 0
ngrid12 2017/12/15 05:29:05 down 0 0 0
ngrid13 2017/12/15 05:29:05 down 0 0 0
ngrid14 2017/12/15 05:29:05 down 0 0 0
ngrid15 2017/12/15 05:29:05 down 0 0 0
ngrid16 2017/12/15 05:29:05 down 0 0 0
ngrid17 2017/12/15 05:29:05 down 0 0 0
ngrid18 2017/12/15 05:28:25 down 0 0 0
ngrid19 2017/12/15 05:29:05 down 0 0 0
ngrid20 2017/12/15 05:29:05 down 0 0 0
ngrid21 2017/12/15 05:29:05 down 0 0 0
ngrid22 2017/12/15 05:29:05 down 0 0 0
ngrid23 2017/12/15 05:28:25 down 0 0 0
ngrid24 2017/12/15 05:29:05 down 0 0 0
ngrid25 2017/12/15 05:28:25 down 0 0 0
ngrid26 2017/12/15 05:29:05 down 0 0 0
ngrid27 2017/12/15 05:29:05 down 0 0 0
ngrid28 2017/12/15 05:28:25 down 0 0 0
ngrid29 2017/12/15 05:29:05 down 0 0 0
ngrid30 2017/12/15 05:29:05 down 0 0 0
ngrid31 2017/12/15 05:29:05 down 0 0 0
ngrid32 2017/12/15 05:29:05 down 0 0 0

host name
The hostname that you need to login remotely. Note that:
  • you need to supply .win.tue.nl for sessions from systems outside this DNS domain.
  • the host may present another name on shell prompts or other hostname representations that are derived from /proc/sys/kernel/hostname.
free memory
The space in foreground memory that is available for new processes, provided that they can allocate it.
The given numbers include the following amounts from /proc/meminfo:
  • memory that is directly available:
    • MemFree
  • memory that the system can easily reallocate to new processes:
    • Buffers: temporary space for files to be written to disk
    • Cached: for faster repeated access of files
    The reallocation is done automatically and may cause an initial delay.
When selected as sorting order, the allocated memory is a secondary criterion: Less allocated memory is better because it increases the usability of the free memory.
allocated memory
The space reserved by processes, as found in /proc/meminfo at Committed_AS . This space is just reserved and maybe not used, so it has only an indirect effect on the memory that processes can use. With increasing reserved memory on a system:
  • New processes can reserve less memory because the reservation space is limited.
  • Less of the currently free memory may be still free later if processes start using their reserved space.
Free /scratch space
The free disk space in the /scratch directory. There is usually more space there than in your home directory, but without backup.
updated
The free resources are normally updated every 10 minutes.
Clicking on a column header sorts and refreshes the view on those resource data, it does not directly update those data.
status
The systems are supposed to be up if they can provide the statistics about free resources within a few seconds. This means that they have network connectivity and can run a small process.


Contact us | Webmaster

Questions? Mail to helpdesk.win@tue.nl