拿icc跑psynopt时报SOT_VERBOSE和PROPT_VERBOSE是什么信息

拿icc/2012.06sp2跑psynopt时，开始修drc（max transition/cap/fanout）时就报很多这两类信息，SOT报一些pin是dont touch的，PROPT很多optimize failed。修timing的时候不会报。
我是在cts之后跑psynopt修timing和congestion的，结果timing修下来了，但是congestion修得更差了。会不会是修drc的时候有什么问题导致没有好好修?
原来是用icc/2011.05sp5跑的，这两天才换icc/2012.06sp2的，不知道是不是一些option新的不兼容的原因导致。
谁知道是什么原因啊?

2012版本的确有很多option不一样，我用的还是2011的，12的还在评估中，只能在过程中慢慢迭代，有问题解决了挖~