added sudoku. printing some b&b diagnostics. uncovered ECOS bug with feasibility problems.