6,317+ is now in postprocessing. With additional sieving, a somewhat smaller matrix with 9.2 million by 9.2 million elements was created and will take about 11 days to solve. The sieving of 12,232+ is nearing completion, and work units for the next project, the Cunningham number 12,233-, are starting to go out. I've created a page to track the status of each number.