Debug of cosolver