./goblint --conf conf/svcomp-ghost.json --set ana.base.privatization protection --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-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] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1903:9-1906:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1907:9-1909:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1936:5-1940:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1948:5-1950:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1951:5-1953:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1954:5-1961:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1962:5-1967:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1968:5-1970:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1971:5-1973:5 with factor 12
[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] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.155
[Info] vars: 29738, evals: 47836

[Info] |called|=30

Memory statistics: total=26132.39MB, max=160.81MB, minor=26126.87MB, major=349.81MB, promoted=344.29MB
    minor collections=12469  major collections=22 compactions=0


[Info] runtime: 00:00:20.226
[Info] vars: 54516, evals: 87862

[Info] |called|=33

Memory statistics: total=52336.48MB, max=281.26MB, minor=52327.54MB, major=645.88MB, promoted=636.93MB
    minor collections=24965  major collections=26 compactions=0


[Info] runtime: 00:00:30.282
[Info] vars: 76590, evals: 123520

[Info] |called|=29

Memory statistics: total=78881.02MB, max=371.96MB, minor=78867.61MB, major=917.20MB, promoted=903.79MB
    minor collections=37622  major collections=28 compactions=0


[Info] runtime: 00:00:40.353
[Info] vars: 96337, evals: 155419

[Info] |called|=29

Memory statistics: total=105516.62MB, max=491.92MB, minor=105500.49MB, major=1164.12MB, promoted=1147.99MB
    minor collections=50322  major collections=30 compactions=0


[Info] runtime: 00:00:50.400
[Info] vars: 114959, evals: 185506

[Info] |called|=27

Memory statistics: total=132525.50MB, max=565.71MB, minor=132507.62MB, major=1400.79MB, promoted=1382.91MB
    minor collections=63201  major collections=31 compactions=0


[Info] runtime: 00:01:00.475
[Info] vars: 131690, evals: 212533

[Info] |called|=27

Memory statistics: total=158860.24MB, max=650.57MB, minor=158834.40MB, major=1623.35MB, promoted=1597.51MB
    minor collections=75757  major collections=32 compactions=0


[Info] runtime: 00:01:10.527
[Info] vars: 147765, evals: 238495

[Info] |called|=33

Memory statistics: total=185808.24MB, max=748.16MB, minor=185780.60MB, major=1833.91MB, promoted=1806.27MB
    minor collections=88607  major collections=33 compactions=0


[Info] runtime: 00:01:20.582
[Info] vars: 162301, evals: 261985

[Info] |called|=27

Memory statistics: total=212402.03MB, max=860.38MB, minor=212372.08MB, major=2029.97MB, promoted=2000.01MB
    minor collections=101287  major collections=34 compactions=0


[Info] runtime: 00:01:30.602
[Info] vars: 176856, evals: 285489

[Info] |called|=30

Memory statistics: total=239021.86MB, max=860.38MB, minor=238990.47MB, major=2224.94MB, promoted=2193.55MB
    minor collections=113981  major collections=35 compactions=0


[Info] runtime: 00:01:40.680
[Info] vars: 190394, evals: 307366

[Info] |called|=33

Memory statistics: total=265296.54MB, max=989.44MB, minor=265261.28MB, major=2411.99MB, promoted=2376.72MB
    minor collections=126508  major collections=35 compactions=0


[Info] runtime: 00:01:50.707
[Info] vars: 203082, evals: 327862

[Info] |called|=29

Memory statistics: total=291708.41MB, max=989.44MB, minor=291670.97MB, major=2588.76MB, promoted=2551.32MB
    minor collections=139102  major collections=36 compactions=0


[Info] runtime: 00:02:00.803
[Info] vars: 215665, evals: 348178

[Info] |called|=27

Memory statistics: total=317813.71MB, max=1137.86MB, minor=317774.12MB, major=2763.67MB, promoted=2724.08MB
    minor collections=151550  major collections=36 compactions=0


[Info] runtime: 00:02:10.822
[Info] vars: 227507, evals: 367309

[Info] |called|=31

Memory statistics: total=344334.29MB, max=1137.86MB, minor=344292.52MB, major=2932.28MB, promoted=2890.51MB
    minor collections=164195  major collections=37 compactions=0


[Info] runtime: 00:02:20.910
[Info] vars: 239027, evals: 385925

[Info] |called|=34

Memory statistics: total=370537.79MB, max=1308.54MB, minor=370493.86MB, major=3097.31MB, promoted=3053.38MB
    minor collections=176689  major collections=37 compactions=0


[Info] runtime: 00:02:30.929
[Info] vars: 250558, evals: 404554

[Info] |called|=33

Memory statistics: total=397175.99MB, max=1308.54MB, minor=397130.60MB, major=3262.47MB, promoted=3217.07MB
    minor collections=189391  major collections=38 compactions=0


[Info] runtime: 00:02:40.984
[Info] vars: 260891, evals: 421237

[Info] |called|=32

Memory statistics: total=423315.72MB, max=1308.54MB, minor=423267.40MB, major=3415.87MB, promoted=3367.55MB
    minor collections=201855  major collections=38 compactions=0


[Info] runtime: 00:02:51.036
[Info] vars: 271605, evals: 438553

[Info] |called|=33

Memory statistics: total=448594.40MB, max=1504.82MB, minor=448532.44MB, major=3582.33MB, promoted=3520.36MB
    minor collections=213906  major collections=38 compactions=0


[Info] runtime: 00:03:01.055
[Info] vars: 281978, evals: 455299

[Info] |called|=27

Memory statistics: total=475135.55MB, max=1504.82MB, minor=475071.72MB, major=3735.49MB, promoted=3671.66MB
    minor collections=226562  major collections=39 compactions=0


[Info] runtime: 00:03:11.119
[Info] vars: 291559, evals: 470776

[Info] |called|=27

Memory statistics: total=501488.28MB, max=1504.82MB, minor=501421.37MB, major=3881.63MB, promoted=3814.72MB
    minor collections=239127  major collections=39 compactions=0


[Info] runtime: 00:03:21.194
[Info] vars: 301557, evals: 486937

[Info] |called|=29

Memory statistics: total=527185.58MB, max=1504.82MB, minor=527117.12MB, major=4029.30MB, promoted=3960.83MB
    minor collections=251379  major collections=39 compactions=0


[Info] runtime: 00:03:31.209
[Info] vars: 311424, evals: 502876

[Info] |called|=27

Memory statistics: total=553687.23MB, max=1504.82MB, minor=553617.43MB, major=4176.94MB, promoted=4107.14MB
    minor collections=264016  major collections=39 compactions=0


[Info] runtime: 00:03:41.237
[Info] vars: 320528, evals: 517579

[Info] |called|=28

Memory statistics: total=580138.87MB, max=1504.82MB, minor=580066.26MB, major=4318.29MB, promoted=4245.68MB
    minor collections=276629  major collections=40 compactions=0


[Info] runtime: 00:03:51.316
[Info] vars: 329141, evals: 531487

[Info] |called|=28

Memory statistics: total=606290.58MB, max=1730.54MB, minor=606214.58MB, major=4454.20MB, promoted=4378.20MB
    minor collections=289097  major collections=40 compactions=0


[Info] runtime: 00:04:01.372
[Info] vars: 338490, evals: 546598

[Info] |called|=29

Memory statistics: total=631444.10MB, max=1730.54MB, minor=631367.36MB, major=4593.98MB, promoted=4517.24MB
    minor collections=301091  major collections=40 compactions=0


[Info] runtime: 00:04:11.394
[Info] vars: 355065, evals: 573373

[Info] |called|=31

Memory statistics: total=656184.13MB, max=1730.54MB, minor=656097.55MB, major=4814.54MB, promoted=4727.96MB
    minor collections=312884  major collections=41 compactions=0


[Info] runtime: 00:04:21.478
[Info] vars: 382027, evals: 616915

[Info] |called|=25

Memory statistics: total=679206.93MB, max=1990.12MB, minor=679115.00MB, major=5132.10MB, promoted=5040.17MB
    minor collections=323862  major collections=41 compactions=0


[Info] runtime: 00:04:31.501
[Info] vars: 410092, evals: 662254

[Info] |called|=28

Memory statistics: total=703196.58MB, max=1990.12MB, minor=703103.54MB, major=5458.03MB, promoted=5364.99MB
    minor collections=335301  major collections=42 compactions=0


[Info] runtime: 00:04:41.584
[Info] vars: 436991, evals: 705715

[Info] |called|=30

Memory statistics: total=726390.57MB, max=2288.65MB, minor=726295.39MB, major=5772.02MB, promoted=5676.84MB
    minor collections=346360  major collections=42 compactions=0


[Info] runtime: 00:04:51.599
[Info] vars: 464902, evals: 750802

[Info] |called|=29

Memory statistics: total=750481.16MB, max=2288.65MB, minor=750384.96MB, major=6097.69MB, promoted=6001.49MB
    minor collections=357848  major collections=43 compactions=0


[Info] runtime: 00:05:01.731
[Info] vars: 492046, evals: 794650

[Info] |called|=34

Memory statistics: total=774171.39MB, max=2288.65MB, minor=774074.06MB, major=6415.43MB, promoted=6318.10MB
    minor collections=369144  major collections=43 compactions=0


[Info] runtime: 00:05:11.798
[Info] vars: 518735, evals: 837763

[Info] |called|=25

Memory statistics: total=797490.80MB, max=2631.94MB, minor=797392.50MB, major=6728.81MB, promoted=6630.51MB
    minor collections=380263  major collections=43 compactions=0


[Info] runtime: 00:05:21.817
[Info] vars: 543238, evals: 877336

[Info] |called|=30

Memory statistics: total=819100.90MB, max=2631.94MB, minor=818976.48MB, major=7041.07MB, promoted=6916.65MB
    minor collections=390561  major collections=44 compactions=0


[Info] runtime: 00:05:31.928
[Info] vars: 569498, evals: 919756

[Info] |called|=32

Memory statistics: total=842443.38MB, max=2631.94MB, minor=842317.84MB, major=7348.75MB, promoted=7223.21MB
    minor collections=401691  major collections=44 compactions=0


[Info] runtime: 00:05:41.964
[Info] vars: 596709, evals: 963719

[Info] |called|=32

Memory statistics: total=866526.80MB, max=3026.74MB, minor=866400.27MB, major=7667.33MB, promoted=7540.80MB
    minor collections=413175  major collections=44 compactions=0


[Info] runtime: 00:05:51.983
[Info] vars: 623611, evals: 1007173

[Info] |called|=27

Memory statistics: total=890574.23MB, max=3026.74MB, minor=890446.60MB, major=7983.65MB, promoted=7856.02MB
    minor collections=424642  major collections=45 compactions=0


[Info] runtime: 00:06:02.090
[Info] vars: 649333, evals: 1048729

[Info] |called|=34

Memory statistics: total=913815.46MB, max=3026.74MB, minor=913686.68MB, major=8286.18MB, promoted=8157.41MB
    minor collections=435724  major collections=45 compactions=0


[Info] runtime: 00:06:12.174
[Info] vars: 675228, evals: 1090549

[Info] |called|=25

Memory statistics: total=937131.51MB, max=3480.75MB, minor=937001.70MB, major=8591.15MB, promoted=8461.34MB
    minor collections=446842  major collections=45 compactions=0


[Info] runtime: 00:06:22.193
[Info] vars: 702113, evals: 1133989

[Info] |called|=28

Memory statistics: total=961492.04MB, max=3480.75MB, minor=961361.14MB, major=8908.37MB, promoted=8777.47MB
    minor collections=458458  major collections=46 compactions=0


[Info] runtime: 00:06:32.252
[Info] vars: 727372, evals: 1174792

[Info] |called|=33

Memory statistics: total=984631.22MB, max=3480.75MB, minor=984499.16MB, major=9206.82MB, promoted=9074.76MB
    minor collections=469491  major collections=46 compactions=0


[Info] runtime: 00:06:42.363
[Info] vars: 751317, evals: 1213462

[Info] |called|=26

Memory statistics: total=1006830.04MB, max=3480.75MB, minor=1006677.97MB, major=9508.20MB, promoted=9356.13MB
    minor collections=480067  major collections=46 compactions=0


[Info] runtime: 00:06:52.418
[Info] vars: 776666, evals: 1254412

[Info] |called|=30

Memory statistics: total=1029595.63MB, max=4002.86MB, minor=1029433.75MB, major=9814.32MB, promoted=9652.44MB
    minor collections=490919  major collections=46 compactions=0


[Info] runtime: 00:07:02.433
[Info] vars: 803589, evals: 1297903

[Info] |called|=30

Memory statistics: total=1053873.42MB, max=4002.86MB, minor=1053709.97MB, major=10131.47MB, promoted=9968.03MB
    minor collections=502496  major collections=46 compactions=0


[Info] runtime: 00:07:12.473
[Info] vars: 828653, evals: 1338391

[Info] |called|=31

Memory statistics: total=1076665.83MB, max=4002.86MB, minor=1076500.91MB, major=10426.63MB, promoted=10261.71MB
    minor collections=513364  major collections=47 compactions=0


[Info] runtime: 00:07:22.588
[Info] vars: 853589, evals: 1378679

[Info] |called|=34

Memory statistics: total=1099448.71MB, max=4002.86MB, minor=1099280.20MB, major=10722.87MB, promoted=10554.36MB
    minor collections=524226  major collections=47 compactions=0


[Info] runtime: 00:07:32.751
[Info] vars: 878391, evals: 1418737

[Info] |called|=31

Memory statistics: total=1122018.53MB, max=4603.29MB, minor=1121848.66MB, major=11016.51MB, promoted=10846.64MB
    minor collections=534988  major collections=47 compactions=0


[Info] runtime: 00:07:42.787
[Info] vars: 905069, evals: 1461839

[Info] |called|=34

Memory statistics: total=1145863.53MB, max=4603.29MB, minor=1145692.53MB, major=11330.46MB, promoted=11159.46MB
    minor collections=546358  major collections=47 compactions=0


[Info] runtime: 00:07:52.802
[Info] vars: 931121, evals: 1503925

[Info] |called|=33

Memory statistics: total=1169332.32MB, max=4603.29MB, minor=1169160.16MB, major=11638.58MB, promoted=11466.43MB
    minor collections=557549  major collections=48 compactions=0


[Info] runtime: 00:08:02.821
[Info] vars: 956053, evals: 1544191

[Info] |called|=33

Memory statistics: total=1192002.61MB, max=4603.29MB, minor=1191829.24MB, major=11933.35MB, promoted=11759.98MB
    minor collections=568359  major collections=48 compactions=0


[Info] runtime: 00:08:12.941
[Info] vars: 980807, evals: 1584187

[Info] |called|=33

Memory statistics: total=1214671.05MB, max=4603.29MB, minor=1214496.41MB, major=12226.26MB, promoted=12051.63MB
    minor collections=579168  major collections=48 compactions=0


[Info] runtime: 00:08:23.056
[Info] vars: 1004324, evals: 1622176

[Info] |called|=29

Memory statistics: total=1236351.74MB, max=5293.79MB, minor=1236175.87MB, major=12504.96MB, promoted=12329.09MB
    minor collections=589506  major collections=48 compactions=0


[Info] runtime: 00:08:33.091
[Info] vars: 1029778, evals: 1663287

[Info] |called|=29

Memory statistics: total=1259576.34MB, max=5293.79MB, minor=1259399.36MB, major=12805.79MB, promoted=12628.80MB
    minor collections=600580  major collections=48 compactions=0


[Info] runtime: 00:08:43.122
[Info] vars: 1050305, evals: 1696453

[Info] |called|=29

Memory statistics: total=1278633.87MB, max=5293.79MB, minor=1278405.61MB, major=13099.40MB, promoted=12871.14MB
    minor collections=609646  major collections=48 compactions=0


[Info] runtime: 00:08:53.138
[Info] vars: 1075382, evals: 1736960

[Info] |called|=34

Memory statistics: total=1301822.49MB, max=5293.79MB, minor=1301592.98MB, major=13396.50MB, promoted=13166.99MB
    minor collections=620704  major collections=49 compactions=0


[Info] runtime: 00:09:03.173
[Info] vars: 1099224, evals: 1775476

[Info] |called|=31

Memory statistics: total=1324064.34MB, max=5293.79MB, minor=1323833.59MB, major=13679.19MB, promoted=13448.44MB
    minor collections=631309  major collections=49 compactions=0


[Info] runtime: 00:09:13.252
[Info] vars: 1123532, evals: 1814734

[Info] |called|=28

Memory statistics: total=1346852.69MB, max=5293.79MB, minor=1346620.61MB, major=13967.37MB, promoted=13735.30MB
    minor collections=642175  major collections=49 compactions=0


[Info] runtime: 00:09:23.363
[Info] vars: 1145946, evals: 1850950

[Info] |called|=28

Memory statistics: total=1368070.52MB, max=5293.79MB, minor=1367837.17MB, major=14233.87MB, promoted=14000.52MB
    minor collections=652292  major collections=49 compactions=0


[Info] runtime: 00:09:33.423
[Info] vars: 1170009, evals: 1889821

[Info] |called|=32

Memory statistics: total=1390509.82MB, max=6087.86MB, minor=1390275.35MB, major=14518.74MB, promoted=14284.28MB
    minor collections=662992  major collections=49 compactions=0


[Info] runtime: 00:09:43.438
[Info] vars: 1194057, evals: 1928659

[Info] |called|=30

Memory statistics: total=1413074.09MB, max=6087.86MB, minor=1412838.47MB, major=14804.15MB, promoted=14568.53MB
    minor collections=673751  major collections=49 compactions=0


[Info] runtime: 00:09:53.457
[Info] vars: 1218460, evals: 1968086

[Info] |called|=33

Memory statistics: total=1436093.06MB, max=6087.86MB, minor=1435856.16MB, major=15094.71MB, promoted=14857.81MB
    minor collections=684727  major collections=49 compactions=0


[Info] runtime: 00:10:03.480
[Info] vars: 1241574, evals: 2005424

[Info] |called|=32

Memory statistics: total=1458115.86MB, max=6087.86MB, minor=1457877.70MB, major=15369.83MB, promoted=15131.67MB
    minor collections=695229  major collections=50 compactions=0


[Info] runtime: 00:10:13.544
[Info] vars: 1264471, evals: 2042410

[Info] |called|=28

Memory statistics: total=1480045.62MB, max=6087.86MB, minor=1479806.15MB, major=15641.19MB, promoted=15401.73MB
    minor collections=705685  major collections=50 compactions=0


[Info] runtime: 00:10:23.667
[Info] vars: 1286814, evals: 2078506

[Info] |called|=25

Memory statistics: total=1501631.64MB, max=6087.86MB, minor=1501390.82MB, major=15907.15MB, promoted=15666.32MB
    minor collections=715978  major collections=50 compactions=0


[Info] runtime: 00:10:33.806
[Info] vars: 1308537, evals: 2113595

[Info] |called|=33

Memory statistics: total=1522728.46MB, max=6087.86MB, minor=1522486.28MB, major=16166.24MB, promoted=15924.06MB
    minor collections=726037  major collections=50 compactions=0


[Info] runtime: 00:10:43.921
[Info] vars: 1330719, evals: 2149426

[Info] |called|=28

Memory statistics: total=1544064.07MB, max=7001.04MB, minor=1543820.69MB, major=16430.91MB, promoted=16187.53MB
    minor collections=736211  major collections=50 compactions=0


[Info] runtime: 00:10:53.941
[Info] vars: 1353751, evals: 2186635

[Info] |called|=27

Memory statistics: total=1566139.93MB, max=7001.04MB, minor=1565895.38MB, major=16705.67MB, promoted=16461.11MB
    minor collections=746737  major collections=50 compactions=0


[Info] runtime: 00:11:03.960
[Info] vars: 1377034, evals: 2224244

[Info] |called|=33

Memory statistics: total=1588616.76MB, max=7001.04MB, minor=1588370.96MB, major=16983.31MB, promoted=16737.51MB
    minor collections=757455  major collections=50 compactions=0


[Info] runtime: 00:11:13.975
[Info] vars: 1400516, evals: 2262175

[Info] |called|=27

Memory statistics: total=1611422.38MB, max=7001.04MB, minor=1611175.23MB, major=17263.77MB, promoted=17016.62MB
    minor collections=768329  major collections=50 compactions=0


[Info] runtime: 00:11:23.995
[Info] vars: 1423067, evals: 2298607

[Info] |called|=34

Memory statistics: total=1633476.08MB, max=7001.04MB, minor=1633227.58MB, major=17533.42MB, promoted=17284.91MB
    minor collections=778845  major collections=51 compactions=0


[Info] runtime: 00:11:34.030
[Info] vars: 1445349, evals: 2334601

[Info] |called|=33

Memory statistics: total=1655425.93MB, max=7001.04MB, minor=1655176.03MB, major=17800.42MB, promoted=17550.52MB
    minor collections=789311  major collections=51 compactions=0


[Info] runtime: 00:11:44.109
[Info] vars: 1467319, evals: 2370091

[Info] |called|=30

Memory statistics: total=1677186.07MB, max=7001.04MB, minor=1676934.72MB, major=18063.63MB, promoted=17812.28MB
    minor collections=799687  major collections=51 compactions=0


[Info] runtime: 00:11:54.228
[Info] vars: 1488739, evals: 2404684

[Info] |called|=31

Memory statistics: total=1698523.82MB, max=7001.04MB, minor=1698271.00MB, major=18320.67MB, promoted=18067.85MB
    minor collections=809861  major collections=51 compactions=0


[Info] runtime: 00:12:04.339
[Info] vars: 1509491, evals: 2438208

[Info] |called|=29

Memory statistics: total=1719354.55MB, max=7001.04MB, minor=1719100.21MB, major=18569.25MB, promoted=18314.91MB
    minor collections=819793  major collections=51 compactions=0


[Info] runtime: 00:12:14.430
[Info] vars: 1529437, evals: 2470432

[Info] |called|=27

Memory statistics: total=1739045.67MB, max=8051.19MB, minor=1738773.53MB, major=18824.09MB, promoted=18551.95MB
    minor collections=829176  major collections=51 compactions=0


[Info] runtime: 00:12:24.446
[Info] vars: 1551849, evals: 2506636

[Info] |called|=27

Memory statistics: total=1761128.17MB, max=8051.19MB, minor=1760854.79MB, major=19091.70MB, promoted=18818.32MB
    minor collections=839705  major collections=51 compactions=0


[Info] runtime: 00:12:34.465
[Info] vars: 1573009, evals: 2540821

[Info] |called|=26

Memory statistics: total=1782276.56MB, max=8051.19MB, minor=1781974.20MB, major=19371.64MB, promoted=19069.28MB
    minor collections=849776  major collections=51 compactions=0


[Info] runtime: 00:12:44.480
[Info] vars: 1595720, evals: 2577501

[Info] |called|=29

Memory statistics: total=1804128.77MB, max=8051.19MB, minor=1803816.37MB, major=19650.60MB, promoted=19338.19MB
    minor collections=860192  major collections=51 compactions=0


[Info] runtime: 00:12:54.500
[Info] vars: 1618574, evals: 2614426

[Info] |called|=31

Memory statistics: total=1826161.19MB, max=8051.19MB, minor=1825846.99MB, major=19922.87MB, promoted=19608.67MB
    minor collections=870697  major collections=52 compactions=0


[Info] runtime: 00:13:04.519
[Info] vars: 1640555, evals: 2649925

[Info] |called|=31

Memory statistics: total=1847458.47MB, max=8051.19MB, minor=1847142.58MB, major=20185.34MB, promoted=19869.45MB
    minor collections=880852  major collections=52 compactions=0


[Info] runtime: 00:13:14.582
[Info] vars: 1662707, evals: 2685709

[Info] |called|=28

Memory statistics: total=1869008.46MB, max=8051.19MB, minor=1868690.81MB, major=20449.65MB, promoted=20131.99MB
    minor collections=891128  major collections=52 compactions=0


[Info] runtime: 00:13:24.706
[Info] vars: 1684410, evals: 2720773

[Info] |called|=27

Memory statistics: total=1890223.17MB, max=8051.19MB, minor=1889903.75MB, major=20708.75MB, promoted=20389.34MB
    minor collections=901243  major collections=52 compactions=0


[Info] runtime: 00:13:34.825
[Info] vars: 1705659, evals: 2755093

[Info] |called|=31

Memory statistics: total=1911090.67MB, max=8051.19MB, minor=1910765.33MB, major=20966.81MB, promoted=20641.47MB
    minor collections=911192  major collections=52 compactions=0


[Info] runtime: 00:13:44.948
[Info] vars: 1726461, evals: 2788705

[Info] |called|=27

Memory statistics: total=1931621.82MB, max=8051.19MB, minor=1931294.78MB, major=21216.66MB, promoted=20889.63MB
    minor collections=920982  major collections=52 compactions=0


[Info] runtime: 00:13:55.063
[Info] vars: 1748288, evals: 2823964

[Info] |called|=29

Memory statistics: total=1952658.19MB, max=9258.87MB, minor=1952329.69MB, major=21477.53MB, promoted=21149.03MB
    minor collections=931012  major collections=52 compactions=0


[Info] runtime: 00:14:05.082
[Info] vars: 1770973, evals: 2860607

[Info] |called|=34

Memory statistics: total=1974497.90MB, max=9258.87MB, minor=1974167.85MB, major=21748.63MB, promoted=21418.58MB
    minor collections=941426  major collections=52 compactions=0


[Info] runtime: 00:14:15.097
[Info] vars: 1793528, evals: 2897032

[Info] |called|=25

Memory statistics: total=1996341.73MB, max=9258.87MB, minor=1996010.13MB, major=22018.74MB, promoted=21687.13MB
    minor collections=951841  major collections=52 compactions=0


[Info] runtime: 00:14:25.117
[Info] vars: 1816161, evals: 2933605

[Info] |called|=31

Memory statistics: total=2018362.91MB, max=9258.87MB, minor=2018029.69MB, major=22289.79MB, promoted=21956.56MB
    minor collections=962341  major collections=52 compactions=0


[Info] runtime: 00:14:35.132
[Info] vars: 1838818, evals: 2970196

[Info] |called|=28

Memory statistics: total=2040501.87MB, max=9258.87MB, minor=2040166.99MB, major=22560.59MB, promoted=22225.71MB
    minor collections=972897  major collections=52 compactions=0


[Info] runtime: 00:14:45.151
[Info] vars: 1860712, evals: 3005572

[Info] |called|=29

Memory statistics: total=2062040.97MB, max=9258.87MB, minor=2061704.47MB, major=22823.49MB, promoted=22486.99MB
    minor collections=983168  major collections=53 compactions=0


[Info] runtime: 00:14:55.171
[Info] vars: 1882110, evals: 3040138

[Info] |called|=30

Memory statistics: total=2083215.34MB, max=9258.87MB, minor=2082877.21MB, major=23080.50MB, promoted=22742.37MB
    minor collections=993264  major collections=53 compactions=0

