#3845: log every relevant timing parameter