On Wed, Sep 27, 2006 at 09:25:39AM +0100, Simon Marlow wrote: > Perhaps clock_gettime() is returning strange results on your system. Could > you try compiling with -threaded -debug, and run the program under gdb. When I compile with -threaded -debug, the stats are OK :-/ Best regards Tomasz