add fflush(stdout) to short_sessions to see output before hangs