./goblint --conf conf/svcomp.json --disable witness.graphml.enabled --set 'witness.yaml.invariant-types[+]' location_invariant --enable witness.invariant.after-lock --enable witness.invariant.other --enable witness.invariant.accessed --disable witness.invariant.all-locals --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-complex/workstealqueue_mutex-2.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
:-1: Warning: Incompatible declaration for pthread_rwlock_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:833 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:836 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_rdlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:838 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_tryrdlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:840 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedrdlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:842 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_wrlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:845 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_trywrlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:847 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedwrlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:849 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_unlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:852 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_498301977 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic 
	Failed assumption that struct __anonstruct___data_436374932 and struct __pthread_rwlock_arch_t are isomorphic (different integer types int  and unsigned int )
struct __anonstruct___data_436374932 {
   int __lock ;
   unsigned int __nr_readers ;
   unsigned int __readers_wakeup ;
   unsigned int __writer_wakeup ;
   unsigned int __nr_readers_queued ;
   unsigned int __nr_writers_queued ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __writer ;
};

struct __pthread_rwlock_arch_t {
   unsigned int __readers ;
   unsigned int __writers ;
   unsigned int __wrphase_futex ;
   unsigned int __writers_futex ;
   unsigned int __pad3 ;
   unsigned int __pad4 ;
   unsigned char __flags ;
   unsigned char __shared ;
   signed char __rwelision ;
   unsigned char __pad2 ;
   int __cur_writer ;
};

union __anonunion_pthread_rwlock_t_498301977 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:871 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:874 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_signal (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:876 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_broadcast (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:878 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_wait (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:880 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_timedwait (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:883 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i (0)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_1008790183 and union __anonunion_pthread_cond_t_951761805 are isomorphic (different number of fields in __anonstruct___data_282018390 and __pthread_cond_s: 8 != 7.)
union __anonunion_pthread_cond_t_1008790183 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};
 
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain for:
[Info] writeV, q, i, key, count, a, tmp, count, i, j, i___0, j___0, k, size, r, top, i, handles, r, tmp, r___0, tmp___0, i, r, tmp, tmp___0, t, elem, tmp, temp, i, count, h, newsize, elem, tmp, tmp___0, tmp___1, t, result, tmp, tmp___0, tmp___1, t, result, found, tmp, tmp___0, tmp___1, h, result, found, tmp, tmp___0, size, v, w, v, expected, obj, expected, desired, obj, v, t, r, r
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.147
[Info] vars: 9807, evals: 31302

[Info] |called|=28

Memory statistics: total=20570.67MB, max=60.45MB, minor=20567.38MB, major=210.20MB, promoted=206.91MB
    minor collections=9819  major collections=24 compactions=0


[Info] runtime: 00:00:20.182
[Info] vars: 17098, evals: 55397

[Info] |called|=30

Memory statistics: total=36806.74MB, max=91.94MB, minor=36802.47MB, major=366.44MB, promoted=362.18MB
    minor collections=17564  major collections=31 compactions=0


[Info] runtime: 00:00:30.209
[Info] vars: 23158, evals: 75454

[Info] |called|=33

Memory statistics: total=50565.16MB, max=121.59MB, minor=50560.75MB, major=496.28MB, promoted=491.87MB
    minor collections=24127  major collections=35 compactions=0


[Info] runtime: 00:00:40.260
[Info] vars: 28410, evals: 92826

[Info] |called|=37

Memory statistics: total=62659.42MB, max=139.83MB, minor=62654.55MB, major=610.71MB, promoted=605.84MB
    minor collections=29895  major collections=38 compactions=0


[Info] runtime: 00:00:50.304
[Info] vars: 33164, evals: 108542

[Info] |called|=32

Memory statistics: total=73734.30MB, max=160.81MB, minor=73727.99MB, major=715.38MB, promoted=709.07MB
    minor collections=35177  major collections=40 compactions=0


[Info] runtime: 00:01:00.335
[Info] vars: 37501, evals: 122900

[Info] |called|=29

Memory statistics: total=83983.04MB, max=184.93MB, minor=83976.59MB, major=809.54MB, promoted=803.10MB
    minor collections=40064  major collections=41 compactions=0


[Info] runtime: 00:01:10.362
[Info] vars: 41540, evals: 136265

[Info] |called|=33

Memory statistics: total=93604.63MB, max=212.67MB, minor=93598.07MB, major=897.42MB, promoted=890.85MB
    minor collections=44653  major collections=43 compactions=0


[Info] runtime: 00:01:20.398
[Info] vars: 45324, evals: 148784

[Info] |called|=26

Memory statistics: total=102713.19MB, max=212.67MB, minor=102706.50MB, major=980.04MB, promoted=973.34MB
    minor collections=48997  major collections=44 compactions=0


[Info] runtime: 00:01:30.425
[Info] vars: 48910, evals: 160621

[Info] |called|=26

Memory statistics: total=111413.91MB, max=244.57MB, minor=111406.57MB, major=1059.07MB, promoted=1051.72MB
    minor collections=53146  major collections=45 compactions=0


[Info] runtime: 00:01:40.456
[Info] vars: 52329, evals: 171929

[Info] |called|=27

Memory statistics: total=119783.88MB, max=244.57MB, minor=119776.42MB, major=1134.06MB, promoted=1126.60MB
    minor collections=57138  major collections=46 compactions=0


[Info] runtime: 00:01:50.504
[Info] vars: 55584, evals: 182713

[Info] |called|=28

Memory statistics: total=127838.28MB, max=281.26MB, minor=127830.57MB, major=1205.91MB, promoted=1198.20MB
    minor collections=60979  major collections=47 compactions=0


[Info] runtime: 00:02:00.531
[Info] vars: 58699, evals: 192999

[Info] |called|=27

Memory statistics: total=135579.59MB, max=281.26MB, minor=135571.76MB, major=1274.57MB, promoted=1266.74MB
    minor collections=64670  major collections=47 compactions=0


[Info] runtime: 00:02:10.562
[Info] vars: 61733, evals: 203053

[Info] |called|=28

Memory statistics: total=143211.10MB, max=323.45MB, minor=143202.62MB, major=1342.56MB, promoted=1334.08MB
    minor collections=68310  major collections=48 compactions=0


[Info] runtime: 00:02:20.597
[Info] vars: 64639, evals: 212648

[Info] |called|=32

Memory statistics: total=150509.96MB, max=323.45MB, minor=150501.37MB, major=1406.89MB, promoted=1398.29MB
    minor collections=71791  major collections=49 compactions=0


[Info] runtime: 00:02:30.641
[Info] vars: 67438, evals: 221927

[Info] |called|=27

Memory statistics: total=157642.51MB, max=323.45MB, minor=157631.71MB, major=1470.96MB, promoted=1460.15MB
    minor collections=75191  major collections=49 compactions=0


[Info] runtime: 00:02:40.664
[Info] vars: 70166, evals: 230926

[Info] |called|=26

Memory statistics: total=164628.24MB, max=323.45MB, minor=164617.31MB, major=1531.11MB, promoted=1520.17MB
    minor collections=78522  major collections=50 compactions=0


[Info] runtime: 00:02:50.695
[Info] vars: 72810, evals: 239689

[Info] |called|=28

Memory statistics: total=171410.61MB, max=371.96MB, minor=171399.57MB, major=1590.17MB, promoted=1579.13MB
    minor collections=81756  major collections=50 compactions=0


[Info] runtime: 00:03:00.722
[Info] vars: 75403, evals: 248254

[Info] |called|=29

Memory statistics: total=178154.39MB, max=371.96MB, minor=178143.21MB, major=1648.35MB, promoted=1637.17MB
    minor collections=84973  major collections=51 compactions=0


[Info] runtime: 00:03:10.746
[Info] vars: 77914, evals: 256554

[Info] |called|=26

Memory statistics: total=184665.20MB, max=371.96MB, minor=184653.93MB, major=1704.06MB, promoted=1692.80MB
    minor collections=88077  major collections=51 compactions=0


[Info] runtime: 00:03:20.769
[Info] vars: 80323, evals: 264543

[Info] |called|=29

Memory statistics: total=191023.31MB, max=371.96MB, minor=191011.92MB, major=1758.12MB, promoted=1746.73MB
    minor collections=91110  major collections=52 compactions=0


[Info] runtime: 00:03:30.784
[Info] vars: 82684, evals: 272335

[Info] |called|=28

Memory statistics: total=197197.42MB, max=427.76MB, minor=197185.92MB, major=1810.78MB, promoted=1799.28MB
    minor collections=94054  major collections=52 compactions=0


[Info] runtime: 00:03:40.799
[Info] vars: 84984, evals: 279945

[Info] |called|=29

Memory statistics: total=203284.89MB, max=427.76MB, minor=203273.28MB, major=1862.45MB, promoted=1850.84MB
    minor collections=96957  major collections=53 compactions=0


[Info] runtime: 00:03:50.830
[Info] vars: 87255, evals: 287464

[Info] |called|=30

Memory statistics: total=209370.52MB, max=427.76MB, minor=209358.78MB, major=1913.38MB, promoted=1901.63MB
    minor collections=99859  major collections=53 compactions=0


[Info] runtime: 00:04:00.842
[Info] vars: 89430, evals: 294649

[Info] |called|=30

Memory statistics: total=215138.80MB, max=427.76MB, minor=215126.98MB, major=1962.05MB, promoted=1950.23MB
    minor collections=102609  major collections=53 compactions=0


[Info] runtime: 00:04:10.861
[Info] vars: 91621, evals: 301910

[Info] |called|=28

Memory statistics: total=221072.49MB, max=427.76MB, minor=221060.54MB, major=2011.39MB, promoted=1999.44MB
    minor collections=105439  major collections=54 compactions=0


[Info] runtime: 00:04:20.900
[Info] vars: 93730, evals: 308878

[Info] |called|=31

Memory statistics: total=226773.61MB, max=491.92MB, minor=226761.55MB, major=2058.86MB, promoted=2046.80MB
    minor collections=108158  major collections=54 compactions=0


[Info] runtime: 00:04:30.923
[Info] vars: 95800, evals: 315721

[Info] |called|=28

Memory statistics: total=232365.46MB, max=491.92MB, minor=232352.26MB, major=2106.36MB, promoted=2093.16MB
    minor collections=110824  major collections=55 compactions=0


[Info] runtime: 00:04:40.939
[Info] vars: 97847, evals: 322506

[Info] |called|=29

Memory statistics: total=238005.42MB, max=491.92MB, minor=237992.08MB, major=2152.93MB, promoted=2139.59MB
    minor collections=113514  major collections=55 compactions=0


[Info] runtime: 00:04:50.974
[Info] vars: 99810, evals: 329000

[Info] |called|=28

Memory statistics: total=243396.03MB, max=491.92MB, minor=243382.58MB, major=2197.19MB, promoted=2183.73MB
    minor collections=116084  major collections=55 compactions=0


[Info] runtime: 00:05:00.989
[Info] vars: 101807, evals: 335587

[Info] |called|=27

Memory statistics: total=248837.15MB, max=491.92MB, minor=248823.61MB, major=2242.33MB, promoted=2228.80MB
    minor collections=118679  major collections=55 compactions=0


[Info] runtime: 00:05:11.004
[Info] vars: 103694, evals: 341854

[Info] |called|=26

Memory statistics: total=254104.55MB, max=491.92MB, minor=254090.90MB, major=2285.08MB, promoted=2271.43MB
    minor collections=121191  major collections=56 compactions=0


[Info] runtime: 00:05:21.027
[Info] vars: 105591, evals: 348117

[Info] |called|=38

Memory statistics: total=259425.01MB, max=491.92MB, minor=259411.21MB, major=2328.24MB, promoted=2314.43MB
    minor collections=123728  major collections=56 compactions=0


[Info] runtime: 00:05:31.039
[Info] vars: 107474, evals: 354332

[Info] |called|=33

Memory statistics: total=264610.52MB, max=491.92MB, minor=264596.39MB, major=2370.73MB, promoted=2356.61MB
    minor collections=126200  major collections=56 compactions=0


[Info] runtime: 00:05:41.058
[Info] vars: 109322, evals: 360458

[Info] |called|=33

Memory statistics: total=269793.55MB, max=491.92MB, minor=269779.33MB, major=2412.98MB, promoted=2398.76MB
    minor collections=128672  major collections=57 compactions=0


[Info] runtime: 00:05:51.073
[Info] vars: 111102, evals: 366332

[Info] |called|=27

Memory statistics: total=274834.11MB, max=491.92MB, minor=274819.76MB, major=2453.66MB, promoted=2439.31MB
    minor collections=131076  major collections=57 compactions=0


[Info] runtime: 00:06:01.116
[Info] vars: 112884, evals: 372240

[Info] |called|=38

Memory statistics: total=279936.73MB, max=565.71MB, minor=279922.24MB, major=2494.48MB, promoted=2479.99MB
    minor collections=133509  major collections=57 compactions=0


[Info] runtime: 00:06:11.131
[Info] vars: 114611, evals: 377940

[Info] |called|=31

Memory statistics: total=284741.82MB, max=565.71MB, minor=284727.28MB, major=2533.69MB, promoted=2519.15MB
    minor collections=135800  major collections=57 compactions=0


[Info] runtime: 00:06:21.154
[Info] vars: 116355, evals: 383730

[Info] |called|=27

Memory statistics: total=289725.24MB, max=565.71MB, minor=289710.61MB, major=2573.69MB, promoted=2559.06MB
    minor collections=138177  major collections=58 compactions=0


[Info] runtime: 00:06:31.177
[Info] vars: 118031, evals: 389252

[Info] |called|=26

Memory statistics: total=294520.72MB, max=565.71MB, minor=294505.97MB, major=2612.06MB, promoted=2597.31MB
    minor collections=140464  major collections=58 compactions=0


[Info] runtime: 00:06:41.208
[Info] vars: 119708, evals: 394798

[Info] |called|=28

Memory statistics: total=299382.59MB, max=565.71MB, minor=299367.69MB, major=2650.67MB, promoted=2635.76MB
    minor collections=142782  major collections=58 compactions=0


[Info] runtime: 00:06:51.231
[Info] vars: 121380, evals: 400338

[Info] |called|=30

Memory statistics: total=304164.21MB, max=565.71MB, minor=304149.23MB, major=2688.71MB, promoted=2673.73MB
    minor collections=145062  major collections=58 compactions=0


[Info] runtime: 00:07:01.247
[Info] vars: 123035, evals: 405803

[Info] |called|=33

Memory statistics: total=308899.35MB, max=565.71MB, minor=308883.25MB, major=2727.26MB, promoted=2711.16MB
    minor collections=147320  major collections=58 compactions=0


[Info] runtime: 00:07:11.262
[Info] vars: 124640, evals: 411130

[Info] |called|=28

Memory statistics: total=313595.28MB, max=565.71MB, minor=313579.08MB, major=2764.29MB, promoted=2748.09MB
    minor collections=149559  major collections=59 compactions=0


[Info] runtime: 00:07:21.281
[Info] vars: 126246, evals: 416425

[Info] |called|=31

Memory statistics: total=318293.02MB, max=565.71MB, minor=318276.69MB, major=2801.47MB, promoted=2785.14MB
    minor collections=151799  major collections=59 compactions=0


[Info] runtime: 00:07:31.296
[Info] vars: 127833, evals: 421674

[Info] |called|=26

Memory statistics: total=323007.93MB, max=650.57MB, minor=322991.44MB, major=2837.89MB, promoted=2821.40MB
    minor collections=154048  major collections=59 compactions=0


[Info] runtime: 00:07:41.307
[Info] vars: 129382, evals: 426822

[Info] |called|=26

Memory statistics: total=327481.38MB, max=650.57MB, minor=327464.84MB, major=2873.62MB, promoted=2857.08MB
    minor collections=156181  major collections=59 compactions=0


[Info] runtime: 00:07:51.318
[Info] vars: 130965, evals: 432036

[Info] |called|=31

Memory statistics: total=332076.18MB, max=650.57MB, minor=332059.56MB, major=2909.85MB, promoted=2893.23MB
    minor collections=158372  major collections=59 compactions=0


[Info] runtime: 00:08:01.341
[Info] vars: 132540, evals: 437265

[Info] |called|=32

Memory statistics: total=336756.45MB, max=650.57MB, minor=336735.54MB, major=2950.45MB, promoted=2929.53MB
    minor collections=160603  major collections=60 compactions=0


[Info] runtime: 00:08:11.352
[Info] vars: 134104, evals: 442434

[Info] |called|=28

Memory statistics: total=341441.92MB, max=650.57MB, minor=341420.87MB, major=2986.98MB, promoted=2965.93MB
    minor collections=162837  major collections=60 compactions=0


[Info] runtime: 00:08:21.375
[Info] vars: 135628, evals: 447467

[Info] |called|=30

Memory statistics: total=346032.37MB, max=650.57MB, minor=346011.17MB, major=3022.34MB, promoted=3001.14MB
    minor collections=165026  major collections=60 compactions=0


[Info] runtime: 00:08:31.394
[Info] vars: 137155, evals: 452505

[Info] |called|=26

Memory statistics: total=350491.62MB, max=650.57MB, minor=350470.37MB, major=3057.15MB, promoted=3035.90MB
    minor collections=167152  major collections=60 compactions=0


[Info] runtime: 00:08:41.413
[Info] vars: 138674, evals: 457533

[Info] |called|=32

Memory statistics: total=354977.80MB, max=650.57MB, minor=354956.48MB, major=3091.83MB, promoted=3070.51MB
    minor collections=169291  major collections=60 compactions=0


[Info] runtime: 00:08:51.428
[Info] vars: 140175, evals: 462514

[Info] |called|=29

Memory statistics: total=359484.33MB, max=650.57MB, minor=359462.90MB, major=3126.52MB, promoted=3105.09MB
    minor collections=171441  major collections=61 compactions=0


[Info] runtime: 00:09:01.444
[Info] vars: 141641, evals: 467371

[Info] |called|=26

Memory statistics: total=363920.05MB, max=650.57MB, minor=363898.50MB, major=3160.64MB, promoted=3139.09MB
    minor collections=173556  major collections=61 compactions=0


[Info] runtime: 00:09:11.459
[Info] vars: 143096, evals: 472156

[Info] |called|=26

Memory statistics: total=368333.69MB, max=650.57MB, minor=368311.99MB, major=3194.53MB, promoted=3172.83MB
    minor collections=175660  major collections=61 compactions=0


[Info] runtime: 00:09:21.505
[Info] vars: 144526, evals: 476900

[Info] |called|=38

Memory statistics: total=372701.97MB, max=650.57MB, minor=372680.13MB, major=3227.97MB, promoted=3206.14MB
    minor collections=177743  major collections=61 compactions=0


[Info] runtime: 00:09:31.516
[Info] vars: 145948, evals: 481607

[Info] |called|=28

Memory statistics: total=376951.26MB, max=650.57MB, minor=376929.38MB, major=3260.75MB, promoted=3238.87MB
    minor collections=179770  major collections=61 compactions=0


[Info] runtime: 00:09:41.532
[Info] vars: 147319, evals: 486130

[Info] |called|=29

Memory statistics: total=381076.84MB, max=650.57MB, minor=381054.90MB, major=3292.50MB, promoted=3270.55MB
    minor collections=181737  major collections=61 compactions=0


[Info] runtime: 00:09:51.542
[Info] vars: 148725, evals: 490791

[Info] |called|=32

Memory statistics: total=385362.83MB, max=650.57MB, minor=385340.79MB, major=3324.81MB, promoted=3302.76MB
    minor collections=183781  major collections=62 compactions=0


[Info] runtime: 00:10:01.557
[Info] vars: 150102, evals: 495332

[Info] |called|=28

Memory statistics: total=389576.03MB, max=650.57MB, minor=389553.87MB, major=3356.60MB, promoted=3334.44MB
    minor collections=185790  major collections=62 compactions=0


[Info] runtime: 00:10:11.584
[Info] vars: 151481, evals: 499905

[Info] |called|=38

Memory statistics: total=393862.60MB, max=650.57MB, minor=393840.29MB, major=3388.83MB, promoted=3366.53MB
    minor collections=187834  major collections=62 compactions=0


[Info] runtime: 00:10:21.623
[Info] vars: 152835, evals: 504394

[Info] |called|=27

Memory statistics: total=398115.51MB, max=748.16MB, minor=398093.05MB, major=3420.89MB, promoted=3398.43MB
    minor collections=189862  major collections=62 compactions=0


[Info] runtime: 00:10:31.650
[Info] vars: 154172, evals: 508808

[Info] |called|=34

Memory statistics: total=402178.27MB, max=748.16MB, minor=402155.74MB, major=3451.64MB, promoted=3429.11MB
    minor collections=191799  major collections=62 compactions=0


[Info] runtime: 00:10:41.661
[Info] vars: 155489, evals: 513168

[Info] |called|=28

Memory statistics: total=406186.51MB, max=748.16MB, minor=406163.94MB, major=3482.27MB, promoted=3459.70MB
    minor collections=193711  major collections=62 compactions=0


[Info] runtime: 00:10:51.676
[Info] vars: 156827, evals: 517596

[Info] |called|=27

Memory statistics: total=410309.18MB, max=748.16MB, minor=410286.52MB, major=3513.59MB, promoted=3490.93MB
    minor collections=195676  major collections=62 compactions=0


[Info] runtime: 00:11:01.691
[Info] vars: 158141, evals: 521941

[Info] |called|=28

Memory statistics: total=414390.95MB, max=748.16MB, minor=414368.20MB, major=3543.92MB, promoted=3521.17MB
    minor collections=197623  major collections=63 compactions=0


[Info] runtime: 00:11:11.706
[Info] vars: 159422, evals: 526163

[Info] |called|=28

Memory statistics: total=418401.07MB, max=748.16MB, minor=418378.20MB, major=3573.69MB, promoted=3550.82MB
    minor collections=199535  major collections=63 compactions=0


[Info] runtime: 00:11:21.717
[Info] vars: 160725, evals: 530495

[Info] |called|=26

Memory statistics: total=422543.15MB, max=748.16MB, minor=422520.14MB, major=3604.26MB, promoted=3581.25MB
    minor collections=201511  major collections=63 compactions=0


[Info] runtime: 00:11:31.748
[Info] vars: 162035, evals: 534806

[Info] |called|=29

Memory statistics: total=426681.92MB, max=748.16MB, minor=426658.75MB, major=3635.02MB, promoted=3611.85MB
    minor collections=203484  major collections=63 compactions=0


[Info] runtime: 00:11:41.771
[Info] vars: 163298, evals: 539009

[Info] |called|=26

Memory statistics: total=430628.56MB, max=748.16MB, minor=430605.32MB, major=3664.89MB, promoted=3641.65MB
    minor collections=205366  major collections=63 compactions=0


[Info] runtime: 00:11:51.786
[Info] vars: 164533, evals: 543063

[Info] |called|=26

Memory statistics: total=434427.54MB, max=748.16MB, minor=434404.25MB, major=3693.55MB, promoted=3670.26MB
    minor collections=207178  major collections=63 compactions=0


[Info] runtime: 00:12:01.793
[Info] vars: 165769, evals: 547179

[Info] |called|=26

Memory statistics: total=438322.63MB, max=748.16MB, minor=438299.28MB, major=3722.83MB, promoted=3699.48MB
    minor collections=209035  major collections=63 compactions=0


[Info] runtime: 00:12:11.812
[Info] vars: 167030, evals: 551350

[Info] |called|=26

Memory statistics: total=442304.52MB, max=748.16MB, minor=442281.07MB, major=3752.32MB, promoted=3728.87MB
    minor collections=210934  major collections=64 compactions=0


[Info] runtime: 00:12:21.827
[Info] vars: 168236, evals: 555315

[Info] |called|=32

Memory statistics: total=446121.38MB, max=748.16MB, minor=446097.83MB, major=3780.45MB, promoted=3756.90MB
    minor collections=212754  major collections=64 compactions=0


[Info] runtime: 00:12:31.842
[Info] vars: 169437, evals: 559307

[Info] |called|=28

Memory statistics: total=450000.48MB, max=748.16MB, minor=449976.80MB, major=3808.72MB, promoted=3785.04MB
    minor collections=214604  major collections=64 compactions=0


[Info] runtime: 00:12:41.853
[Info] vars: 170639, evals: 563267

[Info] |called|=31

Memory statistics: total=453873.45MB, max=748.16MB, minor=453849.63MB, major=3837.08MB, promoted=3813.26MB
    minor collections=216451  major collections=64 compactions=0


[Info] runtime: 00:12:51.900
[Info] vars: 171837, evals: 567226

[Info] |called|=32

Memory statistics: total=457784.50MB, max=860.38MB, minor=457760.53MB, major=3865.45MB, promoted=3841.47MB
    minor collections=218316  major collections=64 compactions=0


[Info] runtime: 00:13:01.939
[Info] vars: 173014, evals: 571133

[Info] |called|=28

Memory statistics: total=461518.22MB, max=860.38MB, minor=461494.20MB, major=3893.03MB, promoted=3869.00MB
    minor collections=220096  major collections=64 compactions=0


[Info] runtime: 00:13:11.950
[Info] vars: 174165, evals: 574925

[Info] |called|=27

Memory statistics: total=465153.27MB, max=860.38MB, minor=465129.21MB, major=3919.93MB, promoted=3895.87MB
    minor collections=221829  major collections=64 compactions=0


[Info] runtime: 00:13:21.961
[Info] vars: 175319, evals: 578748

[Info] |called|=32

Memory statistics: total=468840.36MB, max=860.38MB, minor=468816.24MB, major=3947.05MB, promoted=3922.92MB
    minor collections=223588  major collections=64 compactions=0


[Info] runtime: 00:13:31.972
[Info] vars: 176507, evals: 582697

[Info] |called|=26

Memory statistics: total=472686.86MB, max=860.38MB, minor=472662.65MB, major=3975.02MB, promoted=3950.81MB
    minor collections=225422  major collections=64 compactions=0


[Info] runtime: 00:13:41.983
[Info] vars: 177649, evals: 586450

[Info] |called|=26

Memory statistics: total=476368.79MB, max=860.38MB, minor=476344.48MB, major=4001.67MB, promoted=3977.36MB
    minor collections=227178  major collections=65 compactions=0


[Info] runtime: 00:13:51.994
[Info] vars: 178773, evals: 590182

[Info] |called|=28

Memory statistics: total=480068.03MB, max=860.38MB, minor=480043.60MB, major=4028.45MB, promoted=4004.02MB
    minor collections=228942  major collections=65 compactions=0


[Info] runtime: 00:14:02.013
[Info] vars: 179899, evals: 593920

[Info] |called|=33

Memory statistics: total=483799.47MB, max=860.38MB, minor=483774.90MB, major=4055.33MB, promoted=4030.77MB
    minor collections=230721  major collections=65 compactions=0


[Info] runtime: 00:14:12.028
[Info] vars: 181003, evals: 597544

[Info] |called|=26

Memory statistics: total=487455.52MB, max=860.38MB, minor=487430.80MB, major=4081.41MB, promoted=4056.70MB
    minor collections=232464  major collections=65 compactions=0


[Info] runtime: 00:14:22.055
[Info] vars: 182119, evals: 601237

[Info] |called|=33

Memory statistics: total=491166.27MB, max=860.38MB, minor=491141.41MB, major=4107.70MB, promoted=4082.84MB
    minor collections=234234  major collections=65 compactions=0


[Info] runtime: 00:14:32.070
[Info] vars: 183214, evals: 604879

[Info] |called|=36

Memory statistics: total=494692.79MB, max=860.38MB, minor=494667.91MB, major=4133.57MB, promoted=4108.69MB
    minor collections=235915  major collections=65 compactions=0


[Info] runtime: 00:14:42.077
[Info] vars: 184280, evals: 608405

[Info] |called|=37

Memory statistics: total=498136.52MB, max=860.38MB, minor=498111.60MB, major=4158.83MB, promoted=4133.90MB
    minor collections=237558  major collections=65 compactions=0


[Info] runtime: 00:14:52.088
[Info] vars: 185345, evals: 611906

[Info] |called|=26

Memory statistics: total=501611.00MB, max=860.38MB, minor=501586.02MB, major=4184.00MB, promoted=4159.02MB
    minor collections=239214  major collections=65 compactions=0

