handle lots of cpus in gdb output