./goblint --conf conf/bench-yaml-validate.json --enable dbg.timing.enabled --enable witness.invariant.loop-head --enable witness.invariant.after-lock --disable witness.invariant.other --disable witness.invariant.accessed --ana.base.privatization protection-read --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/mine/pfscan_comb.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/protection-read/pfscan_comb.yml/witness.yml /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c /mnt/thread-witnesses/replication/bench/pthread/pfscan_ftw.c


--------------------------------------------------------------------------------



runtime: 00:00:10.281
vars: 16226, evals: 26856

|rho|=16226
|called|=25
|stable|=16226
|infl|=16187
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14932
Found 1038 contexts for 22 functions. Top 5 functions:
995	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=24086.72MB, max=100.61MB, minor=24081.74MB, major=258.69MB, promoted=253.71MB
    minor collections=11495  major collections=24 compactions=0


runtime: 00:00:20.400
vars: 30491, evals: 48724

|rho|=30491
|called|=29
|stable|=30486
|infl|=30444
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28246
Found 1989 contexts for 22 functions. Top 5 functions:
1946	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=46187.21MB, max=202.38MB, minor=46180.66MB, major=477.14MB, promoted=470.60MB
    minor collections=22035  major collections=28 compactions=0


runtime: 00:00:30.507
vars: 43916, evals: 69307

|rho|=43916
|called|=31
|stable|=43911
|infl|=43868
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40776
Found 2884 contexts for 22 functions. Top 5 functions:
2841	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=67924.82MB, max=267.65MB, minor=67915.60MB, major=687.50MB, promoted=678.28MB
    minor collections=32400  major collections=31 compactions=0


runtime: 00:00:40.615
vars: 56186, evals: 88121

|rho|=56186
|called|=32
|stable|=56186
|infl|=56138
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52228
Found 3702 contexts for 22 functions. Top 5 functions:
3659	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=88585.71MB, max=353.96MB, minor=88575.87MB, major=880.26MB, promoted=870.42MB
    minor collections=42253  major collections=33 compactions=0


runtime: 00:00:50.747
vars: 67828, evals: 105976

|rho|=67828
|called|=22
|stable|=67828
|infl|=67788
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63092
Found 4479 contexts for 22 functions. Top 5 functions:
4436	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=108994.56MB, max=468.12MB, minor=108980.77MB, major=1068.57MB, promoted=1054.78MB
    minor collections=51984  major collections=34 compactions=0


runtime: 00:01:00.862
vars: 80307, evals: 125112

|rho|=80307
|called|=21
|stable|=80306
|infl|=80267
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74740
Found 5311 contexts for 22 functions. Top 5 functions:
5268	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=131552.41MB, max=538.34MB, minor=131536.76MB, major=1271.90MB, promoted=1256.24MB
    minor collections=62740  major collections=35 compactions=0


runtime: 00:01:10.998
vars: 92215, evals: 143364

|rho|=92215
|called|=31
|stable|=92215
|infl|=92166
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85855
Found 6104 contexts for 22 functions. Top 5 functions:
6061	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=153830.49MB, max=619.09MB, minor=153813.93MB, major=1466.45MB, promoted=1449.89MB
    minor collections=73363  major collections=36 compactions=0


runtime: 00:01:21.085
vars: 103276, evals: 160329

|rho|=103276
|called|=24
|stable|=103276
|infl|=103234
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96178
Found 6842 contexts for 22 functions. Top 5 functions:
6799	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=175212.82MB, max=711.96MB, minor=175195.31MB, major=1648.12MB, promoted=1630.61MB
    minor collections=83559  major collections=37 compactions=0


runtime: 00:01:31.165
vars: 113776, evals: 176429

|rho|=113776
|called|=22
|stable|=113776
|infl|=113736
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105978
Found 7542 contexts for 22 functions. Top 5 functions:
7499	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=196173.45MB, max=711.96MB, minor=196154.84MB, major=1822.24MB, promoted=1803.63MB
    minor collections=93554  major collections=38 compactions=0


runtime: 00:01:41.320
vars: 124286, evals: 192548

|rho|=124286
|called|=22
|stable|=124286
|infl|=124247
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115788
Found 8242 contexts for 22 functions. Top 5 functions:
8199	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=217559.24MB, max=818.75MB, minor=217539.55MB, major=1997.55MB, promoted=1977.86MB
    minor collections=103752  major collections=39 compactions=0


runtime: 00:01:51.484
vars: 134666, evals: 208459

|rho|=134666
|called|=26
|stable|=134661
|infl|=134622
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125476
Found 8934 contexts for 22 functions. Top 5 functions:
8891	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=239275.05MB, max=818.75MB, minor=239248.00MB, major=2179.54MB, promoted=2152.49MB
    minor collections=114105  major collections=39 compactions=0


runtime: 00:02:01.540
vars: 145346, evals: 224840

|rho|=145346
|called|=21
|stable|=145346
|infl|=145307
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135444
Found 9646 contexts for 22 functions. Top 5 functions:
9603	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=262349.71MB, max=941.56MB, minor=262319.19MB, major=2363.52MB, promoted=2333.00MB
    minor collections=125107  major collections=40 compactions=0


runtime: 00:02:11.623
vars: 156281, evals: 241601

|rho|=156281
|called|=31
|stable|=156275
|infl|=156233
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145650
Found 10375 contexts for 22 functions. Top 5 functions:
10332	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=286288.87MB, max=941.56MB, minor=286257.19MB, major=2550.54MB, promoted=2518.87MB
    minor collections=136522  major collections=40 compactions=0


runtime: 00:02:21.703
vars: 166301, evals: 256964

|rho|=166301
|called|=32
|stable|=166301
|infl|=166253
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155002
Found 11043 contexts for 22 functions. Top 5 functions:
11000	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=309210.70MB, max=1082.80MB, minor=309177.42MB, major=2725.46MB, promoted=2692.18MB
    minor collections=147452  major collections=41 compactions=0


runtime: 00:02:31.790
vars: 176591, evals: 272741

|rho|=176591
|called|=31
|stable|=176590
|infl|=176543
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164606
Found 11729 contexts for 22 functions. Top 5 functions:
11686	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=332718.86MB, max=1082.80MB, minor=332684.49MB, major=2903.60MB, promoted=2869.23MB
    minor collections=158661  major collections=41 compactions=0


runtime: 00:02:41.882
vars: 186001, evals: 287174

|rho|=186001
|called|=24
|stable|=186001
|infl|=185959
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173388
Found 12357 contexts for 22 functions. Top 5 functions:
12314	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=355172.46MB, max=1245.22MB, minor=355136.45MB, major=3069.87MB, promoted=3033.86MB
    minor collections=169368  major collections=42 compactions=0


runtime: 00:02:51.981
vars: 195431, evals: 301631

|rho|=195431
|called|=31
|stable|=195425
|infl|=195383
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182190
Found 12985 contexts for 22 functions. Top 5 functions:
12942	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=377637.66MB, max=1245.22MB, minor=377600.56MB, major=3235.51MB, promoted=3198.41MB
    minor collections=180080  major collections=42 compactions=0


runtime: 00:03:02.032
vars: 204678, evals: 315810

|rho|=204678
|called|=23
|stable|=204677
|infl|=204636
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190819
Found 13602 contexts for 22 functions. Top 5 functions:
13559	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=400471.08MB, max=1245.22MB, minor=400432.40MB, major=3401.30MB, promoted=3362.62MB
    minor collections=190968  major collections=43 compactions=0


runtime: 00:03:12.140
vars: 213147, evals: 328800

|rho|=213147
|called|=21
|stable|=213146
|infl|=213107
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198724
Found 14167 contexts for 22 functions. Top 5 functions:
14124	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=422023.54MB, max=1432.01MB, minor=421983.06MB, major=3554.78MB, promoted=3514.30MB
    minor collections=201244  major collections=43 compactions=0


runtime: 00:03:22.199
vars: 222176, evals: 342641

|rho|=222176
|called|=25
|stable|=222171
|infl|=222133
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207152
Found 14768 contexts for 22 functions. Top 5 functions:
14725	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=444577.02MB, max=1432.01MB, minor=444535.64MB, major=3715.22MB, promoted=3673.84MB
    minor collections=211998  major collections=43 compactions=0


runtime: 00:03:32.290
vars: 230862, evals: 355963

|rho|=230862
|called|=21
|stable|=230861
|infl|=230822
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215258
Found 15348 contexts for 22 functions. Top 5 functions:
15305	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=467306.56MB, max=1432.01MB, minor=467263.42MB, major=3873.98MB, promoted=3830.85MB
    minor collections=222836  major collections=44 compactions=0


runtime: 00:03:42.397
vars: 238946, evals: 368354

|rho|=238946
|called|=31
|stable|=238940
|infl|=238898
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222804
Found 15886 contexts for 22 functions. Top 5 functions:
15843	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=488996.34MB, max=1646.81MB, minor=488951.31MB, major=4022.76MB, promoted=3977.72MB
    minor collections=233178  major collections=44 compactions=0


runtime: 00:03:52.504
vars: 247561, evals: 381566

|rho|=247561
|called|=22
|stable|=247561
|infl|=247521
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230844
Found 16461 contexts for 22 functions. Top 5 functions:
16418	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=511609.56MB, max=1646.81MB, minor=511563.30MB, major=4178.33MB, promoted=4132.06MB
    minor collections=243960  major collections=44 compactions=0


runtime: 00:04:02.576
vars: 256201, evals: 394814

|rho|=256201
|called|=23
|stable|=256201
|infl|=256159
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238908
Found 17037 contexts for 22 functions. Top 5 functions:
16994	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=535211.82MB, max=1646.81MB, minor=535163.83MB, major=4337.33MB, promoted=4289.35MB
    minor collections=255215  major collections=45 compactions=0


runtime: 00:04:12.667
vars: 263876, evals: 406581

|rho|=263876
|called|=26
|stable|=263871
|infl|=263832
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246072
Found 17548 contexts for 22 functions. Top 5 functions:
17505	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=556837.26MB, max=1646.81MB, minor=556774.78MB, major=4494.53MB, promoted=4432.05MB
    minor collections=265523  major collections=45 compactions=0


runtime: 00:04:22.843
vars: 272381, evals: 419622

|rho|=272381
|called|=27
|stable|=272376
|infl|=272336
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254010
Found 18115 contexts for 22 functions. Top 5 functions:
18072	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=580681.22MB, max=1893.83MB, minor=580617.06MB, major=4652.37MB, promoted=4588.21MB
    minor collections=276893  major collections=45 compactions=0


runtime: 00:04:32.918
vars: 281096, evals: 432990

|rho|=281096
|called|=24
|stable|=281096
|infl|=281057
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262144
Found 18696 contexts for 22 functions. Top 5 functions:
18653	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=605169.73MB, max=1893.83MB, minor=605104.29MB, major=4813.22MB, promoted=4747.79MB
    minor collections=288569  major collections=45 compactions=0


runtime: 00:04:42.970
vars: 289361, evals: 445658

|rho|=289361
|called|=27
|stable|=289356
|infl|=289316
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=269858
Found 19247 contexts for 22 functions. Top 5 functions:
19204	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=629344.54MB, max=1893.83MB, minor=629272.86MB, major=4973.82MB, promoted=4902.13MB
    minor collections=300095  major collections=46 compactions=0


runtime: 00:04:53.049
vars: 297431, evals: 458030

|rho|=297431
|called|=32
|stable|=297431
|infl|=297383
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277390
Found 19785 contexts for 22 functions. Top 5 functions:
19742	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=653436.43MB, max=1893.83MB, minor=653362.47MB, major=5128.31MB, promoted=5054.35MB
    minor collections=311582  major collections=46 compactions=0


runtime: 00:05:03.216
vars: 305771, evals: 470825

|rho|=305771
|called|=22
|stable|=305771
|infl|=305732
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=285174
Found 20341 contexts for 22 functions. Top 5 functions:
20298	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=678084.25MB, max=2177.91MB, minor=678008.70MB, major=5286.82MB, promoted=5211.27MB
    minor collections=323335  major collections=46 compactions=0


runtime: 00:05:13.268
vars: 314231, evals: 483790

|rho|=314231
|called|=31
|stable|=314226
|infl|=314183
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=293070
Found 20905 contexts for 22 functions. Top 5 functions:
20862	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=703287.57MB, max=2177.91MB, minor=703210.60MB, major=5447.52MB, promoted=5370.55MB
    minor collections=335352  major collections=46 compactions=0


runtime: 00:05:23.331
vars: 322196, evals: 496005

|rho|=322196
|called|=32
|stable|=322191
|infl|=322148
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=300504
Found 21436 contexts for 22 functions. Top 5 functions:
21393	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=727930.72MB, max=2177.91MB, minor=727851.58MB, major=5602.46MB, promoted=5523.32MB
    minor collections=347103  major collections=47 compactions=0


runtime: 00:05:33.410
vars: 331331, evals: 510012

|rho|=331331
|called|=28
|stable|=331326
|infl|=331285
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=309030
Found 22045 contexts for 22 functions. Top 5 functions:
22002	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=749451.80MB, max=2177.91MB, minor=749362.07MB, major=5771.94MB, promoted=5682.21MB
    minor collections=357360  major collections=47 compactions=0


runtime: 00:05:43.558
vars: 343946, evals: 529355

|rho|=343946
|called|=30
|stable|=343941
|infl|=343898
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=320804
Found 22886 contexts for 22 functions. Top 5 functions:
22843	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=768190.21MB, max=2177.91MB, minor=768100.12MB, major=5966.27MB, promoted=5876.18MB
    minor collections=366295  major collections=47 compactions=0


runtime: 00:05:53.617
vars: 357160, evals: 549612

|rho|=357159
|called|=30
|stable|=357159
|infl|=357111
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333136
Found 23767 contexts for 22 functions. Top 5 functions:
23724	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=787828.68MB, max=2177.91MB, minor=787738.22MB, major=6170.22MB, promoted=6079.76MB
    minor collections=375659  major collections=47 compactions=0


runtime: 00:06:03.709
vars: 369881, evals: 569122

|rho|=369881
|called|=24
|stable|=369876
|infl|=369839
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345010
Found 24615 contexts for 22 functions. Top 5 functions:
24572	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=806788.13MB, max=2177.91MB, minor=806697.32MB, major=6366.12MB, promoted=6275.30MB
    minor collections=384700  major collections=48 compactions=0


runtime: 00:06:13.804
vars: 382001, evals: 587706

|rho|=382001
|called|=21
|stable|=381996
|infl|=381962
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356322
Found 25423 contexts for 22 functions. Top 5 functions:
25380	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=824859.13MB, max=2504.59MB, minor=824767.96MB, major=6553.82MB, promoted=6462.64MB
    minor collections=393317  major collections=48 compactions=0


runtime: 00:06:23.951
vars: 394002, evals: 606111

|rho|=394002
|called|=21
|stable|=394002
|infl|=393962
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367522
Found 26224 contexts for 22 functions. Top 5 functions:
26181	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=842773.35MB, max=2504.59MB, minor=842681.83MB, major=6739.53MB, promoted=6648.02MB
    minor collections=401860  major collections=48 compactions=0


runtime: 00:06:34.043
vars: 406411, evals: 625136

|rho|=406411
|called|=25
|stable|=406411
|infl|=406368
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379104
Found 27051 contexts for 22 functions. Top 5 functions:
27008	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=861269.06MB, max=2504.59MB, minor=861177.23MB, major=6930.80MB, promoted=6838.97MB
    minor collections=410679  major collections=48 compactions=0


runtime: 00:06:44.098
vars: 418721, evals: 644005

|rho|=418720
|called|=31
|stable|=418720
|infl|=418671
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=390593
Found 27871 contexts for 22 functions. Top 5 functions:
27828	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=879631.82MB, max=2504.59MB, minor=879539.67MB, major=7121.17MB, promoted=7029.02MB
    minor collections=419436  major collections=49 compactions=0


runtime: 00:06:54.174
vars: 430151, evals: 661541

|rho|=430151
|called|=21
|stable|=430151
|infl|=430112
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=401262
Found 28633 contexts for 22 functions. Top 5 functions:
28590	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=896743.43MB, max=2504.59MB, minor=896650.97MB, major=7297.91MB, promoted=7205.45MB
    minor collections=427595  major collections=49 compactions=0


runtime: 00:07:04.289
vars: 441446, evals: 678855

|rho|=441446
|called|=24
|stable|=441441
|infl|=441404
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411804
Found 29386 contexts for 22 functions. Top 5 functions:
29343	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=913659.00MB, max=2880.28MB, minor=913566.24MB, major=7472.52MB, promoted=7379.75MB
    minor collections=435661  major collections=49 compactions=0


runtime: 00:07:14.413
vars: 452741, evals: 696174

|rho|=452741
|called|=30
|stable|=452736
|infl|=452693
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422346
Found 30139 contexts for 22 functions. Top 5 functions:
30096	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=930594.41MB, max=2880.28MB, minor=930501.34MB, major=7647.63MB, promoted=7554.56MB
    minor collections=443737  major collections=49 compactions=0


runtime: 00:07:24.464
vars: 464441, evals: 714114

|rho|=464441
|called|=27
|stable|=464436
|infl|=464395
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=433266
Found 30919 contexts for 22 functions. Top 5 functions:
30876	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=948141.72MB, max=2880.28MB, minor=948048.35MB, major=7828.64MB, promoted=7735.27MB
    minor collections=452104  major collections=49 compactions=0


runtime: 00:07:34.519
vars: 476263, evals: 732243

|rho|=476263
|called|=22
|stable|=476263
|infl|=476223
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=444298
Found 31708 contexts for 22 functions. Top 5 functions:
31665	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=965883.50MB, max=2880.28MB, minor=965789.83MB, major=8011.83MB, promoted=7918.16MB
    minor collections=460564  major collections=49 compactions=0


runtime: 00:07:44.571
vars: 487377, evals: 749286

|rho|=487377
|called|=21
|stable|=487376
|infl|=487337
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=454672
Found 32449 contexts for 22 functions. Top 5 functions:
32406	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=982598.74MB, max=2880.28MB, minor=982504.77MB, major=8184.19MB, promoted=8090.22MB
    minor collections=468535  major collections=50 compactions=0


runtime: 00:07:54.678
vars: 498826, evals: 766839

|rho|=498826
|called|=25
|stable|=498826
|infl|=498783
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=465358
Found 33212 contexts for 22 functions. Top 5 functions:
33169	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=999822.61MB, max=2880.28MB, minor=999727.80MB, major=8362.19MB, promoted=8267.39MB
    minor collections=476748  major collections=50 compactions=0


runtime: 00:08:04.850
vars: 510401, evals: 784586

|rho|=510401
|called|=31
|stable|=510396
|infl|=510353
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476162
Found 33983 contexts for 22 functions. Top 5 functions:
33940	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1017256.65MB, max=3312.33MB, minor=1017161.52MB, major=8542.48MB, promoted=8447.35MB
    minor collections=485061  major collections=50 compactions=0


runtime: 00:08:14.965
vars: 521711, evals: 801926

|rho|=521711
|called|=32
|stable|=521711
|infl|=521663
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=486718
Found 34737 contexts for 22 functions. Top 5 functions:
34694	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1034306.80MB, max=3312.33MB, minor=1034211.36MB, major=8718.62MB, promoted=8623.18MB
    minor collections=493191  major collections=50 compactions=0


runtime: 00:08:25.053
vars: 533636, evals: 820213

|rho|=533636
|called|=21
|stable|=533631
|infl|=533597
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=497848
Found 35532 contexts for 22 functions. Top 5 functions:
35489	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1052326.73MB, max=3312.33MB, minor=1052205.81MB, major=8929.86MB, promoted=8808.94MB
    minor collections=501777  major collections=50 compactions=0


runtime: 00:08:35.148
vars: 546851, evals: 840476

|rho|=546851
|called|=25
|stable|=546846
|infl|=546808
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=510182
Found 36413 contexts for 22 functions. Top 5 functions:
36370	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1072262.02MB, max=3312.33MB, minor=1072140.75MB, major=9135.86MB, promoted=9014.60MB
    minor collections=511283  major collections=50 compactions=0


runtime: 00:08:45.239
vars: 558687, evals: 858628

|rho|=558687
|called|=21
|stable|=558687
|infl|=558647
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=521228
Found 37203 contexts for 22 functions. Top 5 functions:
37160	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1090168.93MB, max=3312.33MB, minor=1090047.33MB, major=9319.80MB, promoted=9198.21MB
    minor collections=519822  major collections=51 compactions=0


runtime: 00:08:55.351
vars: 570041, evals: 876034

|rho|=570041
|called|=26
|stable|=570036
|infl|=569997
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=531826
Found 37959 contexts for 22 functions. Top 5 functions:
37916	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1107378.83MB, max=3312.33MB, minor=1107248.52MB, major=9504.60MB, promoted=9374.29MB
    minor collections=528025  major collections=51 compactions=0


runtime: 00:09:05.530
vars: 582356, evals: 894917

|rho|=582356
|called|=31
|stable|=582351
|infl|=582308
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=543320
Found 38780 contexts for 22 functions. Top 5 functions:
38737	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1126057.16MB, max=3809.17MB, minor=1125926.50MB, major=9696.69MB, promoted=9566.02MB
    minor collections=536931  major collections=51 compactions=0


runtime: 00:09:15.621
vars: 594626, evals: 913731

|rho|=594626
|called|=26
|stable|=594621
|infl|=594582
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=554772
Found 39598 contexts for 22 functions. Top 5 functions:
39555	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1144664.91MB, max=3809.17MB, minor=1144533.91MB, major=9888.42MB, promoted=9757.42MB
    minor collections=545804  major collections=51 compactions=0


runtime: 00:09:25.677
vars: 607241, evals: 933071

|rho|=607241
|called|=31
|stable|=607240
|infl|=607193
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=566546
Found 40439 contexts for 22 functions. Top 5 functions:
40396	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1163778.74MB, max=3809.17MB, minor=1163647.41MB, major=10084.96MB, promoted=9953.64MB
    minor collections=554918  major collections=51 compactions=0


runtime: 00:09:35.728
vars: 620037, evals: 952698

|rho|=620037
|called|=21
|stable|=620036
|infl|=619997
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578488
Found 41293 contexts for 22 functions. Top 5 functions:
41250	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1183234.07MB, max=3809.17MB, minor=1183102.39MB, major=10284.68MB, promoted=10153.00MB
    minor collections=564195  major collections=51 compactions=0


runtime: 00:09:45.844
vars: 632651, evals: 972036

|rho|=632651
|called|=30
|stable|=632646
|infl|=632603
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=590262
Found 42133 contexts for 22 functions. Top 5 functions:
42090	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1202405.66MB, max=3809.17MB, minor=1202273.62MB, major=10481.07MB, promoted=10349.04MB
    minor collections=573338  major collections=52 compactions=0


runtime: 00:09:55.927
vars: 644411, evals: 990068

|rho|=644411
|called|=26
|stable|=644406
|infl|=644367
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=601238
Found 42917 contexts for 22 functions. Top 5 functions:
42874	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1220333.94MB, max=3809.17MB, minor=1220201.55MB, major=10664.92MB, promoted=10532.53MB
    minor collections=581887  major collections=52 compactions=0


runtime: 00:10:06.051
vars: 655316, evals: 1006789

|rho|=655316
|called|=27
|stable|=655311
|infl|=655271
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=611416
Found 43644 contexts for 22 functions. Top 5 functions:
43601	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1236989.64MB, max=3809.17MB, minor=1236856.92MB, major=10834.70MB, promoted=10701.97MB
    minor collections=589829  major collections=52 compactions=0


runtime: 00:10:16.202
vars: 667271, evals: 1025120

|rho|=667271
|called|=24
|stable|=667266
|infl|=667229
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=622574
Found 44441 contexts for 22 functions. Top 5 functions:
44398	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1255259.77MB, max=4380.55MB, minor=1255126.68MB, major=11021.10MB, promoted=10888.00MB
    minor collections=598541  major collections=52 compactions=0


runtime: 00:10:26.349
vars: 678851, evals: 1042881

|rho|=678851
|called|=24
|stable|=678851
|infl|=678812
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=633382
Found 45213 contexts for 22 functions. Top 5 functions:
45170	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1272968.87MB, max=4380.55MB, minor=1272835.42MB, major=11202.30MB, promoted=11068.85MB
    minor collections=606985  major collections=52 compactions=0


runtime: 00:10:36.453
vars: 690942, evals: 1061419

|rho|=690942
|called|=21
|stable|=690941
|infl|=690902
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=644666
Found 46020 contexts for 22 functions. Top 5 functions:
45977	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1291444.61MB, max=4380.55MB, minor=1291310.84MB, major=11390.30MB, promoted=11256.53MB
    minor collections=615795  major collections=52 compactions=0


runtime: 00:10:46.504
vars: 703121, evals: 1080090

|rho|=703121
|called|=31
|stable|=703116
|infl|=703073
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=656034
Found 46831 contexts for 22 functions. Top 5 functions:
46788	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1310059.81MB, max=4380.55MB, minor=1309925.69MB, major=11580.47MB, promoted=11446.35MB
    minor collections=624671  major collections=52 compactions=0


runtime: 00:10:56.580
vars: 715666, evals: 1099327

|rho|=715666
|called|=24
|stable|=715666
|infl|=715624
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=667742
Found 47668 contexts for 22 functions. Top 5 functions:
47625	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1329281.46MB, max=4380.55MB, minor=1329146.97MB, major=11776.62MB, promoted=11642.13MB
    minor collections=633837  major collections=52 compactions=0


runtime: 00:11:06.651
vars: 727091, evals: 1116849

|rho|=727091
|called|=25
|stable|=727091
|infl|=727052
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=678406
Found 48429 contexts for 22 functions. Top 5 functions:
48386	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1346824.86MB, max=4380.55MB, minor=1346690.03MB, major=11954.81MB, promoted=11819.98MB
    minor collections=642203  major collections=53 compactions=0


runtime: 00:11:16.719
vars: 738444, evals: 1134249

|rho|=738444
|called|=30
|stable|=738444
|infl|=738396
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=689002
Found 49186 contexts for 22 functions. Top 5 functions:
49143	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1364254.11MB, max=4380.55MB, minor=1364118.93MB, major=12132.10MB, promoted=11996.92MB
    minor collections=650514  major collections=53 compactions=0


runtime: 00:11:26.858
vars: 749666, evals: 1151459

|rho|=749666
|called|=23
|stable|=749661
|infl|=749625
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=699476
Found 49934 contexts for 22 functions. Top 5 functions:
49891	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1381552.76MB, max=4380.55MB, minor=1381417.22MB, major=12308.21MB, promoted=12172.66MB
    minor collections=658763  major collections=53 compactions=0


runtime: 00:11:37.001
vars: 761026, evals: 1168879

|rho|=761026
|called|=24
|stable|=761026
|infl|=760984
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=710078
Found 50692 contexts for 22 functions. Top 5 functions:
50649	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1399061.76MB, max=5037.63MB, minor=1398925.84MB, major=12485.42MB, promoted=12349.51MB
    minor collections=667111  major collections=53 compactions=0


runtime: 00:11:47.132
vars: 772091, evals: 1185844

|rho|=772091
|called|=30
|stable|=772086
|infl|=772043
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=720406
Found 51429 contexts for 22 functions. Top 5 functions:
51386	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1416141.80MB, max=5037.63MB, minor=1416005.52MB, major=12658.89MB, promoted=12522.61MB
    minor collections=675256  major collections=53 compactions=0


runtime: 00:11:57.228
vars: 782921, evals: 1202455

|rho|=782921
|called|=22
|stable|=782921
|infl|=782882
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=730514
Found 52151 contexts for 22 functions. Top 5 functions:
52108	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1432799.02MB, max=5037.63MB, minor=1432643.25MB, major=12847.58MB, promoted=12691.82MB
    minor collections=683190  major collections=53 compactions=0


runtime: 00:12:07.271
vars: 794708, evals: 1220520

|rho|=794708
|called|=28
|stable|=794707
|infl|=794661
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=741514
Found 52937 contexts for 22 functions. Top 5 functions:
52894	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1450575.18MB, max=5037.63MB, minor=1450419.02MB, major=13030.83MB, promoted=12874.67MB
    minor collections=691666  major collections=53 compactions=0


runtime: 00:12:17.311
vars: 806652, evals: 1238841

|rho|=806652
|called|=21
|stable|=806651
|infl|=806612
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=752662
Found 53734 contexts for 22 functions. Top 5 functions:
53691	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1468634.29MB, max=5037.63MB, minor=1468477.73MB, major=13217.08MB, promoted=13060.52MB
    minor collections=700277  major collections=53 compactions=0


runtime: 00:12:27.382
vars: 818756, evals: 1257397

|rho|=818756
|called|=21
|stable|=818751
|infl|=818717
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=763960
Found 54540 contexts for 22 functions. Top 5 functions:
54497	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1486919.72MB, max=5037.63MB, minor=1486762.75MB, major=13405.53MB, promoted=13248.56MB
    minor collections=708997  major collections=53 compactions=0


runtime: 00:12:37.450
vars: 830081, evals: 1274762

|rho|=830081
|called|=30
|stable|=830076
|infl|=830033
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=774530
Found 55295 contexts for 22 functions. Top 5 functions:
55252	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1504068.05MB, max=5037.63MB, minor=1503910.71MB, major=13581.62MB, promoted=13424.28MB
    minor collections=717174  major collections=54 compactions=0


runtime: 00:12:47.521
vars: 840896, evals: 1291345

|rho|=840896
|called|=24
|stable|=840891
|infl|=840854
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=784624
Found 56016 contexts for 22 functions. Top 5 functions:
55973	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1520480.78MB, max=5037.63MB, minor=1520323.07MB, major=13750.81MB, promoted=13593.10MB
    minor collections=725000  major collections=54 compactions=0


runtime: 00:12:57.653
vars: 852031, evals: 1308420

|rho|=852031
|called|=24
|stable|=852031
|infl|=851989
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=795016
Found 56759 contexts for 22 functions. Top 5 functions:
56716	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1537373.03MB, max=5037.63MB, minor=1537214.95MB, major=13924.35MB, promoted=13766.26MB
    minor collections=733055  major collections=54 compactions=0


runtime: 00:13:07.760
vars: 862973, evals: 1325193

|rho|=862973
|called|=28
|stable|=862972
|infl|=862926
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=805228
Found 57488 contexts for 22 functions. Top 5 functions:
57445	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1553993.51MB, max=5037.63MB, minor=1553835.05MB, major=14094.82MB, promoted=13936.35MB
    minor collections=740980  major collections=54 compactions=0


runtime: 00:13:17.915
vars: 874167, evals: 1342364

|rho|=874167
|called|=21
|stable|=874166
|infl|=874127
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=815676
Found 58235 contexts for 22 functions. Top 5 functions:
58192	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1571025.05MB, max=5793.28MB, minor=1570866.19MB, major=14269.35MB, promoted=14110.49MB
    minor collections=749102  major collections=54 compactions=0


runtime: 00:13:28.075
vars: 884786, evals: 1358640

|rho|=884786
|called|=31
|stable|=884785
|infl|=884738
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=825588
Found 58942 contexts for 22 functions. Top 5 functions:
58899	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1587166.96MB, max=5793.28MB, minor=1587007.72MB, major=14435.58MB, promoted=14276.35MB
    minor collections=756799  major collections=54 compactions=0


runtime: 00:13:38.174
vars: 896066, evals: 1375944

|rho|=896066
|called|=21
|stable|=896066
|infl|=896027
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=836116
Found 59694 contexts for 22 functions. Top 5 functions:
59651	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1604310.69MB, max=5793.28MB, minor=1604151.11MB, major=14611.54MB, promoted=14451.96MB
    minor collections=764974  major collections=54 compactions=0


runtime: 00:13:48.233
vars: 907647, evals: 1393700

|rho|=907647
|called|=21
|stable|=907646
|infl|=907607
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=846924
Found 60467 contexts for 22 functions. Top 5 functions:
60424	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1621888.25MB, max=5793.28MB, minor=1621728.31MB, major=14791.79MB, promoted=14631.85MB
    minor collections=773355  major collections=54 compactions=0


runtime: 00:13:58.285
vars: 918972, evals: 1411065

|rho|=918972
|called|=21
|stable|=918972
|infl|=918932
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=857494
Found 61222 contexts for 22 functions. Top 5 functions:
61179	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1639100.20MB, max=5793.28MB, minor=1638939.89MB, major=14967.48MB, promoted=14807.17MB
    minor collections=781562  major collections=54 compactions=0


runtime: 00:14:08.344
vars: 930476, evals: 1428701

|rho|=930476
|called|=30
|stable|=930471
|infl|=930428
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=868232
Found 61988 contexts for 22 functions. Top 5 functions:
61945	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1656579.54MB, max=5793.28MB, minor=1656418.86MB, major=15146.73MB, promoted=14986.05MB
    minor collections=789897  major collections=54 compactions=0


runtime: 00:14:18.407
vars: 941982, evals: 1446347

|rho|=941982
|called|=21
|stable|=941981
|infl|=941942
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=878970
Found 62756 contexts for 22 functions. Top 5 functions:
62713	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1674112.64MB, max=5793.28MB, minor=1673951.58MB, major=15325.86MB, promoted=15164.79MB
    minor collections=798258  major collections=54 compactions=0


runtime: 00:14:28.467
vars: 952421, evals: 1462350

|rho|=952421
|called|=32
|stable|=952416
|infl|=952373
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=888714
Found 63451 contexts for 22 functions. Top 5 functions:
63408	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1690026.99MB, max=5793.28MB, minor=1689865.58MB, major=15488.74MB, promoted=15327.33MB
    minor collections=805847  major collections=55 compactions=0


runtime: 00:14:38.538
vars: 962681, evals: 1478082

|rho|=962681
|called|=24
|stable|=962676
|infl|=962639
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=898290
Found 64135 contexts for 22 functions. Top 5 functions:
64092	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1705714.86MB, max=5793.28MB, minor=1705553.11MB, major=15649.15MB, promoted=15487.40MB
    minor collections=813327  major collections=55 compactions=0


runtime: 00:14:48.582
vars: 973081, evals: 1494030

|rho|=973081
|called|=24
|stable|=973081
|infl|=973039
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=907996
Found 64829 contexts for 22 functions. Top 5 functions:
64786	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1721605.77MB, max=5793.28MB, minor=1721443.66MB, major=15811.88MB, promoted=15649.77MB
    minor collections=820905  major collections=55 compactions=0


runtime: 00:14:58.673
vars: 983741, evals: 1510374

|rho|=983741
|called|=27
|stable|=983736
|infl|=983696
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=917946
Found 65539 contexts for 22 functions. Top 5 functions:
65496	contexts for entry state of pqueue_put (1540) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:1230:1-1250:1
6	contexts for entry state of get_char_code (1573) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:496:1-576:1
4	contexts for entry state of is_text (1616) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:712:1-738:1
4	contexts for entry state of print_output (1622) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:739:1-808:1
2	contexts for entry state of usage (1676) on /mnt/thread-witnesses/replication/bench/pthread/pfscan_comb.c:983:1-1001:1

Memory statistics: total=1737919.36MB, max=5793.28MB, minor=1737755.84MB, major=15979.20MB, promoted=15815.68MB
    minor collections=828683  major collections=55 compactions=0

