Server crashed=False
supplied options: run.py --output=canRandomFrames_0_sim --max_testing_time=300 --limit_detailed_reports