SR H Thu Dec 13 13:52:45 2018 cluster tycho56 | x86_64 linux 8.5 `` AUX_TIME 4 P P 7 4 ' 4 (` 4 2P 4