solver with clone queue