12-queens : 0.21s user 0.11s system 129% cpu 0.244 total
But, I see that you are finding all the solution. My program only finds the first solution.