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