Is that output useful in general?  Off topic, but do you know any way to figure out some identifier that can be used in gdb to choose a thread?