./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.146
[Info] vars: 12175, evals: 39023

[Info] |called|=30

Memory statistics: total=24105.17MB, max=69.52MB, minor=24101.65MB, major=242.91MB, promoted=239.39MB
    minor collections=11504  major collections=25 compactions=0


[Info] runtime: 00:00:20.177
[Info] vars: 21550, evals: 70043

[Info] |called|=38

Memory statistics: total=43911.86MB, max=105.73MB, minor=43907.47MB, major=430.78MB, promoted=426.38MB
    minor collections=20952  major collections=32 compactions=0


[Info] runtime: 00:00:30.216
[Info] vars: 29777, evals: 97245

[Info] |called|=30

Memory statistics: total=61622.13MB, max=139.83MB, minor=61617.23MB, major=596.34MB, promoted=591.43MB
    minor collections=29399  major collections=36 compactions=0


[Info] runtime: 00:00:40.243
[Info] vars: 37618, evals: 123189

[Info] |called|=38

Memory statistics: total=78791.59MB, max=184.93MB, minor=78785.19MB, major=756.31MB, promoted=749.90MB
    minor collections=37588  major collections=40 compactions=0


[Info] runtime: 00:00:50.266
[Info] vars: 44758, evals: 146814

[Info] |called|=26

Memory statistics: total=94704.70MB, max=212.67MB, minor=94698.09MB, major=901.55MB, promoted=894.94MB
    minor collections=45177  major collections=42 compactions=0


[Info] runtime: 00:01:00.292
[Info] vars: 51312, evals: 168488

[Info] |called|=27

Memory statistics: total=109485.90MB, max=244.57MB, minor=109478.58MB, major=1035.41MB, promoted=1028.09MB
    minor collections=52226  major collections=44 compactions=0


[Info] runtime: 00:01:10.328
[Info] vars: 57535, evals: 189082

[Info] |called|=25

Memory statistics: total=123710.87MB, max=281.26MB, minor=123703.23MB, major=1162.94MB, promoted=1155.30MB
    minor collections=59010  major collections=46 compactions=0


[Info] runtime: 00:01:20.347
[Info] vars: 63431, evals: 208567

[Info] |called|=30

Memory statistics: total=137369.47MB, max=281.26MB, minor=137361.11MB, major=1284.29MB, promoted=1275.92MB
    minor collections=65523  major collections=47 compactions=0


[Info] runtime: 00:01:30.378
[Info] vars: 69052, evals: 227149

[Info] |called|=25

Memory statistics: total=150528.73MB, max=323.45MB, minor=150518.08MB, major=1402.22MB, promoted=1391.57MB
    minor collections=71798  major collections=48 compactions=0


[Info] runtime: 00:01:40.406
[Info] vars: 74460, evals: 245053

[Info] |called|=30

Memory statistics: total=163340.45MB, max=323.45MB, minor=163329.59MB, major=1513.67MB, promoted=1502.82MB
    minor collections=77907  major collections=49 compactions=0


[Info] runtime: 00:01:50.433
[Info] vars: 79573, evals: 261969

[Info] |called|=28

Memory statistics: total=175601.21MB, max=371.96MB, minor=175590.15MB, major=1619.51MB, promoted=1608.46MB
    minor collections=83754  major collections=50 compactions=0


[Info] runtime: 00:02:00.452
[Info] vars: 84591, evals: 278567

[Info] |called|=27

Memory statistics: total=187749.66MB, max=371.96MB, minor=187738.39MB, major=1724.08MB, promoted=1712.81MB
    minor collections=89548  major collections=51 compactions=0


[Info] runtime: 00:02:10.466
[Info] vars: 89358, evals: 294346

[Info] |called|=25

Memory statistics: total=199387.49MB, max=371.96MB, minor=199376.03MB, major=1823.11MB, promoted=1811.66MB
    minor collections=95098  major collections=52 compactions=0


[Info] runtime: 00:02:20.497
[Info] vars: 93880, evals: 309278

[Info] |called|=28

Memory statistics: total=210478.42MB, max=427.76MB, minor=210466.79MB, major=1917.33MB, promoted=1905.70MB
    minor collections=100387  major collections=53 compactions=0


[Info] runtime: 00:02:30.516
[Info] vars: 98328, evals: 324016

[Info] |called|=25

Memory statistics: total=221553.59MB, max=427.76MB, minor=221540.70MB, major=2011.28MB, promoted=1998.39MB
    minor collections=105667  major collections=53 compactions=0


[Info] runtime: 00:02:40.531
[Info] vars: 102673, evals: 338380

[Info] |called|=27

Memory statistics: total=232458.55MB, max=427.76MB, minor=232445.45MB, major=2102.36MB, promoted=2089.26MB
    minor collections=110868  major collections=54 compactions=0


[Info] runtime: 00:02:50.557
[Info] vars: 106869, evals: 352261

[Info] |called|=34

Memory statistics: total=243008.75MB, max=491.92MB, minor=242995.20MB, major=2190.55MB, promoted=2177.01MB
    minor collections=115898  major collections=54 compactions=0


[Info] runtime: 00:03:00.588
[Info] vars: 111146, evals: 366383

[Info] |called|=25

Memory statistics: total=253946.05MB, max=491.92MB, minor=253932.24MB, major=2281.21MB, promoted=2267.40MB
    minor collections=121114  major collections=55 compactions=0


[Info] runtime: 00:03:10.603
[Info] vars: 115254, evals: 380002

[Info] |called|=31

Memory statistics: total=264429.41MB, max=491.92MB, minor=264415.46MB, major=2367.62MB, promoted=2353.67MB
    minor collections=126114  major collections=56 compactions=0


[Info] runtime: 00:03:20.621
[Info] vars: 119223, evals: 393120

[Info] |called|=27

Memory statistics: total=274738.27MB, max=565.71MB, minor=274724.06MB, major=2451.14MB, promoted=2436.94MB
    minor collections=131029  major collections=56 compactions=0


[Info] runtime: 00:03:30.635
[Info] vars: 123132, evals: 406060

[Info] |called|=25

Memory statistics: total=284833.37MB, max=565.71MB, minor=284817.96MB, major=2534.58MB, promoted=2519.18MB
    minor collections=135843  major collections=57 compactions=0


[Info] runtime: 00:03:40.670
[Info] vars: 126940, evals: 418627

[Info] |called|=26

Memory statistics: total=294921.36MB, max=565.71MB, minor=294905.69MB, major=2615.15MB, promoted=2599.48MB
    minor collections=140653  major collections=57 compactions=0


[Info] runtime: 00:03:50.692
[Info] vars: 130645, evals: 430883

[Info] |called|=25

Memory statistics: total=304579.69MB, max=565.71MB, minor=304563.89MB, major=2693.60MB, promoted=2677.80MB
    minor collections=145259  major collections=57 compactions=0


[Info] runtime: 00:04:00.722
[Info] vars: 134350, evals: 443138

[Info] |called|=25

Memory statistics: total=314485.74MB, max=565.71MB, minor=314465.49MB, major=2776.68MB, promoted=2756.43MB
    minor collections=149982  major collections=58 compactions=0


[Info] runtime: 00:04:10.748
[Info] vars: 137965, evals: 455123

[Info] |called|=25

Memory statistics: total=324122.91MB, max=650.57MB, minor=324102.48MB, major=2853.60MB, promoted=2833.17MB
    minor collections=154577  major collections=58 compactions=0


[Info] runtime: 00:04:20.770
[Info] vars: 141501, evals: 466788

[Info] |called|=25

Memory statistics: total=333626.02MB, max=650.57MB, minor=333605.40MB, major=2928.73MB, promoted=2908.11MB
    minor collections=159109  major collections=59 compactions=0


[Info] runtime: 00:04:30.804
[Info] vars: 144882, evals: 477999

[Info] |called|=25

Memory statistics: total=342947.56MB, max=650.57MB, minor=342926.64MB, major=3001.25MB, promoted=2980.34MB
    minor collections=163554  major collections=59 compactions=0


[Info] runtime: 00:04:40.822
[Info] vars: 148326, evals: 489381

[Info] |called|=31

Memory statistics: total=352181.72MB, max=650.57MB, minor=352160.68MB, major=3074.10MB, promoted=3053.06MB
    minor collections=167957  major collections=59 compactions=0


[Info] runtime: 00:04:50.836
[Info] vars: 151706, evals: 500574

[Info] |called|=25

Memory statistics: total=361482.64MB, max=650.57MB, minor=361461.38MB, major=3146.59MB, promoted=3125.33MB
    minor collections=172393  major collections=60 compactions=0


[Info] runtime: 00:05:00.882
[Info] vars: 154918, evals: 511195

[Info] |called|=25

Memory statistics: total=370489.15MB, max=748.16MB, minor=370467.59MB, major=3215.98MB, promoted=3194.43MB
    minor collections=176687  major collections=60 compactions=0


[Info] runtime: 00:05:10.900
[Info] vars: 158142, evals: 521859

[Info] |called|=25

Memory statistics: total=379280.96MB, max=748.16MB, minor=379259.30MB, major=3284.93MB, promoted=3263.27MB
    minor collections=180880  major collections=60 compactions=0


[Info] runtime: 00:05:20.914
[Info] vars: 161371, evals: 532526

[Info] |called|=28

Memory statistics: total=388261.47MB, max=748.16MB, minor=388239.62MB, major=3354.16MB, promoted=3332.30MB
    minor collections=185162  major collections=61 compactions=0


[Info] runtime: 00:05:30.931
[Info] vars: 164447, evals: 542714

[Info] |called|=25

Memory statistics: total=397054.34MB, max=748.16MB, minor=397032.19MB, major=3421.00MB, promoted=3398.85MB
    minor collections=189355  major collections=61 compactions=0


[Info] runtime: 00:05:40.970
[Info] vars: 167515, evals: 552862

[Info] |called|=25

Memory statistics: total=405658.66MB, max=748.16MB, minor=405636.34MB, major=3487.10MB, promoted=3464.78MB
    minor collections=193458  major collections=61 compactions=0


[Info] runtime: 00:05:50.981
[Info] vars: 170492, evals: 562709

[Info] |called|=25

Memory statistics: total=414001.83MB, max=748.16MB, minor=413979.37MB, major=3551.07MB, promoted=3528.62MB
    minor collections=197436  major collections=61 compactions=0


[Info] runtime: 00:06:00.996
[Info] vars: 173524, evals: 572731

[Info] |called|=27

Memory statistics: total=422688.27MB, max=748.16MB, minor=422665.57MB, major=3616.55MB, promoted=3593.86MB
    minor collections=201579  major collections=62 compactions=0


[Info] runtime: 00:06:11.026
[Info] vars: 176379, evals: 582157

[Info] |called|=25

Memory statistics: total=431010.39MB, max=748.16MB, minor=430987.39MB, major=3678.73MB, promoted=3655.73MB
    minor collections=205547  major collections=62 compactions=0


[Info] runtime: 00:06:21.053
[Info] vars: 179218, evals: 591564

[Info] |called|=27

Memory statistics: total=439078.65MB, max=860.38MB, minor=439055.52MB, major=3740.30MB, promoted=3717.17MB
    minor collections=209394  major collections=62 compactions=0


[Info] runtime: 00:06:31.068
[Info] vars: 182035, evals: 600893

[Info] |called|=32

Memory statistics: total=447147.15MB, max=860.38MB, minor=447123.88MB, major=3801.26MB, promoted=3777.99MB
    minor collections=213242  major collections=62 compactions=0


[Info] runtime: 00:06:41.083
[Info] vars: 184765, evals: 609923

[Info] |called|=28

Memory statistics: total=455151.57MB, max=860.38MB, minor=455128.09MB, major=3860.60MB, promoted=3837.12MB
    minor collections=217059  major collections=63 compactions=0


[Info] runtime: 00:06:51.098
[Info] vars: 187469, evals: 618861

[Info] |called|=29

Memory statistics: total=463176.58MB, max=860.38MB, minor=463152.81MB, major=3919.91MB, promoted=3896.14MB
    minor collections=220886  major collections=63 compactions=0


[Info] runtime: 00:07:01.144
[Info] vars: 190068, evals: 627435

[Info] |called|=26

Memory statistics: total=470793.73MB, max=860.38MB, minor=470767.66MB, major=3978.82MB, promoted=3952.74MB
    minor collections=224517  major collections=63 compactions=0


[Info] runtime: 00:07:11.159
[Info] vars: 192802, evals: 636499

[Info] |called|=27

Memory statistics: total=478689.54MB, max=860.38MB, minor=478663.37MB, major=4038.21MB, promoted=4012.03MB
    minor collections=228282  major collections=63 compactions=0


[Info] runtime: 00:07:21.174
[Info] vars: 195424, evals: 645152

[Info] |called|=25

Memory statistics: total=486416.47MB, max=860.38MB, minor=486390.13MB, major=4095.35MB, promoted=4069.01MB
    minor collections=231967  major collections=64 compactions=0


[Info] runtime: 00:07:31.189
[Info] vars: 198029, evals: 653786

[Info] |called|=27

Memory statistics: total=494267.46MB, max=860.38MB, minor=494240.86MB, major=4152.49MB, promoted=4125.89MB
    minor collections=235711  major collections=64 compactions=0


[Info] runtime: 00:07:41.215
[Info] vars: 200511, evals: 661998

[Info] |called|=27

Memory statistics: total=501845.31MB, max=860.38MB, minor=501818.43MB, major=4207.14MB, promoted=4180.25MB
    minor collections=239324  major collections=64 compactions=0


[Info] runtime: 00:07:51.238
[Info] vars: 203073, evals: 670470

[Info] |called|=28

Memory statistics: total=509445.27MB, max=989.44MB, minor=509418.20MB, major=4263.59MB, promoted=4236.53MB
    minor collections=242948  major collections=64 compactions=0


[Info] runtime: 00:08:01.253
[Info] vars: 205540, evals: 678637

[Info] |called|=25

Memory statistics: total=516726.77MB, max=989.44MB, minor=516699.62MB, major=4317.05MB, promoted=4289.90MB
    minor collections=246420  major collections=64 compactions=0


[Info] runtime: 00:08:11.268
[Info] vars: 207972, evals: 686678

[Info] |called|=26

Memory statistics: total=524073.75MB, max=989.44MB, minor=524046.42MB, major=4370.49MB, promoted=4343.17MB
    minor collections=249923  major collections=64 compactions=0


[Info] runtime: 00:08:21.278
[Info] vars: 210244, evals: 694171

[Info] |called|=27

Memory statistics: total=531013.30MB, max=989.44MB, minor=530985.78MB, major=4420.18MB, promoted=4392.66MB
    minor collections=253233  major collections=65 compactions=0


[Info] runtime: 00:08:31.293
[Info] vars: 212584, evals: 701912

[Info] |called|=27

Memory statistics: total=538282.91MB, max=989.44MB, minor=538255.10MB, major=4472.10MB, promoted=4444.29MB
    minor collections=256699  major collections=65 compactions=0


[Info] runtime: 00:08:41.328
[Info] vars: 214923, evals: 709649

[Info] |called|=32

Memory statistics: total=545627.19MB, max=989.44MB, minor=545598.52MB, major=4524.94MB, promoted=4496.28MB
    minor collections=260201  major collections=65 compactions=0


[Info] runtime: 00:08:51.355
[Info] vars: 217304, evals: 717521

[Info] |called|=25

Memory statistics: total=552716.95MB, max=989.44MB, minor=552688.23MB, major=4576.49MB, promoted=4547.77MB
    minor collections=263582  major collections=65 compactions=0


[Info] runtime: 00:09:01.369
[Info] vars: 219631, evals: 725218

[Info] |called|=25

Memory statistics: total=559775.39MB, max=989.44MB, minor=559746.55MB, major=4627.80MB, promoted=4598.97MB
    minor collections=266947  major collections=65 compactions=0


[Info] runtime: 00:09:11.384
[Info] vars: 221947, evals: 732903

[Info] |called|=26

Memory statistics: total=566937.25MB, max=989.44MB, minor=566908.26MB, major=4679.00MB, promoted=4650.01MB
    minor collections=270363  major collections=66 compactions=0


[Info] runtime: 00:09:21.398
[Info] vars: 224220, evals: 740415

[Info] |called|=31

Memory statistics: total=574040.38MB, max=989.44MB, minor=574011.16MB, major=4729.34MB, promoted=4700.12MB
    minor collections=273750  major collections=66 compactions=0


[Info] runtime: 00:09:31.409
[Info] vars: 226417, evals: 747695

[Info] |called|=25

Memory statistics: total=581023.34MB, max=989.44MB, minor=580993.86MB, major=4778.07MB, promoted=4748.58MB
    minor collections=277080  major collections=66 compactions=0


[Info] runtime: 00:09:41.431
[Info] vars: 228613, evals: 754931

[Info] |called|=25

Memory statistics: total=588037.33MB, max=989.44MB, minor=588007.53MB, major=4827.15MB, promoted=4797.35MB
    minor collections=280424  major collections=66 compactions=0


[Info] runtime: 00:09:51.478
[Info] vars: 230659, evals: 761716

[Info] |called|=27

Memory statistics: total=594357.97MB, max=989.44MB, minor=594328.05MB, major=4872.63MB, promoted=4842.71MB
    minor collections=283438  major collections=66 compactions=0


[Info] runtime: 00:10:01.489
[Info] vars: 232956, evals: 769311

[Info] |called|=31

Memory statistics: total=601394.72MB, max=989.44MB, minor=601364.73MB, major=4922.98MB, promoted=4892.98MB
    minor collections=286794  major collections=66 compactions=0


[Info] runtime: 00:10:11.500
[Info] vars: 235049, evals: 776216

[Info] |called|=25

Memory statistics: total=607947.11MB, max=989.44MB, minor=607917.00MB, major=4969.23MB, promoted=4939.11MB
    minor collections=289918  major collections=66 compactions=0


[Info] runtime: 00:10:21.510
[Info] vars: 237206, evals: 783354

[Info] |called|=25

Memory statistics: total=614805.07MB, max=989.44MB, minor=614774.76MB, major=5017.42MB, promoted=4987.11MB
    minor collections=293189  major collections=67 compactions=0


[Info] runtime: 00:10:31.521
[Info] vars: 239263, evals: 790179

[Info] |called|=26

Memory statistics: total=621473.27MB, max=989.44MB, minor=621442.73MB, major=5063.61MB, promoted=5033.08MB
    minor collections=296368  major collections=67 compactions=0


[Info] runtime: 00:10:41.536
[Info] vars: 241345, evals: 797061

[Info] |called|=28

Memory statistics: total=628249.74MB, max=989.44MB, minor=628218.94MB, major=5110.49MB, promoted=5079.68MB
    minor collections=299600  major collections=67 compactions=0


[Info] runtime: 00:10:51.558
[Info] vars: 243408, evals: 803896

[Info] |called|=25

Memory statistics: total=635054.69MB, max=1137.86MB, minor=635023.57MB, major=5157.40MB, promoted=5126.29MB
    minor collections=302844  major collections=67 compactions=0


[Info] runtime: 00:11:01.585
[Info] vars: 245320, evals: 810217

[Info] |called|=25

Memory statistics: total=641149.31MB, max=1137.86MB, minor=641115.94MB, major=5202.17MB, promoted=5168.81MB
    minor collections=305749  major collections=67 compactions=0


[Info] runtime: 00:11:11.596
[Info] vars: 247313, evals: 816799

[Info] |called|=27

Memory statistics: total=647392.58MB, max=1137.86MB, minor=647359.16MB, major=5246.18MB, promoted=5212.76MB
    minor collections=308727  major collections=67 compactions=0


[Info] runtime: 00:11:21.607
[Info] vars: 249349, evals: 823541

[Info] |called|=35

Memory statistics: total=653872.56MB, max=1137.86MB, minor=653839.04MB, major=5290.98MB, promoted=5257.46MB
    minor collections=311817  major collections=67 compactions=0


[Info] runtime: 00:11:31.621
[Info] vars: 251248, evals: 829825

[Info] |called|=25

Memory statistics: total=660031.32MB, max=1137.86MB, minor=659997.66MB, major=5333.19MB, promoted=5299.53MB
    minor collections=314753  major collections=67 compactions=0


[Info] runtime: 00:11:41.632
[Info] vars: 253249, evals: 836447

[Info] |called|=26

Memory statistics: total=666589.41MB, max=1137.86MB, minor=666555.56MB, major=5377.91MB, promoted=5344.06MB
    minor collections=317881  major collections=68 compactions=0


[Info] runtime: 00:11:51.643
[Info] vars: 255086, evals: 842512

[Info] |called|=27

Memory statistics: total=672672.58MB, max=1137.86MB, minor=672638.51MB, major=5419.52MB, promoted=5385.45MB
    minor collections=320782  major collections=68 compactions=0


[Info] runtime: 00:12:01.654
[Info] vars: 257019, evals: 848886

[Info] |called|=25

Memory statistics: total=679140.55MB, max=1137.86MB, minor=679106.21MB, major=5463.19MB, promoted=5428.85MB
    minor collections=323866  major collections=68 compactions=0


[Info] runtime: 00:12:11.692
[Info] vars: 258813, evals: 854820

[Info] |called|=25

Memory statistics: total=685214.22MB, max=1137.86MB, minor=685179.59MB, major=5503.98MB, promoted=5469.34MB
    minor collections=326762  major collections=68 compactions=0


[Info] runtime: 00:12:21.731
[Info] vars: 260543, evals: 860570

[Info] |called|=25

Memory statistics: total=691029.41MB, max=1137.86MB, minor=690994.54MB, major=5543.18MB, promoted=5508.32MB
    minor collections=329535  major collections=68 compactions=0


[Info] runtime: 00:12:31.742
[Info] vars: 262327, evals: 866463

[Info] |called|=27

Memory statistics: total=696692.49MB, max=1137.86MB, minor=696649.21MB, major=5590.95MB, promoted=5547.66MB
    minor collections=332234  major collections=68 compactions=0


[Info] runtime: 00:12:41.752
[Info] vars: 264352, evals: 873169

[Info] |called|=25

Memory statistics: total=703236.67MB, max=1137.86MB, minor=703193.32MB, major=5636.16MB, promoted=5592.81MB
    minor collections=335354  major collections=68 compactions=0


[Info] runtime: 00:12:51.767
[Info] vars: 266252, evals: 879448

[Info] |called|=26

Memory statistics: total=709470.78MB, max=1137.86MB, minor=709427.32MB, major=5678.99MB, promoted=5635.52MB
    minor collections=338327  major collections=68 compactions=0


[Info] runtime: 00:13:01.777
[Info] vars: 268199, evals: 885866

[Info] |called|=25

Memory statistics: total=715975.00MB, max=1137.86MB, minor=715931.35MB, major=5722.74MB, promoted=5679.09MB
    minor collections=341429  major collections=69 compactions=0


[Info] runtime: 00:13:11.792
[Info] vars: 270114, evals: 892221

[Info] |called|=27

Memory statistics: total=722447.82MB, max=1137.86MB, minor=722403.96MB, major=5766.15MB, promoted=5722.29MB
    minor collections=344515  major collections=69 compactions=0


[Info] runtime: 00:13:21.807
[Info] vars: 272035, evals: 898582

[Info] |called|=25

Memory statistics: total=729000.46MB, max=1137.86MB, minor=728956.33MB, major=5809.79MB, promoted=5765.66MB
    minor collections=347640  major collections=69 compactions=0


[Info] runtime: 00:13:31.818
[Info] vars: 273907, evals: 904774

[Info] |called|=25

Memory statistics: total=735444.23MB, max=1137.86MB, minor=735399.80MB, major=5852.56MB, promoted=5808.13MB
    minor collections=350713  major collections=69 compactions=0


[Info] runtime: 00:13:41.849
[Info] vars: 275690, evals: 910666

[Info] |called|=27

Memory statistics: total=741634.21MB, max=1308.54MB, minor=741589.46MB, major=5893.58MB, promoted=5848.83MB
    minor collections=353664  major collections=69 compactions=0


[Info] runtime: 00:13:51.887
[Info] vars: 277468, evals: 916543

[Info] |called|=31

Memory statistics: total=747563.36MB, max=1308.54MB, minor=747518.45MB, major=5933.44MB, promoted=5888.53MB
    minor collections=356491  major collections=69 compactions=0


[Info] runtime: 00:14:01.902
[Info] vars: 279287, evals: 922544

[Info] |called|=26

Memory statistics: total=753501.57MB, max=1308.54MB, minor=753456.62MB, major=5974.03MB, promoted=5929.08MB
    minor collections=359323  major collections=69 compactions=0


[Info] runtime: 00:14:11.917
[Info] vars: 280952, evals: 928049

[Info] |called|=25

Memory statistics: total=759034.64MB, max=1308.54MB, minor=758989.62MB, major=6011.45MB, promoted=5966.42MB
    minor collections=361961  major collections=69 compactions=0


[Info] runtime: 00:14:21.927
[Info] vars: 282810, evals: 934197

[Info] |called|=26

Memory statistics: total=765291.98MB, max=1308.54MB, minor=765246.84MB, major=6053.33MB, promoted=6008.19MB
    minor collections=364945  major collections=69 compactions=0


[Info] runtime: 00:14:31.942
[Info] vars: 284556, evals: 939992

[Info] |called|=26

Memory statistics: total=771291.92MB, max=1308.54MB, minor=771246.63MB, major=6092.94MB, promoted=6047.66MB
    minor collections=367806  major collections=69 compactions=0


[Info] runtime: 00:14:41.953
[Info] vars: 286269, evals: 945661

[Info] |called|=29

Memory statistics: total=777207.05MB, max=1308.54MB, minor=777161.57MB, major=6131.92MB, promoted=6086.44MB
    minor collections=370627  major collections=70 compactions=0


[Info] runtime: 00:14:51.968
[Info] vars: 288024, evals: 951441

[Info] |called|=25

Memory statistics: total=783321.07MB, max=1308.54MB, minor=783275.35MB, major=6171.58MB, promoted=6125.86MB
    minor collections=373543  major collections=70 compactions=0

