add some information of or-tool