I'm not sure if it's python buffering differently because of the types of the output ttys, or if it's a jenkins problem