intermittent segmentation fault
We're seeing segmentation faults in Gazebo intermittently. The most common situation seems to be running a VRC world with logging enabled. We'll collect evidence here.
Debug procedure: after a crash, there should be a core file at
sudo apt-get install gdb gdb gzserver ~/.ros/core bt
Also grab the last line of the score log, to get the time elapsed. E.g. if the run was vrc_task_2:
tail -n1 /tmp/vrc_task_2/score.log