Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 69fbc6164b2feaecf3c6adb2eedc0236a52d2eb6)
+++ libcfa/src/concurrency/kernel.cfa	(revision 359d12d8de8e5a1d618c5d15fe31a879bb8bb624)
@@ -323,4 +323,10 @@
 	if(this != mainProcessor) {
 		this->id = doregister((__processor_id_t*)this);
+		#if !defined(__CFA_NO_STATISTICS__)
+			if( this->print_halts ) {
+				__cfaabi_bits_print_safe( STDOUT_FILENO, "Processor : %d - %s (%p)\n", this->id, this->name, (void*)this);
+			}
+		#endif
+
 		// Lock the RWlock so no-one pushes/pops while we are changing the queue
 		uint_fast32_t last_size = ready_mutate_lock();
@@ -1019,5 +1025,5 @@
 	#if !defined(__CFA_NO_STATISTICS__)
 		if(this->print_halts) {
-			printf("%d - %lld 0\n", this->id, rdtscl());
+			__cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 0\n", this->id, rdtscl());
 		}
 	#endif
@@ -1027,5 +1033,5 @@
 	#if !defined(__CFA_NO_STATISTICS__)
 		if(this->print_halts) {
-			printf("%d - %lld 1\n", this->id, rdtscl());
+			__cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 1\n", this->id, rdtscl());
 		}
 	#endif
@@ -1221,5 +1227,4 @@
 	void print_halts( processor & this ) {
 		this.print_halts = true;
-		printf("Processor : %d - %s (%p)\n", this.id, this.name, (void*)&this);
 	}
 #endif