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