Add timings[000000] output via the info interface to stderr.
Currently the timings[000000]
as well as the memory consumption are added to standard out. We have agreed to move these to standard error.
Currently the timings[000000]
as well as the memory consumption are added to standard out. We have agreed to move these to standard error.