The distributed solver example.
