DockerRunner exits with 128+9 if signal==9 (kill)