/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint --conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --witness.yaml.unassume korn/nested_5.yml.witness.yml --witness.yaml.validate korn/nested_5.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/nested_5.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

runtime: 00:00:10.094
vars: 34, evals: 1676

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=1163.90MB, max=14.22MB, minor=1160.96MB, major=18.83MB, promoted=15.89MB
    minor collections=556  major collections=7 compactions=0


runtime: 00:00:20.114
vars: 34, evals: 2561

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=1799.15MB, max=14.22MB, minor=1796.14MB, major=25.04MB, promoted=22.04MB
    minor collections=860  major collections=9 compactions=0


runtime: 00:00:30.128
vars: 34, evals: 3231

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=2281.44MB, max=14.22MB, minor=2278.39MB, major=29.64MB, promoted=26.59MB
    minor collections=1091  major collections=10 compactions=0


runtime: 00:00:40.161
vars: 34, evals: 3784

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=2679.27MB, max=14.22MB, minor=2676.18MB, major=33.42MB, promoted=30.33MB
    minor collections=1281  major collections=11 compactions=0


runtime: 00:00:50.187
vars: 34, evals: 4276

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=3033.50MB, max=16.36MB, minor=3030.38MB, major=36.88MB, promoted=33.76MB
    minor collections=1450  major collections=11 compactions=0


runtime: 00:01:00.192
vars: 34, evals: 4723

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=3356.40MB, max=16.36MB, minor=3353.26MB, major=40.11MB, promoted=36.96MB
    minor collections=1604  major collections=12 compactions=0


runtime: 00:01:10.223
vars: 34, evals: 5128

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=3648.81MB, max=16.36MB, minor=3645.63MB, major=42.90MB, promoted=39.72MB
    minor collections=1744  major collections=13 compactions=0


runtime: 00:01:20.226
vars: 34, evals: 5511

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=3925.88MB, max=16.36MB, minor=3922.68MB, major=45.49MB, promoted=42.30MB
    minor collections=1876  major collections=13 compactions=0


runtime: 00:01:30.241
vars: 34, evals: 5841

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=4164.78MB, max=16.36MB, minor=4161.57MB, major=47.77MB, promoted=44.55MB
    minor collections=1991  major collections=14 compactions=0


runtime: 00:01:40.250
vars: 34, evals: 6171

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=4403.54MB, max=16.36MB, minor=4400.31MB, major=49.93MB, promoted=46.70MB
    minor collections=2104  major collections=14 compactions=0


runtime: 00:01:50.254
vars: 34, evals: 6481

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=4627.51MB, max=18.81MB, minor=4624.26MB, major=52.07MB, promoted=48.82MB
    minor collections=2211  major collections=14 compactions=0


runtime: 00:02:00.285
vars: 34, evals: 6767

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=4836.21MB, max=18.81MB, minor=4832.94MB, major=54.06MB, promoted=50.80MB
    minor collections=2311  major collections=15 compactions=0


runtime: 00:02:10.279
vars: 34, evals: 7053

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5043.06MB, max=18.81MB, minor=5039.78MB, major=56.08MB, promoted=52.80MB
    minor collections=2410  major collections=15 compactions=0


runtime: 00:02:20.320
vars: 34, evals: 7315

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5232.75MB, max=18.81MB, minor=5229.45MB, major=58.04MB, promoted=54.75MB
    minor collections=2501  major collections=16 compactions=0


runtime: 00:02:30.336
vars: 34, evals: 7570

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5418.07MB, max=18.81MB, minor=5414.76MB, major=59.89MB, promoted=56.58MB
    minor collections=2589  major collections=16 compactions=0


runtime: 00:02:40.320
vars: 34, evals: 7821

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5600.49MB, max=18.81MB, minor=5597.17MB, major=61.59MB, promoted=58.27MB
    minor collections=2676  major collections=16 compactions=0


runtime: 00:02:50.325
vars: 34, evals: 8052

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5769.26MB, max=18.81MB, minor=5765.93MB, major=63.27MB, promoted=59.94MB
    minor collections=2757  major collections=16 compactions=0


runtime: 00:03:00.331
vars: 34, evals: 8274

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=5931.14MB, max=18.81MB, minor=5927.80MB, major=64.81MB, promoted=61.47MB
    minor collections=2834  major collections=17 compactions=0


runtime: 00:03:10.352
vars: 34, evals: 8503

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6097.80MB, max=18.81MB, minor=6094.45MB, major=66.37MB, promoted=63.01MB
    minor collections=2914  major collections=17 compactions=0


runtime: 00:03:20.368
vars: 34, evals: 8716

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6252.35MB, max=18.81MB, minor=6248.99MB, major=67.85MB, promoted=64.49MB
    minor collections=2988  major collections=17 compactions=0


runtime: 00:03:30.377
vars: 34, evals: 8921

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6401.19MB, max=18.81MB, minor=6397.82MB, major=69.29MB, promoted=65.92MB
    minor collections=3059  major collections=18 compactions=0


runtime: 00:03:40.395
vars: 34, evals: 9121

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6547.75MB, max=18.81MB, minor=6544.37MB, major=70.73MB, promoted=67.34MB
    minor collections=3129  major collections=18 compactions=0


runtime: 00:03:50.392
vars: 34, evals: 9321

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6694.04MB, max=18.81MB, minor=6690.65MB, major=72.12MB, promoted=68.73MB
    minor collections=3199  major collections=18 compactions=0


runtime: 00:04:00.433
vars: 34, evals: 9515

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6835.12MB, max=21.63MB, minor=6831.72MB, major=73.53MB, promoted=70.13MB
    minor collections=3266  major collections=18 compactions=0


runtime: 00:04:10.414
vars: 34, evals: 9695

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=6965.09MB, max=21.63MB, minor=6961.68MB, major=74.79MB, promoted=71.38MB
    minor collections=3328  major collections=18 compactions=0


runtime: 00:04:20.430
vars: 34, evals: 9878

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7099.53MB, max=21.63MB, minor=7096.11MB, major=76.20MB, promoted=72.79MB
    minor collections=3392  major collections=19 compactions=0


runtime: 00:04:30.442
vars: 34, evals: 10056

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7229.33MB, max=21.63MB, minor=7225.91MB, major=77.47MB, promoted=74.05MB
    minor collections=3454  major collections=19 compactions=0


runtime: 00:04:40.489
vars: 34, evals: 10232

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7358.48MB, max=21.63MB, minor=7355.05MB, major=78.69MB, promoted=75.26MB
    minor collections=3516  major collections=19 compactions=0


runtime: 00:04:50.470
vars: 34, evals: 10399

|rho|=34
|called|=14
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7481.11MB, max=21.63MB, minor=7477.68MB, major=79.81MB, promoted=76.37MB
    minor collections=3574  major collections=19 compactions=0


runtime: 00:05:00.518
vars: 34, evals: 10562

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7599.54MB, max=21.63MB, minor=7596.10MB, major=81.00MB, promoted=77.55MB
    minor collections=3631  major collections=19 compactions=0


runtime: 00:05:10.490
vars: 34, evals: 10725

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7718.08MB, max=21.63MB, minor=7714.64MB, major=82.13MB, promoted=78.68MB
    minor collections=3688  major collections=20 compactions=0


runtime: 00:05:20.532
vars: 34, evals: 10883

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7834.44MB, max=21.63MB, minor=7830.99MB, major=83.16MB, promoted=79.71MB
    minor collections=3743  major collections=20 compactions=0


runtime: 00:05:30.527
vars: 34, evals: 11044

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=7952.76MB, max=21.63MB, minor=7949.30MB, major=84.36MB, promoted=80.90MB
    minor collections=3800  major collections=20 compactions=0


runtime: 00:05:40.543
vars: 34, evals: 11200

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8067.39MB, max=21.63MB, minor=8063.92MB, major=85.44MB, promoted=81.97MB
    minor collections=3854  major collections=20 compactions=0


runtime: 00:05:50.533
vars: 34, evals: 11345

|rho|=34
|called|=13
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8175.13MB, max=21.63MB, minor=8171.66MB, major=86.43MB, promoted=82.96MB
    minor collections=3906  major collections=20 compactions=0


runtime: 00:06:00.572
vars: 34, evals: 11495

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8283.26MB, max=21.63MB, minor=8279.79MB, major=87.42MB, promoted=83.95MB
    minor collections=3957  major collections=20 compactions=0


runtime: 00:06:10.599
vars: 34, evals: 11640

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8389.66MB, max=21.63MB, minor=8386.18MB, major=88.43MB, promoted=84.95MB
    minor collections=4009  major collections=21 compactions=0


runtime: 00:06:20.585
vars: 34, evals: 11783

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8494.76MB, max=21.63MB, minor=8491.27MB, major=89.39MB, promoted=85.90MB
    minor collections=4059  major collections=21 compactions=0


runtime: 00:06:30.614
vars: 34, evals: 11926

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8599.75MB, max=21.63MB, minor=8596.25MB, major=90.41MB, promoted=86.91MB
    minor collections=4109  major collections=21 compactions=0


runtime: 00:06:40.597
vars: 34, evals: 12069

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8703.10MB, max=21.63MB, minor=8699.60MB, major=91.43MB, promoted=87.93MB
    minor collections=4158  major collections=21 compactions=0


runtime: 00:06:50.660
vars: 34, evals: 12203

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8803.26MB, max=21.63MB, minor=8799.76MB, major=92.33MB, promoted=88.83MB
    minor collections=4206  major collections=21 compactions=0


runtime: 00:07:00.615
vars: 34, evals: 12335

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8901.91MB, max=21.63MB, minor=8898.40MB, major=93.29MB, promoted=89.78MB
    minor collections=4253  major collections=21 compactions=0


runtime: 00:07:10.629
vars: 34, evals: 12467

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=8998.44MB, max=21.63MB, minor=8994.93MB, major=94.20MB, promoted=90.69MB
    minor collections=4299  major collections=22 compactions=0


runtime: 00:07:20.651
vars: 34, evals: 12599

|rho|=34
|called|=14
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9096.48MB, max=21.63MB, minor=9092.96MB, major=95.15MB, promoted=91.64MB
    minor collections=4346  major collections=22 compactions=0


runtime: 00:07:30.704
vars: 34, evals: 12729

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9191.49MB, max=21.63MB, minor=9187.96MB, major=96.14MB, promoted=92.62MB
    minor collections=4391  major collections=22 compactions=0


runtime: 00:07:40.736
vars: 34, evals: 12859

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9286.27MB, max=21.63MB, minor=9282.74MB, major=97.10MB, promoted=93.57MB
    minor collections=4437  major collections=22 compactions=0


runtime: 00:07:50.699
vars: 34, evals: 12984

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9378.37MB, max=21.63MB, minor=9374.84MB, major=97.99MB, promoted=94.47MB
    minor collections=4481  major collections=22 compactions=0


runtime: 00:08:00.676
vars: 34, evals: 13112

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9470.93MB, max=21.63MB, minor=9467.39MB, major=98.75MB, promoted=95.22MB
    minor collections=4525  major collections=22 compactions=0


runtime: 00:08:10.734
vars: 34, evals: 13230

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9559.12MB, max=21.63MB, minor=9555.58MB, major=99.57MB, promoted=96.03MB
    minor collections=4567  major collections=22 compactions=0


runtime: 00:08:20.690
vars: 34, evals: 13347

|rho|=34
|called|=14
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9645.72MB, max=21.63MB, minor=9642.18MB, major=100.35MB, promoted=96.81MB
    minor collections=4608  major collections=22 compactions=0


runtime: 00:08:30.722
vars: 34, evals: 13466

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9732.86MB, max=21.63MB, minor=9729.31MB, major=101.14MB, promoted=97.60MB
    minor collections=4650  major collections=23 compactions=0


runtime: 00:08:40.732
vars: 34, evals: 13585

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9820.49MB, max=21.63MB, minor=9816.94MB, major=101.97MB, promoted=98.42MB
    minor collections=4692  major collections=23 compactions=0


runtime: 00:08:50.725
vars: 34, evals: 13706

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9907.80MB, max=21.63MB, minor=9904.25MB, major=102.90MB, promoted=99.35MB
    minor collections=4734  major collections=23 compactions=0


runtime: 00:09:00.740
vars: 34, evals: 13820

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=9992.58MB, max=21.63MB, minor=9989.03MB, major=103.71MB, promoted=100.15MB
    minor collections=4774  major collections=23 compactions=0


runtime: 00:09:10.793
vars: 34, evals: 13937

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10079.06MB, max=24.88MB, minor=10075.50MB, major=104.53MB, promoted=100.97MB
    minor collections=4815  major collections=23 compactions=0


runtime: 00:09:20.813
vars: 34, evals: 14051

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10162.90MB, max=24.88MB, minor=10159.34MB, major=105.36MB, promoted=101.79MB
    minor collections=4855  major collections=23 compactions=0


runtime: 00:09:30.828
vars: 34, evals: 14161

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10244.17MB, max=24.88MB, minor=10240.60MB, major=106.13MB, promoted=102.56MB
    minor collections=4894  major collections=23 compactions=0


runtime: 00:09:40.806
vars: 34, evals: 14269

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10324.40MB, max=24.88MB, minor=10320.83MB, major=106.90MB, promoted=103.32MB
    minor collections=4932  major collections=23 compactions=0


runtime: 00:09:50.837
vars: 34, evals: 14377

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10404.17MB, max=24.88MB, minor=10400.59MB, major=107.65MB, promoted=104.08MB
    minor collections=4970  major collections=23 compactions=0


runtime: 00:10:00.804
vars: 34, evals: 14484

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10483.01MB, max=24.88MB, minor=10479.43MB, major=108.43MB, promoted=104.85MB
    minor collections=5008  major collections=24 compactions=0


runtime: 00:10:10.883
vars: 34, evals: 14590

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10560.69MB, max=24.88MB, minor=10557.11MB, major=109.17MB, promoted=105.59MB
    minor collections=5045  major collections=24 compactions=0


runtime: 00:10:20.863
vars: 34, evals: 14698

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10640.51MB, max=24.88MB, minor=10636.92MB, major=109.97MB, promoted=106.38MB
    minor collections=5083  major collections=24 compactions=0


runtime: 00:10:30.897
vars: 34, evals: 14806

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10721.04MB, max=24.88MB, minor=10717.45MB, major=110.77MB, promoted=107.18MB
    minor collections=5122  major collections=24 compactions=0


runtime: 00:10:40.846
vars: 34, evals: 14909

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10796.67MB, max=24.88MB, minor=10793.08MB, major=111.41MB, promoted=107.82MB
    minor collections=5158  major collections=24 compactions=0


runtime: 00:10:50.898
vars: 34, evals: 15015

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10875.26MB, max=24.88MB, minor=10871.67MB, major=112.14MB, promoted=108.55MB
    minor collections=5195  major collections=24 compactions=0


runtime: 00:11:00.928
vars: 34, evals: 15116

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=10949.01MB, max=24.88MB, minor=10945.41MB, major=112.90MB, promoted=109.30MB
    minor collections=5231  major collections=24 compactions=0


runtime: 00:11:10.913
vars: 34, evals: 15215

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11022.10MB, max=24.88MB, minor=11018.50MB, major=113.58MB, promoted=109.98MB
    minor collections=5265  major collections=24 compactions=0


runtime: 00:11:20.911
vars: 34, evals: 15312

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11094.60MB, max=24.88MB, minor=11090.99MB, major=114.23MB, promoted=110.63MB
    minor collections=5300  major collections=24 compactions=0


runtime: 00:11:30.928
vars: 34, evals: 15411

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11168.15MB, max=24.88MB, minor=11164.55MB, major=114.96MB, promoted=111.35MB
    minor collections=5335  major collections=24 compactions=0


runtime: 00:11:40.996
vars: 34, evals: 15510

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11241.30MB, max=24.88MB, minor=11237.69MB, major=115.67MB, promoted=112.06MB
    minor collections=5370  major collections=25 compactions=0


runtime: 00:11:51.000
vars: 34, evals: 15606

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11312.71MB, max=24.88MB, minor=11309.10MB, major=116.39MB, promoted=112.78MB
    minor collections=5404  major collections=25 compactions=0


runtime: 00:12:00.919
vars: 34, evals: 15701

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11381.60MB, max=24.88MB, minor=11377.98MB, major=117.06MB, promoted=113.44MB
    minor collections=5437  major collections=25 compactions=0


runtime: 00:12:10.944
vars: 34, evals: 15798

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11454.31MB, max=24.88MB, minor=11450.69MB, major=117.76MB, promoted=114.14MB
    minor collections=5472  major collections=25 compactions=0


runtime: 00:12:20.939
vars: 34, evals: 15895

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11525.12MB, max=24.88MB, minor=11521.50MB, major=118.48MB, promoted=114.86MB
    minor collections=5506  major collections=25 compactions=0


runtime: 00:12:31.017
vars: 34, evals: 15987

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11594.57MB, max=24.88MB, minor=11590.94MB, major=119.10MB, promoted=115.47MB
    minor collections=5539  major collections=25 compactions=0


runtime: 00:12:41.021
vars: 34, evals: 16082

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11664.74MB, max=24.88MB, minor=11661.11MB, major=119.77MB, promoted=116.14MB
    minor collections=5572  major collections=25 compactions=0


runtime: 00:12:51.012
vars: 34, evals: 16172

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11730.99MB, max=24.88MB, minor=11727.35MB, major=120.40MB, promoted=116.77MB
    minor collections=5604  major collections=25 compactions=0


runtime: 00:13:00.979
vars: 34, evals: 16262

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11797.34MB, max=24.88MB, minor=11793.70MB, major=121.04MB, promoted=117.41MB
    minor collections=5636  major collections=25 compactions=0


runtime: 00:13:11.005
vars: 34, evals: 16350

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11861.98MB, max=24.88MB, minor=11858.35MB, major=121.61MB, promoted=117.97MB
    minor collections=5666  major collections=25 compactions=0


runtime: 00:13:21.018
vars: 34, evals: 16438

|rho|=34
|called|=14
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11929.04MB, max=24.88MB, minor=11925.40MB, major=122.25MB, promoted=118.61MB
    minor collections=5698  major collections=25 compactions=0


runtime: 00:13:31.007
vars: 34, evals: 16526

|rho|=34
|called|=13
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=11995.02MB, max=24.88MB, minor=11991.38MB, major=122.88MB, promoted=119.24MB
    minor collections=5730  major collections=26 compactions=0


runtime: 00:13:41.019
vars: 34, evals: 16618

|rho|=34
|called|=16
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12060.90MB, max=24.88MB, minor=12057.25MB, major=123.57MB, promoted=119.92MB
    minor collections=5762  major collections=26 compactions=0


runtime: 00:13:51.026
vars: 34, evals: 16706

|rho|=34
|called|=17
|stable|=33
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12126.14MB, max=24.88MB, minor=12122.49MB, major=124.17MB, promoted=120.52MB
    minor collections=5793  major collections=26 compactions=0


runtime: 00:14:01.042
vars: 34, evals: 16790

|rho|=34
|called|=13
|stable|=34
|infl|=27
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12191.16MB, max=24.88MB, minor=12187.51MB, major=124.77MB, promoted=121.12MB
    minor collections=5824  major collections=26 compactions=0


runtime: 00:14:11.052
vars: 34, evals: 16878

|rho|=34
|called|=17
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12253.71MB, max=24.88MB, minor=12250.05MB, major=125.39MB, promoted=121.73MB
    minor collections=5854  major collections=26 compactions=0


runtime: 00:14:21.146
vars: 34, evals: 16964

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12318.55MB, max=24.88MB, minor=12314.90MB, major=126.01MB, promoted=122.36MB
    minor collections=5885  major collections=26 compactions=0


runtime: 00:14:31.149
vars: 34, evals: 17050

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12382.08MB, max=24.88MB, minor=12378.42MB, major=126.58MB, promoted=122.92MB
    minor collections=5915  major collections=26 compactions=0


runtime: 00:14:41.089
vars: 34, evals: 17131

|rho|=34
|called|=16
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12442.99MB, max=24.88MB, minor=12439.33MB, major=127.19MB, promoted=123.53MB
    minor collections=5944  major collections=26 compactions=0


runtime: 00:14:51.183
vars: 34, evals: 17215

|rho|=34
|called|=15
|stable|=34
|infl|=27
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_5.c:15:1-38:1

Memory statistics: total=12505.40MB, max=24.88MB, minor=12501.74MB, major=127.80MB, promoted=124.14MB
    minor collections=5974  major collections=26 compactions=0

