Update: I let the program run even further. I now got 351166 solutions.
The highest one is:
139372413: {15485807, 15485801, 15485857, 15485837, 15485773, 15485843, 15485849, 15485783, 15485863};