Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7547 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=32002