#0  0x00002b637a774350 in Arts::Dispatcher::terminate ()
   from /usr/lib/libmcop.so.1
#1  <signal handler called>
#2  0x00002b6379ec9b2d in waitpid () from /lib/libc.so.6
#3  0x000000000040ffbc in ?? ()
#4  <signal handler called>
#5  0x00002b637a774350 in Arts::Dispatcher::terminate ()
   from /usr/lib/libmcop.so.1
#6  <signal handler called>
#7  0x00002b63797309c0 in ?? () from /usr/lib/libstdc++.so.6
#8  0x00002b63797321cb in std::ostream::flush () from /usr/lib/libstdc++.so.6
#9  0x00002b63796fd7ac in std::ios_base::Init::~Init ()
   from /usr/lib/libstdc++.so.6
#10 0x00002b6379e67d2e in __cxa_finalize () from /lib/libc.so.6
#11 0x00002b63796f26d3 in ?? () from /usr/lib/libstdc++.so.6
#12 0x00007fff31e4cc80 in ?? ()
#13 0x00002b6379765841 in ?? () from /usr/lib/libstdc++.so.6
#14 0x0000000000000000 in ?? ()