printf while a mutex is taken kills realtimeness