* solver launch string