[solver] Fix restartGMRes parameter number type See merge request !2631 (cherry picked from commit 9b0db493) 930dd74f [solver] Fix restartGMRes parameter number type