On 2013-04-23 02:21:24 +0100, Ben Hutchings wrote: > On Tue, 2013-04-23 at 00:10 +0200, Vincent Lefevre wrote: > > A similar problem occurred again, but with the user time, which > > is higher than the actual value: > > > > 65.86s user 0.56s system 165% cpu 40.218 total > > 0.03s user 0.01s system 0% cpu 40.218 total > > > > Here, this was a "make" piped to another command (hence the 2 lines). > > Does that other command happen to be multithreaded?
No, it is just a Perl script. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org