(gdb) bt
#0  0x00000011 in ?? ()
#1  0xb7bcfc36 in vle::value::Set::clear() () from /usr/lib/libvlevalue-1.0.so.0
#2  0xb7bd63dd in vle::value::Set::~Set() () from /usr/lib/libvlevalue-1.0.so.0
#3  0xb7a8331f in vle::vpz::Condition::~Condition() () from /usr/lib/libvlevpz-1.0.so.0
#4  0xb7a88720 in std::_Rb_tree<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition>, std::_Select1st<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> >, std::less<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> > >::_M_erase(std::_Rb_tree_node<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> >*) () from /usr/lib/libvlevpz-1.0.so.0
#5  0xb7a88712 in std::_Rb_tree<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition>, std::_Select1st<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> >, std::less<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> > >::_M_erase(std::_Rb_tree_node<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, vle::vpz::Condition> >*) () from /usr/lib/libvlevpz-1.0.so.0
#6  0xb7a8c93e in vle::vpz::Experiment::~Experiment() () from /usr/lib/libvlevpz-1.0.so.0
#7  0xb7a3b69e in vle::devs::ModelFactory::~ModelFactory() () from /usr/lib/libvledevs-1.0.so.0
#8  0xb7a42e09 in vle::devs::RootCoordinator::~RootCoordinator() () from /usr/lib/libvledevs-1.0.so.0
#9  0xb79155d8 in vle::manager::JustRunMono::operator()(std::list<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > > const&) () from /usr/lib/libvlemanager-1.0.so.0
#10 0xb7928e86 in vle::manager::Manager::justRun(int, std::list<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > > const&) () from /usr/lib/libvlemanager-1.0.so.0
#11 0x08054149 in main ()