/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.114
vars: 28, evals: 3994

|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=6387.16MB, max=16.36MB, minor=6384.14MB, major=40.97MB, promoted=37.95MB
    minor collections=3050  major collections=12 compactions=0


runtime: 00:00:20.141
vars: 28, evals: 6528

|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=11048.11MB, max=16.36MB, minor=11045.00MB, major=63.62MB, promoted=60.51MB
    minor collections=5275  major collections=17 compactions=0


runtime: 00:00:30.189
vars: 28, evals: 8539

|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=14765.05MB, max=18.81MB, minor=14761.89MB, major=81.68MB, promoted=78.51MB
    minor collections=7048  major collections=20 compactions=0


runtime: 00:00:40.228
vars: 28, evals: 10121

|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=18066.18MB, max=21.63MB, minor=18062.96MB, major=96.99MB, promoted=93.77MB
    minor collections=8624  major collections=23 compactions=0


runtime: 00:00:50.256
vars: 28, evals: 11498

|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=20868.30MB, max=21.63MB, minor=20865.04MB, major=110.00MB, promoted=106.74MB
    minor collections=9961  major collections=25 compactions=0


runtime: 00:01:00.291
vars: 28, evals: 12758

|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=23448.81MB, max=21.63MB, minor=23445.51MB, major=122.29MB, promoted=118.99MB
    minor collections=11193  major collections=27 compactions=0


runtime: 00:01:10.310
vars: 28, evals: 13876

|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=25695.07MB, max=21.63MB, minor=25691.74MB, major=132.73MB, promoted=129.41MB
    minor collections=12265  major collections=29 compactions=0


runtime: 00:01:20.335
vars: 28, evals: 14864

|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=27894.63MB, max=24.88MB, minor=27891.27MB, major=142.83MB, promoted=139.47MB
    minor collections=13314  major collections=30 compactions=0


runtime: 00:01:30.353
vars: 28, evals: 15764

|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=29784.67MB, max=24.88MB, minor=29781.29MB, major=151.59MB, promoted=148.21MB
    minor collections=14216  major collections=31 compactions=0


runtime: 00:01:40.372
vars: 28, evals: 16613

|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=31594.61MB, max=24.88MB, minor=31591.21MB, major=159.57MB, promoted=156.16MB
    minor collections=15080  major collections=33 compactions=0


runtime: 00:01:50.387
vars: 28, evals: 17381

|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=33375.40MB, max=24.88MB, minor=33371.96MB, major=167.35MB, promoted=163.91MB
    minor collections=15930  major collections=34 compactions=0


runtime: 00:02:00.418
vars: 28, evals: 18100

|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=34989.23MB, max=24.88MB, minor=34985.77MB, major=174.80MB, promoted=171.34MB
    minor collections=16700  major collections=35 compactions=0


runtime: 00:02:10.442
vars: 28, evals: 18782

|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=36547.01MB, max=24.88MB, minor=36543.54MB, major=181.64MB, promoted=178.16MB
    minor collections=17442  major collections=35 compactions=0


runtime: 00:02:20.466
vars: 28, evals: 19425

|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=38028.59MB, max=28.61MB, minor=38025.10MB, major=188.38MB, promoted=184.90MB
    minor collections=18149  major collections=36 compactions=0


runtime: 00:02:30.484
vars: 28, evals: 20036

|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=39635.72MB, max=28.61MB, minor=39632.22MB, major=195.32MB, promoted=191.82MB
    minor collections=18916  major collections=37 compactions=0


runtime: 00:02:40.492
vars: 28, evals: 20619

|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=40955.13MB, max=28.61MB, minor=40951.62MB, major=201.32MB, promoted=197.80MB
    minor collections=19546  major collections=38 compactions=0


runtime: 00:02:50.511
vars: 28, evals: 21158

|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=42010.25MB, max=28.61MB, minor=42006.72MB, major=206.46MB, promoted=202.94MB
    minor collections=20049  major collections=39 compactions=0


runtime: 00:03:00.522
vars: 28, evals: 21664

|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=43382.95MB, max=28.61MB, minor=43379.41MB, major=212.24MB, promoted=208.70MB
    minor collections=20704  major collections=39 compactions=0


runtime: 00:03:10.542
vars: 28, evals: 22148

|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=44547.88MB, max=28.61MB, minor=44544.33MB, major=217.49MB, promoted=213.94MB
    minor collections=21260  major collections=40 compactions=0


runtime: 00:03:20.563
vars: 28, evals: 22621

|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=45498.26MB, max=28.61MB, minor=45494.70MB, major=222.19MB, promoted=218.63MB
    minor collections=21713  major collections=40 compactions=0


runtime: 00:03:30.585
vars: 28, evals: 23110

|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=46929.36MB, max=28.61MB, minor=46925.79MB, major=228.14MB, promoted=224.57MB
    minor collections=22396  major collections=41 compactions=0


runtime: 00:03:40.600
vars: 28, evals: 23556

|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=47719.41MB, max=28.61MB, minor=47715.83MB, major=232.11MB, promoted=228.53MB
    minor collections=22773  major collections=41 compactions=0


runtime: 00:03:50.611
vars: 28, evals: 24007

|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=49043.96MB, max=28.61MB, minor=49040.37MB, major=237.57MB, promoted=233.97MB
    minor collections=23405  major collections=42 compactions=0


runtime: 00:04:00.627
vars: 28, evals: 24430

|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=49815.35MB, max=28.61MB, minor=49811.74MB, major=241.39MB, promoted=237.79MB
    minor collections=23773  major collections=43 compactions=0


runtime: 00:04:10.642
vars: 28, evals: 24825

|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=51133.89MB, max=32.90MB, minor=51130.26MB, major=246.37MB, promoted=242.74MB
    minor collections=24402  major collections=43 compactions=0


runtime: 00:04:20.653
vars: 28, evals: 25239

|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=51895.30MB, max=32.90MB, minor=51891.67MB, major=250.24MB, promoted=246.61MB
    minor collections=24766  major collections=44 compactions=0


runtime: 00:04:30.666
vars: 28, evals: 25611

|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=53128.10MB, max=32.90MB, minor=53124.45MB, major=255.08MB, promoted=251.43MB
    minor collections=25353  major collections=44 compactions=0


runtime: 00:04:40.680
vars: 28, evals: 25998

|rho|=28
|called|=12
|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=53719.25MB, max=32.90MB, minor=53715.60MB, major=258.17MB, promoted=254.52MB
    minor collections=25635  major collections=44 compactions=0


runtime: 00:04:50.695
vars: 28, evals: 26357

|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=54758.17MB, max=32.90MB, minor=54754.51MB, major=262.55MB, promoted=258.90MB
    minor collections=26131  major collections=45 compactions=0


runtime: 00:05:00.723
vars: 28, evals: 26711

|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=55652.80MB, max=32.90MB, minor=55649.12MB, major=266.42MB, promoted=262.74MB
    minor collections=26558  major collections=45 compactions=0


runtime: 00:05:10.749
vars: 28, evals: 27065

|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=56492.68MB, max=32.90MB, minor=56489.00MB, major=270.16MB, promoted=266.48MB
    minor collections=26959  major collections=46 compactions=0


runtime: 00:05:20.777
vars: 28, evals: 27393

|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=57624.86MB, max=32.90MB, minor=57621.17MB, major=274.48MB, promoted=270.79MB
    minor collections=27499  major collections=46 compactions=0


runtime: 00:05:30.784
vars: 28, evals: 27736

|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=58146.27MB, max=32.90MB, minor=58142.58MB, major=277.21MB, promoted=273.51MB
    minor collections=27747  major collections=46 compactions=0


runtime: 00:05:40.799
vars: 28, evals: 28055

|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=59019.18MB, max=32.90MB, minor=59015.48MB, major=280.83MB, promoted=277.13MB
    minor collections=28164  major collections=47 compactions=0


runtime: 00:05:50.818
vars: 28, evals: 28374

|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=60002.94MB, max=32.90MB, minor=59999.22MB, major=284.83MB, promoted=281.11MB
    minor collections=28633  major collections=47 compactions=0


runtime: 00:06:00.842
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=60577.83MB, max=32.90MB, minor=60574.10MB, major=287.64MB, promoted=283.92MB
    minor collections=28907  major collections=47 compactions=0


runtime: 00:06:10.869
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=61531.91MB, max=32.90MB, minor=61528.18MB, major=291.21MB, promoted=287.49MB
    minor collections=29363  major collections=48 compactions=0


runtime: 00:06:20.900
vars: 28, evals: 29287

|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=62398.81MB, max=32.90MB, minor=62395.07MB, major=294.83MB, promoted=291.09MB
    minor collections=29776  major collections=48 compactions=0


runtime: 00:06:30.928
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=62912.70MB, max=32.90MB, minor=62908.96MB, major=297.62MB, promoted=293.88MB
    minor collections=30021  major collections=48 compactions=0


runtime: 00:06:40.951
vars: 28, evals: 29881

|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=63793.68MB, max=32.90MB, minor=63789.94MB, major=301.23MB, promoted=297.48MB
    minor collections=30442  major collections=49 compactions=0


runtime: 00:06:50.964
vars: 28, evals: 30165

|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=64696.91MB, max=32.90MB, minor=64693.16MB, major=304.75MB, promoted=301.00MB
    minor collections=30872  major collections=49 compactions=0


runtime: 00:07:00.978
vars: 28, evals: 30453

|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=65209.38MB, max=32.90MB, minor=65205.62MB, major=307.39MB, promoted=303.63MB
    minor collections=31117  major collections=49 compactions=0


runtime: 00:07:10.985
vars: 28, evals: 30717

|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=65911.32MB, max=32.90MB, minor=65907.56MB, major=310.26MB, promoted=306.49MB
    minor collections=31452  major collections=50 compactions=0


runtime: 00:07:21.007
vars: 28, evals: 30985

|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=66966.42MB, max=32.90MB, minor=66962.65MB, major=314.14MB, promoted=310.37MB
    minor collections=31955  major collections=50 compactions=0


runtime: 00:07:31.008
vars: 28, evals: 31256

|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=67354.78MB, max=37.84MB, minor=67351.01MB, major=316.27MB, promoted=312.49MB
    minor collections=32140  major collections=50 compactions=0


runtime: 00:07:41.019
vars: 28, evals: 31520

|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=67932.13MB, max=37.84MB, minor=67928.35MB, major=318.78MB, promoted=315.00MB
    minor collections=32416  major collections=50 compactions=0


runtime: 00:07:51.038
vars: 28, evals: 31773

|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=68802.79MB, max=37.84MB, minor=68799.00MB, major=322.27MB, promoted=318.48MB
    minor collections=32831  major collections=51 compactions=0


runtime: 00:08:01.050
vars: 28, evals: 32026

|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=69675.68MB, max=37.84MB, minor=69671.87MB, major=325.54MB, promoted=321.73MB
    minor collections=33247  major collections=51 compactions=0


runtime: 00:08:11.065
vars: 28, evals: 32268

|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=70094.37MB, max=37.84MB, minor=70090.57MB, major=327.70MB, promoted=323.90MB
    minor collections=33447  major collections=51 compactions=0


runtime: 00:08:21.080
vars: 28, evals: 32517

|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=70706.74MB, max=37.84MB, minor=70702.93MB, major=330.37MB, promoted=326.56MB
    minor collections=33740  major collections=52 compactions=0


runtime: 00:08:31.088
vars: 28, evals: 32748

|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=71531.14MB, max=37.84MB, minor=71527.33MB, major=333.38MB, promoted=329.56MB
    minor collections=34133  major collections=52 compactions=0


runtime: 00:08:41.110
vars: 28, evals: 32992

|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=72315.28MB, max=37.84MB, minor=72311.45MB, major=336.48MB, promoted=332.65MB
    minor collections=34507  major collections=52 compactions=0


runtime: 00:08:51.114
vars: 28, evals: 33214

|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=72647.14MB, max=37.84MB, minor=72643.31MB, major=338.35MB, promoted=334.52MB
    minor collections=34665  major collections=52 compactions=0


runtime: 00:09:01.139
vars: 28, evals: 33465

|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=73236.00MB, max=37.84MB, minor=73232.16MB, major=340.88MB, promoted=337.04MB
    minor collections=34946  major collections=53 compactions=0


runtime: 00:09:11.141
vars: 28, evals: 33709

|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=74038.60MB, max=37.84MB, minor=74034.76MB, major=343.94MB, promoted=340.10MB
    minor collections=35329  major collections=53 compactions=0


runtime: 00:09:21.160
vars: 28, evals: 33929

|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=74885.15MB, max=37.84MB, minor=74881.28MB, major=346.96MB, promoted=343.10MB
    minor collections=35733  major collections=53 compactions=0


runtime: 00:09:31.171
vars: 28, evals: 34138

|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=75215.68MB, max=37.84MB, minor=75211.81MB, major=348.67MB, promoted=344.80MB
    minor collections=35890  major collections=53 compactions=0


runtime: 00:09:41.178
vars: 28, evals: 34358

|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=75691.66MB, max=37.84MB, minor=75687.79MB, major=350.89MB, promoted=347.02MB
    minor collections=36117  major collections=53 compactions=0


runtime: 00:09:51.191
vars: 28, evals: 34589

|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=76440.53MB, max=37.84MB, minor=76436.66MB, major=353.80MB, promoted=349.93MB
    minor collections=36475  major collections=54 compactions=0


runtime: 00:10:01.201
vars: 28, evals: 34798

|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=77360.92MB, max=37.84MB, minor=77357.04MB, major=357.05MB, promoted=353.17MB
    minor collections=36914  major collections=54 compactions=0


runtime: 00:10:11.218
vars: 28, evals: 35005

|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=77739.29MB, max=37.84MB, minor=77735.41MB, major=358.98MB, promoted=355.09MB
    minor collections=37094  major collections=54 compactions=0


runtime: 00:10:21.224
vars: 28, evals: 35227

|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=78133.94MB, max=37.84MB, minor=78130.06MB, major=360.98MB, promoted=357.09MB
    minor collections=37282  major collections=54 compactions=0


runtime: 00:10:31.232
vars: 28, evals: 35436

|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=78676.66MB, max=37.84MB, minor=78672.77MB, major=363.38MB, promoted=359.49MB
    minor collections=37541  major collections=55 compactions=0


runtime: 00:10:41.238
vars: 28, evals: 35641

|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=79393.60MB, max=37.84MB, minor=79389.71MB, major=366.01MB, promoted=362.11MB
    minor collections=37883  major collections=55 compactions=0


runtime: 00:10:51.250
vars: 28, evals: 35843

|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=80295.73MB, max=37.84MB, minor=80291.83MB, major=369.22MB, promoted=365.32MB
    minor collections=38314  major collections=55 compactions=0


runtime: 00:11:01.266
vars: 28, evals: 36041

|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=80595.20MB, max=37.84MB, minor=80591.29MB, major=370.80MB, promoted=366.89MB
    minor collections=38456  major collections=55 compactions=0


runtime: 00:11:11.272
vars: 28, evals: 36239

|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=80987.71MB, max=37.84MB, minor=80983.80MB, major=372.61MB, promoted=368.69MB
    minor collections=38643  major collections=55 compactions=0


runtime: 00:11:21.292
vars: 28, evals: 36437

|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=81505.89MB, max=37.84MB, minor=81501.97MB, major=374.78MB, promoted=370.86MB
    minor collections=38891  major collections=56 compactions=0


runtime: 00:11:31.303
vars: 28, evals: 36635

|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=82172.12MB, max=37.84MB, minor=82168.21MB, major=377.36MB, promoted=373.44MB
    minor collections=39209  major collections=56 compactions=0


runtime: 00:11:41.322
vars: 28, evals: 36818

|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=82975.04MB, max=37.84MB, minor=82971.12MB, major=380.25MB, promoted=376.33MB
    minor collections=39592  major collections=56 compactions=0


runtime: 00:11:51.328
vars: 28, evals: 37002

|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=83310.21MB, max=37.84MB, minor=83306.28MB, major=382.00MB, promoted=378.06MB
    minor collections=39751  major collections=56 compactions=0


runtime: 00:12:01.333
vars: 28, evals: 37196

|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=83634.83MB, max=37.84MB, minor=83630.90MB, major=383.79MB, promoted=379.85MB
    minor collections=39906  major collections=56 compactions=0


runtime: 00:12:11.341
vars: 28, evals: 37383

|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=84085.88MB, max=37.84MB, minor=84081.94MB, major=385.78MB, promoted=381.84MB
    minor collections=40121  major collections=56 compactions=0


runtime: 00:12:21.348
vars: 28, evals: 37570

|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.52MB, max=37.84MB, minor=84710.58MB, major=388.19MB, promoted=384.24MB
    minor collections=40422  major collections=57 compactions=0


runtime: 00:12:31.360
vars: 28, evals: 37761

|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=85529.74MB, max=37.84MB, minor=85525.80MB, major=391.00MB, promoted=387.06MB
    minor collections=40810  major collections=57 compactions=0


runtime: 00:12:41.367
vars: 28, evals: 37955

|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=86118.47MB, max=37.84MB, minor=86114.52MB, major=393.42MB, promoted=389.47MB
    minor collections=41091  major collections=57 compactions=0


runtime: 00:12:51.378
vars: 28, evals: 38131

|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=86417.25MB, max=37.84MB, minor=86413.29MB, major=395.04MB, promoted=391.09MB
    minor collections=41233  major collections=57 compactions=0


runtime: 00:13:01.389
vars: 28, evals: 38318

|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=86831.07MB, max=37.84MB, minor=86827.12MB, major=396.87MB, promoted=392.92MB
    minor collections=41431  major collections=57 compactions=0


runtime: 00:13:11.401
vars: 28, evals: 38505

|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=87372.09MB, max=37.84MB, minor=87368.13MB, major=399.03MB, promoted=395.07MB
    minor collections=41689  major collections=58 compactions=0


runtime: 00:13:21.418
vars: 28, evals: 38679

|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=88003.52MB, max=37.84MB, minor=87999.57MB, major=401.46MB, promoted=397.50MB
    minor collections=41990  major collections=58 compactions=0


runtime: 00:13:31.419
vars: 28, evals: 38857

|rho|=28
|called|=12
|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=88827.82MB, max=43.51MB, minor=88823.85MB, major=404.31MB, promoted=400.35MB
    minor collections=42383  major collections=58 compactions=0


runtime: 00:13:41.431
vars: 28, evals: 39033

|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=89062.54MB, max=43.51MB, minor=89058.57MB, major=405.62MB, promoted=401.65MB
    minor collections=42495  major collections=58 compactions=0


runtime: 00:13:51.442
vars: 28, evals: 39209

|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=89357.92MB, max=43.51MB, minor=89353.95MB, major=407.22MB, promoted=403.25MB
    minor collections=42636  major collections=58 compactions=0


runtime: 00:14:01.449
vars: 28, evals: 39374

|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=89749.13MB, max=43.51MB, minor=89745.16MB, major=408.83MB, promoted=404.86MB
    minor collections=42823  major collections=58 compactions=0


runtime: 00:14:11.469
vars: 28, evals: 39557

|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=90280.17MB, max=43.51MB, minor=90276.20MB, major=410.98MB, promoted=407.00MB
    minor collections=43076  major collections=59 compactions=0


runtime: 00:14:21.472
vars: 28, evals: 39715

|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=90903.94MB, max=43.51MB, minor=90899.97MB, major=413.25MB, promoted=409.27MB
    minor collections=43374  major collections=59 compactions=0


runtime: 00:14:31.487
vars: 28, evals: 39913

|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=91862.14MB, max=43.51MB, minor=91858.15MB, major=416.51MB, promoted=412.51MB
    minor collections=43831  major collections=59 compactions=0


runtime: 00:14:41.503
vars: 28, evals: 40067

|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=92132.74MB, max=43.51MB, minor=92128.74MB, major=417.86MB, promoted=413.85MB
    minor collections=43960  major collections=59 compactions=0


runtime: 00:14:51.510
vars: 28, evals: 40221

|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=92407.03MB, max=43.51MB, minor=92403.03MB, major=419.28MB, promoted=415.28MB
    minor collections=44091  major collections=59 compactions=0

