Gary Wong points out that solosolver's verbose output is