logging framework
logging in dpllt solver
verbose flag
more debugging info
bug fixed but very slow