Fixed also a bug in the PerformanceMonitor
Fixed also a bug in the PerformanceMonitor


Former-commit-id: 1a1df8865e3c989419f89574728e93ecafb6a5ca [formerly dbabb5491725024ce8b8d901b0cae147b354e883] [formerly dbabb5491725024ce8b8d901b0cae147b354e883 [formerly e52e4b73bbab219a6d3670a16bf418f107aa21cb]]
Former-commit-id: d04f03ab86048a0f688a4d6ee783556cec0117de
Former-commit-id: c779c04381a12283f6343d653c8afcdab3a8be18
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine