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