I thought this was just an oversight and the solution would be to use "cout" again. But I remember now that we wanted to always use the logger for all output. So from my side we don't need to change anything here, my editor can also handle this :-)

Or use a better editor, like emacs. ;-)

Do you have a concrete design in mind? A simple idea would be to allow silencing the timestamps/memory info altogether on a global basis, assuming this is not already possible.

The dot graph output for M&S transition systems currently looks like

[t=0.00223434s, 7892 KB] digraph transition_system_0 {
[t=0.00227151s, 7892 KB]     node [shape = none] start;
[t=0.00230228s, 7892 KB]     node [shape = doublecircle] node0;
[t=0.00233223s, 7892 KB]     start -> node0;
[t=0.00236238s, 7892 KB]     node [shape = doublecircle] node1;
[t=0.00239189s, 7892 KB]     node1 -> node1 [label = x0];
[t=0.00242153s, 7892 KB]     node0 -> node0 [label = x1];
[t=0.0024508s, 7892 KB]     node1 -> node0 [label = x2];
[t=0.00247995s, 7892 KB]     node0 -> node1 [label = x3];
[t=0.00250924s, 7892 KB] }

I think for easier copy-pasting the time and memory info should be removed.