Я работаю над инструментом, чтобы сделать точно, что Вы хотите - генерируют конечные автоматы от журналов. Инструмент называют Синоптическим, и можно узнать больше об этом здесь: http://code.google.com/p/synoptic/
Если я прочитал таблицу данных правильно, Вам заполнили один слот, шесть ядер, которые показывают 12 процессорами, потому что они - гиперпоточность. (Кроме того,/proc/cpuinfo должен сказать Вам о процессоре и физическом идентификаторе. Две части ядра гиперпоточности имеют тот же физический идентификатор.)
Это походит на хорошее чтение по вопросу.