/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_4.yml.witness.yml --witness.yaml.validate korn/nested_4.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/nested_4.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.093
vars: 28, evals: 4091

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

Memory statistics: total=6474.53MB, max=16.36MB, minor=6471.51MB, major=41.77MB, promoted=38.75MB
    minor collections=3091  major collections=12 compactions=0


runtime: 00:00:20.088
vars: 28, evals: 6647

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

Memory statistics: total=11187.95MB, max=18.81MB, minor=11184.84MB, major=64.85MB, promoted=61.75MB
    minor collections=5341  major collections=17 compactions=0


runtime: 00:00:30.115
vars: 28, evals: 8607

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=14847.77MB, max=18.81MB, minor=14844.60MB, major=82.49MB, promoted=79.32MB
    minor collections=7088  major collections=21 compactions=0


runtime: 00:00:40.138
vars: 28, evals: 10253

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

Memory statistics: total=18191.56MB, max=21.63MB, minor=18188.33MB, major=97.92MB, promoted=94.69MB
    minor collections=8684  major collections=23 compactions=0


runtime: 00:00:50.166
vars: 28, evals: 11665

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

Memory statistics: total=21073.28MB, max=21.63MB, minor=21070.00MB, major=111.08MB, promoted=107.81MB
    minor collections=10059  major collections=25 compactions=0


runtime: 00:01:00.197
vars: 28, evals: 12886

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

Memory statistics: total=23631.30MB, max=21.63MB, minor=23628.00MB, major=123.03MB, promoted=119.73MB
    minor collections=11280  major collections=27 compactions=0


runtime: 00:01:10.216
vars: 28, evals: 14006

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

Memory statistics: total=26046.14MB, max=21.63MB, minor=26042.82MB, major=133.99MB, promoted=130.66MB
    minor collections=12432  major collections=29 compactions=0


runtime: 00:01:20.238
vars: 28, evals: 14987

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

Memory statistics: total=28045.13MB, max=24.88MB, minor=28041.77MB, major=143.49MB, promoted=140.13MB
    minor collections=13386  major collections=30 compactions=0


runtime: 00:01:30.247
vars: 28, evals: 15889

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=30015.13MB, max=24.88MB, minor=30011.74MB, major=152.43MB, promoted=149.04MB
    minor collections=14326  major collections=32 compactions=0


runtime: 00:01:40.267
vars: 28, evals: 16736

|rho|=28
|called|=11
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=31896.87MB, max=24.88MB, minor=31893.46MB, major=160.70MB, promoted=157.29MB
    minor collections=15224  major collections=33 compactions=0


runtime: 00:01:50.282
vars: 28, evals: 17495

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

Memory statistics: total=33688.82MB, max=24.88MB, minor=33685.38MB, major=168.79MB, promoted=165.35MB
    minor collections=16079  major collections=34 compactions=0


runtime: 00:02:00.303
vars: 28, evals: 18217

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

Memory statistics: total=35227.26MB, max=24.88MB, minor=35223.81MB, major=175.90MB, promoted=172.45MB
    minor collections=16813  major collections=35 compactions=0


runtime: 00:02:10.333
vars: 28, evals: 18903

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

Memory statistics: total=36797.26MB, max=24.88MB, minor=36793.79MB, major=182.94MB, promoted=179.47MB
    minor collections=17562  major collections=36 compactions=0


runtime: 00:02:20.352
vars: 28, evals: 19537

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

Memory statistics: total=38199.02MB, max=28.61MB, minor=38195.53MB, major=189.22MB, promoted=185.73MB
    minor collections=18231  major collections=36 compactions=0


runtime: 00:02:30.372
vars: 28, evals: 20142

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

Memory statistics: total=39735.96MB, max=28.61MB, minor=39732.45MB, major=195.64MB, promoted=192.12MB
    minor collections=18964  major collections=37 compactions=0


runtime: 00:02:40.391
vars: 28, evals: 20712

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

Memory statistics: total=41275.21MB, max=28.61MB, minor=41271.69MB, major=202.08MB, promoted=198.56MB
    minor collections=19698  major collections=38 compactions=0


runtime: 00:02:50.406
vars: 28, evals: 21290

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=42342.71MB, max=28.61MB, minor=42339.17MB, major=207.36MB, promoted=203.82MB
    minor collections=20208  major collections=39 compactions=0


runtime: 00:03:00.431
vars: 28, evals: 21800

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

Memory statistics: total=43634.13MB, max=28.61MB, minor=43630.57MB, major=212.91MB, promoted=209.35MB
    minor collections=20824  major collections=39 compactions=0


runtime: 00:03:10.455
vars: 28, evals: 22287

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

Memory statistics: total=44963.88MB, max=28.61MB, minor=44960.31MB, major=218.46MB, promoted=214.89MB
    minor collections=21458  major collections=40 compactions=0


runtime: 00:03:20.468
vars: 28, evals: 22786

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=45885.40MB, max=28.61MB, minor=45881.83MB, major=222.96MB, promoted=219.38MB
    minor collections=21898  major collections=40 compactions=0


runtime: 00:03:30.479
vars: 28, evals: 23237

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=47255.15MB, max=28.61MB, minor=47251.56MB, major=228.47MB, promoted=224.88MB
    minor collections=22551  major collections=41 compactions=0


runtime: 00:03:40.495
vars: 28, evals: 23699

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=48174.91MB, max=28.61MB, minor=48171.31MB, major=232.92MB, promoted=229.33MB
    minor collections=22991  major collections=42 compactions=0


runtime: 00:03:50.510
vars: 28, evals: 24139

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=49405.01MB, max=32.90MB, minor=49401.40MB, major=237.86MB, promoted=234.25MB
    minor collections=23577  major collections=42 compactions=0


runtime: 00:04:00.526
vars: 28, evals: 24568

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=50290.92MB, max=32.90MB, minor=50287.30MB, major=241.94MB, promoted=238.32MB
    minor collections=24000  major collections=43 compactions=0


runtime: 00:04:10.545
vars: 28, evals: 24975

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=51496.24MB, max=32.90MB, minor=51492.60MB, major=246.74MB, promoted=243.10MB
    minor collections=24575  major collections=43 compactions=0


runtime: 00:04:20.556
vars: 28, evals: 25360

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=52271.44MB, max=32.90MB, minor=52267.80MB, major=250.30MB, promoted=246.66MB
    minor collections=24945  major collections=44 compactions=0


runtime: 00:04:30.584
vars: 28, evals: 25734

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

Memory statistics: total=53580.21MB, max=32.90MB, minor=53576.55MB, major=255.25MB, promoted=251.59MB
    minor collections=25569  major collections=44 compactions=0


runtime: 00:04:40.599
vars: 28, evals: 26097

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=54120.19MB, max=32.90MB, minor=54116.53MB, major=258.26MB, promoted=254.59MB
    minor collections=25826  major collections=44 compactions=0


runtime: 00:04:50.619
vars: 28, evals: 26438

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=55109.11MB, max=32.90MB, minor=55105.44MB, major=262.38MB, promoted=258.71MB
    minor collections=26299  major collections=45 compactions=0


runtime: 00:05:00.638
vars: 28, evals: 26801

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=56031.51MB, max=32.90MB, minor=56027.83MB, major=266.21MB, promoted=262.53MB
    minor collections=26738  major collections=45 compactions=0


runtime: 00:05:10.650
vars: 28, evals: 27129

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

Memory statistics: total=56750.78MB, max=32.90MB, minor=56747.09MB, major=269.59MB, promoted=265.91MB
    minor collections=27082  major collections=46 compactions=0


runtime: 00:05:20.660
vars: 28, evals: 27450

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=57888.72MB, max=32.90MB, minor=57885.03MB, major=273.83MB, promoted=270.14MB
    minor collections=27624  major collections=46 compactions=0


runtime: 00:05:30.685
vars: 28, evals: 27778

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

Memory statistics: total=58360.52MB, max=32.90MB, minor=58356.82MB, major=276.38MB, promoted=272.68MB
    minor collections=27849  major collections=46 compactions=0


runtime: 00:05:40.699
vars: 28, evals: 28088

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=59184.13MB, max=32.90MB, minor=59180.42MB, major=279.82MB, promoted=276.12MB
    minor collections=28243  major collections=47 compactions=0


runtime: 00:05:50.718
vars: 28, evals: 28381

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

Memory statistics: total=60313.93MB, max=32.90MB, minor=60310.20MB, major=284.07MB, promoted=280.35MB
    minor collections=28781  major collections=47 compactions=0


runtime: 00:06:00.734
vars: 28, evals: 28682

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=60804.79MB, max=32.90MB, minor=60801.05MB, major=286.52MB, promoted=282.79MB
    minor collections=29015  major collections=47 compactions=0


runtime: 00:06:10.749
vars: 28, evals: 28990

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=61596.15MB, max=32.90MB, minor=61592.41MB, major=289.87MB, promoted=286.13MB
    minor collections=29393  major collections=48 compactions=0


runtime: 00:06:20.765
vars: 28, evals: 29276

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=62673.24MB, max=32.90MB, minor=62669.50MB, major=294.02MB, promoted=290.27MB
    minor collections=29907  major collections=48 compactions=0


runtime: 00:06:30.772
vars: 28, evals: 29584

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=63096.55MB, max=32.90MB, minor=63092.80MB, major=296.41MB, promoted=292.66MB
    minor collections=30109  major collections=48 compactions=0


runtime: 00:06:40.785
vars: 28, evals: 29899

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

Memory statistics: total=63881.10MB, max=32.90MB, minor=63877.35MB, major=299.91MB, promoted=296.16MB
    minor collections=30483  major collections=49 compactions=0


runtime: 00:06:50.797
vars: 28, evals: 30174

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

Memory statistics: total=64913.10MB, max=32.90MB, minor=64909.34MB, major=303.88MB, promoted=300.12MB
    minor collections=30975  major collections=49 compactions=0


runtime: 00:07:00.810
vars: 28, evals: 30442

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=65366.26MB, max=32.90MB, minor=65362.49MB, major=306.42MB, promoted=302.65MB
    minor collections=31192  major collections=49 compactions=0


runtime: 00:07:10.822
vars: 28, evals: 30715

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

Memory statistics: total=65979.73MB, max=32.90MB, minor=65975.95MB, major=309.15MB, promoted=305.37MB
    minor collections=31485  major collections=50 compactions=0


runtime: 00:07:20.845
vars: 28, evals: 30979

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

Memory statistics: total=66924.77MB, max=32.90MB, minor=66920.99MB, major=312.59MB, promoted=308.81MB
    minor collections=31935  major collections=50 compactions=0


runtime: 00:07:30.864
vars: 28, evals: 31234

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=67625.36MB, max=37.84MB, minor=67621.57MB, major=315.52MB, promoted=311.73MB
    minor collections=32269  major collections=50 compactions=0


runtime: 00:07:40.872
vars: 28, evals: 31487

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=68053.09MB, max=37.84MB, minor=68049.30MB, major=317.68MB, promoted=313.89MB
    minor collections=32473  major collections=50 compactions=0


runtime: 00:07:50.879
vars: 28, evals: 31751

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=68776.14MB, max=37.84MB, minor=68772.35MB, major=320.65MB, promoted=316.85MB
    minor collections=32818  major collections=51 compactions=0


runtime: 00:08:00.890
vars: 28, evals: 31993

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=69744.74MB, max=37.84MB, minor=69740.94MB, major=324.04MB, promoted=320.24MB
    minor collections=33280  major collections=51 compactions=0


runtime: 00:08:10.902
vars: 28, evals: 32235

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=70285.24MB, max=37.84MB, minor=70281.43MB, major=326.41MB, promoted=322.60MB
    minor collections=33538  major collections=51 compactions=0


runtime: 00:08:20.909
vars: 28, evals: 32473

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

Memory statistics: total=70749.26MB, max=37.84MB, minor=70745.44MB, major=328.52MB, promoted=324.70MB
    minor collections=33759  major collections=51 compactions=0


runtime: 00:08:30.916
vars: 28, evals: 32708

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=71408.12MB, max=37.84MB, minor=71404.30MB, major=331.28MB, promoted=327.45MB
    minor collections=34074  major collections=52 compactions=0


runtime: 00:08:40.932
vars: 28, evals: 32944

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

Memory statistics: total=72312.14MB, max=37.84MB, minor=72308.31MB, major=334.67MB, promoted=330.84MB
    minor collections=34505  major collections=52 compactions=0


runtime: 00:08:50.943
vars: 28, evals: 33170

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=72828.88MB, max=37.84MB, minor=72825.04MB, major=337.06MB, promoted=333.23MB
    minor collections=34752  major collections=52 compactions=0


runtime: 00:09:00.961
vars: 28, evals: 33421

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

Memory statistics: total=73268.36MB, max=37.84MB, minor=73264.52MB, major=339.17MB, promoted=335.33MB
    minor collections=34961  major collections=52 compactions=0


runtime: 00:09:10.974
vars: 28, evals: 33636

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

Memory statistics: total=73843.71MB, max=37.84MB, minor=73839.87MB, major=341.73MB, promoted=337.89MB
    minor collections=35236  major collections=53 compactions=0


runtime: 00:09:20.982
vars: 28, evals: 33859

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

Memory statistics: total=74685.00MB, max=37.84MB, minor=74681.16MB, major=344.85MB, promoted=341.00MB
    minor collections=35637  major collections=53 compactions=0


runtime: 00:09:30.992
vars: 28, evals: 34072

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=75372.31MB, max=37.84MB, minor=75368.45MB, major=347.48MB, promoted=343.62MB
    minor collections=35965  major collections=53 compactions=0


runtime: 00:09:41.008
vars: 28, evals: 34297

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

Memory statistics: total=75754.14MB, max=37.84MB, minor=75750.28MB, major=349.43MB, promoted=345.58MB
    minor collections=36147  major collections=53 compactions=0


runtime: 00:09:51.015
vars: 28, evals: 34523

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=76309.07MB, max=37.84MB, minor=76305.21MB, major=351.83MB, promoted=347.97MB
    minor collections=36412  major collections=53 compactions=0


runtime: 00:10:01.026
vars: 28, evals: 34743

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=77059.09MB, max=37.84MB, minor=77055.23MB, major=354.59MB, promoted=350.72MB
    minor collections=36770  major collections=54 compactions=0


runtime: 00:10:11.035
vars: 28, evals: 34963

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

Memory statistics: total=78019.75MB, max=37.84MB, minor=78015.88MB, major=357.95MB, promoted=354.08MB
    minor collections=37228  major collections=54 compactions=0


runtime: 00:10:21.041
vars: 28, evals: 35172

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=78280.25MB, max=37.84MB, minor=78276.37MB, major=359.49MB, promoted=355.62MB
    minor collections=37352  major collections=54 compactions=0


runtime: 00:10:31.052
vars: 28, evals: 35392

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=78711.69MB, max=37.84MB, minor=78707.81MB, major=361.39MB, promoted=357.50MB
    minor collections=37558  major collections=54 compactions=0


runtime: 00:10:41.056
vars: 28, evals: 35590

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=79252.13MB, max=37.84MB, minor=79248.24MB, major=363.60MB, promoted=359.72MB
    minor collections=37816  major collections=55 compactions=0


runtime: 00:10:51.067
vars: 28, evals: 35788

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=79973.44MB, max=37.84MB, minor=79969.55MB, major=366.24MB, promoted=362.35MB
    minor collections=38160  major collections=55 compactions=0


runtime: 00:11:01.086
vars: 28, evals: 35993

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

Memory statistics: total=80895.05MB, max=37.84MB, minor=80891.14MB, major=369.44MB, promoted=365.53MB
    minor collections=38599  major collections=55 compactions=0


runtime: 00:11:11.090
vars: 28, evals: 36195

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=81205.32MB, max=37.84MB, minor=81201.40MB, major=371.16MB, promoted=367.24MB
    minor collections=38747  major collections=55 compactions=0


runtime: 00:11:21.109
vars: 28, evals: 36393

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

Memory statistics: total=81601.54MB, max=37.84MB, minor=81597.62MB, major=373.03MB, promoted=369.11MB
    minor collections=38936  major collections=55 compactions=0


runtime: 00:11:31.113
vars: 28, evals: 36578

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

Memory statistics: total=82097.99MB, max=37.84MB, minor=82094.07MB, major=375.12MB, promoted=371.19MB
    minor collections=39173  major collections=56 compactions=0


runtime: 00:11:41.124
vars: 28, evals: 36756

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=82743.65MB, max=37.84MB, minor=82739.73MB, major=377.57MB, promoted=373.64MB
    minor collections=39481  major collections=56 compactions=0


runtime: 00:11:51.148
vars: 28, evals: 36943

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=83578.04MB, max=37.84MB, minor=83574.11MB, major=380.49MB, promoted=376.56MB
    minor collections=39879  major collections=56 compactions=0


runtime: 00:12:01.159
vars: 28, evals: 37141

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=83915.16MB, max=37.84MB, minor=83911.22MB, major=382.14MB, promoted=378.20MB
    minor collections=40040  major collections=56 compactions=0


runtime: 00:12:11.166
vars: 28, evals: 37339

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=84256.28MB, max=37.84MB, minor=84252.33MB, major=383.74MB, promoted=379.80MB
    minor collections=40203  major collections=56 compactions=0


runtime: 00:12:21.178
vars: 28, evals: 37526

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=84714.32MB, max=37.84MB, minor=84710.37MB, major=385.71MB, promoted=381.77MB
    minor collections=40421  major collections=56 compactions=0


runtime: 00:12:31.190
vars: 28, evals: 37702

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=85277.39MB, max=37.84MB, minor=85273.44MB, major=387.84MB, promoted=383.89MB
    minor collections=40690  major collections=57 compactions=0


runtime: 00:12:41.197
vars: 28, evals: 37900

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=86087.37MB, max=37.84MB, minor=86083.42MB, major=390.92MB, promoted=386.97MB
    minor collections=41076  major collections=57 compactions=0


runtime: 00:12:51.205
vars: 28, evals: 38076

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=86717.61MB, max=37.84MB, minor=86713.65MB, major=393.37MB, promoted=389.41MB
    minor collections=41377  major collections=57 compactions=0


runtime: 00:13:01.212
vars: 28, evals: 38252

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=87002.18MB, max=37.84MB, minor=86998.21MB, major=394.96MB, promoted=391.00MB
    minor collections=41512  major collections=57 compactions=0


runtime: 00:13:11.225
vars: 28, evals: 38437

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

Memory statistics: total=87377.87MB, max=37.84MB, minor=87373.90MB, major=396.71MB, promoted=392.75MB
    minor collections=41692  major collections=57 compactions=0


runtime: 00:13:21.235
vars: 28, evals: 38604

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=87835.84MB, max=37.84MB, minor=87831.88MB, major=398.66MB, promoted=394.69MB
    minor collections=41910  major collections=58 compactions=0


runtime: 00:13:31.253
vars: 28, evals: 38767

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

Memory statistics: total=88390.00MB, max=37.84MB, minor=88386.03MB, major=400.76MB, promoted=396.79MB
    minor collections=42175  major collections=58 compactions=0


runtime: 00:13:41.262
vars: 28, evals: 38934

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=89138.05MB, max=37.84MB, minor=89134.09MB, major=403.35MB, promoted=399.39MB
    minor collections=42531  major collections=58 compactions=0


runtime: 00:13:51.276
vars: 28, evals: 39099

|rho|=28
|called|=11
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=89633.83MB, max=43.51MB, minor=89629.86MB, major=405.41MB, promoted=401.44MB
    minor collections=42768  major collections=58 compactions=0


runtime: 00:14:01.289
vars: 28, evals: 39258

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

Memory statistics: total=89848.71MB, max=43.51MB, minor=89844.74MB, major=406.62MB, promoted=402.65MB
    minor collections=42870  major collections=58 compactions=0


runtime: 00:14:11.296
vars: 28, evals: 39418

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=90171.09MB, max=43.51MB, minor=90167.11MB, major=408.16MB, promoted=404.19MB
    minor collections=43024  major collections=58 compactions=0


runtime: 00:14:21.306
vars: 28, evals: 39605

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

Memory statistics: total=90642.73MB, max=43.51MB, minor=90638.76MB, major=410.24MB, promoted=406.26MB
    minor collections=43249  major collections=58 compactions=0


runtime: 00:14:31.311
vars: 28, evals: 39781

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=91225.32MB, max=43.51MB, minor=91221.34MB, major=412.36MB, promoted=408.37MB
    minor collections=43527  major collections=59 compactions=0


runtime: 00:14:41.323
vars: 28, evals: 39946

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=91904.23MB, max=43.51MB, minor=91900.25MB, major=414.78MB, promoted=410.80MB
    minor collections=43851  major collections=59 compactions=0


runtime: 00:14:51.332
vars: 28, evals: 40093

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

Memory statistics: total=92564.75MB, max=43.51MB, minor=92560.75MB, major=417.20MB, promoted=413.20MB
    minor collections=44166  major collections=59 compactions=0

