R-SHT: a State History Tree with R-Tree Properties for Analysis and Visualization of Highly Parallel System Traces 2018-01-01