Hi Lars, when you say “rebooting the system resolves the error”, does this mean that simply restarting the service does not resolve the error?
Also, did the crashes seem to happen during periods of low activity?
We are trying to debug a random crash as well. Your forum post seems to come up on my google searches for log message entries.