Total: 1046 samples
     310  29.6%  29.6%      433  41.4% fc_solve_sfs_move_stack_cards_to_different_stacks
     239  22.8%  52.5%      248  23.7% fc_solve_check_and_add_state
     211  20.2%  72.7%     1039  99.3% resume_solution
      58   5.5%  78.2%       71   6.8% fc_solve_sfs_move_fc_to_empty_and_put_on_top
      40   3.8%  82.0%       67   6.4% fc_solve_sfs_move_non_top_stack_cards_to_founds
      38   3.6%  85.7%       62   5.9% fc_solve_sfs_raymond_prune
      32   3.1%  88.7%       75   7.2% fc_solve_sfs_move_freecell_cards_on_top_of_stacks
      26   2.5%  91.2%       43   4.1% fc_solve_sfs_move_sequences_to_free_stacks
      19   1.8%  93.0%       31   3.0% fc_solve_sfs_move_cards_to_a_different_parent
      17   1.6%  94.6%       17   1.6% fc_solve_sfs_check_state_begin
      11   1.1%  95.7%       22   2.1% fc_solve_sfs_move_top_stack_cards_to_founds
       9   0.9%  96.6%       10   1.0% tc_realloc
       8   0.8%  97.3%        8   0.8% __memcmp_sse4_1
       7   0.7%  98.0%        7   0.7% __memset_sse2_unaligned_erms
       5   0.5%  98.5%        5   0.5% fc_solve_sfs_move_freecell_cards_to_founds
       4   0.4%  98.9%     1045  99.9% worker_thread
       3   0.3%  99.1%        3   0.3% __memcpy_sse2_unaligned_erms
       2   0.2%  99.3%        2   0.2% __memcpy_sse2_unaligned
       2   0.2%  99.5%        2   0.2% _init
       1   0.1%  99.6%        1   0.1% __GI___pthread_timedjoin_ex
       1   0.1%  99.7%        1   0.1% __memset_sse2_unaligned
       1   0.1%  99.8%        2   0.2% fc_solve_finish_instance
       1   0.1%  99.9%        1   0.1% fc_solve_sfs_move_stack_cards_to_a_parent_on_the_same_stack
       1   0.1% 100.0%        1   0.1% tc_deletearray
       0   0.0% 100.0%     1045  99.9% __GI___clone
       0   0.0% 100.0%        1   0.1% __libc_start_main
       0   0.0% 100.0%        1   0.1% _start
       0   0.0% 100.0%        4   0.4% calloc
       0   0.0% 100.0%        2   0.2% fc_solve_sfs_move_freecell_cards_to_empty_stack
       0   0.0% 100.0%        1   0.1% main
       0   0.0% 100.0%     1045  99.9% start_thread