2020-10-09 09:46:51 - WARNING - __main__ - parsing duration: 0.038 2020-10-09 09:46:51 - WARNING - __main__ - grounding duration: 0.003 2020-10-09 09:46:51 - WARNING - __main__ - solving duration: 0.002 ==> root 2 2 (task1 ) -> donothing <==