smtmul: SMT concurrency benchmark
llc/nodemem: fixed counter reading