./goblint --conf conf/svcomp-ghost.json --set ana.base.privatization mutex-meet --set 'ana.activated[+]' apron --set 'ana.autotune.activated[-]' octagon --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.154
[Info] vars: 8355, evals: 26441

[Info] |called|=29

Memory statistics: total=20042.20MB, max=60.45MB, minor=20038.78MB, major=219.39MB, promoted=215.97MB
    minor collections=9566  major collections=24 compactions=0


[Info] runtime: 00:00:20.201
[Info] vars: 15726, evals: 50831

[Info] |called|=35

Memory statistics: total=39157.09MB, max=105.73MB, minor=39153.19MB, major=416.19MB, promoted=412.29MB
    minor collections=18684  major collections=31 compactions=0


[Info] runtime: 00:00:30.259
[Info] vars: 22785, evals: 74186

[Info] |called|=31

Memory statistics: total=57778.35MB, max=160.81MB, minor=57773.76MB, major=607.25MB, promoted=602.65MB
    minor collections=27566  major collections=36 compactions=0


[Info] runtime: 00:00:40.302
[Info] vars: 29660, evals: 96899

[Info] |called|=33

Memory statistics: total=76164.10MB, max=212.67MB, minor=76159.00MB, major=793.58MB, promoted=788.48MB
    minor collections=36334  major collections=39 compactions=0


[Info] runtime: 00:00:50.369
[Info] vars: 36370, evals: 119115

[Info] |called|=35

Memory statistics: total=94405.89MB, max=244.57MB, minor=94399.29MB, major=976.86MB, promoted=970.26MB
    minor collections=45034  major collections=42 compactions=0


[Info] runtime: 00:01:00.427
[Info] vars: 43051, evals: 141192

[Info] |called|=27

Memory statistics: total=112807.72MB, max=281.26MB, minor=112800.92MB, major=1159.25MB, promoted=1152.45MB
    minor collections=53810  major collections=44 compactions=0


[Info] runtime: 00:01:10.466
[Info] vars: 49513, evals: 162579

[Info] |called|=38

Memory statistics: total=130852.70MB, max=323.45MB, minor=130845.17MB, major=1336.82MB, promoted=1329.29MB
    minor collections=62415  major collections=46 compactions=0


[Info] runtime: 00:01:20.517
[Info] vars: 55974, evals: 183941

[Info] |called|=31

Memory statistics: total=149119.04MB, max=323.45MB, minor=149111.17MB, major=1514.69MB, promoted=1506.82MB
    minor collections=71126  major collections=48 compactions=0


[Info] runtime: 00:01:30.559
[Info] vars: 62266, evals: 204762

[Info] |called|=30

Memory statistics: total=167149.15MB, max=371.96MB, minor=167140.53MB, major=1689.39MB, promoted=1680.78MB
    minor collections=79724  major collections=49 compactions=0


[Info] runtime: 00:01:40.602
[Info] vars: 68662, evals: 225918

[Info] |called|=36

Memory statistics: total=185705.87MB, max=427.76MB, minor=185694.91MB, major=1869.27MB, promoted=1858.32MB
    minor collections=88573  major collections=51 compactions=0


[Info] runtime: 00:01:50.685
[Info] vars: 75011, evals: 246920

[Info] |called|=27

Memory statistics: total=204399.54MB, max=491.92MB, minor=204388.31MB, major=2046.39MB, promoted=2035.17MB
    minor collections=97487  major collections=52 compactions=0


[Info] runtime: 00:02:00.728
[Info] vars: 81324, evals: 267809

[Info] |called|=35

Memory statistics: total=223132.50MB, max=491.92MB, minor=223121.03MB, major=2222.45MB, promoted=2210.98MB
    minor collections=106420  major collections=53 compactions=0


[Info] runtime: 00:02:10.803
[Info] vars: 87491, evals: 288200

[Info] |called|=27

Memory statistics: total=241679.85MB, max=565.71MB, minor=241668.12MB, major=2395.57MB, promoted=2383.84MB
    minor collections=115265  major collections=54 compactions=0


[Info] runtime: 00:02:20.878
[Info] vars: 93674, evals: 308659

[Info] |called|=31

Memory statistics: total=260519.25MB, max=565.71MB, minor=260507.24MB, major=2569.73MB, promoted=2557.72MB
    minor collections=124249  major collections=55 compactions=0


[Info] runtime: 00:02:30.945
[Info] vars: 99600, evals: 328239

[Info] |called|=30

Memory statistics: total=278775.02MB, max=565.71MB, minor=278761.68MB, major=2738.11MB, promoted=2724.76MB
    minor collections=132954  major collections=56 compactions=0


[Info] runtime: 00:02:40.976
[Info] vars: 105543, evals: 347911

[Info] |called|=31

Memory statistics: total=297299.18MB, max=650.57MB, minor=297285.54MB, major=2906.74MB, promoted=2893.10MB
    minor collections=141788  major collections=57 compactions=0


[Info] runtime: 00:02:51.023
[Info] vars: 111559, evals: 367797

[Info] |called|=31

Memory statistics: total=316243.71MB, max=650.57MB, minor=316229.49MB, major=3078.11MB, promoted=3063.89MB
    minor collections=150822  major collections=58 compactions=0


[Info] runtime: 00:03:01.074
[Info] vars: 117529, evals: 387548

[Info] |called|=33

Memory statistics: total=335329.26MB, max=748.16MB, minor=335314.68MB, major=3248.91MB, promoted=3234.34MB
    minor collections=159923  major collections=59 compactions=0


[Info] runtime: 00:03:11.093
[Info] vars: 123418, evals: 407034

[Info] |called|=34

Memory statistics: total=354342.21MB, max=748.16MB, minor=354326.24MB, major=3417.95MB, promoted=3401.97MB
    minor collections=168989  major collections=60 compactions=0


[Info] runtime: 00:03:21.135
[Info] vars: 129255, evals: 426356

[Info] |called|=30

Memory statistics: total=373265.68MB, max=748.16MB, minor=373249.41MB, major=3585.54MB, promoted=3569.26MB
    minor collections=178013  major collections=61 compactions=0


[Info] runtime: 00:03:31.194
[Info] vars: 135092, evals: 445657

[Info] |called|=33

Memory statistics: total=392380.75MB, max=748.16MB, minor=392359.95MB, major=3757.82MB, promoted=3737.03MB
    minor collections=187127  major collections=62 compactions=0


[Info] runtime: 00:03:41.229
[Info] vars: 140942, evals: 465007

[Info] |called|=28

Memory statistics: total=411836.88MB, max=860.38MB, minor=411815.70MB, major=3927.18MB, promoted=3906.00MB
    minor collections=196404  major collections=62 compactions=0


[Info] runtime: 00:03:51.272
[Info] vars: 146701, evals: 484062

[Info] |called|=29

Memory statistics: total=431248.03MB, max=860.38MB, minor=431226.44MB, major=4093.73MB, promoted=4072.14MB
    minor collections=205661  major collections=63 compactions=0


[Info] runtime: 00:04:01.303
[Info] vars: 152432, evals: 502991

[Info] |called|=32

Memory statistics: total=450552.84MB, max=860.38MB, minor=450530.94MB, major=4259.04MB, promoted=4237.13MB
    minor collections=214867  major collections=64 compactions=0


[Info] runtime: 00:04:11.354
[Info] vars: 158076, evals: 521665

[Info] |called|=33

Memory statistics: total=469843.78MB, max=989.44MB, minor=469821.48MB, major=4423.13MB, promoted=4400.84MB
    minor collections=224065  major collections=64 compactions=0


[Info] runtime: 00:04:21.409
[Info] vars: 163666, evals: 540162

[Info] |called|=34

Memory statistics: total=489266.94MB, max=989.44MB, minor=489244.19MB, major=4586.65MB, promoted=4563.90MB
    minor collections=233327  major collections=65 compactions=0


[Info] runtime: 00:04:31.439
[Info] vars: 169125, evals: 558206

[Info] |called|=25

Memory statistics: total=508133.75MB, max=989.44MB, minor=508110.71MB, major=4745.72MB, promoted=4722.68MB
    minor collections=242324  major collections=66 compactions=0


[Info] runtime: 00:04:41.494
[Info] vars: 174586, evals: 576291

[Info] |called|=26

Memory statistics: total=527375.84MB, max=989.44MB, minor=527352.36MB, major=4906.50MB, promoted=4883.03MB
    minor collections=251500  major collections=66 compactions=0


[Info] runtime: 00:04:51.529
[Info] vars: 180103, evals: 594532

[Info] |called|=27

Memory statistics: total=546923.85MB, max=989.44MB, minor=546899.96MB, major=5068.95MB, promoted=5045.07MB
    minor collections=260822  major collections=67 compactions=0


[Info] runtime: 00:05:01.595
[Info] vars: 185619, evals: 612767

[Info] |called|=31

Memory statistics: total=566583.42MB, max=1137.86MB, minor=566559.15MB, major=5231.23MB, promoted=5206.96MB
    minor collections=270196  major collections=67 compactions=0


[Info] runtime: 00:05:11.634
[Info] vars: 190932, evals: 630351

[Info] |called|=27

Memory statistics: total=585929.56MB, max=1137.86MB, minor=585902.69MB, major=5390.78MB, promoted=5363.91MB
    minor collections=279421  major collections=68 compactions=0


[Info] runtime: 00:05:21.689
[Info] vars: 196231, evals: 647875

[Info] |called|=37

Memory statistics: total=605007.55MB, max=1137.86MB, minor=604980.38MB, major=5547.47MB, promoted=5520.30MB
    minor collections=288518  major collections=69 compactions=0


[Info] runtime: 00:05:31.752
[Info] vars: 201509, evals: 665342

[Info] |called|=36

Memory statistics: total=624509.26MB, max=1137.86MB, minor=624481.56MB, major=5704.72MB, promoted=5677.03MB
    minor collections=297817  major collections=69 compactions=0


[Info] runtime: 00:05:41.779
[Info] vars: 206813, evals: 682894

[Info] |called|=25

Memory statistics: total=644000.03MB, max=1137.86MB, minor=643972.00MB, major=5861.42MB, promoted=5833.39MB
    minor collections=307112  major collections=70 compactions=0


[Info] runtime: 00:05:51.838
[Info] vars: 211961, evals: 699916

[Info] |called|=33

Memory statistics: total=663294.51MB, max=1137.86MB, minor=663265.94MB, major=6015.27MB, promoted=5986.71MB
    minor collections=316312  major collections=70 compactions=0


[Info] runtime: 00:06:01.857
[Info] vars: 217201, evals: 717251

[Info] |called|=25

Memory statistics: total=682865.85MB, max=1137.86MB, minor=682836.40MB, major=6171.57MB, promoted=6142.12MB
    minor collections=325645  major collections=71 compactions=0


[Info] runtime: 00:06:11.912
[Info] vars: 222309, evals: 734144

[Info] |called|=26

Memory statistics: total=702323.94MB, max=1308.54MB, minor=702293.93MB, major=6324.86MB, promoted=6294.85MB
    minor collections=334923  major collections=71 compactions=0


[Info] runtime: 00:06:21.931
[Info] vars: 227509, evals: 751335

[Info] |called|=38

Memory statistics: total=722004.95MB, max=1308.54MB, minor=721974.61MB, major=6480.42MB, promoted=6450.07MB
    minor collections=344308  major collections=72 compactions=0


[Info] runtime: 00:06:32.002
[Info] vars: 232527, evals: 767933

[Info] |called|=37

Memory statistics: total=741444.68MB, max=1308.54MB, minor=741413.75MB, major=6632.18MB, promoted=6601.25MB
    minor collections=353578  major collections=72 compactions=0


[Info] runtime: 00:06:42.025
[Info] vars: 237648, evals: 784858

[Info] |called|=27

Memory statistics: total=761076.38MB, max=1308.54MB, minor=761045.12MB, major=6785.70MB, promoted=6754.44MB
    minor collections=362940  major collections=73 compactions=0


[Info] runtime: 00:06:52.096
[Info] vars: 242653, evals: 801414

[Info] |called|=27

Memory statistics: total=780792.11MB, max=1308.54MB, minor=780760.22MB, major=6936.82MB, promoted=6904.93MB
    minor collections=372341  major collections=73 compactions=0


[Info] runtime: 00:07:02.115
[Info] vars: 247698, evals: 818123

[Info] |called|=33

Memory statistics: total=800412.70MB, max=1308.54MB, minor=800378.42MB, major=7090.72MB, promoted=7056.44MB
    minor collections=381696  major collections=74 compactions=0


[Info] runtime: 00:07:12.183
[Info] vars: 252768, evals: 834893

[Info] |called|=29

Memory statistics: total=820690.37MB, max=1308.54MB, minor=820655.42MB, major=7244.96MB, promoted=7210.01MB
    minor collections=391365  major collections=74 compactions=0


[Info] runtime: 00:07:22.246
[Info] vars: 257838, evals: 851663

[Info] |called|=32

Memory statistics: total=840640.64MB, max=1504.82MB, minor=840605.38MB, major=7397.90MB, promoted=7362.63MB
    minor collections=400878  major collections=74 compactions=0


[Info] runtime: 00:07:32.289
[Info] vars: 262661, evals: 867616

[Info] |called|=27

Memory statistics: total=860221.61MB, max=1504.82MB, minor=860177.36MB, major=7553.71MB, promoted=7509.46MB
    minor collections=410214  major collections=75 compactions=0


[Info] runtime: 00:07:42.328
[Info] vars: 267679, evals: 884220

[Info] |called|=25

Memory statistics: total=880335.64MB, max=1504.82MB, minor=880291.01MB, major=7706.35MB, promoted=7661.72MB
    minor collections=419805  major collections=75 compactions=0


[Info] runtime: 00:07:52.362
[Info] vars: 272684, evals: 900769

[Info] |called|=34

Memory statistics: total=900744.51MB, max=1504.82MB, minor=900699.31MB, major=7859.07MB, promoted=7813.87MB
    minor collections=429537  major collections=76 compactions=0


[Info] runtime: 00:08:02.421
[Info] vars: 277533, evals: 916799

[Info] |called|=29

Memory statistics: total=920510.71MB, max=1504.82MB, minor=920465.03MB, major=8006.11MB, promoted=7960.43MB
    minor collections=438962  major collections=76 compactions=0


[Info] runtime: 00:08:12.448
[Info] vars: 282480, evals: 933159

[Info] |called|=29

Memory statistics: total=940845.71MB, max=1504.82MB, minor=940799.53MB, major=8157.82MB, promoted=8111.65MB
    minor collections=448659  major collections=77 compactions=0


[Info] runtime: 00:08:22.530
[Info] vars: 287281, evals: 949032

[Info] |called|=31

Memory statistics: total=960911.71MB, max=1504.82MB, minor=960864.85MB, major=8306.26MB, promoted=8259.39MB
    minor collections=458228  major collections=77 compactions=0


[Info] runtime: 00:08:32.557
[Info] vars: 292228, evals: 965407

[Info] |called|=27

Memory statistics: total=981336.75MB, max=1504.82MB, minor=981289.57MB, major=8457.77MB, promoted=8410.59MB
    minor collections=467968  major collections=78 compactions=0


[Info] runtime: 00:08:42.600
[Info] vars: 296955, evals: 981048

[Info] |called|=36

Memory statistics: total=1001410.51MB, max=1504.82MB, minor=1001362.61MB, major=8604.05MB, promoted=8556.16MB
    minor collections=477539  major collections=78 compactions=0


[Info] runtime: 00:08:52.667
[Info] vars: 301699, evals: 996720

[Info] |called|=27

Memory statistics: total=1021331.46MB, max=1730.54MB, minor=1021283.14MB, major=8750.21MB, promoted=8701.90MB
    minor collections=487038  major collections=78 compactions=0


[Info] runtime: 00:09:02.709
[Info] vars: 306456, evals: 1012457

[Info] |called|=31

Memory statistics: total=1041614.21MB, max=1730.54MB, minor=1041565.35MB, major=8897.43MB, promoted=8848.57MB
    minor collections=496711  major collections=79 compactions=0


[Info] runtime: 00:09:12.756
[Info] vars: 311008, evals: 1027524

[Info] |called|=31

Memory statistics: total=1061182.94MB, max=1730.54MB, minor=1061133.52MB, major=9038.76MB, promoted=8989.35MB
    minor collections=506042  major collections=79 compactions=0


[Info] runtime: 00:09:22.783
[Info] vars: 315675, evals: 1042970

[Info] |called|=35

Memory statistics: total=1081142.69MB, max=1730.54MB, minor=1081092.91MB, major=9183.57MB, promoted=9133.79MB
    minor collections=515560  major collections=80 compactions=0


[Info] runtime: 00:09:32.834
[Info] vars: 320249, evals: 1058080

[Info] |called|=28

Memory statistics: total=1101186.19MB, max=1730.54MB, minor=1101135.68MB, major=9326.35MB, promoted=9275.84MB
    minor collections=525117  major collections=80 compactions=0


[Info] runtime: 00:09:42.876
[Info] vars: 324802, evals: 1073162

[Info] |called|=25

Memory statistics: total=1120851.91MB, max=1730.54MB, minor=1120801.06MB, major=9468.17MB, promoted=9417.32MB
    minor collections=534494  major collections=80 compactions=0


[Info] runtime: 00:09:52.915
[Info] vars: 329440, evals: 1088479

[Info] |called|=33

Memory statistics: total=1141216.49MB, max=1730.54MB, minor=1141165.05MB, major=9613.08MB, promoted=9561.65MB
    minor collections=544206  major collections=81 compactions=0


[Info] runtime: 00:10:02.990
[Info] vars: 333953, evals: 1103434

[Info] |called|=31

Memory statistics: total=1161256.00MB, max=1730.54MB, minor=1161203.91MB, major=9755.42MB, promoted=9703.32MB
    minor collections=553761  major collections=81 compactions=0


[Info] runtime: 00:10:13.017
[Info] vars: 338646, evals: 1118949

[Info] |called|=35

Memory statistics: total=1181906.38MB, max=1730.54MB, minor=1181853.90MB, major=9901.59MB, promoted=9849.11MB
    minor collections=563608  major collections=82 compactions=0


[Info] runtime: 00:10:23.079
[Info] vars: 343168, evals: 1133887

[Info] |called|=31

Memory statistics: total=1202347.61MB, max=1730.54MB, minor=1202294.38MB, major=10044.50MB, promoted=9991.26MB
    minor collections=573355  major collections=82 compactions=0


[Info] runtime: 00:10:33.118
[Info] vars: 347655, evals: 1148756

[Info] |called|=28

Memory statistics: total=1222416.13MB, max=1730.54MB, minor=1222362.43MB, major=10185.42MB, promoted=10131.72MB
    minor collections=582925  major collections=82 compactions=0


[Info] runtime: 00:10:43.145
[Info] vars: 352243, evals: 1163903

[Info] |called|=27

Memory statistics: total=1243093.49MB, max=1730.54MB, minor=1243039.26MB, major=10330.26MB, promoted=10276.02MB
    minor collections=592785  major collections=83 compactions=0


[Info] runtime: 00:10:53.196
[Info] vars: 356804, evals: 1178993

[Info] |called|=32

Memory statistics: total=1264111.81MB, max=1730.54MB, minor=1264056.70MB, major=10475.18MB, promoted=10420.07MB
    minor collections=602807  major collections=83 compactions=0


[Info] runtime: 00:11:03.238
[Info] vars: 361186, evals: 1193487

[Info] |called|=31

Memory statistics: total=1283901.25MB, max=1990.12MB, minor=1283845.77MB, major=10613.46MB, promoted=10557.99MB
    minor collections=612244  major collections=83 compactions=0


[Info] runtime: 00:11:13.273
[Info] vars: 365686, evals: 1208382

[Info] |called|=29

Memory statistics: total=1304608.77MB, max=1990.12MB, minor=1304552.71MB, major=10755.49MB, promoted=10699.44MB
    minor collections=622118  major collections=84 compactions=0


[Info] runtime: 00:11:23.312
[Info] vars: 369974, evals: 1222553

[Info] |called|=31

Memory statistics: total=1324621.74MB, max=1990.12MB, minor=1324564.93MB, major=10891.64MB, promoted=10834.83MB
    minor collections=631661  major collections=84 compactions=0


[Info] runtime: 00:11:33.331
[Info] vars: 374396, evals: 1237207

[Info] |called|=29

Memory statistics: total=1344903.87MB, max=1990.12MB, minor=1344846.79MB, major=11031.74MB, promoted=10974.66MB
    minor collections=641332  major collections=84 compactions=0


[Info] runtime: 00:11:43.370
[Info] vars: 378634, evals: 1251217

[Info] |called|=36

Memory statistics: total=1364781.13MB, max=1990.12MB, minor=1364719.22MB, major=11171.35MB, promoted=11109.43MB
    minor collections=650810  major collections=85 compactions=0


[Info] runtime: 00:11:53.433
[Info] vars: 383002, evals: 1265658

[Info] |called|=31

Memory statistics: total=1385295.92MB, max=1990.12MB, minor=1385233.40MB, major=11310.78MB, promoted=11248.26MB
    minor collections=660592  major collections=85 compactions=0


[Info] runtime: 00:12:03.456
[Info] vars: 387472, evals: 1280431

[Info] |called|=30

Memory statistics: total=1406248.37MB, max=1990.12MB, minor=1406185.40MB, major=11452.74MB, promoted=11389.78MB
    minor collections=670583  major collections=86 compactions=0


[Info] runtime: 00:12:13.506
[Info] vars: 391747, evals: 1294575

[Info] |called|=30

Memory statistics: total=1426747.31MB, max=1990.12MB, minor=1426683.56MB, major=11590.52MB, promoted=11526.77MB
    minor collections=680358  major collections=86 compactions=0


[Info] runtime: 00:12:23.557
[Info] vars: 395903, evals: 1308332

[Info] |called|=27

Memory statistics: total=1446483.20MB, max=1990.12MB, minor=1446418.95MB, major=11723.39MB, promoted=11659.14MB
    minor collections=689769  major collections=86 compactions=0


[Info] runtime: 00:12:33.576
[Info] vars: 400253, evals: 1322717

[Info] |called|=37

Memory statistics: total=1467283.40MB, max=1990.12MB, minor=1467218.65MB, major=11863.18MB, promoted=11798.43MB
    minor collections=699688  major collections=87 compactions=0


[Info] runtime: 00:12:43.595
[Info] vars: 404517, evals: 1336832

[Info] |called|=34

Memory statistics: total=1488123.46MB, max=1990.12MB, minor=1488057.88MB, major=12000.57MB, promoted=11934.99MB
    minor collections=709625  major collections=87 compactions=0


[Info] runtime: 00:12:53.662
[Info] vars: 408741, evals: 1350781

[Info] |called|=27

Memory statistics: total=1508418.27MB, max=1990.12MB, minor=1508352.18MB, major=12135.74MB, promoted=12069.64MB
    minor collections=719302  major collections=87 compactions=0


[Info] runtime: 00:13:03.705
[Info] vars: 413045, evals: 1365015

[Info] |called|=25

Memory statistics: total=1529289.66MB, max=1990.12MB, minor=1529223.02MB, major=12274.38MB, promoted=12207.74MB
    minor collections=729255  major collections=88 compactions=0


[Info] runtime: 00:13:13.752
[Info] vars: 417231, evals: 1378877

[Info] |called|=31

Memory statistics: total=1550041.02MB, max=1990.12MB, minor=1549973.53MB, major=12409.88MB, promoted=12342.40MB
    minor collections=739150  major collections=88 compactions=0


[Info] runtime: 00:13:23.819
[Info] vars: 421403, evals: 1392663

[Info] |called|=27

Memory statistics: total=1570438.66MB, max=1990.12MB, minor=1570370.67MB, major=12544.43MB, promoted=12476.44MB
    minor collections=748876  major collections=88 compactions=0


[Info] runtime: 00:13:33.837
[Info] vars: 425668, evals: 1406793

[Info] |called|=31

Memory statistics: total=1591436.08MB, max=1990.12MB, minor=1591367.62MB, major=12682.32MB, promoted=12613.86MB
    minor collections=758889  major collections=89 compactions=0


[Info] runtime: 00:13:43.864
[Info] vars: 429865, evals: 1420654

[Info] |called|=29

Memory statistics: total=1612485.58MB, max=1990.12MB, minor=1612415.23MB, major=12820.28MB, promoted=12749.92MB
    minor collections=768925  major collections=89 compactions=0


[Info] runtime: 00:13:53.903
[Info] vars: 433988, evals: 1434304

[Info] |called|=37

Memory statistics: total=1633073.02MB, max=2288.65MB, minor=1633002.02MB, major=12954.25MB, promoted=12883.25MB
    minor collections=778742  major collections=89 compactions=0


[Info] runtime: 00:14:03.926
[Info] vars: 438356, evals: 1448752

[Info] |called|=31

Memory statistics: total=1654795.11MB, max=2288.65MB, minor=1654723.64MB, major=13094.99MB, promoted=13023.52MB
    minor collections=789101  major collections=90 compactions=0


[Info] runtime: 00:14:13.969
[Info] vars: 442482, evals: 1462401

[Info] |called|=27

Memory statistics: total=1675764.32MB, max=2288.65MB, minor=1675692.07MB, major=13229.79MB, promoted=13157.55MB
    minor collections=799099  major collections=90 compactions=0


[Info] runtime: 00:14:24.032
[Info] vars: 447032, evals: 1477451

[Info] |called|=27

Memory statistics: total=1695088.78MB, max=2288.65MB, minor=1695007.29MB, major=13378.57MB, promoted=13297.08MB
    minor collections=808310  major collections=90 compactions=0


[Info] runtime: 00:14:34.062
[Info] vars: 453267, evals: 1498082

[Info] |called|=31

Memory statistics: total=1711847.65MB, max=2288.65MB, minor=1711765.90MB, major=13550.27MB, promoted=13468.53MB
    minor collections=816302  major collections=91 compactions=0


[Info] runtime: 00:14:44.133
[Info] vars: 459375, evals: 1518266

[Info] |called|=30

Memory statistics: total=1728331.37MB, max=2288.65MB, minor=1728249.37MB, major=13719.14MB, promoted=13637.14MB
    minor collections=824162  major collections=91 compactions=0


[Info] runtime: 00:14:54.164
[Info] vars: 465435, evals: 1538321

[Info] |called|=31

Memory statistics: total=1744640.70MB, max=2288.65MB, minor=1744558.46MB, major=13885.92MB, promoted=13803.68MB
    minor collections=831939  major collections=91 compactions=0

