./goblint --conf conf/svcomp-ghost.json --set ana.base.privatization protection-read --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: 12202, evals: 39109

[Info] |called|=26

Memory statistics: total=24161.29MB, max=69.52MB, minor=24157.77MB, major=243.19MB, promoted=239.67MB
    minor collections=11531  major collections=25 compactions=0


[Info] runtime: 00:00:20.195
[Info] vars: 21446, evals: 69708

[Info] |called|=31

Memory statistics: total=43700.90MB, max=105.73MB, minor=43696.51MB, major=428.95MB, promoted=424.56MB
    minor collections=20852  major collections=32 compactions=0


[Info] runtime: 00:00:30.235
[Info] vars: 29753, evals: 97185

[Info] |called|=30

Memory statistics: total=61583.34MB, max=139.83MB, minor=61578.44MB, major=596.62MB, promoted=591.71MB
    minor collections=29381  major collections=36 compactions=0


[Info] runtime: 00:00:40.271
[Info] vars: 37372, evals: 122389

[Info] |called|=25

Memory statistics: total=78269.04MB, max=184.93MB, minor=78262.64MB, major=751.95MB, promoted=745.56MB
    minor collections=37339  major collections=40 compactions=0


[Info] runtime: 00:00:50.293
[Info] vars: 44312, evals: 145320

[Info] |called|=27

Memory statistics: total=93688.70MB, max=212.67MB, minor=93682.11MB, major=893.00MB, promoted=886.41MB
    minor collections=44692  major collections=42 compactions=0


[Info] runtime: 00:01:00.326
[Info] vars: 50956, evals: 167316

[Info] |called|=36

Memory statistics: total=108672.66MB, max=244.57MB, minor=108665.35MB, major=1028.88MB, promoted=1021.58MB
    minor collections=51838  major collections=44 compactions=0


[Info] runtime: 00:01:10.371
[Info] vars: 57170, evals: 187872

[Info] |called|=26

Memory statistics: total=122870.43MB, max=244.57MB, minor=122862.81MB, major=1156.44MB, promoted=1148.82MB
    minor collections=58609  major collections=45 compactions=0


[Info] runtime: 00:01:20.398
[Info] vars: 62964, evals: 207019

[Info] |called|=30

Memory statistics: total=136275.56MB, max=281.26MB, minor=136267.22MB, major=1275.64MB, promoted=1267.30MB
    minor collections=65002  major collections=47 compactions=0


[Info] runtime: 00:01:30.429
[Info] vars: 68597, evals: 225669

[Info] |called|=27

Memory statistics: total=149488.73MB, max=323.45MB, minor=149478.09MB, major=1393.81MB, promoted=1383.16MB
    minor collections=71302  major collections=48 compactions=0


[Info] runtime: 00:01:40.460
[Info] vars: 74057, evals: 243718

[Info] |called|=37

Memory statistics: total=162385.84MB, max=323.45MB, minor=162374.99MB, major=1506.67MB, promoted=1495.82MB
    minor collections=77452  major collections=49 compactions=0


[Info] runtime: 00:01:50.495
[Info] vars: 79282, evals: 260990

[Info] |called|=25

Memory statistics: total=174897.28MB, max=371.96MB, minor=174886.24MB, major=1614.45MB, promoted=1603.41MB
    minor collections=83419  major collections=50 compactions=0


[Info] runtime: 00:02:00.525
[Info] vars: 84262, evals: 277490

[Info] |called|=25

Memory statistics: total=186965.23MB, max=371.96MB, minor=186953.97MB, major=1718.11MB, promoted=1706.85MB
    minor collections=89174  major collections=51 compactions=0


[Info] runtime: 00:02:10.537
[Info] vars: 88957, evals: 293014

[Info] |called|=26

Memory statistics: total=198393.59MB, max=371.96MB, minor=198382.16MB, major=1816.16MB, promoted=1804.73MB
    minor collections=94624  major collections=52 compactions=0


[Info] runtime: 00:02:20.558
[Info] vars: 93531, evals: 308127

[Info] |called|=33

Memory statistics: total=209618.49MB, max=427.76MB, minor=209606.87MB, major=1911.60MB, promoted=1899.98MB
    minor collections=99977  major collections=53 compactions=0


[Info] runtime: 00:02:30.573
[Info] vars: 98029, evals: 323021

[Info] |called|=33

Memory statistics: total=220804.27MB, max=427.76MB, minor=220791.39MB, major=2006.73MB, promoted=1993.85MB
    minor collections=105310  major collections=53 compactions=0


[Info] runtime: 00:02:40.587
[Info] vars: 102358, evals: 337331

[Info] |called|=35

Memory statistics: total=231649.66MB, max=427.76MB, minor=231636.58MB, major=2097.45MB, promoted=2084.37MB
    minor collections=110482  major collections=54 compactions=0


[Info] runtime: 00:02:50.626
[Info] vars: 106502, evals: 351027

[Info] |called|=31

Memory statistics: total=242067.78MB, max=491.92MB, minor=242054.52MB, major=2184.27MB, promoted=2171.00MB
    minor collections=115450  major collections=54 compactions=0


[Info] runtime: 00:03:00.645
[Info] vars: 110793, evals: 365219

[Info] |called|=30

Memory statistics: total=253054.88MB, max=491.92MB, minor=253041.09MB, major=2274.59MB, promoted=2260.80MB
    minor collections=120689  major collections=55 compactions=0


[Info] runtime: 00:03:10.656
[Info] vars: 114943, evals: 378970

[Info] |called|=25

Memory statistics: total=263627.95MB, max=491.92MB, minor=263614.02MB, major=2361.67MB, promoted=2347.74MB
    minor collections=125732  major collections=56 compactions=0


[Info] runtime: 00:03:20.694
[Info] vars: 118880, evals: 391967

[Info] |called|=26

Memory statistics: total=273857.95MB, max=565.71MB, minor=273843.75MB, major=2445.04MB, promoted=2430.84MB
    minor collections=130610  major collections=56 compactions=0


[Info] runtime: 00:03:30.713
[Info] vars: 122759, evals: 404816

[Info] |called|=27

Memory statistics: total=283860.33MB, max=565.71MB, minor=283844.95MB, major=2528.05MB, promoted=2512.67MB
    minor collections=135379  major collections=57 compactions=0


[Info] runtime: 00:03:40.740
[Info] vars: 126642, evals: 417670

[Info] |called|=31

Memory statistics: total=294159.96MB, max=565.71MB, minor=294144.30MB, major=2610.96MB, promoted=2595.30MB
    minor collections=140290  major collections=57 compactions=0


[Info] runtime: 00:03:50.762
[Info] vars: 130494, evals: 430400

[Info] |called|=28

Memory statistics: total=304192.26MB, max=565.71MB, minor=304176.47MB, major=2692.71MB, promoted=2676.92MB
    minor collections=145074  major collections=57 compactions=0


[Info] runtime: 00:04:00.773
[Info] vars: 134168, evals: 442536

[Info] |called|=27

Memory statistics: total=313998.26MB, max=565.71MB, minor=313978.02MB, major=2774.48MB, promoted=2754.24MB
    minor collections=149750  major collections=58 compactions=0


[Info] runtime: 00:04:10.795
[Info] vars: 137824, evals: 454651

[Info] |called|=26

Memory statistics: total=323729.54MB, max=650.57MB, minor=323709.13MB, major=2852.63MB, promoted=2832.22MB
    minor collections=154390  major collections=58 compactions=0


[Info] runtime: 00:04:20.806
[Info] vars: 141440, evals: 466607

[Info] |called|=27

Memory statistics: total=333463.26MB, max=650.57MB, minor=333442.65MB, major=2929.58MB, promoted=2908.98MB
    minor collections=159032  major collections=59 compactions=0


[Info] runtime: 00:04:30.841
[Info] vars: 144908, evals: 478085

[Info] |called|=25

Memory statistics: total=342999.82MB, max=650.57MB, minor=342978.91MB, major=3004.40MB, promoted=2983.49MB
    minor collections=163579  major collections=59 compactions=0


[Info] runtime: 00:04:40.864
[Info] vars: 148391, evals: 489609

[Info] |called|=25

Memory statistics: total=352338.88MB, max=650.57MB, minor=352317.85MB, major=3078.72MB, promoted=3057.70MB
    minor collections=168033  major collections=59 compactions=0


[Info] runtime: 00:04:50.875
[Info] vars: 151718, evals: 500586

[Info] |called|=25

Memory statistics: total=361479.80MB, max=650.57MB, minor=361458.54MB, major=3150.08MB, promoted=3128.82MB
    minor collections=172392  major collections=60 compactions=0


[Info] runtime: 00:05:00.949
[Info] vars: 154981, evals: 511379

[Info] |called|=25

Memory statistics: total=370616.46MB, max=748.16MB, minor=370594.91MB, major=3220.50MB, promoted=3198.95MB
    minor collections=176748  major collections=60 compactions=0


[Info] runtime: 00:05:10.964
[Info] vars: 158270, evals: 522258

[Info] |called|=25

Memory statistics: total=379577.85MB, max=748.16MB, minor=379556.20MB, major=3291.00MB, promoted=3269.35MB
    minor collections=181022  major collections=60 compactions=0


[Info] runtime: 00:05:20.983
[Info] vars: 161366, evals: 532523

[Info] |called|=25

Memory statistics: total=388249.86MB, max=748.16MB, minor=388228.00MB, major=3357.99MB, promoted=3336.13MB
    minor collections=185157  major collections=61 compactions=0


[Info] runtime: 00:05:31.006
[Info] vars: 164342, evals: 542370

[Info] |called|=32

Memory statistics: total=396757.00MB, max=748.16MB, minor=396734.85MB, major=3422.66MB, promoted=3400.51MB
    minor collections=189214  major collections=61 compactions=0


[Info] runtime: 00:05:41.033
[Info] vars: 167409, evals: 552487

[Info] |called|=25

Memory statistics: total=405294.63MB, max=748.16MB, minor=405272.32MB, major=3488.67MB, promoted=3466.37MB
    minor collections=193285  major collections=61 compactions=0


[Info] runtime: 00:05:51.048
[Info] vars: 170426, evals: 562488

[Info] |called|=31

Memory statistics: total=413785.48MB, max=748.16MB, minor=413763.02MB, major=3553.43MB, promoted=3530.98MB
    minor collections=197334  major collections=61 compactions=0


[Info] runtime: 00:06:01.063
[Info] vars: 173350, evals: 572138

[Info] |called|=25

Memory statistics: total=422176.73MB, max=748.16MB, minor=422154.03MB, major=3616.81MB, promoted=3594.12MB
    minor collections=201335  major collections=62 compactions=0


[Info] runtime: 00:06:11.086
[Info] vars: 176198, evals: 581555

[Info] |called|=25

Memory statistics: total=430495.05MB, max=748.16MB, minor=430472.05MB, major=3678.66MB, promoted=3655.67MB
    minor collections=205302  major collections=62 compactions=0


[Info] runtime: 00:06:21.097
[Info] vars: 179083, evals: 591100

[Info] |called|=26

Memory statistics: total=438636.32MB, max=860.38MB, minor=438613.20MB, major=3740.37MB, promoted=3717.26MB
    minor collections=209184  major collections=62 compactions=0


[Info] runtime: 00:06:31.112
[Info] vars: 181983, evals: 600715

[Info] |called|=34

Memory statistics: total=446968.77MB, max=860.38MB, minor=446945.50MB, major=3803.82MB, promoted=3780.55MB
    minor collections=213157  major collections=62 compactions=0


[Info] runtime: 00:06:41.127
[Info] vars: 184608, evals: 609376

[Info] |called|=25

Memory statistics: total=454666.66MB, max=860.38MB, minor=454643.19MB, major=3861.26MB, promoted=3837.78MB
    minor collections=216828  major collections=63 compactions=0


[Info] runtime: 00:06:51.146
[Info] vars: 187236, evals: 618093

[Info] |called|=25

Memory statistics: total=462500.54MB, max=860.38MB, minor=462476.77MB, major=3919.08MB, promoted=3895.32MB
    minor collections=220564  major collections=63 compactions=0


[Info] runtime: 00:07:01.181
[Info] vars: 189849, evals: 626736

[Info] |called|=25

Memory statistics: total=470135.89MB, max=860.38MB, minor=470109.85MB, major=3977.78MB, promoted=3951.73MB
    minor collections=224204  major collections=63 compactions=0


[Info] runtime: 00:07:11.192
[Info] vars: 192552, evals: 635649

[Info] |called|=25

Memory statistics: total=477914.30MB, max=860.38MB, minor=477888.15MB, major=4035.97MB, promoted=4009.82MB
    minor collections=227913  major collections=63 compactions=0


[Info] runtime: 00:07:21.208
[Info] vars: 195078, evals: 644024

[Info] |called|=27

Memory statistics: total=485393.62MB, max=860.38MB, minor=485367.30MB, major=4091.21MB, promoted=4064.89MB
    minor collections=231480  major collections=64 compactions=0


[Info] runtime: 00:07:31.223
[Info] vars: 197623, evals: 652450

[Info] |called|=25

Memory statistics: total=493067.22MB, max=860.38MB, minor=493040.64MB, major=4147.05MB, promoted=4120.48MB
    minor collections=235139  major collections=64 compactions=0


[Info] runtime: 00:07:41.242
[Info] vars: 200083, evals: 660579

[Info] |called|=28

Memory statistics: total=500562.30MB, max=860.38MB, minor=500535.43MB, major=4201.54MB, promoted=4174.68MB
    minor collections=238713  major collections=64 compactions=0


[Info] runtime: 00:07:51.253
[Info] vars: 202645, evals: 669051

[Info] |called|=27

Memory statistics: total=508138.93MB, max=989.44MB, minor=508111.91MB, major=4257.47MB, promoted=4230.45MB
    minor collections=242325  major collections=64 compactions=0


[Info] runtime: 00:08:01.268
[Info] vars: 205083, evals: 677100

[Info] |called|=26

Memory statistics: total=515323.90MB, max=989.44MB, minor=515296.78MB, major=4310.59MB, promoted=4283.47MB
    minor collections=245752  major collections=64 compactions=0


[Info] runtime: 00:08:11.283
[Info] vars: 207580, evals: 685375

[Info] |called|=31

Memory statistics: total=522866.46MB, max=989.44MB, minor=522839.16MB, major=4365.02MB, promoted=4337.73MB
    minor collections=249349  major collections=65 compactions=0


[Info] runtime: 00:08:21.294
[Info] vars: 209934, evals: 693171

[Info] |called|=25

Memory statistics: total=530094.71MB, max=989.44MB, minor=530067.20MB, major=4416.96MB, promoted=4389.45MB
    minor collections=252795  major collections=65 compactions=0


[Info] runtime: 00:08:31.305
[Info] vars: 212363, evals: 701181

[Info] |called|=25

Memory statistics: total=537618.93MB, max=989.44MB, minor=537591.11MB, major=4470.78MB, promoted=4442.97MB
    minor collections=256383  major collections=65 compactions=0


[Info] runtime: 00:08:41.356
[Info] vars: 214626, evals: 708663

[Info] |called|=25

Memory statistics: total=544702.76MB, max=989.44MB, minor=544674.12MB, major=4521.52MB, promoted=4492.87MB
    minor collections=259761  major collections=65 compactions=0


[Info] runtime: 00:08:51.370
[Info] vars: 216943, evals: 716349

[Info] |called|=27

Memory statistics: total=551602.15MB, max=989.44MB, minor=551573.46MB, major=4572.31MB, promoted=4543.62MB
    minor collections=263051  major collections=65 compactions=0


[Info] runtime: 00:09:01.384
[Info] vars: 219228, evals: 723885

[Info] |called|=25

Memory statistics: total=558535.40MB, max=989.44MB, minor=558506.60MB, major=4622.43MB, promoted=4593.63MB
    minor collections=266357  major collections=65 compactions=0


[Info] runtime: 00:09:11.398
[Info] vars: 221477, evals: 731355

[Info] |called|=25

Memory statistics: total=565491.99MB, max=989.44MB, minor=565463.03MB, major=4672.23MB, promoted=4643.27MB
    minor collections=269674  major collections=66 compactions=0


[Info] runtime: 00:09:21.408
[Info] vars: 223700, evals: 738677

[Info] |called|=25

Memory statistics: total=572429.19MB, max=989.44MB, minor=572400.01MB, major=4721.38MB, promoted=4692.20MB
    minor collections=272982  major collections=66 compactions=0


[Info] runtime: 00:09:31.426
[Info] vars: 225820, evals: 745717

[Info] |called|=25

Memory statistics: total=579170.44MB, max=989.44MB, minor=579141.00MB, major=4768.91MB, promoted=4739.46MB
    minor collections=276197  major collections=66 compactions=0


[Info] runtime: 00:09:41.457
[Info] vars: 228068, evals: 753150

[Info] |called|=28

Memory statistics: total=586360.24MB, max=989.44MB, minor=586330.50MB, major=4818.96MB, promoted=4789.21MB
    minor collections=279625  major collections=66 compactions=0


[Info] runtime: 00:09:51.508
[Info] vars: 230214, evals: 760251

[Info] |called|=25

Memory statistics: total=592954.61MB, max=989.44MB, minor=592924.74MB, major=4866.29MB, promoted=4836.43MB
    minor collections=282770  major collections=66 compactions=0


[Info] runtime: 00:10:01.523
[Info] vars: 232307, evals: 767174

[Info] |called|=25

Memory statistics: total=599378.54MB, max=989.44MB, minor=599348.60MB, major=4912.02MB, promoted=4882.08MB
    minor collections=285833  major collections=66 compactions=0


[Info] runtime: 00:10:11.538
[Info] vars: 234360, evals: 773937

[Info] |called|=25

Memory statistics: total=605792.83MB, max=989.44MB, minor=605762.77MB, major=4957.25MB, promoted=4927.18MB
    minor collections=288891  major collections=66 compactions=0


[Info] runtime: 00:10:21.551
[Info] vars: 236452, evals: 780859

[Info] |called|=26

Memory statistics: total=612433.99MB, max=989.44MB, minor=612403.75MB, major=5003.93MB, promoted=4973.69MB
    minor collections=292059  major collections=67 compactions=0


[Info] runtime: 00:10:31.566
[Info] vars: 238587, evals: 787944

[Info] |called|=26

Memory statistics: total=619328.74MB, max=989.44MB, minor=619298.26MB, major=5051.95MB, promoted=5021.48MB
    minor collections=295346  major collections=67 compactions=0


[Info] runtime: 00:10:41.581
[Info] vars: 240561, evals: 794448

[Info] |called|=25

Memory statistics: total=625742.53MB, max=989.44MB, minor=625711.79MB, major=5095.92MB, promoted=5065.17MB
    minor collections=298405  major collections=67 compactions=0


[Info] runtime: 00:10:51.616
[Info] vars: 242512, evals: 800929

[Info] |called|=25

Memory statistics: total=632185.05MB, max=1137.86MB, minor=632154.03MB, major=5139.94MB, promoted=5108.92MB
    minor collections=301477  major collections=67 compactions=0


[Info] runtime: 00:11:01.663
[Info] vars: 244491, evals: 807468

[Info] |called|=27

Memory statistics: total=638538.82MB, max=1137.86MB, minor=638505.52MB, major=5186.25MB, promoted=5152.94MB
    minor collections=304505  major collections=67 compactions=0


[Info] runtime: 00:11:11.678
[Info] vars: 246489, evals: 814056

[Info] |called|=25

Memory statistics: total=644762.31MB, max=1137.86MB, minor=644728.96MB, major=5230.72MB, promoted=5197.37MB
    minor collections=307473  major collections=67 compactions=0


[Info] runtime: 00:11:21.697
[Info] vars: 248464, evals: 820592

[Info] |called|=25

Memory statistics: total=651051.49MB, max=1137.86MB, minor=651018.05MB, major=5274.59MB, promoted=5241.15MB
    minor collections=310472  major collections=67 compactions=0


[Info] runtime: 00:11:31.709
[Info] vars: 250284, evals: 826611

[Info] |called|=26

Memory statistics: total=656944.16MB, max=1137.86MB, minor=656910.60MB, major=5315.22MB, promoted=5281.65MB
    minor collections=313282  major collections=67 compactions=0


[Info] runtime: 00:11:41.720
[Info] vars: 252251, evals: 833138

[Info] |called|=27

Memory statistics: total=663382.76MB, max=1137.86MB, minor=663349.02MB, major=5359.41MB, promoted=5325.66MB
    minor collections=316352  major collections=68 compactions=0


[Info] runtime: 00:11:51.743
[Info] vars: 254185, evals: 839543

[Info] |called|=25

Memory statistics: total=669780.64MB, max=1137.86MB, minor=669746.67MB, major=5403.14MB, promoted=5369.18MB
    minor collections=319403  major collections=68 compactions=0


[Info] runtime: 00:12:01.762
[Info] vars: 255969, evals: 845435

[Info] |called|=27

Memory statistics: total=675748.46MB, max=1137.86MB, minor=675714.24MB, major=5443.56MB, promoted=5409.34MB
    minor collections=322249  major collections=68 compactions=0


[Info] runtime: 00:12:11.780
[Info] vars: 257777, evals: 851413

[Info] |called|=27

Memory statistics: total=681849.66MB, max=1137.86MB, minor=681815.17MB, major=5484.51MB, promoted=5450.01MB
    minor collections=325158  major collections=68 compactions=0


[Info] runtime: 00:12:21.819
[Info] vars: 259684, evals: 857701

[Info] |called|=25

Memory statistics: total=688254.88MB, max=1137.86MB, minor=688220.09MB, major=5527.46MB, promoted=5492.67MB
    minor collections=328212  major collections=68 compactions=0


[Info] runtime: 00:12:31.838
[Info] vars: 261542, evals: 863850

[Info] |called|=25

Memory statistics: total=694148.73MB, max=1137.86MB, minor=694113.91MB, major=5568.58MB, promoted=5533.76MB
    minor collections=331023  major collections=68 compactions=0


[Info] runtime: 00:12:41.857
[Info] vars: 263405, evals: 870032

[Info] |called|=27

Memory statistics: total=700173.84MB, max=1137.86MB, minor=700130.57MB, major=5618.57MB, promoted=5575.30MB
    minor collections=333894  major collections=68 compactions=0


[Info] runtime: 00:12:51.876
[Info] vars: 265325, evals: 876363

[Info] |called|=27

Memory statistics: total=706438.17MB, max=1137.86MB, minor=706394.80MB, major=5661.57MB, promoted=5618.20MB
    minor collections=336881  major collections=68 compactions=0


[Info] runtime: 00:13:01.887
[Info] vars: 267368, evals: 883145

[Info] |called|=25

Memory statistics: total=713275.65MB, max=1137.86MB, minor=713232.09MB, major=5707.73MB, promoted=5664.17MB
    minor collections=340142  major collections=69 compactions=0


[Info] runtime: 00:13:11.902
[Info] vars: 269382, evals: 889804

[Info] |called|=32

Memory statistics: total=720044.43MB, max=1137.86MB, minor=720000.65MB, major=5753.31MB, promoted=5709.52MB
    minor collections=343370  major collections=69 compactions=0


[Info] runtime: 00:13:21.913
[Info] vars: 271305, evals: 896143

[Info] |called|=25

Memory statistics: total=726582.87MB, max=1137.86MB, minor=726538.82MB, major=5796.88MB, promoted=5752.83MB
    minor collections=346487  major collections=69 compactions=0


[Info] runtime: 00:13:31.928
[Info] vars: 273152, evals: 902249

[Info] |called|=25

Memory statistics: total=732927.68MB, max=1137.86MB, minor=732883.33MB, major=5838.87MB, promoted=5794.53MB
    minor collections=349513  major collections=69 compactions=0


[Info] runtime: 00:13:41.967
[Info] vars: 275076, evals: 908629

[Info] |called|=36

Memory statistics: total=739605.39MB, max=1308.54MB, minor=739560.71MB, major=5882.74MB, promoted=5838.07MB
    minor collections=352697  major collections=69 compactions=0


[Info] runtime: 00:13:52.002
[Info] vars: 276960, evals: 914848

[Info] |called|=25

Memory statistics: total=745842.82MB, max=1308.54MB, minor=745797.98MB, major=5925.07MB, promoted=5880.22MB
    minor collections=355671  major collections=69 compactions=0


[Info] runtime: 00:14:02.017
[Info] vars: 278768, evals: 920825

[Info] |called|=25

Memory statistics: total=751748.93MB, max=1308.54MB, minor=751704.05MB, major=5965.34MB, promoted=5920.46MB
    minor collections=358487  major collections=69 compactions=0


[Info] runtime: 00:14:12.036
[Info] vars: 280510, evals: 926587

[Info] |called|=25

Memory statistics: total=757538.60MB, max=1308.54MB, minor=757493.63MB, major=6004.29MB, promoted=5959.32MB
    minor collections=361248  major collections=69 compactions=0


[Info] runtime: 00:14:22.046
[Info] vars: 282358, evals: 932724

[Info] |called|=25

Memory statistics: total=763790.85MB, max=1308.54MB, minor=763745.76MB, major=6046.28MB, promoted=6001.19MB
    minor collections=364230  major collections=69 compactions=0


[Info] runtime: 00:14:32.065
[Info] vars: 284008, evals: 938185

[Info] |called|=25

Memory statistics: total=769453.70MB, max=1308.54MB, minor=769408.47MB, major=6083.59MB, promoted=6038.35MB
    minor collections=366930  major collections=69 compactions=0


[Info] runtime: 00:14:42.080
[Info] vars: 285555, evals: 943302

[Info] |called|=25

Memory statistics: total=774825.59MB, max=1308.54MB, minor=774780.19MB, major=6118.89MB, promoted=6073.49MB
    minor collections=369492  major collections=70 compactions=0


[Info] runtime: 00:14:52.095
[Info] vars: 287092, evals: 948378

[Info] |called|=28

Memory statistics: total=780185.84MB, max=1308.54MB, minor=780140.22MB, major=6154.01MB, promoted=6108.39MB
    minor collections=372048  major collections=70 compactions=0

