Better structure config header file
Gathering probing config in solverconf to the same place
Activity was not combined in clause stats