./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/04_incdec_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/04_incdec_cas.i:712:2-722:24 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/04_incdec_cas.i:732:2-742:24 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/04_incdec_cas.i:754:2-756:2 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.148
[Info] vars: 5258, evals: 13300

[Info] |called|=17

Memory statistics: total=16945.07MB, max=55.63MB, minor=16941.96MB, major=138.08MB, promoted=134.97MB
    minor collections=8087  major collections=19 compactions=0


[Info] runtime: 00:00:20.199
[Info] vars: 8111, evals: 20592

[Info] |called|=12

Memory statistics: total=33342.50MB, max=84.62MB, minor=33338.60MB, major=220.52MB, promoted=216.62MB
    minor collections=15908  major collections=23 compactions=0


[Info] runtime: 00:00:30.250
[Info] vars: 10180, evals: 25874

[Info] |called|=17

Memory statistics: total=48355.84MB, max=97.31MB, minor=48350.93MB, major=284.66MB, promoted=279.75MB
    minor collections=23067  major collections=25 compactions=0


[Info] runtime: 00:00:40.285
[Info] vars: 11801, evals: 30015

[Info] |called|=13

Memory statistics: total=62024.83MB, max=111.91MB, minor=62019.14MB, major=337.33MB, promoted=331.64MB
    minor collections=29586  major collections=26 compactions=0


[Info] runtime: 00:00:50.328
[Info] vars: 13206, evals: 33616

[Info] |called|=13

Memory statistics: total=75137.34MB, max=128.69MB, minor=75131.02MB, major=384.85MB, promoted=378.53MB
    minor collections=35838  major collections=27 compactions=0


[Info] runtime: 00:01:00.359
[Info] vars: 14492, evals: 36899

[Info] |called|=13

Memory statistics: total=88154.54MB, max=148.00MB, minor=88147.58MB, major=429.55MB, promoted=422.59MB
    minor collections=42046  major collections=28 compactions=0


[Info] runtime: 00:01:10.386
[Info] vars: 15653, evals: 39859

[Info] |called|=13

Memory statistics: total=100785.07MB, max=148.00MB, minor=100777.49MB, major=470.97MB, promoted=463.39MB
    minor collections=48069  major collections=29 compactions=0


[Info] runtime: 00:01:20.413
[Info] vars: 16733, evals: 42619

[Info] |called|=13

Memory statistics: total=113329.20MB, max=170.20MB, minor=113320.48MB, major=511.10MB, promoted=502.38MB
    minor collections=54050  major collections=30 compactions=0


[Info] runtime: 00:01:30.444
[Info] vars: 17741, evals: 45202

[Info] |called|=12

Memory statistics: total=125742.30MB, max=170.20MB, minor=125732.96MB, major=549.20MB, promoted=539.86MB
    minor collections=59970  major collections=31 compactions=0


[Info] runtime: 00:01:40.479
[Info] vars: 18725, evals: 47715

[Info] |called|=13

Memory statistics: total=138288.85MB, max=170.20MB, minor=138278.77MB, major=586.77MB, promoted=576.69MB
    minor collections=65953  major collections=32 compactions=0


[Info] runtime: 00:01:50.509
[Info] vars: 19649, evals: 50078

[Info] |called|=13

Memory statistics: total=150722.83MB, max=195.73MB, minor=150712.13MB, major=623.16MB, promoted=612.47MB
    minor collections=71881  major collections=32 compactions=0


[Info] runtime: 00:02:00.532
[Info] vars: 20549, evals: 52378

[Info] |called|=12

Memory statistics: total=163281.29MB, max=195.73MB, minor=163269.95MB, major=659.15MB, promoted=647.82MB
    minor collections=77870  major collections=33 compactions=0


[Info] runtime: 00:02:10.567
[Info] vars: 21395, evals: 54540

[Info] |called|=12

Memory statistics: total=175535.02MB, max=195.73MB, minor=175522.81MB, major=693.99MB, promoted=681.78MB
    minor collections=83713  major collections=33 compactions=0


[Info] runtime: 00:02:20.582
[Info] vars: 22223, evals: 56649

[Info] |called|=13

Memory statistics: total=187880.17MB, max=195.73MB, minor=187867.33MB, major=728.10MB, promoted=715.26MB
    minor collections=89600  major collections=34 compactions=0


[Info] runtime: 00:02:30.613
[Info] vars: 23015, evals: 58680

[Info] |called|=12

Memory statistics: total=200208.97MB, max=225.09MB, minor=200195.51MB, major=761.55MB, promoted=748.09MB
    minor collections=95478  major collections=34 compactions=0


[Info] runtime: 00:02:40.628
[Info] vars: 23780, evals: 60635

[Info] |called|=13

Memory statistics: total=212409.56MB, max=225.09MB, minor=212395.49MB, major=794.16MB, promoted=780.09MB
    minor collections=101296  major collections=35 compactions=0


[Info] runtime: 00:02:50.663
[Info] vars: 24525, evals: 62531

[Info] |called|=17

Memory statistics: total=224589.44MB, max=225.09MB, minor=224574.74MB, major=826.03MB, promoted=811.32MB
    minor collections=107104  major collections=35 compactions=0


[Info] runtime: 00:03:00.690
[Info] vars: 25256, evals: 64400

[Info] |called|=13

Memory statistics: total=236867.14MB, max=225.09MB, minor=236851.82MB, major=857.68MB, promoted=842.35MB
    minor collections=112959  major collections=36 compactions=0


[Info] runtime: 00:03:10.713
[Info] vars: 25958, evals: 66201

[Info] |called|=13

Memory statistics: total=249166.48MB, max=258.85MB, minor=249150.53MB, major=889.08MB, promoted=873.13MB
    minor collections=118823  major collections=36 compactions=0


[Info] runtime: 00:03:20.732
[Info] vars: 26642, evals: 67949

[Info] |called|=12

Memory statistics: total=261199.63MB, max=258.85MB, minor=261183.07MB, major=919.54MB, promoted=902.97MB
    minor collections=124561  major collections=37 compactions=0


[Info] runtime: 00:03:30.747
[Info] vars: 27317, evals: 69674

[Info] |called|=13

Memory statistics: total=273491.43MB, max=258.85MB, minor=273474.24MB, major=950.17MB, promoted=932.98MB
    minor collections=130422  major collections=37 compactions=0


[Info] runtime: 00:03:40.781
[Info] vars: 27965, evals: 71330

[Info] |called|=12

Memory statistics: total=285513.28MB, max=258.85MB, minor=285495.47MB, major=979.91MB, promoted=962.10MB
    minor collections=136155  major collections=37 compactions=0


[Info] runtime: 00:03:50.804
[Info] vars: 28613, evals: 72986

[Info] |called|=13

Memory statistics: total=297701.48MB, max=258.85MB, minor=297683.01MB, major=1009.85MB, promoted=991.39MB
    minor collections=141967  major collections=38 compactions=0


[Info] runtime: 00:04:00.859
[Info] vars: 29252, evals: 74612

[Info] |called|=13

Memory statistics: total=310146.40MB, max=297.68MB, minor=310127.30MB, major=1039.95MB, promoted=1020.86MB
    minor collections=147901  major collections=38 compactions=0


[Info] runtime: 00:04:10.878
[Info] vars: 29873, evals: 76199

[Info] |called|=13

Memory statistics: total=322223.75MB, max=297.68MB, minor=322204.03MB, major=1068.77MB, promoted=1049.06MB
    minor collections=153659  major collections=38 compactions=0


[Info] runtime: 00:04:20.905
[Info] vars: 30467, evals: 77724

[Info] |called|=13

Memory statistics: total=334184.21MB, max=297.68MB, minor=334163.88MB, major=1097.14MB, promoted=1076.81MB
    minor collections=159363  major collections=39 compactions=0


[Info] runtime: 00:04:30.940
[Info] vars: 31070, evals: 79258

[Info] |called|=13

Memory statistics: total=346596.38MB, max=297.68MB, minor=346575.40MB, major=1126.44MB, promoted=1105.45MB
    minor collections=165281  major collections=39 compactions=0


[Info] runtime: 00:04:40.955
[Info] vars: 31655, evals: 80760

[Info] |called|=12

Memory statistics: total=358678.34MB, max=297.68MB, minor=358656.75MB, major=1154.72MB, promoted=1133.13MB
    minor collections=171042  major collections=39 compactions=0


[Info] runtime: 00:04:50.978
[Info] vars: 32231, evals: 82232

[Info] |called|=13

Memory statistics: total=370784.84MB, max=297.68MB, minor=370762.60MB, major=1182.83MB, promoted=1160.59MB
    minor collections=176815  major collections=40 compactions=0


[Info] runtime: 00:05:01.005
[Info] vars: 32789, evals: 83658

[Info] |called|=12

Memory statistics: total=383009.21MB, max=297.68MB, minor=382985.32MB, major=1211.90MB, promoted=1188.01MB
    minor collections=182644  major collections=40 compactions=0


[Info] runtime: 00:05:11.032
[Info] vars: 33356, evals: 85107

[Info] |called|=13

Memory statistics: total=395123.49MB, max=297.68MB, minor=395098.96MB, major=1239.68MB, promoted=1215.15MB
    minor collections=188420  major collections=40 compactions=0


[Info] runtime: 00:05:21.051
[Info] vars: 33897, evals: 86493

[Info] |called|=12

Memory statistics: total=407149.13MB, max=297.68MB, minor=407123.98MB, major=1267.08MB, promoted=1241.93MB
    minor collections=194154  major collections=41 compactions=0


[Info] runtime: 00:05:31.070
[Info] vars: 34436, evals: 87867

[Info] |called|=12

Memory statistics: total=419364.27MB, max=297.68MB, minor=419338.49MB, major=1294.63MB, promoted=1268.84MB
    minor collections=199979  major collections=41 compactions=0


[Info] runtime: 00:05:41.101
[Info] vars: 34976, evals: 89247

[Info] |called|=13

Memory statistics: total=431581.93MB, max=342.34MB, minor=431555.47MB, major=1322.30MB, promoted=1295.85MB
    minor collections=205805  major collections=41 compactions=0


[Info] runtime: 00:05:51.120
[Info] vars: 35498, evals: 90574

[Info] |called|=13

Memory statistics: total=443534.93MB, max=342.34MB, minor=443507.86MB, major=1349.04MB, promoted=1321.97MB
    minor collections=211504  major collections=41 compactions=0


[Info] runtime: 00:06:01.143
[Info] vars: 36020, evals: 91908

[Info] |called|=13

Memory statistics: total=455734.56MB, max=342.34MB, minor=455706.86MB, major=1376.09MB, promoted=1348.40MB
    minor collections=217321  major collections=42 compactions=0


[Info] runtime: 00:06:11.186
[Info] vars: 36533, evals: 93219

[Info] |called|=13

Memory statistics: total=468051.04MB, max=342.34MB, minor=468022.70MB, major=1403.25MB, promoted=1374.91MB
    minor collections=223194  major collections=42 compactions=0


[Info] runtime: 00:06:21.200
[Info] vars: 37046, evals: 94536

[Info] |called|=17

Memory statistics: total=480313.01MB, max=342.34MB, minor=480283.83MB, major=1430.49MB, promoted=1401.31MB
    minor collections=229041  major collections=42 compactions=0


[Info] runtime: 00:06:31.223
[Info] vars: 37550, evals: 95818

[Info] |called|=13

Memory statistics: total=492495.51MB, max=342.34MB, minor=492465.69MB, major=1457.46MB, promoted=1427.63MB
    minor collections=234850  major collections=43 compactions=0


[Info] runtime: 00:06:41.251
[Info] vars: 38036, evals: 97067

[Info] |called|=12

Memory statistics: total=504689.03MB, max=342.34MB, minor=504658.58MB, major=1484.10MB, promoted=1453.65MB
    minor collections=240664  major collections=43 compactions=0


[Info] runtime: 00:06:51.286
[Info] vars: 38531, evals: 98325

[Info] |called|=13

Memory statistics: total=517002.91MB, max=342.34MB, minor=516971.82MB, major=1510.75MB, promoted=1479.66MB
    minor collections=246536  major collections=43 compactions=0


[Info] runtime: 00:07:01.301
[Info] vars: 39017, evals: 99567

[Info] |called|=13

Memory statistics: total=529247.70MB, max=342.34MB, minor=529215.97MB, major=1537.09MB, promoted=1505.36MB
    minor collections=252374  major collections=43 compactions=0


[Info] runtime: 00:07:11.328
[Info] vars: 39494, evals: 100786

[Info] |called|=13

Memory statistics: total=541351.55MB, max=342.34MB, minor=541319.17MB, major=1563.07MB, promoted=1530.69MB
    minor collections=258146  major collections=44 compactions=0


[Info] runtime: 00:07:21.347
[Info] vars: 39962, evals: 101982

[Info] |called|=13

Memory statistics: total=553556.89MB, max=342.34MB, minor=553523.89MB, major=1589.36MB, promoted=1556.36MB
    minor collections=263966  major collections=44 compactions=0


[Info] runtime: 00:07:31.378
[Info] vars: 40430, evals: 103178

[Info] |called|=13

Memory statistics: total=565870.49MB, max=393.69MB, minor=565836.86MB, major=1615.22MB, promoted=1581.59MB
    minor collections=269837  major collections=44 compactions=0


[Info] runtime: 00:07:41.398
[Info] vars: 40889, evals: 104358

[Info] |called|=13

Memory statistics: total=577907.88MB, max=393.69MB, minor=577873.62MB, major=1640.72MB, promoted=1606.46MB
    minor collections=275577  major collections=44 compactions=0


[Info] runtime: 00:07:51.417
[Info] vars: 41348, evals: 105531

[Info] |called|=12

Memory statistics: total=590203.58MB, max=393.69MB, minor=590168.68MB, major=1666.65MB, promoted=1631.75MB
    minor collections=281440  major collections=45 compactions=0


[Info] runtime: 00:08:01.436
[Info] vars: 41807, evals: 106704

[Info] |called|=12

Memory statistics: total=602605.95MB, max=393.69MB, minor=602570.39MB, major=1692.83MB, promoted=1657.28MB
    minor collections=287354  major collections=45 compactions=0


[Info] runtime: 00:08:11.471
[Info] vars: 42257, evals: 107854

[Info] |called|=12

Memory statistics: total=614971.86MB, max=393.69MB, minor=614935.13MB, major=1719.45MB, promoted=1682.71MB
    minor collections=293250  major collections=45 compactions=0


[Info] runtime: 00:08:21.490
[Info] vars: 42715, evals: 109019

[Info] |called|=17

Memory statistics: total=627218.03MB, max=393.69MB, minor=627180.63MB, major=1745.23MB, promoted=1707.83MB
    minor collections=299089  major collections=45 compactions=0


[Info] runtime: 00:08:31.505
[Info] vars: 43157, evals: 110147

[Info] |called|=13

Memory statistics: total=639467.85MB, max=393.69MB, minor=639429.83MB, major=1770.68MB, promoted=1732.66MB
    minor collections=304931  major collections=46 compactions=0


[Info] runtime: 00:08:41.524
[Info] vars: 43598, evals: 111281

[Info] |called|=15

Memory statistics: total=651903.12MB, max=393.69MB, minor=651864.42MB, major=1796.44MB, promoted=1757.74MB
    minor collections=310860  major collections=46 compactions=0


[Info] runtime: 00:08:51.560
[Info] vars: 44030, evals: 112385

[Info] |called|=13

Memory statistics: total=664359.63MB, max=393.69MB, minor=664320.28MB, major=1822.16MB, promoted=1782.81MB
    minor collections=316799  major collections=46 compactions=0


[Info] runtime: 00:09:01.583
[Info] vars: 44462, evals: 113489

[Info] |called|=13

Memory statistics: total=676610.51MB, max=393.69MB, minor=676570.51MB, major=1847.16MB, promoted=1807.16MB
    minor collections=322641  major collections=46 compactions=0


[Info] runtime: 00:09:11.606
[Info] vars: 44885, evals: 114570

[Info] |called|=12

Memory statistics: total=688745.81MB, max=393.69MB, minor=688705.16MB, major=1872.14MB, promoted=1831.49MB
    minor collections=328427  major collections=46 compactions=0


[Info] runtime: 00:09:21.625
[Info] vars: 45308, evals: 115651

[Info] |called|=13

Memory statistics: total=700963.87MB, max=393.69MB, minor=700922.57MB, major=1897.12MB, promoted=1855.82MB
    minor collections=334254  major collections=47 compactions=0


[Info] runtime: 00:09:31.648
[Info] vars: 45731, evals: 116725

[Info] |called|=13

Memory statistics: total=713282.86MB, max=393.69MB, minor=713240.93MB, major=1922.15MB, promoted=1880.21MB
    minor collections=340127  major collections=47 compactions=0


[Info] runtime: 00:09:41.675
[Info] vars: 46136, evals: 117767

[Info] |called|=12

Memory statistics: total=725597.67MB, max=452.74MB, minor=725555.09MB, major=1947.20MB, promoted=1904.62MB
    minor collections=345999  major collections=47 compactions=0


[Info] runtime: 00:09:51.691
[Info] vars: 46550, evals: 118818

[Info] |called|=13

Memory statistics: total=737631.64MB, max=452.74MB, minor=737588.43MB, major=1971.41MB, promoted=1928.20MB
    minor collections=351737  major collections=47 compactions=0


[Info] runtime: 00:10:01.710
[Info] vars: 46955, evals: 119860

[Info] |called|=13

Memory statistics: total=749829.19MB, max=452.74MB, minor=749785.34MB, major=1996.10MB, promoted=1952.25MB
    minor collections=357553  major collections=47 compactions=0


[Info] runtime: 00:10:11.729
[Info] vars: 47360, evals: 120895

[Info] |called|=12

Memory statistics: total=762155.86MB, max=452.74MB, minor=762111.36MB, major=2020.82MB, promoted=1976.32MB
    minor collections=363431  major collections=48 compactions=0


[Info] runtime: 00:10:21.748
[Info] vars: 47765, evals: 121923

[Info] |called|=13

Memory statistics: total=774475.12MB, max=452.74MB, minor=774429.93MB, major=2045.55MB, promoted=2000.36MB
    minor collections=369306  major collections=48 compactions=0


[Info] runtime: 00:10:31.787
[Info] vars: 48152, evals: 122919

[Info] |called|=12

Memory statistics: total=786653.88MB, max=452.74MB, minor=786608.06MB, major=2069.87MB, promoted=2024.05MB
    minor collections=375113  major collections=48 compactions=0


[Info] runtime: 00:10:41.807
[Info] vars: 48548, evals: 123931

[Info] |called|=13

Memory statistics: total=798686.76MB, max=452.74MB, minor=798640.28MB, major=2094.32MB, promoted=2047.84MB
    minor collections=380850  major collections=48 compactions=0


[Info] runtime: 00:10:51.826
[Info] vars: 48935, evals: 124920

[Info] |called|=12

Memory statistics: total=810785.48MB, max=452.74MB, minor=810738.38MB, major=2118.31MB, promoted=2071.21MB
    minor collections=386619  major collections=48 compactions=0


[Info] runtime: 00:11:01.853
[Info] vars: 49322, evals: 125909

[Info] |called|=13

Memory statistics: total=822917.83MB, max=452.74MB, minor=822870.09MB, major=2142.67MB, promoted=2094.94MB
    minor collections=392404  major collections=49 compactions=0


[Info] runtime: 00:11:11.880
[Info] vars: 49709, evals: 126891

[Info] |called|=13

Memory statistics: total=835168.53MB, max=452.74MB, minor=835120.11MB, major=2166.93MB, promoted=2118.51MB
    minor collections=398246  major collections=49 compactions=0


[Info] runtime: 00:11:21.915
[Info] vars: 50087, evals: 127857

[Info] |called|=13

Memory statistics: total=847396.93MB, max=452.74MB, minor=847347.87MB, major=2191.07MB, promoted=2142.01MB
    minor collections=404076  major collections=49 compactions=0


[Info] runtime: 00:11:31.930
[Info] vars: 50465, evals: 128823

[Info] |called|=13

Memory statistics: total=859439.29MB, max=452.74MB, minor=859389.59MB, major=2214.86MB, promoted=2165.16MB
    minor collections=409818  major collections=49 compactions=0


[Info] runtime: 00:11:41.961
[Info] vars: 50843, evals: 129796

[Info] |called|=13

Memory statistics: total=871660.35MB, max=452.74MB, minor=871610.00MB, major=2238.89MB, promoted=2188.55MB
    minor collections=415646  major collections=49 compactions=0


[Info] runtime: 00:11:51.984
[Info] vars: 51212, evals: 130739

[Info] |called|=13

Memory statistics: total=883708.74MB, max=452.74MB, minor=883657.74MB, major=2262.60MB, promoted=2211.60MB
    minor collections=421391  major collections=50 compactions=0


[Info] runtime: 00:12:02.011
[Info] vars: 51583, evals: 131688

[Info] |called|=12

Memory statistics: total=896031.14MB, max=452.74MB, minor=895979.53MB, major=2286.73MB, promoted=2235.12MB
    minor collections=427267  major collections=50 compactions=0


[Info] runtime: 00:12:12.035
[Info] vars: 51950, evals: 132625

[Info] |called|=13

Memory statistics: total=908208.27MB, max=452.74MB, minor=908155.99MB, major=2310.63MB, promoted=2258.35MB
    minor collections=433073  major collections=50 compactions=0


[Info] runtime: 00:12:22.066
[Info] vars: 52310, evals: 133545

[Info] |called|=12

Memory statistics: total=920386.95MB, max=452.74MB, minor=920334.05MB, major=2334.22MB, promoted=2281.32MB
    minor collections=438880  major collections=50 compactions=0


[Info] runtime: 00:12:32.085
[Info] vars: 52679, evals: 134481

[Info] |called|=13

Memory statistics: total=932442.09MB, max=452.74MB, minor=932388.53MB, major=2357.98MB, promoted=2304.41MB
    minor collections=444628  major collections=50 compactions=0


[Info] runtime: 00:12:42.108
[Info] vars: 53038, evals: 135400

[Info] |called|=15

Memory statistics: total=944517.88MB, max=452.74MB, minor=944463.68MB, major=2381.43MB, promoted=2327.23MB
    minor collections=450386  major collections=51 compactions=0


[Info] runtime: 00:12:52.123
[Info] vars: 53390, evals: 136305

[Info] |called|=13

Memory statistics: total=956652.56MB, max=452.74MB, minor=956597.69MB, major=2404.96MB, promoted=2350.09MB
    minor collections=456173  major collections=51 compactions=0


[Info] runtime: 00:13:02.146
[Info] vars: 53741, evals: 137202

[Info] |called|=12

Memory statistics: total=968806.95MB, max=452.74MB, minor=968751.43MB, major=2428.38MB, promoted=2372.86MB
    minor collections=461968  major collections=51 compactions=0


[Info] runtime: 00:13:12.189
[Info] vars: 54101, evals: 138115

[Info] |called|=13

Memory statistics: total=981083.41MB, max=520.66MB, minor=981027.24MB, major=2451.92MB, promoted=2395.75MB
    minor collections=467822  major collections=51 compactions=0


[Info] runtime: 00:13:22.209
[Info] vars: 54452, evals: 139012

[Info] |called|=13

Memory statistics: total=993104.78MB, max=520.66MB, minor=993047.97MB, major=2475.01MB, promoted=2418.20MB
    minor collections=473554  major collections=51 compactions=0


[Info] runtime: 00:13:32.228
[Info] vars: 54803, evals: 139909

[Info] |called|=13

Memory statistics: total=1005249.04MB, max=520.66MB, minor=1005191.58MB, major=2498.26MB, promoted=2440.80MB
    minor collections=479344  major collections=51 compactions=0


[Info] runtime: 00:13:42.251
[Info] vars: 55154, evals: 140806

[Info] |called|=13

Memory statistics: total=1017453.63MB, max=520.66MB, minor=1017395.57MB, major=2521.54MB, promoted=2463.48MB
    minor collections=485164  major collections=52 compactions=0


[Info] runtime: 00:13:52.278
[Info] vars: 55496, evals: 141687

[Info] |called|=13

Memory statistics: total=1029694.54MB, max=520.66MB, minor=1029635.82MB, major=2544.77MB, promoted=2486.05MB
    minor collections=491001  major collections=52 compactions=0


[Info] runtime: 00:14:02.297
[Info] vars: 55838, evals: 142561

[Info] |called|=13

Memory statistics: total=1041865.01MB, max=520.66MB, minor=1041805.62MB, major=2568.05MB, promoted=2508.66MB
    minor collections=496804  major collections=52 compactions=0


[Info] runtime: 00:14:12.328
[Info] vars: 56180, evals: 143428

[Info] |called|=13

Memory statistics: total=1054064.87MB, max=520.66MB, minor=1054004.87MB, major=2591.13MB, promoted=2531.14MB
    minor collections=502621  major collections=52 compactions=0


[Info] runtime: 00:14:22.343
[Info] vars: 56522, evals: 144302

[Info] |called|=13

Memory statistics: total=1066111.94MB, max=520.66MB, minor=1066051.28MB, major=2614.16MB, promoted=2553.50MB
    minor collections=508365  major collections=52 compactions=0


[Info] runtime: 00:14:32.366
[Info] vars: 56855, evals: 145160

[Info] |called|=13

Memory statistics: total=1078228.86MB, max=520.66MB, minor=1078167.58MB, major=2637.15MB, promoted=2575.87MB
    minor collections=514143  major collections=52 compactions=0


[Info] runtime: 00:14:42.386
[Info] vars: 57188, evals: 146011

[Info] |called|=13

Memory statistics: total=1090246.72MB, max=520.66MB, minor=1090184.77MB, major=2659.83MB, promoted=2597.87MB
    minor collections=519874  major collections=53 compactions=0


[Info] runtime: 00:14:52.409
[Info] vars: 57521, evals: 146862

[Info] |called|=13

Memory statistics: total=1102543.98MB, max=520.66MB, minor=1102481.39MB, major=2682.87MB, promoted=2620.28MB
    minor collections=525737  major collections=53 compactions=0

