./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c


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


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

runtime: 00:00:10.668
vars: 22757, evals: 39738

|rho|=22757
|stable|=17485
|infl|=22704
|wpoint|=13
|sides|=2036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18980
|called|=67
Found 1537 contexts for 46 functions. Top 5 functions:
214	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
127	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
127	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
97	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
97	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=20808.93MB, max=174.57MB, minor=20798.04MB, major=273.52MB, promoted=262.62MB
    minor collections=9924  major collections=14 compactions=0


runtime: 00:00:20.694
vars: 40174, evals: 78903

|rho|=40174
|stable|=24082
|infl|=40155
|wpoint|=5
|sides|=3186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34086
|called|=19
Found 2675 contexts for 50 functions. Top 5 functions:
347	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
239	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
239	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
200	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for L:entry state of ci (3091) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=41548.02MB, max=230.87MB, minor=41535.26MB, major=461.68MB, promoted=448.92MB
    minor collections=19814  major collections=17 compactions=0


runtime: 00:00:30.729
vars: 60350, evals: 113208

|rho|=60350
|stable|=35335
|infl|=60284
|wpoint|=9
|sides|=4799
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51116
|called|=75
Found 4061 contexts for 71 functions. Top 5 functions:
538	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
347	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
347	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
290	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
265	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=62840.11MB, max=305.32MB, minor=62826.40MB, major=664.60MB, promoted=650.89MB
    minor collections=29967  major collections=19 compactions=0


runtime: 00:00:40.777
vars: 85057, evals: 147420

|rho|=85057
|stable|=59769
|infl|=84937
|wpoint|=15
|sides|=6598
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71896
|called|=140
Found 5715 contexts for 92 functions. Top 5 functions:
754	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
480	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
480	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
389	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
384	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=84504.29MB, max=403.80MB, minor=84486.83MB, major=897.47MB, promoted=880.01MB
    minor collections=40297  major collections=21 compactions=0


runtime: 00:00:50.855
vars: 106756, evals: 178569

|rho|=106756
|stable|=81454
|infl|=106654
|wpoint|=11
|sides|=8108
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90576
|called|=128
Found 7225 contexts for 92 functions. Top 5 functions:
953	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
603	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
603	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
497	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
490	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=107057.92MB, max=534.03MB, minor=107038.82MB, major=1117.71MB, promoted=1098.61MB
    minor collections=51052  major collections=22 compactions=0


runtime: 00:01:00.907
vars: 128883, evals: 210434

|rho|=128883
|stable|=103557
|infl|=128756
|wpoint|=10
|sides|=9571
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109777
|called|=139
Found 8688 contexts for 92 functions. Top 5 functions:
1146	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
717	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
717	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
591	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
591	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=130074.25MB, max=614.13MB, minor=130054.35MB, major=1330.85MB, promoted=1310.95MB
    minor collections=62027  major collections=23 compactions=0


runtime: 00:01:10.946
vars: 150298, evals: 240549

|rho|=150298
|stable|=124783
|infl|=150157
|wpoint|=15
|sides|=11053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128207
|called|=206
Found 10137 contexts for 99 functions. Top 5 functions:
1337	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
818	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
818	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
684	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
681	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=152807.44MB, max=706.25MB, minor=152782.65MB, major=1540.97MB, promoted=1516.18MB
    minor collections=72866  major collections=24 compactions=0


runtime: 00:01:20.986
vars: 169616, evals: 267951

|rho|=169616
|stable|=144037
|infl|=169460
|wpoint|=17
|sides|=12407
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144837
|called|=205
Found 11460 contexts for 101 functions. Top 5 functions:
1515	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
920	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
920	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
774	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
770	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=176517.96MB, max=812.19MB, minor=176488.31MB, major=1750.21MB, promoted=1720.56MB
    minor collections=84170  major collections=25 compactions=0


runtime: 00:01:31.081
vars: 188262, evals: 294816

|rho|=188262
|stable|=162651
|infl|=188082
|wpoint|=19
|sides|=13656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160984
|called|=249
Found 12709 contexts for 101 functions. Top 5 functions:
1680	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1015	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1015	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
859	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
859	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=200929.42MB, max=934.02MB, minor=200899.00MB, major=1945.82MB, promoted=1915.41MB
    minor collections=95810  major collections=25 compactions=0


runtime: 00:01:41.133
vars: 206791, evals: 321929

|rho|=206791
|stable|=180574
|infl|=206581
|wpoint|=20
|sides|=14874
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177087
|called|=262
Found 13915 contexts for 102 functions. Top 5 functions:
1826	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1106	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1106	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
944	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
944	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=224755.69MB, max=1074.12MB, minor=224724.37MB, major=2136.36MB, promoted=2105.05MB
    minor collections=107172  major collections=26 compactions=0


runtime: 00:01:51.168
vars: 225326, evals: 347681

|rho|=225326
|stable|=199077
|infl|=225127
|wpoint|=17
|sides|=16147
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193074
|called|=247
Found 15188 contexts for 102 functions. Top 5 functions:
2000	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1197	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1197	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1018	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1018	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=249231.02MB, max=1074.12MB, minor=249198.93MB, major=2338.95MB, promoted=2306.86MB
    minor collections=118843  major collections=26 compactions=0


runtime: 00:02:01.212
vars: 240610, evals: 373208

|rho|=240610
|stable|=96099
|infl|=240333
|wpoint|=26
|sides|=17074
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206514
|called|=374
Found 16094 contexts for 104 functions. Top 5 functions:
2100	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1245	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1245	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1079	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1079	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=273609.89MB, max=1235.24MB, minor=273576.65MB, major=2505.18MB, promoted=2471.94MB
    minor collections=130468  major collections=27 compactions=0


runtime: 00:02:11.255
vars: 254437, evals: 393754

|rho|=254437
|stable|=109902
|infl|=254134
|wpoint|=26
|sides|=18189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218139
|called|=386
Found 16995 contexts for 120 functions. Top 5 functions:
2213	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1309	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1309	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1157	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1157	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=298618.66MB, max=1235.24MB, minor=298584.79MB, major=2686.63MB, promoted=2652.76MB
    minor collections=142393  major collections=27 compactions=0


runtime: 00:02:21.303
vars: 270890, evals: 417331

|rho|=270890
|stable|=126329
|infl|=270552
|wpoint|=29
|sides|=19317
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232340
|called|=431
Found 18123 contexts for 120 functions. Top 5 functions:
2361	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1396	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1396	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1241	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1241	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=323625.16MB, max=1235.24MB, minor=323581.95MB, major=2892.48MB, promoted=2849.27MB
    minor collections=154315  major collections=28 compactions=0


runtime: 00:02:31.398
vars: 288888, evals: 442896

|rho|=288888
|stable|=144312
|infl|=288545
|wpoint|=36
|sides|=20497
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247977
|called|=492
Found 19303 contexts for 120 functions. Top 5 functions:
2514	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1469	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1469	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1296	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1296	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=349204.68MB, max=1420.53MB, minor=349160.56MB, major=3098.24MB, promoted=3054.12MB
    minor collections=166512  major collections=28 compactions=0


runtime: 00:02:41.430
vars: 302396, evals: 464090

|rho|=302396
|stable|=157359
|infl|=302019
|wpoint|=36
|sides|=21371
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259739
|called|=499
Found 20150 contexts for 122 functions. Top 5 functions:
2608	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1516	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1516	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1361	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1361	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=376154.51MB, max=1420.53MB, minor=376109.58MB, major=3277.52MB, promoted=3232.59MB
    minor collections=179363  major collections=29 compactions=0


runtime: 00:02:51.505
vars: 318059, evals: 485352

|rho|=318059
|stable|=172990
|infl|=317677
|wpoint|=39
|sides|=22477
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273193
|called|=509
Found 21256 contexts for 122 functions. Top 5 functions:
2759	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1602	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1602	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1431	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1431	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=401906.10MB, max=1633.61MB, minor=401855.78MB, major=3473.80MB, promoted=3423.48MB
    minor collections=191641  major collections=29 compactions=0


runtime: 00:03:01.537
vars: 333089, evals: 506677

|rho|=333089
|stable|=187988
|infl|=332697
|wpoint|=38
|sides|=23520
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=286135
|called|=517
Found 22299 contexts for 122 functions. Top 5 functions:
2894	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1697	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1697	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1518	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1518	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=427134.41MB, max=1633.61MB, minor=427083.38MB, major=3655.19MB, promoted=3604.16MB
    minor collections=203671  major collections=29 compactions=0


runtime: 00:03:11.546
vars: 348864, evals: 529441

|rho|=348864
|stable|=203731
|infl|=348443
|wpoint|=36
|sides|=24576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=299804
|called|=545
Found 23355 contexts for 122 functions. Top 5 functions:
3028	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1787	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1787	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1598	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1598	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=453744.97MB, max=1633.61MB, minor=453692.82MB, major=3846.05MB, promoted=3793.90MB
    minor collections=216360  major collections=30 compactions=0


runtime: 00:03:21.610
vars: 361998, evals: 548169

|rho|=361998
|stable|=216833
|infl|=361557
|wpoint|=38
|sides|=25488
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=311116
|called|=568
Found 24267 contexts for 122 functions. Top 5 functions:
3153	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1854	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1854	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1660	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1660	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=479964.50MB, max=1878.66MB, minor=479911.20MB, major=4028.51MB, promoted=3975.21MB
    minor collections=228862  major collections=30 compactions=0


runtime: 00:03:31.657
vars: 376291, evals: 568460

|rho|=376291
|stable|=231094
|infl|=375808
|wpoint|=37
|sides|=26449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323494
|called|=610
Found 25228 contexts for 122 functions. Top 5 functions:
3282	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1925	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1925	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1724	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1724	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=506059.88MB, max=1878.66MB, minor=506005.81MB, major=4209.24MB, promoted=4155.18MB
    minor collections=241305  major collections=30 compactions=0


runtime: 00:03:41.669
vars: 388082, evals: 586697

|rho|=388082
|stable|=242308
|infl|=387609
|wpoint|=41
|sides|=27243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333688
|called|=611
Found 26022 contexts for 122 functions. Top 5 functions:
3376	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1996	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1996	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1793	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1793	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=533327.29MB, max=1878.66MB, minor=533272.41MB, major=4375.36MB, promoted=4320.48MB
    minor collections=254307  major collections=30 compactions=0


runtime: 00:03:51.684
vars: 402270, evals: 608185

|rho|=402270
|stable|=256455
|infl|=401778
|wpoint|=45
|sides|=28061
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=346248
|called|=653
Found 26840 contexts for 122 functions. Top 5 functions:
3476	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2018	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2018	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1816	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1816	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=561128.59MB, max=1878.66MB, minor=561072.62MB, major=4560.56MB, promoted=4504.59MB
    minor collections=267564  major collections=31 compactions=0


runtime: 00:04:01.755
vars: 415074, evals: 626310

|rho|=415074
|stable|=268978
|infl|=414435
|wpoint|=62
|sides|=28917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=357382
|called|=819
Found 27587 contexts for 135 functions. Top 5 functions:
3548	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2064	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2064	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1873	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1869	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=588098.16MB, max=2160.46MB, minor=588036.74MB, major=4727.62MB, promoted=4666.20MB
    minor collections=280422  major collections=31 compactions=0


runtime: 00:04:11.819
vars: 428529, evals: 645530

|rho|=428529
|stable|=282401
|infl|=427882
|wpoint|=58
|sides|=29857
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=368962
|called|=821
Found 28527 contexts for 135 functions. Top 5 functions:
3678	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2134	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2134	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1933	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1929	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=614863.45MB, max=2160.46MB, minor=614801.39MB, major=4902.90MB, promoted=4840.84MB
    minor collections=293185  major collections=31 compactions=0


runtime: 00:04:21.850
vars: 441270, evals: 663008

|rho|=441270
|stable|=295103
|infl|=440626
|wpoint|=61
|sides|=30740
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379937
|called|=822
Found 29410 contexts for 135 functions. Top 5 functions:
3793	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2207	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2207	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1992	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1988	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=640749.60MB, max=2160.46MB, minor=640686.67MB, major=5070.99MB, promoted=5008.06MB
    minor collections=305528  major collections=31 compactions=0


runtime: 00:04:31.862
vars: 452387, evals: 679286

|rho|=452387
|stable|=306169
|infl|=451690
|wpoint|=65
|sides|=31487
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=389564
|called|=883
Found 30157 contexts for 135 functions. Top 5 functions:
3891	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2264	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2264	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2055	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2051	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=666118.13MB, max=2160.46MB, minor=666054.09MB, major=5221.13MB, promoted=5157.09MB
    minor collections=317625  major collections=32 compactions=0


runtime: 00:04:41.933
vars: 465034, evals: 698538

|rho|=465034
|stable|=318801
|infl|=464348
|wpoint|=63
|sides|=32235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=400714
|called|=893
Found 30905 contexts for 135 functions. Top 5 functions:
3979	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2316	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2316	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2094	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2090	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=692769.74MB, max=2484.53MB, minor=692704.34MB, major=5376.92MB, promoted=5311.53MB
    minor collections=330333  major collections=32 compactions=0


runtime: 00:04:52.045
vars: 471907, evals: 710204

|rho|=471907
|stable|=325635
|infl|=471228
|wpoint|=67
|sides|=32705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=406645
|called|=894
Found 31375 contexts for 135 functions. Top 5 functions:
4024	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2350	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2350	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2140	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2136	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=718785.91MB, max=2484.53MB, minor=718719.45MB, major=5499.85MB, promoted=5433.39MB
    minor collections=342739  major collections=32 compactions=0


runtime: 00:05:02.120
vars: 481756, evals: 724620

|rho|=481756
|stable|=335459
|infl|=481049
|wpoint|=67
|sides|=33385
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415140
|called|=918
Found 32055 contexts for 135 functions. Top 5 functions:
4120	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2399	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2399	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2190	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2186	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=744677.93MB, max=2484.53MB, minor=744610.49MB, major=5662.43MB, promoted=5594.99MB
    minor collections=355085  major collections=32 compactions=0


runtime: 00:05:12.128
vars: 492597, evals: 739251

|rho|=492597
|stable|=346158
|infl|=491876
|wpoint|=75
|sides|=34140
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424471
|called|=948
Found 32810 contexts for 135 functions. Top 5 functions:
4221	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2457	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2457	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2240	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2236	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=770605.83MB, max=2484.53MB, minor=770537.72MB, major=5818.05MB, promoted=5749.94MB
    minor collections=367448  major collections=32 compactions=0


runtime: 00:05:22.147
vars: 502601, evals: 754247

|rho|=502601
|stable|=356173
|infl|=501842
|wpoint|=77
|sides|=34820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=433121
|called|=1012
Found 33490 contexts for 135 functions. Top 5 functions:
4307	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2512	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2512	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2297	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2293	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=796970.89MB, max=2484.53MB, minor=796901.78MB, major=5972.11MB, promoted=5903.00MB
    minor collections=380020  major collections=33 compactions=0


runtime: 00:05:32.159
vars: 513248, evals: 768912

|rho|=513248
|stable|=366919
|infl|=512492
|wpoint|=68
|sides|=35525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=442356
|called|=970
Found 34195 contexts for 135 functions. Top 5 functions:
4404	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2553	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2553	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2326	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2322	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=823700.18MB, max=2484.53MB, minor=823629.74MB, major=6131.53MB, promoted=6061.09MB
    minor collections=392765  major collections=33 compactions=0


runtime: 00:05:42.238
vars: 522836, evals: 783808

|rho|=522836
|stable|=376408
|infl|=522045
|wpoint|=81
|sides|=36123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450754
|called|=1051
Found 34793 contexts for 135 functions. Top 5 functions:
4470	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2578	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2578	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2356	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2352	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=850438.95MB, max=2857.21MB, minor=850367.31MB, major=6269.09MB, promoted=6197.45MB
    minor collections=405515  major collections=33 compactions=0


runtime: 00:05:52.305
vars: 529155, evals: 793963

|rho|=529155
|stable|=382753
|infl|=528372
|wpoint|=76
|sides|=36505
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=456314
|called|=1031
Found 35175 contexts for 135 functions. Top 5 functions:
4512	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2597	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2597	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2384	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2380	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=875776.97MB, max=2857.21MB, minor=875687.61MB, major=6401.25MB, promoted=6311.89MB
    minor collections=417591  major collections=33 compactions=0


runtime: 00:06:02.332
vars: 540742, evals: 810166

|rho|=540742
|stable|=394308
|infl|=539945
|wpoint|=76
|sides|=37329
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=466256
|called|=1045
Found 35999 contexts for 135 functions. Top 5 functions:
4622	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2667	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2667	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2446	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2442	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=902462.94MB, max=2857.21MB, minor=902373.02MB, major=6567.83MB, promoted=6477.90MB
    minor collections=430316  major collections=33 compactions=0


runtime: 00:06:12.348
vars: 551984, evals: 825821

|rho|=551984
|stable|=405518
|infl|=551198
|wpoint|=79
|sides|=38109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=475936
|called|=1038
Found 36779 contexts for 135 functions. Top 5 functions:
4723	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2734	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2734	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2501	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2497	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=929347.49MB, max=2857.21MB, minor=929256.63MB, major=6731.50MB, promoted=6640.64MB
    minor collections=443136  major collections=33 compactions=0


runtime: 00:06:22.359
vars: 563195, evals: 842038

|rho|=563195
|stable|=416729
|infl|=562366
|wpoint|=78
|sides|=38852
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=485665
|called|=1081
Found 37522 contexts for 135 functions. Top 5 functions:
4821	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2791	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2791	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2558	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2554	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=956420.86MB, max=2857.21MB, minor=956328.79MB, major=6884.14MB, promoted=6792.07MB
    minor collections=456045  major collections=34 compactions=0


runtime: 00:06:32.383
vars: 573592, evals: 856535

|rho|=573592
|stable|=427068
|infl|=572730
|wpoint|=85
|sides|=39592
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494585
|called|=1128
Found 38262 contexts for 135 functions. Top 5 functions:
4914	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2856	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2856	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2619	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2615	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=983024.33MB, max=2857.21MB, minor=982930.91MB, major=7040.16MB, promoted=6946.74MB
    minor collections=468731  major collections=34 compactions=0


runtime: 00:06:42.459
vars: 582454, evals: 872433

|rho|=582454
|stable|=435924
|infl|=581617
|wpoint|=82
|sides|=40094
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=502435
|called|=1097
Found 38764 contexts for 135 functions. Top 5 functions:
4967	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2893	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2893	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2655	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2651	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1012012.63MB, max=2857.21MB, minor=1011917.88MB, major=7193.62MB, promoted=7098.87MB
    minor collections=482553  major collections=34 compactions=0


runtime: 00:06:52.514
vars: 590701, evals: 886116

|rho|=590701
|stable|=444081
|infl|=589871
|wpoint|=88
|sides|=40599
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=509668
|called|=1096
Found 39268 contexts for 135 functions. Top 5 functions:
5015	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2932	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2932	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2708	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2704	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1039964.24MB, max=3285.79MB, minor=1039868.16MB, major=7333.88MB, promoted=7237.80MB
    minor collections=495881  major collections=34 compactions=0


runtime: 00:07:02.574
vars: 600823, evals: 900763

|rho|=600823
|stable|=454197
|infl|=599966
|wpoint|=86
|sides|=41303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518393
|called|=1118
Found 39972 contexts for 135 functions. Top 5 functions:
5113	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2980	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2980	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2754	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2750	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1066824.61MB, max=3285.79MB, minor=1066727.71MB, major=7495.34MB, promoted=7398.43MB
    minor collections=508689  major collections=34 compactions=0


runtime: 00:07:12.605
vars: 612068, evals: 916309

|rho|=612068
|stable|=465442
|infl|=611216
|wpoint|=88
|sides|=42062
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=528116
|called|=1116
Found 40731 contexts for 135 functions. Top 5 functions:
5211	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3047	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3047	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2807	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2803	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1092905.26MB, max=3285.79MB, minor=1092799.36MB, major=7661.64MB, promoted=7555.74MB
    minor collections=521122  major collections=34 compactions=0


runtime: 00:07:22.617
vars: 622806, evals: 931302

|rho|=622806
|stable|=476148
|infl|=621974
|wpoint|=89
|sides|=42817
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=537341
|called|=1098
Found 41486 contexts for 135 functions. Top 5 functions:
5310	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3111	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3111	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2864	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2860	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1120478.55MB, max=3285.79MB, minor=1120371.60MB, major=7815.01MB, promoted=7708.07MB
    minor collections=534270  major collections=34 compactions=0


runtime: 00:07:32.628
vars: 633510, evals: 947078

|rho|=633510
|stable|=486794
|infl|=632589
|wpoint|=94
|sides|=43548
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=546593
|called|=1197
Found 42217 contexts for 135 functions. Top 5 functions:
5403	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3171	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3171	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2928	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2924	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1148062.22MB, max=3285.79MB, minor=1147953.94MB, major=7973.99MB, promoted=7865.71MB
    minor collections=547423  major collections=35 compactions=0


runtime: 00:07:42.640
vars: 643471, evals: 961513

|rho|=643471
|stable|=496771
|infl|=642581
|wpoint|=89
|sides|=44212
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=555224
|called|=1170
Found 42881 contexts for 135 functions. Top 5 functions:
5497	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3219	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3219	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2965	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2961	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1176018.56MB, max=3285.79MB, minor=1175908.87MB, major=8129.71MB, promoted=8020.02MB
    minor collections=560753  major collections=35 compactions=0


runtime: 00:07:52.667
vars: 653094, evals: 974815

|rho|=653094
|stable|=506372
|infl|=652192
|wpoint|=89
|sides|=44896
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=563484
|called|=1169
Found 43565 contexts for 135 functions. Top 5 functions:
5584	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3278	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3278	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3013	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3009	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1202573.38MB, max=3285.79MB, minor=1202462.17MB, major=8279.79MB, promoted=8168.58MB
    minor collections=573415  major collections=35 compactions=0


runtime: 00:08:02.739
vars: 662602, evals: 988264

|rho|=662602
|stable|=515854
|infl|=661638
|wpoint|=96
|sides|=45515
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=571757
|called|=1245
Found 44184 contexts for 135 functions. Top 5 functions:
5668	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3318	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3318	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3058	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3054	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1228862.06MB, max=3778.66MB, minor=1228749.26MB, major=8419.26MB, promoted=8306.46MB
    minor collections=585950  major collections=35 compactions=0


runtime: 00:08:12.811
vars: 672393, evals: 1002178

|rho|=672393
|stable|=525639
|infl|=671450
|wpoint|=90
|sides|=46199
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=580177
|called|=1212
Found 44868 contexts for 135 functions. Top 5 functions:
5757	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3381	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3381	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3113	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3109	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1252816.88MB, max=3778.66MB, minor=1252684.78MB, major=8585.10MB, promoted=8453.01MB
    minor collections=597364  major collections=35 compactions=0


runtime: 00:08:22.846
vars: 690229, evals: 1028730

|rho|=690229
|stable|=543379
|infl|=689186
|wpoint|=97
|sides|=47351
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=595722
|called|=1318
Found 46020 contexts for 135 functions. Top 5 functions:
5878	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3466	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3466	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3203	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3196	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1272707.95MB, max=3778.66MB, minor=1272575.40MB, major=8775.63MB, promoted=8643.08MB
    minor collections=606849  major collections=35 compactions=0


runtime: 00:08:32.858
vars: 710923, evals: 1058165

|rho|=710923
|stable|=564041
|infl|=709849
|wpoint|=101
|sides|=48781
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=613562
|called|=1355
Found 47450 contexts for 135 functions. Top 5 functions:
6067	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3582	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3582	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3305	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3297	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1291177.68MB, max=3778.66MB, minor=1291044.70MB, major=8986.60MB, promoted=8853.62MB
    minor collections=615656  major collections=35 compactions=0


runtime: 00:08:42.865
vars: 729091, evals: 1084149

|rho|=729091
|stable|=582177
|infl|=727992
|wpoint|=98
|sides|=49998
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=629297
|called|=1377
Found 48667 contexts for 135 functions. Top 5 functions:
6227	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3681	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3680	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3394	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3387	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1310022.02MB, max=3778.66MB, minor=1309888.59MB, major=9173.62MB, promoted=9040.19MB
    minor collections=624642  major collections=36 compactions=0


runtime: 00:08:52.877
vars: 744791, evals: 1109207

|rho|=744791
|stable|=597778
|infl|=743691
|wpoint|=111
|sides|=50967
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=643055
|called|=1423
Found 49636 contexts for 135 functions. Top 5 functions:
6328	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3739	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3739	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3456	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3449	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1329754.41MB, max=3778.66MB, minor=1329620.57MB, major=9341.46MB, promoted=9207.61MB
    minor collections=634051  major collections=36 compactions=0


runtime: 00:09:02.892
vars: 756648, evals: 1126838

|rho|=756648
|stable|=609602
|infl|=755515
|wpoint|=113
|sides|=51799
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=653258
|called|=1460
Found 50468 contexts for 135 functions. Top 5 functions:
6442	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3802	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3802	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3524	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3517	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1349529.56MB, max=3778.66MB, minor=1349395.36MB, major=9504.63MB, promoted=9370.43MB
    minor collections=643481  major collections=36 compactions=0


runtime: 00:09:12.984
vars: 770344, evals: 1146175

|rho|=770344
|stable|=623241
|infl|=769175
|wpoint|=115
|sides|=52710
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=665135
|called|=1501
Found 51379 contexts for 135 functions. Top 5 functions:
6565	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3868	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3868	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3585	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3578	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1368485.56MB, max=3778.66MB, minor=1368350.95MB, major=9663.26MB, promoted=9528.65MB
    minor collections=652520  major collections=36 compactions=0


runtime: 00:09:23.083
vars: 785508, evals: 1167726

|rho|=785508
|stable|=638457
|infl|=784323
|wpoint|=110
|sides|=53748
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=678227
|called|=1505
Found 52417 contexts for 135 functions. Top 5 functions:
6704	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3947	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3947	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3651	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3644	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1387254.76MB, max=4345.46MB, minor=1387119.77MB, major=9842.34MB, promoted=9707.36MB
    minor collections=661469  major collections=36 compactions=0

