cleaned logging
#398

awegsche wants to merge knob_extraction_logging into master

We do not currently have an analysis of these two commits