solver finished
solver finished