[sr-dev] Re: core dump on AWS with ~4000 TCP sockets