Update handling OnTuplesTuples
Remove SolveStats
Reorganise naming, make it easier to get more info out of Solve