./goblint --conf conf/svcomp-ghost.json --set ana.base.privatization mutex-meet --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.150
[Info] vars: 10943, evals: 35004

[Info] |called|=38

Memory statistics: total=23074.71MB, max=69.52MB, minor=23071.35MB, major=261.44MB, promoted=258.08MB
    minor collections=11013  major collections=25 compactions=0


[Info] runtime: 00:00:20.181
[Info] vars: 19432, evals: 63083

[Info] |called|=29

Memory statistics: total=42209.77MB, max=121.59MB, minor=42205.42MB, major=466.75MB, promoted=462.40MB
    minor collections=20140  major collections=31 compactions=0


[Info] runtime: 00:00:30.228
[Info] vars: 26751, evals: 87301

[Info] |called|=29

Memory statistics: total=59011.55MB, max=184.93MB, minor=59006.71MB, major=645.62MB, promoted=640.78MB
    minor collections=28154  major collections=35 compactions=0


[Info] runtime: 00:00:40.279
[Info] vars: 33563, evals: 109833

[Info] |called|=28

Memory statistics: total=74874.91MB, max=212.67MB, minor=74868.60MB, major=813.83MB, promoted=807.52MB
    minor collections=35719  major collections=38 compactions=0


[Info] runtime: 00:00:50.313
[Info] vars: 40178, evals: 131692

[Info] |called|=30

Memory statistics: total=90515.66MB, max=244.57MB, minor=90509.18MB, major=975.77MB, promoted=969.29MB
    minor collections=43178  major collections=40 compactions=0


[Info] runtime: 00:01:00.360
[Info] vars: 46355, evals: 152120

[Info] |called|=25

Memory statistics: total=105323.22MB, max=281.26MB, minor=105316.56MB, major=1128.28MB, promoted=1121.62MB
    minor collections=50240  major collections=42 compactions=0


[Info] runtime: 00:01:10.391
[Info] vars: 52002, evals: 170816

[Info] |called|=27

Memory statistics: total=119037.83MB, max=323.45MB, minor=119030.49MB, major=1268.94MB, promoted=1261.60MB
    minor collections=56780  major collections=43 compactions=0


[Info] runtime: 00:01:20.410
[Info] vars: 57499, evals: 189004

[Info] |called|=27

Memory statistics: total=132557.75MB, max=323.45MB, minor=132550.10MB, major=1405.52MB, promoted=1397.88MB
    minor collections=63228  major collections=45 compactions=0


[Info] runtime: 00:01:30.441
[Info] vars: 62633, evals: 205988

[Info] |called|=26

Memory statistics: total=145298.64MB, max=371.96MB, minor=145290.30MB, major=1534.10MB, promoted=1525.77MB
    minor collections=69304  major collections=46 compactions=0


[Info] runtime: 00:01:40.477
[Info] vars: 67713, evals: 222769

[Info] |called|=27

Memory statistics: total=158042.01MB, max=427.76MB, minor=158031.40MB, major=1663.22MB, promoted=1652.61MB
    minor collections=75380  major collections=47 compactions=0


[Info] runtime: 00:01:50.496
[Info] vars: 72564, evals: 238839

[Info] |called|=25

Memory statistics: total=170346.94MB, max=427.76MB, minor=170336.15MB, major=1784.87MB, promoted=1774.08MB
    minor collections=81248  major collections=48 compactions=0


[Info] runtime: 00:02:00.535
[Info] vars: 77230, evals: 254259

[Info] |called|=38

Memory statistics: total=182273.82MB, max=491.92MB, minor=182262.86MB, major=1902.32MB, promoted=1891.36MB
    minor collections=86935  major collections=48 compactions=0


[Info] runtime: 00:02:10.562
[Info] vars: 81650, evals: 268890

[Info] |called|=34

Memory statistics: total=193729.21MB, max=491.92MB, minor=193718.05MB, major=2013.81MB, promoted=2002.66MB
    minor collections=92398  major collections=49 compactions=0


[Info] runtime: 00:02:20.581
[Info] vars: 86099, evals: 283604

[Info] |called|=27

Memory statistics: total=205343.55MB, max=491.92MB, minor=205332.19MB, major=2126.43MB, promoted=2115.08MB
    minor collections=97937  major collections=50 compactions=0


[Info] runtime: 00:02:30.620
[Info] vars: 90182, evals: 297107

[Info] |called|=27

Memory statistics: total=216035.11MB, max=565.71MB, minor=216023.61MB, major=2229.63MB, promoted=2218.13MB
    minor collections=103035  major collections=50 compactions=0


[Info] runtime: 00:02:40.662
[Info] vars: 94208, evals: 310428

[Info] |called|=28

Memory statistics: total=226788.49MB, max=565.71MB, minor=226776.76MB, major=2331.86MB, promoted=2320.13MB
    minor collections=108163  major collections=51 compactions=0


[Info] runtime: 00:02:50.673
[Info] vars: 98242, evals: 323766

[Info] |called|=27

Memory statistics: total=237480.56MB, max=565.71MB, minor=237467.64MB, major=2434.76MB, promoted=2421.85MB
    minor collections=113262  major collections=52 compactions=0


[Info] runtime: 00:03:00.712
[Info] vars: 102114, evals: 336579

[Info] |called|=26

Memory statistics: total=247972.26MB, max=650.57MB, minor=247959.14MB, major=2533.40MB, promoted=2520.27MB
    minor collections=118264  major collections=52 compactions=0


[Info] runtime: 00:03:10.731
[Info] vars: 105790, evals: 348715

[Info] |called|=26

Memory statistics: total=257870.18MB, max=650.57MB, minor=257856.92MB, major=2627.10MB, promoted=2613.84MB
    minor collections=122985  major collections=53 compactions=0


[Info] runtime: 00:03:20.778
[Info] vars: 109462, evals: 360876

[Info] |called|=27

Memory statistics: total=268001.54MB, max=650.57MB, minor=267987.76MB, major=2721.58MB, promoted=2707.80MB
    minor collections=127816  major collections=53 compactions=0


[Info] runtime: 00:03:30.793
[Info] vars: 113244, evals: 373388

[Info] |called|=28

Memory statistics: total=278263.92MB, max=650.57MB, minor=278250.03MB, major=2818.22MB, promoted=2804.33MB
    minor collections=132709  major collections=53 compactions=0


[Info] runtime: 00:03:40.816
[Info] vars: 116905, evals: 385480

[Info] |called|=26

Memory statistics: total=288484.21MB, max=650.57MB, minor=288470.08MB, major=2912.51MB, promoted=2898.37MB
    minor collections=137583  major collections=54 compactions=0


[Info] runtime: 00:03:50.851
[Info] vars: 120350, evals: 396875

[Info] |called|=26

Memory statistics: total=298008.23MB, max=748.16MB, minor=297993.95MB, major=3001.36MB, promoted=2987.09MB
    minor collections=142125  major collections=54 compactions=0


[Info] runtime: 00:04:00.870
[Info] vars: 123826, evals: 408391

[Info] |called|=27

Memory statistics: total=307762.23MB, max=748.16MB, minor=307746.73MB, major=3091.89MB, promoted=3076.38MB
    minor collections=146776  major collections=55 compactions=0


[Info] runtime: 00:04:10.909
[Info] vars: 127292, evals: 419838

[Info] |called|=25

Memory statistics: total=317641.96MB, max=748.16MB, minor=317626.19MB, major=3181.63MB, promoted=3165.86MB
    minor collections=151487  major collections=55 compactions=0


[Info] runtime: 00:04:20.923
[Info] vars: 130674, evals: 431049

[Info] |called|=25

Memory statistics: total=327099.51MB, max=748.16MB, minor=327083.64MB, major=3269.01MB, promoted=3253.15MB
    minor collections=155996  major collections=55 compactions=0


[Info] runtime: 00:04:30.942
[Info] vars: 133921, evals: 441767

[Info] |called|=28

Memory statistics: total=336412.30MB, max=748.16MB, minor=336392.03MB, major=3357.04MB, promoted=3336.78MB
    minor collections=160436  major collections=56 compactions=0


[Info] runtime: 00:04:40.985
[Info] vars: 137227, evals: 452721

[Info] |called|=26

Memory statistics: total=346035.58MB, max=860.38MB, minor=346015.06MB, major=3442.93MB, promoted=3422.41MB
    minor collections=165024  major collections=56 compactions=0


[Info] runtime: 00:04:51.008
[Info] vars: 140462, evals: 463413

[Info] |called|=34

Memory statistics: total=355259.35MB, max=860.38MB, minor=355238.72MB, major=3526.50MB, promoted=3505.87MB
    minor collections=169423  major collections=56 compactions=0


[Info] runtime: 00:05:01.023
[Info] vars: 143595, evals: 473760

[Info] |called|=25

Memory statistics: total=364428.27MB, max=860.38MB, minor=364407.43MB, major=3607.64MB, promoted=3586.80MB
    minor collections=173795  major collections=57 compactions=0


[Info] runtime: 00:05:11.054
[Info] vars: 146598, evals: 483718

[Info] |called|=35

Memory statistics: total=373381.76MB, max=860.38MB, minor=373360.65MB, major=3686.14MB, promoted=3665.03MB
    minor collections=178065  major collections=57 compactions=0


[Info] runtime: 00:05:21.089
[Info] vars: 149614, evals: 493685

[Info] |called|=38

Memory statistics: total=382104.17MB, max=860.38MB, minor=382082.92MB, major=3763.88MB, promoted=3742.63MB
    minor collections=182224  major collections=57 compactions=0


[Info] runtime: 00:05:31.108
[Info] vars: 152697, evals: 503892

[Info] |called|=26

Memory statistics: total=391207.14MB, max=860.38MB, minor=391185.74MB, major=3844.29MB, promoted=3822.89MB
    minor collections=186565  major collections=58 compactions=0


[Info] runtime: 00:05:41.130
[Info] vars: 155644, evals: 513618

[Info] |called|=32

Memory statistics: total=400046.50MB, max=860.38MB, minor=400024.87MB, major=3921.16MB, promoted=3899.52MB
    minor collections=190780  major collections=58 compactions=0


[Info] runtime: 00:05:51.165
[Info] vars: 158428, evals: 522848

[Info] |called|=28

Memory statistics: total=408558.46MB, max=989.44MB, minor=408536.55MB, major=3994.54MB, promoted=3972.63MB
    minor collections=194839  major collections=58 compactions=0


[Info] runtime: 00:06:01.196
[Info] vars: 161265, evals: 532229

[Info] |called|=27

Memory statistics: total=416868.36MB, max=989.44MB, minor=416846.38MB, major=4068.38MB, promoted=4046.40MB
    minor collections=198801  major collections=58 compactions=0


[Info] runtime: 00:06:11.219
[Info] vars: 164018, evals: 541327

[Info] |called|=37

Memory statistics: total=425137.49MB, max=989.44MB, minor=425115.36MB, major=4140.12MB, promoted=4117.99MB
    minor collections=202744  major collections=58 compactions=0


[Info] runtime: 00:06:21.234
[Info] vars: 166774, evals: 550443

[Info] |called|=36

Memory statistics: total=433575.96MB, max=989.44MB, minor=433553.62MB, major=4212.69MB, promoted=4190.35MB
    minor collections=206769  major collections=59 compactions=0


[Info] runtime: 00:06:31.257
[Info] vars: 169362, evals: 559017

[Info] |called|=25

Memory statistics: total=441654.69MB, max=989.44MB, minor=441632.08MB, major=4281.29MB, promoted=4258.68MB
    minor collections=210621  major collections=59 compactions=0


[Info] runtime: 00:06:41.276
[Info] vars: 171987, evals: 567697

[Info] |called|=34

Memory statistics: total=449645.48MB, max=989.44MB, minor=449622.69MB, major=4349.97MB, promoted=4327.18MB
    minor collections=214431  major collections=59 compactions=0


[Info] runtime: 00:06:51.291
[Info] vars: 174652, evals: 576487

[Info] |called|=25

Memory statistics: total=457676.19MB, max=989.44MB, minor=457653.31MB, major=4419.33MB, promoted=4396.46MB
    minor collections=218261  major collections=59 compactions=0


[Info] runtime: 00:07:01.306
[Info] vars: 177291, evals: 585241

[Info] |called|=36

Memory statistics: total=465831.23MB, max=989.44MB, minor=465808.19MB, major=4489.12MB, promoted=4466.08MB
    minor collections=222150  major collections=60 compactions=0


[Info] runtime: 00:07:11.321
[Info] vars: 179804, evals: 593548

[Info] |called|=28

Memory statistics: total=473738.25MB, max=989.44MB, minor=473714.97MB, major=4555.40MB, promoted=4532.12MB
    minor collections=225920  major collections=60 compactions=0


[Info] runtime: 00:07:21.364
[Info] vars: 182323, evals: 601888

[Info] |called|=25

Memory statistics: total=481764.67MB, max=1137.86MB, minor=481741.12MB, major=4622.28MB, promoted=4598.73MB
    minor collections=229747  major collections=60 compactions=0


[Info] runtime: 00:07:31.391
[Info] vars: 184805, evals: 610095

[Info] |called|=34

Memory statistics: total=489507.73MB, max=1137.86MB, minor=489483.99MB, major=4687.94MB, promoted=4664.19MB
    minor collections=233440  major collections=60 compactions=0


[Info] runtime: 00:07:41.403
[Info] vars: 187353, evals: 618498

[Info] |called|=25

Memory statistics: total=497307.73MB, max=1137.86MB, minor=497283.91MB, major=4755.11MB, promoted=4731.29MB
    minor collections=237159  major collections=60 compactions=0


[Info] runtime: 00:07:51.418
[Info] vars: 189658, evals: 626143

[Info] |called|=28

Memory statistics: total=504568.23MB, max=1137.86MB, minor=504542.19MB, major=4818.54MB, promoted=4792.49MB
    minor collections=240620  major collections=60 compactions=0


[Info] runtime: 00:08:01.433
[Info] vars: 192063, evals: 634098

[Info] |called|=27

Memory statistics: total=512243.24MB, max=1137.86MB, minor=512216.99MB, major=4882.34MB, promoted=4856.09MB
    minor collections=244281  major collections=61 compactions=0


[Info] runtime: 00:08:11.448
[Info] vars: 194442, evals: 641967

[Info] |called|=27

Memory statistics: total=519960.10MB, max=1137.86MB, minor=519933.60MB, major=4945.75MB, promoted=4919.25MB
    minor collections=247960  major collections=61 compactions=0


[Info] runtime: 00:08:21.475
[Info] vars: 196834, evals: 649879

[Info] |called|=27

Memory statistics: total=527794.30MB, max=1137.86MB, minor=527767.51MB, major=5009.68MB, promoted=4982.89MB
    minor collections=251696  major collections=61 compactions=0


[Info] runtime: 00:08:31.499
[Info] vars: 199183, evals: 657653

[Info] |called|=30

Memory statistics: total=535160.71MB, max=1308.54MB, minor=535133.82MB, major=5072.13MB, promoted=5045.24MB
    minor collections=255209  major collections=61 compactions=0


[Info] runtime: 00:08:41.510
[Info] vars: 201436, evals: 665100

[Info] |called|=28

Memory statistics: total=542265.44MB, max=1308.54MB, minor=542238.46MB, major=5131.69MB, promoted=5104.71MB
    minor collections=258596  major collections=61 compactions=0


[Info] runtime: 00:08:51.521
[Info] vars: 203798, evals: 672893

[Info] |called|=25

Memory statistics: total=549862.05MB, max=1308.54MB, minor=549834.92MB, major=5194.67MB, promoted=5167.54MB
    minor collections=262219  major collections=61 compactions=0


[Info] runtime: 00:09:01.532
[Info] vars: 205999, evals: 680193

[Info] |called|=27

Memory statistics: total=557081.84MB, max=1308.54MB, minor=557054.50MB, major=5253.49MB, promoted=5226.15MB
    minor collections=265662  major collections=62 compactions=0


[Info] runtime: 00:09:11.544
[Info] vars: 208181, evals: 687415

[Info] |called|=26

Memory statistics: total=564331.40MB, max=1308.54MB, minor=564303.82MB, major=5311.99MB, promoted=5284.40MB
    minor collections=269119  major collections=62 compactions=0


[Info] runtime: 00:09:21.567
[Info] vars: 210298, evals: 694393

[Info] |called|=25

Memory statistics: total=571426.38MB, max=1308.54MB, minor=571398.53MB, major=5368.38MB, promoted=5340.53MB
    minor collections=272502  major collections=62 compactions=0


[Info] runtime: 00:09:31.618
[Info] vars: 212482, evals: 701648

[Info] |called|=25

Memory statistics: total=578749.82MB, max=1308.54MB, minor=578721.70MB, major=5427.74MB, promoted=5399.62MB
    minor collections=275994  major collections=62 compactions=0


[Info] runtime: 00:09:41.638
[Info] vars: 214605, evals: 708660

[Info] |called|=27

Memory statistics: total=585474.35MB, max=1308.54MB, minor=585445.66MB, major=5484.39MB, promoted=5455.70MB
    minor collections=279200  major collections=62 compactions=0


[Info] runtime: 00:09:51.653
[Info] vars: 216681, evals: 715506

[Info] |called|=25

Memory statistics: total=592196.13MB, max=1308.54MB, minor=592167.36MB, major=5539.43MB, promoted=5510.66MB
    minor collections=282405  major collections=62 compactions=0


[Info] runtime: 00:10:01.668
[Info] vars: 218838, evals: 722644

[Info] |called|=25

Memory statistics: total=599334.93MB, max=1308.54MB, minor=599306.02MB, major=5597.55MB, promoted=5568.64MB
    minor collections=285810  major collections=62 compactions=0


[Info] runtime: 00:10:11.680
[Info] vars: 220878, evals: 729392

[Info] |called|=30

Memory statistics: total=606165.31MB, max=1308.54MB, minor=606136.21MB, major=5652.18MB, promoted=5623.08MB
    minor collections=289067  major collections=63 compactions=0


[Info] runtime: 00:10:21.695
[Info] vars: 222873, evals: 736008

[Info] |called|=27

Memory statistics: total=612967.93MB, max=1308.54MB, minor=612938.61MB, major=5706.36MB, promoted=5677.04MB
    minor collections=292311  major collections=63 compactions=0


[Info] runtime: 00:10:31.710
[Info] vars: 224689, evals: 742010

[Info] |called|=31

Memory statistics: total=619196.71MB, max=1308.54MB, minor=619167.17MB, major=5755.68MB, promoted=5726.13MB
    minor collections=295281  major collections=63 compactions=0


[Info] runtime: 00:10:41.753
[Info] vars: 226679, evals: 748604

[Info] |called|=25

Memory statistics: total=626082.46MB, max=1308.54MB, minor=626052.63MB, major=5809.84MB, promoted=5780.01MB
    minor collections=298564  major collections=63 compactions=0


[Info] runtime: 00:10:51.805
[Info] vars: 228601, evals: 754936

[Info] |called|=26

Memory statistics: total=632515.24MB, max=1504.82MB, minor=632485.23MB, major=5861.77MB, promoted=5831.76MB
    minor collections=301632  major collections=63 compactions=0


[Info] runtime: 00:11:01.820
[Info] vars: 230473, evals: 761128

[Info] |called|=26

Memory statistics: total=638642.46MB, max=1504.82MB, minor=638612.41MB, major=5911.64MB, promoted=5881.59MB
    minor collections=304553  major collections=63 compactions=0


[Info] runtime: 00:11:11.831
[Info] vars: 232320, evals: 767260

[Info] |called|=31

Memory statistics: total=644809.49MB, max=1504.82MB, minor=644779.37MB, major=5961.09MB, promoted=5930.98MB
    minor collections=307494  major collections=63 compactions=0


[Info] runtime: 00:11:21.846
[Info] vars: 234153, evals: 773298

[Info] |called|=25

Memory statistics: total=650987.96MB, max=1504.82MB, minor=650957.74MB, major=6010.12MB, promoted=5979.89MB
    minor collections=310440  major collections=63 compactions=0


[Info] runtime: 00:11:31.866
[Info] vars: 235844, evals: 778919

[Info] |called|=25

Memory statistics: total=656830.58MB, max=1504.82MB, minor=656800.22MB, major=6055.99MB, promoted=6025.63MB
    minor collections=313227  major collections=64 compactions=0


[Info] runtime: 00:11:41.881
[Info] vars: 237641, evals: 784856

[Info] |called|=27

Memory statistics: total=663038.56MB, max=1504.82MB, minor=663008.02MB, major=6104.17MB, promoted=6073.63MB
    minor collections=316187  major collections=64 compactions=0


[Info] runtime: 00:11:51.896
[Info] vars: 239276, evals: 790271

[Info] |called|=25

Memory statistics: total=668782.71MB, max=1504.82MB, minor=668751.97MB, major=6148.94MB, promoted=6118.20MB
    minor collections=318926  major collections=64 compactions=0


[Info] runtime: 00:12:01.915
[Info] vars: 240951, evals: 795787

[Info] |called|=25

Memory statistics: total=674670.60MB, max=1504.82MB, minor=674639.63MB, major=6194.32MB, promoted=6163.35MB
    minor collections=321733  major collections=64 compactions=0


[Info] runtime: 00:12:11.947
[Info] vars: 242668, evals: 801494

[Info] |called|=31

Memory statistics: total=680799.54MB, max=1504.82MB, minor=680768.30MB, major=6241.70MB, promoted=6210.46MB
    minor collections=324656  major collections=64 compactions=0


[Info] runtime: 00:12:21.982
[Info] vars: 244293, evals: 806863

[Info] |called|=35

Memory statistics: total=686623.40MB, max=1504.82MB, minor=686589.79MB, major=6288.52MB, promoted=6254.92MB
    minor collections=327432  major collections=64 compactions=0


[Info] runtime: 00:12:32.009
[Info] vars: 245931, evals: 812256

[Info] |called|=25

Memory statistics: total=692077.78MB, max=1504.82MB, minor=692044.12MB, major=6332.65MB, promoted=6298.99MB
    minor collections=330033  major collections=64 compactions=0


[Info] runtime: 00:12:42.024
[Info] vars: 247607, evals: 817803

[Info] |called|=25

Memory statistics: total=697710.55MB, max=1504.82MB, minor=697676.85MB, major=6377.67MB, promoted=6343.97MB
    minor collections=332719  major collections=64 compactions=0


[Info] runtime: 00:12:52.040
[Info] vars: 249244, evals: 823220

[Info] |called|=28

Memory statistics: total=703342.12MB, max=1504.82MB, minor=703308.36MB, major=6421.92MB, promoted=6388.15MB
    minor collections=335404  major collections=64 compactions=0


[Info] runtime: 00:13:02.055
[Info] vars: 250885, evals: 828670

[Info] |called|=25

Memory statistics: total=709057.69MB, max=1504.82MB, minor=709023.83MB, major=6466.73MB, promoted=6432.87MB
    minor collections=338130  major collections=64 compactions=0


[Info] runtime: 00:13:12.070
[Info] vars: 252473, evals: 833917

[Info] |called|=27

Memory statistics: total=714651.43MB, max=1504.82MB, minor=714617.42MB, major=6509.90MB, promoted=6475.89MB
    minor collections=340797  major collections=64 compactions=0


[Info] runtime: 00:13:22.085
[Info] vars: 254067, evals: 839173

[Info] |called|=28

Memory statistics: total=720300.40MB, max=1504.82MB, minor=720266.23MB, major=6553.45MB, promoted=6519.29MB
    minor collections=343491  major collections=65 compactions=0


[Info] runtime: 00:13:32.096
[Info] vars: 255655, evals: 844443

[Info] |called|=35

Memory statistics: total=726010.29MB, max=1504.82MB, minor=725975.95MB, major=6597.05MB, promoted=6562.71MB
    minor collections=346214  major collections=65 compactions=0


[Info] runtime: 00:13:42.112
[Info] vars: 257187, evals: 849493

[Info] |called|=28

Memory statistics: total=731541.65MB, max=1504.82MB, minor=731507.11MB, major=6639.03MB, promoted=6604.49MB
    minor collections=348851  major collections=65 compactions=0


[Info] runtime: 00:13:52.127
[Info] vars: 258750, evals: 854685

[Info] |called|=25

Memory statistics: total=737271.35MB, max=1504.82MB, minor=737236.56MB, major=6682.14MB, promoted=6647.35MB
    minor collections=351583  major collections=65 compactions=0


[Info] runtime: 00:14:02.162
[Info] vars: 260296, evals: 859796

[Info] |called|=34

Memory statistics: total=742938.54MB, max=1504.82MB, minor=742903.51MB, major=6724.54MB, promoted=6689.51MB
    minor collections=354286  major collections=65 compactions=0


[Info] runtime: 00:14:12.185
[Info] vars: 261855, evals: 864930

[Info] |called|=26

Memory statistics: total=748684.38MB, max=1504.82MB, minor=748649.07MB, major=6767.42MB, promoted=6732.11MB
    minor collections=357025  major collections=65 compactions=0


[Info] runtime: 00:14:22.227
[Info] vars: 263546, evals: 870546

[Info] |called|=30

Memory statistics: total=754502.60MB, max=1730.54MB, minor=754458.82MB, major=6821.64MB, promoted=6777.86MB
    minor collections=359798  major collections=65 compactions=0


[Info] runtime: 00:14:32.243
[Info] vars: 265171, evals: 875905

[Info] |called|=33

Memory statistics: total=760094.04MB, max=1730.54MB, minor=760050.22MB, major=6865.63MB, promoted=6821.82MB
    minor collections=362464  major collections=65 compactions=0


[Info] runtime: 00:14:42.254
[Info] vars: 266913, evals: 881683

[Info] |called|=30

Memory statistics: total=766214.52MB, max=1730.54MB, minor=766170.63MB, major=6913.33MB, promoted=6869.44MB
    minor collections=365383  major collections=65 compactions=0


[Info] runtime: 00:14:52.269
[Info] vars: 268607, evals: 887282

[Info] |called|=27

Memory statistics: total=772243.93MB, max=1730.54MB, minor=772199.94MB, major=6959.36MB, promoted=6915.38MB
    minor collections=368258  major collections=65 compactions=0

