Erlang dirty scheduler profiling