./goblint --conf conf/svcomp-ghost.json --set ana.base.privatization mutex-meet --set 'ana.activated[+]' apron --set 'ana.autotune.activated[-]' octagon --set witness.yaml.entry-types '["invariant_set"]' --set witness.yaml.invariant-types '["location_invariant"]' --disable witness.invariant.loop-head --disable witness.invariant.other --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/02_inc_cas.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] Disabling witness.invariant.all-locals implicitly enables cil.addNestedScopeAttr.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/02_inc_cas.i:718:2-728:19 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/02_inc_cas.i:736:2-736:45 with factor 50
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.150
[Info] vars: 5356, evals: 13299

[Info] |called|=10

Memory statistics: total=18186.20MB, max=50.02MB, minor=18182.98MB, major=128.90MB, promoted=125.69MB
    minor collections=8680  major collections=19 compactions=0


[Info] runtime: 00:00:20.191
[Info] vars: 7899, evals: 19653

[Info] |called|=11

Memory statistics: total=34145.50MB, max=76.08MB, minor=34141.45MB, major=197.77MB, promoted=193.72MB
    minor collections=16291  major collections=22 compactions=0


[Info] runtime: 00:00:30.259
[Info] vars: 9715, evals: 24199

[Info] |called|=11

Memory statistics: total=48412.92MB, max=87.49MB, minor=48407.84MB, major=251.49MB, promoted=246.41MB
    minor collections=23095  major collections=24 compactions=0


[Info] runtime: 00:00:40.304
[Info] vars: 11204, evals: 27925

[Info] |called|=10

Memory statistics: total=61909.37MB, max=100.61MB, minor=61903.45MB, major=297.93MB, promoted=292.01MB
    minor collections=29531  major collections=26 compactions=0


[Info] runtime: 00:00:50.330
[Info] vars: 12467, evals: 31079

[Info] |called|=11

Memory statistics: total=74591.23MB, max=115.70MB, minor=74584.65MB, major=338.53MB, promoted=331.95MB
    minor collections=35578  major collections=27 compactions=0


[Info] runtime: 00:01:00.364
[Info] vars: 13555, evals: 33799

[Info] |called|=11

Memory statistics: total=86459.44MB, max=115.70MB, minor=86452.23MB, major=375.06MB, promoted=367.85MB
    minor collections=41238  major collections=28 compactions=0


[Info] runtime: 00:01:10.395
[Info] vars: 14589, evals: 36385

[Info] |called|=10

Memory statistics: total=98511.65MB, max=115.70MB, minor=98503.80MB, major=410.76MB, promoted=402.91MB
    minor collections=46985  major collections=29 compactions=0


[Info] runtime: 00:01:20.429
[Info] vars: 15555, evals: 38793

[Info] |called|=11

Memory statistics: total=110384.57MB, max=133.06MB, minor=110376.09MB, major=445.04MB, promoted=436.56MB
    minor collections=52647  major collections=30 compactions=0


[Info] runtime: 00:01:30.459
[Info] vars: 16459, evals: 41053

[Info] |called|=11

Memory statistics: total=122139.42MB, max=153.02MB, minor=122129.68MB, major=478.64MB, promoted=468.89MB
    minor collections=58252  major collections=30 compactions=0


[Info] runtime: 00:01:40.506
[Info] vars: 17323, evals: 43219

[Info] |called|=10

Memory statistics: total=134098.61MB, max=153.02MB, minor=134088.23MB, major=511.04MB, promoted=500.65MB
    minor collections=63954  major collections=31 compactions=0


[Info] runtime: 00:01:50.528
[Info] vars: 18143, evals: 45266

[Info] |called|=12

Memory statistics: total=145705.08MB, max=153.02MB, minor=145694.07MB, major=542.13MB, promoted=531.12MB
    minor collections=69489  major collections=32 compactions=0


[Info] runtime: 00:02:00.550
[Info] vars: 18923, evals: 47219

[Info] |called|=10

Memory statistics: total=157325.64MB, max=175.98MB, minor=157313.99MB, major=572.56MB, promoted=560.91MB
    minor collections=75030  major collections=32 compactions=0


[Info] runtime: 00:02:10.569
[Info] vars: 19667, evals: 49079

[Info] |called|=10

Memory statistics: total=168864.62MB, max=175.98MB, minor=168852.35MB, major=602.47MB, promoted=590.19MB
    minor collections=80532  major collections=33 compactions=0


[Info] runtime: 00:02:20.595
[Info] vars: 20395, evals: 50893

[Info] |called|=11

Memory statistics: total=180317.16MB, max=175.98MB, minor=180304.24MB, major=631.54MB, promoted=618.62MB
    minor collections=85993  major collections=33 compactions=0


[Info] runtime: 00:02:30.629
[Info] vars: 21083, evals: 52619

[Info] |called|=10

Memory statistics: total=191806.47MB, max=175.98MB, minor=191792.95MB, major=660.11MB, promoted=646.58MB
    minor collections=91472  major collections=34 compactions=0


[Info] runtime: 00:02:40.647
[Info] vars: 21755, evals: 54293

[Info] |called|=11

Memory statistics: total=202998.22MB, max=175.98MB, minor=202984.06MB, major=687.63MB, promoted=673.47MB
    minor collections=96809  major collections=34 compactions=0


[Info] runtime: 00:02:50.677
[Info] vars: 22403, evals: 55919

[Info] |called|=10

Memory statistics: total=214379.31MB, max=202.38MB, minor=214364.27MB, major=715.76MB, promoted=700.72MB
    minor collections=102236  major collections=35 compactions=0


[Info] runtime: 00:03:00.700
[Info] vars: 23035, evals: 57499

[Info] |called|=11

Memory statistics: total=225609.12MB, max=202.38MB, minor=225593.45MB, major=742.99MB, promoted=727.32MB
    minor collections=107590  major collections=35 compactions=0


[Info] runtime: 00:03:10.718
[Info] vars: 23659, evals: 59053

[Info] |called|=11

Memory statistics: total=236942.30MB, max=202.38MB, minor=236926.02MB, major=769.98MB, promoted=753.70MB
    minor collections=112995  major collections=36 compactions=0


[Info] runtime: 00:03:20.760
[Info] vars: 24251, evals: 60539

[Info] |called|=11

Memory statistics: total=248162.19MB, max=202.38MB, minor=248145.27MB, major=796.43MB, promoted=779.51MB
    minor collections=118344  major collections=36 compactions=0


[Info] runtime: 00:03:30.786
[Info] vars: 24850, evals: 62030

[Info] |called|=12

Memory statistics: total=259469.45MB, max=202.38MB, minor=259451.92MB, major=822.79MB, promoted=805.26MB
    minor collections=123736  major collections=37 compactions=0


[Info] runtime: 00:03:40.813
[Info] vars: 25427, evals: 63473

[Info] |called|=11

Memory statistics: total=270917.04MB, max=232.74MB, minor=270898.86MB, major=849.20MB, promoted=831.01MB
    minor collections=129195  major collections=37 compactions=0


[Info] runtime: 00:03:50.827
[Info] vars: 25987, evals: 64873

[Info] |called|=11

Memory statistics: total=282019.29MB, max=232.74MB, minor=282000.48MB, major=874.67MB, promoted=855.85MB
    minor collections=134489  major collections=37 compactions=0


[Info] runtime: 00:04:00.853
[Info] vars: 26547, evals: 66273

[Info] |called|=11

Memory statistics: total=293426.48MB, max=232.74MB, minor=293407.04MB, major=900.41MB, promoted=880.97MB
    minor collections=139928  major collections=38 compactions=0


[Info] runtime: 00:04:10.907
[Info] vars: 27091, evals: 67639

[Info] |called|=11

Memory statistics: total=304884.75MB, max=232.74MB, minor=304864.70MB, major=926.18MB, promoted=906.12MB
    minor collections=145392  major collections=38 compactions=0


[Info] runtime: 00:04:20.925
[Info] vars: 27627, evals: 68979

[Info] |called|=10

Memory statistics: total=316160.82MB, max=232.74MB, minor=316140.11MB, major=951.45MB, promoted=930.75MB
    minor collections=150768  major collections=38 compactions=0


[Info] runtime: 00:04:30.940
[Info] vars: 28155, evals: 70299

[Info] |called|=11

Memory statistics: total=327492.69MB, max=232.74MB, minor=327471.36MB, major=976.55MB, promoted=955.22MB
    minor collections=156172  major collections=39 compactions=0


[Info] runtime: 00:04:40.970
[Info] vars: 28667, evals: 71573

[Info] |called|=11

Memory statistics: total=338743.34MB, max=267.65MB, minor=338721.38MB, major=1001.23MB, promoted=979.27MB
    minor collections=161537  major collections=39 compactions=0


[Info] runtime: 00:04:50.992
[Info] vars: 29171, evals: 72833

[Info] |called|=12

Memory statistics: total=349838.55MB, max=267.65MB, minor=349815.97MB, major=1025.47MB, promoted=1002.89MB
    minor collections=166827  major collections=39 compactions=0


[Info] runtime: 00:05:01.010
[Info] vars: 29667, evals: 74073

[Info] |called|=11

Memory statistics: total=361129.41MB, max=267.65MB, minor=361106.19MB, major=1050.02MB, promoted=1026.80MB
    minor collections=172211  major collections=40 compactions=0


[Info] runtime: 00:05:11.044
[Info] vars: 30155, evals: 75299

[Info] |called|=10

Memory statistics: total=372542.84MB, max=267.65MB, minor=372519.00MB, major=1074.52MB, promoted=1050.67MB
    minor collections=177653  major collections=40 compactions=0


[Info] runtime: 00:05:21.066
[Info] vars: 30635, evals: 76499

[Info] |called|=11

Memory statistics: total=383709.36MB, max=267.65MB, minor=383684.90MB, major=1098.57MB, promoted=1074.11MB
    minor collections=182978  major collections=40 compactions=0


[Info] runtime: 00:05:31.097
[Info] vars: 31107, evals: 77679

[Info] |called|=11

Memory statistics: total=394873.65MB, max=267.65MB, minor=394848.55MB, major=1122.56MB, promoted=1097.47MB
    minor collections=188301  major collections=41 compactions=0


[Info] runtime: 00:05:41.115
[Info] vars: 31571, evals: 78839

[Info] |called|=10

Memory statistics: total=406210.82MB, max=267.65MB, minor=406185.11MB, major=1146.81MB, promoted=1121.10MB
    minor collections=193707  major collections=41 compactions=0


[Info] runtime: 00:05:51.145
[Info] vars: 32035, evals: 79999

[Info] |called|=11

Memory statistics: total=417340.55MB, max=267.65MB, minor=417314.21MB, major=1170.32MB, promoted=1143.99MB
    minor collections=199014  major collections=41 compactions=0


[Info] runtime: 00:06:01.163
[Info] vars: 32491, evals: 81132

[Info] |called|=13

Memory statistics: total=428398.79MB, max=267.65MB, minor=428371.82MB, major=1193.60MB, promoted=1166.64MB
    minor collections=204287  major collections=42 compactions=0


[Info] runtime: 00:06:11.181
[Info] vars: 32939, evals: 82253

[Info] |called|=11

Memory statistics: total=439697.17MB, max=267.65MB, minor=439668.32MB, major=1218.32MB, promoted=1189.47MB
    minor collections=209674  major collections=42 compactions=0


[Info] runtime: 00:06:21.208
[Info] vars: 33395, evals: 83393

[Info] |called|=11

Memory statistics: total=451293.64MB, max=307.79MB, minor=451264.14MB, major=1242.69MB, promoted=1213.19MB
    minor collections=215203  major collections=42 compactions=0


[Info] runtime: 00:06:31.226
[Info] vars: 33843, evals: 84513

[Info] |called|=11

Memory statistics: total=462746.07MB, max=307.79MB, minor=462715.91MB, major=1266.47MB, promoted=1236.32MB
    minor collections=220664  major collections=42 compactions=0


[Info] runtime: 00:06:41.248
[Info] vars: 34291, evals: 85633

[Info] |called|=11

Memory statistics: total=474315.11MB, max=307.79MB, minor=474284.29MB, major=1290.34MB, promoted=1259.52MB
    minor collections=226181  major collections=43 compactions=0


[Info] runtime: 00:06:51.274
[Info] vars: 34731, evals: 86733

[Info] |called|=11

Memory statistics: total=485965.47MB, max=307.79MB, minor=485933.98MB, major=1314.48MB, promoted=1282.98MB
    minor collections=231736  major collections=43 compactions=0


[Info] runtime: 00:07:01.292
[Info] vars: 35163, evals: 87819

[Info] |called|=11

Memory statistics: total=497526.16MB, max=307.79MB, minor=497494.03MB, major=1338.15MB, promoted=1306.01MB
    minor collections=237248  major collections=43 compactions=0


[Info] runtime: 00:07:11.314
[Info] vars: 35595, evals: 88899

[Info] |called|=10

Memory statistics: total=509097.04MB, max=307.79MB, minor=509064.25MB, major=1361.83MB, promoted=1329.03MB
    minor collections=242765  major collections=43 compactions=0


[Info] runtime: 00:07:21.332
[Info] vars: 36027, evals: 89973

[Info] |called|=11

Memory statistics: total=520712.13MB, max=307.79MB, minor=520678.67MB, major=1385.50MB, promoted=1352.05MB
    minor collections=248304  major collections=44 compactions=0


[Info] runtime: 00:07:31.358
[Info] vars: 36443, evals: 91019

[Info] |called|=11

Memory statistics: total=532361.54MB, max=307.79MB, minor=532327.45MB, major=1408.87MB, promoted=1374.78MB
    minor collections=253859  major collections=44 compactions=0


[Info] runtime: 00:07:41.380
[Info] vars: 36859, evals: 92059

[Info] |called|=11

Memory statistics: total=543802.35MB, max=307.79MB, minor=543767.62MB, major=1432.03MB, promoted=1397.30MB
    minor collections=259314  major collections=44 compactions=0


[Info] runtime: 00:07:51.406
[Info] vars: 37267, evals: 93079

[Info] |called|=10

Memory statistics: total=555279.63MB, max=307.79MB, minor=555244.26MB, major=1455.13MB, promoted=1419.75MB
    minor collections=264787  major collections=44 compactions=0


[Info] runtime: 00:08:01.424
[Info] vars: 37676, evals: 94105

[Info] |called|=14

Memory statistics: total=566880.18MB, max=307.79MB, minor=566844.14MB, major=1478.37MB, promoted=1442.33MB
    minor collections=270318  major collections=45 compactions=0


[Info] runtime: 00:08:11.450
[Info] vars: 38075, evals: 95099

[Info] |called|=10

Memory statistics: total=578421.37MB, max=307.79MB, minor=578384.68MB, major=1501.39MB, promoted=1464.69MB
    minor collections=275821  major collections=45 compactions=0


[Info] runtime: 00:08:21.481
[Info] vars: 38475, evals: 96099

[Info] |called|=10

Memory statistics: total=589972.79MB, max=307.79MB, minor=589935.42MB, major=1524.39MB, promoted=1487.02MB
    minor collections=281329  major collections=45 compactions=0


[Info] runtime: 00:08:31.503
[Info] vars: 38867, evals: 97079

[Info] |called|=10

Memory statistics: total=601318.60MB, max=307.79MB, minor=601280.60MB, major=1546.98MB, promoted=1508.98MB
    minor collections=286739  major collections=45 compactions=0


[Info] runtime: 00:08:41.525
[Info] vars: 39259, evals: 98059

[Info] |called|=10

Memory statistics: total=612888.39MB, max=307.79MB, minor=612849.75MB, major=1569.97MB, promoted=1531.33MB
    minor collections=292256  major collections=46 compactions=0


[Info] runtime: 00:08:51.543
[Info] vars: 39643, evals: 99019

[Info] |called|=11

Memory statistics: total=624470.03MB, max=307.79MB, minor=624430.70MB, major=1592.90MB, promoted=1553.57MB
    minor collections=297779  major collections=46 compactions=0


[Info] runtime: 00:09:01.585
[Info] vars: 40035, evals: 99993

[Info] |called|=11

Memory statistics: total=636156.96MB, max=353.96MB, minor=636116.97MB, major=1615.96MB, promoted=1575.97MB
    minor collections=303351  major collections=46 compactions=0


[Info] runtime: 00:09:11.607
[Info] vars: 40411, evals: 100939

[Info] |called|=11

Memory statistics: total=647617.54MB, max=353.96MB, minor=647576.89MB, major=1638.39MB, promoted=1597.75MB
    minor collections=308816  major collections=46 compactions=0


[Info] runtime: 00:09:21.629
[Info] vars: 40787, evals: 101873

[Info] |called|=11

Memory statistics: total=658980.85MB, max=353.96MB, minor=658939.57MB, major=1660.72MB, promoted=1619.45MB
    minor collections=314235  major collections=47 compactions=0


[Info] runtime: 00:09:31.648
[Info] vars: 41155, evals: 102799

[Info] |called|=11

Memory statistics: total=670428.14MB, max=353.96MB, minor=670386.19MB, major=1683.14MB, promoted=1641.19MB
    minor collections=319693  major collections=47 compactions=0


[Info] runtime: 00:09:41.674
[Info] vars: 41523, evals: 103719

[Info] |called|=11

Memory statistics: total=681985.25MB, max=353.96MB, minor=681942.67MB, major=1705.69MB, promoted=1663.11MB
    minor collections=325203  major collections=47 compactions=0


[Info] runtime: 00:09:51.696
[Info] vars: 41891, evals: 104633

[Info] |called|=11

Memory statistics: total=693376.96MB, max=353.96MB, minor=693333.74MB, major=1728.01MB, promoted=1684.79MB
    minor collections=330635  major collections=47 compactions=0


[Info] runtime: 00:10:01.718
[Info] vars: 42254, evals: 105546

[Info] |called|=11

Memory statistics: total=704861.64MB, max=353.96MB, minor=704817.78MB, major=1750.21MB, promoted=1706.34MB
    minor collections=336111  major collections=47 compactions=0


[Info] runtime: 00:10:11.744
[Info] vars: 42618, evals: 106449

[Info] |called|=15

Memory statistics: total=716339.66MB, max=353.96MB, minor=716295.14MB, major=1772.48MB, promoted=1727.96MB
    minor collections=341585  major collections=48 compactions=0


[Info] runtime: 00:10:21.762
[Info] vars: 42971, evals: 107333

[Info] |called|=11

Memory statistics: total=727750.17MB, max=353.96MB, minor=727705.00MB, major=1794.60MB, promoted=1749.43MB
    minor collections=347025  major collections=48 compactions=0


[Info] runtime: 00:10:31.784
[Info] vars: 43323, evals: 108213

[Info] |called|=11

Memory statistics: total=739309.82MB, max=353.96MB, minor=739264.02MB, major=1816.57MB, promoted=1770.77MB
    minor collections=352537  major collections=48 compactions=0


[Info] runtime: 00:10:41.802
[Info] vars: 43667, evals: 109079

[Info] |called|=10

Memory statistics: total=750584.92MB, max=353.96MB, minor=750538.46MB, major=1838.24MB, promoted=1791.77MB
    minor collections=357913  major collections=48 compactions=0


[Info] runtime: 00:10:51.820
[Info] vars: 44019, evals: 109959

[Info] |called|=10

Memory statistics: total=762092.14MB, max=353.96MB, minor=762044.53MB, major=1860.78MB, promoted=1813.16MB
    minor collections=363400  major collections=48 compactions=0


[Info] runtime: 00:11:01.846
[Info] vars: 44371, evals: 110839

[Info] |called|=11

Memory statistics: total=773648.07MB, max=353.96MB, minor=773599.77MB, major=1882.80MB, promoted=1834.50MB
    minor collections=368911  major collections=49 compactions=0


[Info] runtime: 00:11:11.868
[Info] vars: 44723, evals: 111719

[Info] |called|=11

Memory statistics: total=785505.74MB, max=353.96MB, minor=785456.76MB, major=1905.30MB, promoted=1856.32MB
    minor collections=374564  major collections=49 compactions=0


[Info] runtime: 00:11:21.894
[Info] vars: 45067, evals: 112579

[Info] |called|=11

Memory statistics: total=797168.77MB, max=407.06MB, minor=797119.14MB, major=1927.45MB, promoted=1877.82MB
    minor collections=380126  major collections=49 compactions=0


[Info] runtime: 00:11:31.908
[Info] vars: 45411, evals: 113439

[Info] |called|=11

Memory statistics: total=808701.70MB, max=407.06MB, minor=808651.43MB, major=1949.33MB, promoted=1899.05MB
    minor collections=385625  major collections=49 compactions=0


[Info] runtime: 00:11:41.926
[Info] vars: 45755, evals: 114293

[Info] |called|=11

Memory statistics: total=820244.35MB, max=407.06MB, minor=820193.42MB, major=1971.29MB, promoted=1920.37MB
    minor collections=391128  major collections=49 compactions=0


[Info] runtime: 00:11:51.944
[Info] vars: 46091, evals: 115133

[Info] |called|=11

Memory statistics: total=831841.20MB, max=407.06MB, minor=831789.56MB, major=1993.36MB, promoted=1941.73MB
    minor collections=396658  major collections=50 compactions=0


[Info] runtime: 00:12:01.966
[Info] vars: 46419, evals: 115959

[Info] |called|=10

Memory statistics: total=843455.55MB, max=407.06MB, minor=843403.30MB, major=2015.13MB, promoted=1962.88MB
    minor collections=402196  major collections=50 compactions=0


[Info] runtime: 00:12:11.996
[Info] vars: 46755, evals: 116799

[Info] |called|=11

Memory statistics: total=855153.07MB, max=407.06MB, minor=855100.15MB, major=2037.22MB, promoted=1984.30MB
    minor collections=407774  major collections=50 compactions=0


[Info] runtime: 00:12:22.018
[Info] vars: 47083, evals: 117619

[Info] |called|=11

Memory statistics: total=866666.93MB, max=407.06MB, minor=866613.29MB, major=2058.66MB, promoted=2005.03MB
    minor collections=413264  major collections=50 compactions=0


[Info] runtime: 00:12:32.036
[Info] vars: 47411, evals: 118439

[Info] |called|=11

Memory statistics: total=878200.28MB, max=407.06MB, minor=878145.97MB, major=2080.20MB, promoted=2025.89MB
    minor collections=418763  major collections=50 compactions=0


[Info] runtime: 00:12:42.057
[Info] vars: 47739, evals: 119259

[Info] |called|=11

Memory statistics: total=889806.64MB, max=407.06MB, minor=889751.65MB, major=2101.92MB, promoted=2046.93MB
    minor collections=424298  major collections=51 compactions=0


[Info] runtime: 00:12:52.083
[Info] vars: 48059, evals: 120059

[Info] |called|=11

Memory statistics: total=901310.25MB, max=407.06MB, minor=901254.62MB, major=2123.19MB, promoted=2067.55MB
    minor collections=429783  major collections=51 compactions=0


[Info] runtime: 00:13:02.109
[Info] vars: 48379, evals: 120859

[Info] |called|=11

Memory statistics: total=912933.43MB, max=407.06MB, minor=912877.16MB, major=2144.86MB, promoted=2088.58MB
    minor collections=435325  major collections=51 compactions=0


[Info] runtime: 00:13:12.143
[Info] vars: 48699, evals: 121659

[Info] |called|=11

Memory statistics: total=924504.44MB, max=407.06MB, minor=924447.52MB, major=2166.35MB, promoted=2109.43MB
    minor collections=440842  major collections=51 compactions=0


[Info] runtime: 00:13:22.166
[Info] vars: 49019, evals: 122459

[Info] |called|=11

Memory statistics: total=936032.68MB, max=407.06MB, minor=935975.11MB, major=2187.83MB, promoted=2130.26MB
    minor collections=446339  major collections=51 compactions=0


[Info] runtime: 00:13:32.196
[Info] vars: 49331, evals: 123239

[Info] |called|=11

Memory statistics: total=947520.91MB, max=407.06MB, minor=947462.64MB, major=2209.21MB, promoted=2150.95MB
    minor collections=451817  major collections=52 compactions=0


[Info] runtime: 00:13:42.214
[Info] vars: 49643, evals: 124019

[Info] |called|=11

Memory statistics: total=959044.97MB, max=407.06MB, minor=958986.05MB, major=2230.63MB, promoted=2171.71MB
    minor collections=457312  major collections=52 compactions=0


[Info] runtime: 00:13:52.236
[Info] vars: 49955, evals: 124793

[Info] |called|=11

Memory statistics: total=970789.85MB, max=407.06MB, minor=970730.26MB, major=2252.24MB, promoted=2192.65MB
    minor collections=462913  major collections=52 compactions=0


[Info] runtime: 00:14:02.266
[Info] vars: 50259, evals: 125559

[Info] |called|=10

Memory statistics: total=982476.42MB, max=407.06MB, minor=982416.16MB, major=2273.71MB, promoted=2213.44MB
    minor collections=468485  major collections=52 compactions=0


[Info] runtime: 00:14:12.284
[Info] vars: 50571, evals: 126339

[Info] |called|=11

Memory statistics: total=994001.48MB, max=407.06MB, minor=993940.55MB, major=2295.00MB, promoted=2234.07MB
    minor collections=473980  major collections=52 compactions=0


[Info] runtime: 00:14:22.298
[Info] vars: 50875, evals: 127099

[Info] |called|=11

Memory statistics: total=1005435.41MB, max=407.06MB, minor=1005373.85MB, major=2316.03MB, promoted=2254.48MB
    minor collections=479432  major collections=52 compactions=0


[Info] runtime: 00:14:32.316
[Info] vars: 51179, evals: 127859

[Info] |called|=10

Memory statistics: total=1017007.23MB, max=407.06MB, minor=1016945.00MB, major=2337.17MB, promoted=2274.94MB
    minor collections=484950  major collections=53 compactions=0


[Info] runtime: 00:14:42.334
[Info] vars: 51483, evals: 128619

[Info] |called|=10

Memory statistics: total=1028646.21MB, max=407.06MB, minor=1028583.30MB, major=2358.42MB, promoted=2295.51MB
    minor collections=490500  major collections=53 compactions=0


[Info] runtime: 00:14:52.348
[Info] vars: 51787, evals: 129379

[Info] |called|=11

Memory statistics: total=1040321.26MB, max=407.06MB, minor=1040257.71MB, major=2379.82MB, promoted=2316.27MB
    minor collections=496067  major collections=53 compactions=0

