Solution tree building is optimized. 6-levels solving is added. Logging is added