An open data set for trace-oriented monitoring