fixed clauses
added all timing data to dumpfile

* updated documentation
* "fixed" duration in dumpfile