./goblint --conf conf/svcomp.json --disable witness.graphml.enabled --set 'witness.yaml.invariant-types[+]' location_invariant --enable witness.invariant.after-lock --enable witness.invariant.other --enable witness.invariant.accessed --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
:-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] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain for:
[Info] writeV, q, i, key, count, a, tmp, count, i, j, i___0, j___0, k, size, r, top, i, handles, r, tmp, r___0, tmp___0, i, r, tmp, tmp___0, t, elem, tmp, temp, i, count, h, newsize, elem, tmp, tmp___0, tmp___1, t, result, tmp, tmp___0, tmp___1, t, result, found, tmp, tmp___0, tmp___1, h, result, found, tmp, tmp___0, size, v, w, v, expected, obj, expected, desired, obj, v, t, r, r
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.134
[Info] vars: 9844, evals: 31403

[Info] |called|=31

Memory statistics: total=20632.92MB, max=62.07MB, minor=20629.63MB, major=210.76MB, promoted=207.47MB
    minor collections=9848  major collections=24 compactions=0


[Info] runtime: 00:00:20.161
[Info] vars: 17061, evals: 55285

[Info] |called|=39

Memory statistics: total=36728.40MB, max=94.40MB, minor=36724.14MB, major=365.85MB, promoted=361.58MB
    minor collections=17526  major collections=31 compactions=0


[Info] runtime: 00:00:30.194
[Info] vars: 23103, evals: 75261

[Info] |called|=32

Memory statistics: total=50427.00MB, max=124.85MB, minor=50422.60MB, major=495.01MB, promoted=490.61MB
    minor collections=24061  major collections=35 compactions=0


[Info] runtime: 00:00:40.244
[Info] vars: 28285, evals: 92414

[Info] |called|=28

Memory statistics: total=62377.32MB, max=143.57MB, minor=62372.45MB, major=607.60MB, promoted=602.73MB
    minor collections=29760  major collections=37 compactions=0


[Info] runtime: 00:00:50.274
[Info] vars: 33010, evals: 108029

[Info] |called|=34

Memory statistics: total=73373.03MB, max=165.11MB, minor=73366.72MB, major=711.53MB, promoted=705.22MB
    minor collections=35003  major collections=39 compactions=0


[Info] runtime: 00:01:00.304
[Info] vars: 37382, evals: 122512

[Info] |called|=27

Memory statistics: total=83709.24MB, max=189.88MB, minor=83702.80MB, major=806.74MB, promoted=800.30MB
    minor collections=39933  major collections=41 compactions=0


[Info] runtime: 00:01:10.338
[Info] vars: 41434, evals: 135893

[Info] |called|=31

Memory statistics: total=93334.30MB, max=218.36MB, minor=93327.74MB, major=894.91MB, promoted=888.34MB
    minor collections=44523  major collections=42 compactions=0


[Info] runtime: 00:01:20.360
[Info] vars: 45219, evals: 148432

[Info] |called|=37

Memory statistics: total=102449.39MB, max=218.36MB, minor=102442.70MB, major=977.95MB, promoted=971.27MB
    minor collections=48870  major collections=43 compactions=0


[Info] runtime: 00:01:30.390
[Info] vars: 48754, evals: 160104

[Info] |called|=27

Memory statistics: total=111020.57MB, max=251.12MB, minor=111013.24MB, major=1056.09MB, promoted=1048.76MB
    minor collections=52958  major collections=45 compactions=0


[Info] runtime: 00:01:40.428
[Info] vars: 52173, evals: 171413

[Info] |called|=28

Memory statistics: total=119388.53MB, max=251.12MB, minor=119381.08MB, major=1131.18MB, promoted=1123.73MB
    minor collections=56948  major collections=45 compactions=0


[Info] runtime: 00:01:50.470
[Info] vars: 55476, evals: 182359

[Info] |called|=37

Memory statistics: total=127572.07MB, max=288.79MB, minor=127564.36MB, major=1203.82MB, promoted=1196.11MB
    minor collections=60851  major collections=46 compactions=0


[Info] runtime: 00:02:00.512
[Info] vars: 58585, evals: 192644

[Info] |called|=27

Memory statistics: total=135351.42MB, max=288.79MB, minor=135343.58MB, major=1272.35MB, promoted=1264.51MB
    minor collections=64561  major collections=47 compactions=0


[Info] runtime: 00:02:10.542
[Info] vars: 61622, evals: 202670

[Info] |called|=33

Memory statistics: total=142938.14MB, max=288.79MB, minor=142929.66MB, major=1339.95MB, promoted=1331.47MB
    minor collections=68179  major collections=48 compactions=0


[Info] runtime: 00:02:20.564
[Info] vars: 64537, evals: 212323

[Info] |called|=39

Memory statistics: total=150292.29MB, max=332.11MB, minor=150283.71MB, major=1404.52MB, promoted=1395.94MB
    minor collections=71686  major collections=48 compactions=0


[Info] runtime: 00:02:30.618
[Info] vars: 67342, evals: 221591

[Info] |called|=33

Memory statistics: total=157460.33MB, max=332.11MB, minor=157449.51MB, major=1468.90MB, promoted=1458.08MB
    minor collections=75103  major collections=49 compactions=0


[Info] runtime: 00:02:40.644
[Info] vars: 70049, evals: 230564

[Info] |called|=33

Memory statistics: total=164370.29MB, max=332.11MB, minor=164359.38MB, major=1529.16MB, promoted=1518.25MB
    minor collections=78399  major collections=50 compactions=0


[Info] runtime: 00:02:50.667
[Info] vars: 72701, evals: 239336

[Info] |called|=32

Memory statistics: total=171215.55MB, max=381.92MB, minor=171204.51MB, major=1588.33MB, promoted=1577.29MB
    minor collections=81663  major collections=50 compactions=0


[Info] runtime: 00:03:00.678
[Info] vars: 75275, evals: 247850

[Info] |called|=30

Memory statistics: total=177860.10MB, max=381.92MB, minor=177848.95MB, major=1645.82MB, promoted=1634.67MB
    minor collections=84832  major collections=51 compactions=0


[Info] runtime: 00:03:10.701
[Info] vars: 77782, evals: 256121

[Info] |called|=33

Memory statistics: total=184393.87MB, max=381.92MB, minor=184382.59MB, major=1701.89MB, promoted=1690.62MB
    minor collections=87947  major collections=51 compactions=0


[Info] runtime: 00:03:20.715
[Info] vars: 80232, evals: 264241

[Info] |called|=28

Memory statistics: total=190796.55MB, max=381.92MB, minor=190785.18MB, major=1756.56MB, promoted=1745.19MB
    minor collections=91001  major collections=52 compactions=0


[Info] runtime: 00:03:30.738
[Info] vars: 82594, evals: 272034

[Info] |called|=26

Memory statistics: total=197039.36MB, max=381.92MB, minor=197027.85MB, major=1809.67MB, promoted=1798.16MB
    minor collections=93978  major collections=52 compactions=0


[Info] runtime: 00:03:40.761
[Info] vars: 84914, evals: 279723

[Info] |called|=29

Memory statistics: total=203125.97MB, max=439.21MB, minor=203114.37MB, major=1861.34MB, promoted=1849.74MB
    minor collections=96880  major collections=52 compactions=0


[Info] runtime: 00:03:50.784
[Info] vars: 87184, evals: 287244

[Info] |called|=26

Memory statistics: total=209208.16MB, max=439.21MB, minor=209196.44MB, major=1912.65MB, promoted=1900.92MB
    minor collections=99781  major collections=53 compactions=0


[Info] runtime: 00:04:00.818
[Info] vars: 89391, evals: 294522

[Info] |called|=28

Memory statistics: total=215093.60MB, max=439.21MB, minor=215081.76MB, major=1962.08MB, promoted=1950.24MB
    minor collections=102587  major collections=53 compactions=0


[Info] runtime: 00:04:10.837
[Info] vars: 91602, evals: 301832

[Info] |called|=28

Memory statistics: total=221007.67MB, max=439.21MB, minor=220995.73MB, major=2011.77MB, promoted=1999.84MB
    minor collections=105408  major collections=54 compactions=0


[Info] runtime: 00:04:20.860
[Info] vars: 93729, evals: 308877

[Info] |called|=29

Memory statistics: total=226815.83MB, max=439.21MB, minor=226803.76MB, major=2060.09MB, promoted=2048.01MB
    minor collections=108177  major collections=54 compactions=0


[Info] runtime: 00:04:30.887
[Info] vars: 95804, evals: 315754

[Info] |called|=27

Memory statistics: total=232458.26MB, max=505.10MB, minor=232445.03MB, major=2108.10MB, promoted=2094.87MB
    minor collections=110868  major collections=54 compactions=0


[Info] runtime: 00:04:40.901
[Info] vars: 97855, evals: 322516

[Info] |called|=26

Memory statistics: total=238028.48MB, max=505.10MB, minor=238015.16MB, major=2153.99MB, promoted=2140.67MB
    minor collections=113524  major collections=55 compactions=0


[Info] runtime: 00:04:50.912
[Info] vars: 99845, evals: 329118

[Info] |called|=35

Memory statistics: total=243531.24MB, max=505.10MB, minor=243517.80MB, major=2198.92MB, promoted=2185.47MB
    minor collections=116148  major collections=55 compactions=0


[Info] runtime: 00:05:00.935
[Info] vars: 101858, evals: 335756

[Info] |called|=33

Memory statistics: total=249066.42MB, max=505.10MB, minor=249052.86MB, major=2244.45MB, promoted=2230.90MB
    minor collections=118787  major collections=55 compactions=0


[Info] runtime: 00:05:10.953
[Info] vars: 103771, evals: 342097

[Info] |called|=36

Memory statistics: total=254336.96MB, max=505.10MB, minor=254323.33MB, major=2287.70MB, promoted=2274.07MB
    minor collections=121301  major collections=55 compactions=0


[Info] runtime: 00:05:20.964
[Info] vars: 105702, evals: 348481

[Info] |called|=30

Memory statistics: total=259731.69MB, max=505.10MB, minor=259717.92MB, major=2331.86MB, promoted=2318.09MB
    minor collections=123874  major collections=56 compactions=0


[Info] runtime: 00:05:30.991
[Info] vars: 107580, evals: 354680

[Info] |called|=26

Memory statistics: total=265036.90MB, max=505.10MB, minor=265022.72MB, major=2374.64MB, promoted=2360.46MB
    minor collections=126403  major collections=56 compactions=0


[Info] runtime: 00:05:41.014
[Info] vars: 109432, evals: 360821

[Info] |called|=29

Memory statistics: total=270174.22MB, max=505.10MB, minor=270159.98MB, major=2416.81MB, promoted=2402.57MB
    minor collections=128853  major collections=56 compactions=0


[Info] runtime: 00:05:51.028
[Info] vars: 111298, evals: 367001

[Info] |called|=36

Memory statistics: total=275399.99MB, max=505.10MB, minor=275385.66MB, major=2459.18MB, promoted=2444.85MB
    minor collections=131345  major collections=57 compactions=0


[Info] runtime: 00:06:01.043
[Info] vars: 113105, evals: 372971

[Info] |called|=35

Memory statistics: total=280541.28MB, max=505.10MB, minor=280526.81MB, major=2500.14MB, promoted=2485.68MB
    minor collections=133797  major collections=57 compactions=0


[Info] runtime: 00:06:11.086
[Info] vars: 114837, evals: 378707

[Info] |called|=28

Memory statistics: total=285532.06MB, max=580.87MB, minor=285517.44MB, major=2539.93MB, promoted=2525.32MB
    minor collections=136177  major collections=57 compactions=0


[Info] runtime: 00:06:21.096
[Info] vars: 116599, evals: 384517

[Info] |called|=32

Memory statistics: total=290456.77MB, max=580.87MB, minor=290442.09MB, major=2580.03MB, promoted=2565.36MB
    minor collections=138525  major collections=57 compactions=0


[Info] runtime: 00:06:31.111
[Info] vars: 118269, evals: 390058

[Info] |called|=28

Memory statistics: total=295227.73MB, max=580.87MB, minor=295212.98MB, major=2618.14MB, promoted=2603.39MB
    minor collections=140800  major collections=57 compactions=0


[Info] runtime: 00:06:41.122
[Info] vars: 119956, evals: 395641

[Info] |called|=34

Memory statistics: total=300072.19MB, max=580.87MB, minor=300057.31MB, major=2656.49MB, promoted=2641.61MB
    minor collections=143111  major collections=58 compactions=0


[Info] runtime: 00:06:51.136
[Info] vars: 121636, evals: 401195

[Info] |called|=28

Memory statistics: total=304978.91MB, max=580.87MB, minor=304963.88MB, major=2695.09MB, promoted=2680.06MB
    minor collections=145450  major collections=58 compactions=0


[Info] runtime: 00:07:01.167
[Info] vars: 123276, evals: 406615

[Info] |called|=28

Memory statistics: total=309696.24MB, max=580.87MB, minor=309680.07MB, major=2733.72MB, promoted=2717.55MB
    minor collections=147699  major collections=58 compactions=0


[Info] runtime: 00:07:11.182
[Info] vars: 124913, evals: 412033

[Info] |called|=28

Memory statistics: total=314404.17MB, max=580.87MB, minor=314387.95MB, major=2771.22MB, promoted=2754.99MB
    minor collections=149944  major collections=58 compactions=0


[Info] runtime: 00:07:21.197
[Info] vars: 126551, evals: 417451

[Info] |called|=28

Memory statistics: total=319158.38MB, max=580.87MB, minor=319142.06MB, major=2808.89MB, promoted=2792.56MB
    minor collections=152212  major collections=59 compactions=0


[Info] runtime: 00:07:31.208
[Info] vars: 128150, evals: 422740

[Info] |called|=28

Memory statistics: total=323860.34MB, max=580.87MB, minor=323843.88MB, major=2845.42MB, promoted=2828.97MB
    minor collections=154454  major collections=59 compactions=0


[Info] runtime: 00:07:41.238
[Info] vars: 129723, evals: 427942

[Info] |called|=28

Memory statistics: total=328526.95MB, max=580.87MB, minor=328510.34MB, major=2881.81MB, promoted=2865.20MB
    minor collections=156679  major collections=59 compactions=0


[Info] runtime: 00:07:51.281
[Info] vars: 131298, evals: 433146

[Info] |called|=29

Memory statistics: total=333099.68MB, max=668.00MB, minor=333078.80MB, major=2922.06MB, promoted=2901.18MB
    minor collections=158858  major collections=59 compactions=0


[Info] runtime: 00:08:01.296
[Info] vars: 132908, evals: 438477

[Info] |called|=28

Memory statistics: total=337795.79MB, max=668.00MB, minor=337774.84MB, major=2959.24MB, promoted=2938.30MB
    minor collections=161097  major collections=59 compactions=0


[Info] runtime: 00:08:11.306
[Info] vars: 134501, evals: 443729

[Info] |called|=33

Memory statistics: total=342488.11MB, max=668.00MB, minor=342467.07MB, major=2995.98MB, promoted=2974.94MB
    minor collections=163335  major collections=60 compactions=0


[Info] runtime: 00:08:21.321
[Info] vars: 136048, evals: 448849

[Info] |called|=29

Memory statistics: total=347115.94MB, max=668.00MB, minor=347094.77MB, major=3032.01MB, promoted=3010.83MB
    minor collections=165542  major collections=60 compactions=0


[Info] runtime: 00:08:31.347
[Info] vars: 137595, evals: 453963

[Info] |called|=34

Memory statistics: total=351781.26MB, max=668.00MB, minor=351759.93MB, major=3067.70MB, promoted=3046.37MB
    minor collections=167766  major collections=60 compactions=0


[Info] runtime: 00:08:41.374
[Info] vars: 139105, evals: 458955

[Info] |called|=26

Memory statistics: total=356255.75MB, max=668.00MB, minor=356234.34MB, major=3102.51MB, promoted=3081.09MB
    minor collections=169900  major collections=60 compactions=0


[Info] runtime: 00:08:51.389
[Info] vars: 140605, evals: 463934

[Info] |called|=28

Memory statistics: total=360710.63MB, max=668.00MB, minor=360689.16MB, major=3136.94MB, promoted=3115.47MB
    minor collections=172024  major collections=60 compactions=0


[Info] runtime: 00:09:01.403
[Info] vars: 142108, evals: 468919

[Info] |called|=26

Memory statistics: total=365218.54MB, max=668.00MB, minor=365196.97MB, major=3171.72MB, promoted=3150.16MB
    minor collections=174174  major collections=60 compactions=0


[Info] runtime: 00:09:11.417
[Info] vars: 143576, evals: 473747

[Info] |called|=26

Memory statistics: total=369640.87MB, max=668.00MB, minor=369619.19MB, major=3205.85MB, promoted=3184.16MB
    minor collections=176283  major collections=61 compactions=0


[Info] runtime: 00:09:21.439
[Info] vars: 145006, evals: 478477

[Info] |called|=28

Memory statistics: total=374021.48MB, max=668.00MB, minor=373999.66MB, major=3239.36MB, promoted=3217.54MB
    minor collections=178372  major collections=61 compactions=0


[Info] runtime: 00:09:31.462
[Info] vars: 146475, evals: 483336

[Info] |called|=26

Memory statistics: total=378560.20MB, max=668.00MB, minor=378538.22MB, major=3273.58MB, promoted=3251.59MB
    minor collections=180536  major collections=61 compactions=0


[Info] runtime: 00:09:41.480
[Info] vars: 147877, evals: 487975

[Info] |called|=32

Memory statistics: total=382754.14MB, max=668.00MB, minor=382732.10MB, major=3305.54MB, promoted=3283.50MB
    minor collections=182536  major collections=61 compactions=0


[Info] runtime: 00:09:51.490
[Info] vars: 149264, evals: 492573

[Info] |called|=29

Memory statistics: total=386929.66MB, max=668.00MB, minor=386907.56MB, major=3337.78MB, promoted=3315.68MB
    minor collections=184527  major collections=61 compactions=0


[Info] runtime: 00:10:01.508
[Info] vars: 150674, evals: 497224

[Info] |called|=28

Memory statistics: total=391201.00MB, max=668.00MB, minor=391178.82MB, major=3370.59MB, promoted=3348.40MB
    minor collections=186564  major collections=61 compactions=0


[Info] runtime: 00:10:11.521
[Info] vars: 152070, evals: 501860

[Info] |called|=28

Memory statistics: total=395514.85MB, max=668.00MB, minor=395492.55MB, major=3403.13MB, promoted=3380.83MB
    minor collections=188621  major collections=62 compactions=0


[Info] runtime: 00:10:21.539
[Info] vars: 153445, evals: 506415

[Info] |called|=26

Memory statistics: total=399798.28MB, max=668.00MB, minor=399775.84MB, major=3435.41MB, promoted=3412.97MB
    minor collections=190664  major collections=62 compactions=0


[Info] runtime: 00:10:31.562
[Info] vars: 154792, evals: 510850

[Info] |called|=31

Memory statistics: total=404003.85MB, max=768.20MB, minor=403981.27MB, major=3466.65MB, promoted=3444.06MB
    minor collections=192669  major collections=62 compactions=0


[Info] runtime: 00:10:41.604
[Info] vars: 156109, evals: 515199

[Info] |called|=26

Memory statistics: total=408096.37MB, max=768.20MB, minor=408073.66MB, major=3497.23MB, promoted=3474.52MB
    minor collections=194621  major collections=62 compactions=0


[Info] runtime: 00:10:51.614
[Info] vars: 157317, evals: 519198

[Info] |called|=26

Memory statistics: total=411781.93MB, max=768.20MB, minor=411759.19MB, major=3525.16MB, promoted=3502.42MB
    minor collections=196378  major collections=62 compactions=0


[Info] runtime: 00:11:01.625
[Info] vars: 158555, evals: 523315

[Info] |called|=27

Memory statistics: total=415619.00MB, max=768.20MB, minor=415596.21MB, major=3554.04MB, promoted=3531.24MB
    minor collections=198208  major collections=62 compactions=0


[Info] runtime: 00:11:11.644
[Info] vars: 159739, evals: 527229

[Info] |called|=28

Memory statistics: total=419303.44MB, max=768.20MB, minor=419280.57MB, major=3581.50MB, promoted=3558.62MB
    minor collections=199965  major collections=62 compactions=0


[Info] runtime: 00:11:21.659
[Info] vars: 160953, evals: 531232

[Info] |called|=31

Memory statistics: total=423108.18MB, max=768.20MB, minor=423085.21MB, major=3609.77MB, promoted=3586.80MB
    minor collections=201780  major collections=63 compactions=0


[Info] runtime: 00:11:31.670
[Info] vars: 162152, evals: 535193

[Info] |called|=29

Memory statistics: total=426899.58MB, max=768.20MB, minor=426876.50MB, major=3637.53MB, promoted=3614.45MB
    minor collections=203587  major collections=63 compactions=0


[Info] runtime: 00:11:41.682
[Info] vars: 163271, evals: 538892

[Info] |called|=26

Memory statistics: total=430477.65MB, max=768.20MB, minor=430454.45MB, major=3663.68MB, promoted=3640.47MB
    minor collections=205294  major collections=63 compactions=0


[Info] runtime: 00:11:51.713
[Info] vars: 164437, evals: 542755

[Info] |called|=31

Memory statistics: total=434234.12MB, max=768.20MB, minor=434210.78MB, major=3691.22MB, promoted=3667.87MB
    minor collections=207085  major collections=63 compactions=0


[Info] runtime: 00:12:01.732
[Info] vars: 165548, evals: 546448

[Info] |called|=26

Memory statistics: total=437771.27MB, max=768.20MB, minor=437747.83MB, major=3717.55MB, promoted=3694.11MB
    minor collections=208771  major collections=63 compactions=0


[Info] runtime: 00:12:11.743
[Info] vars: 166676, evals: 550157

[Info] |called|=28

Memory statistics: total=441258.92MB, max=768.20MB, minor=441235.45MB, major=3743.68MB, promoted=3720.21MB
    minor collections=210435  major collections=63 compactions=0


[Info] runtime: 00:12:21.754
[Info] vars: 167833, evals: 553982

[Info] |called|=32

Memory statistics: total=444895.67MB, max=768.20MB, minor=444872.14MB, major=3771.03MB, promoted=3747.50MB
    minor collections=212169  major collections=63 compactions=0


[Info] runtime: 00:12:31.769
[Info] vars: 168970, evals: 557760

[Info] |called|=28

Memory statistics: total=448507.98MB, max=768.20MB, minor=448484.38MB, major=3797.86MB, promoted=3774.26MB
    minor collections=213891  major collections=63 compactions=0


[Info] runtime: 00:12:41.788
[Info] vars: 170162, evals: 561682

[Info] |called|=26

Memory statistics: total=452290.12MB, max=768.20MB, minor=452266.42MB, major=3826.02MB, promoted=3802.32MB
    minor collections=215695  major collections=64 compactions=0


[Info] runtime: 00:12:51.806
[Info] vars: 171356, evals: 565635

[Info] |called|=30

Memory statistics: total=456152.56MB, max=768.20MB, minor=456128.74MB, major=3854.27MB, promoted=3830.45MB
    minor collections=217537  major collections=64 compactions=0


[Info] runtime: 00:13:01.821
[Info] vars: 172544, evals: 569584

[Info] |called|=28

Memory statistics: total=460034.58MB, max=768.20MB, minor=460010.62MB, major=3882.35MB, promoted=3858.40MB
    minor collections=219388  major collections=64 compactions=0


[Info] runtime: 00:13:11.839
[Info] vars: 173734, evals: 573502

[Info] |called|=32

Memory statistics: total=463909.60MB, max=768.20MB, minor=463885.50MB, major=3910.62MB, promoted=3886.52MB
    minor collections=221236  major collections=64 compactions=0


[Info] runtime: 00:13:21.861
[Info] vars: 174887, evals: 577325

[Info] |called|=29

Memory statistics: total=467705.36MB, max=768.20MB, minor=467681.13MB, major=3937.79MB, promoted=3913.55MB
    minor collections=223046  major collections=64 compactions=0


[Info] runtime: 00:13:31.872
[Info] vars: 176076, evals: 581246

[Info] |called|=28

Memory statistics: total=471426.06MB, max=883.43MB, minor=471401.80MB, major=3965.45MB, promoted=3941.19MB
    minor collections=224820  major collections=64 compactions=0


[Info] runtime: 00:13:41.883
[Info] vars: 177247, evals: 585117

[Info] |called|=26

Memory statistics: total=475161.16MB, max=883.43MB, minor=475136.85MB, major=3992.63MB, promoted=3968.31MB
    minor collections=226601  major collections=64 compactions=0


[Info] runtime: 00:13:51.898
[Info] vars: 178406, evals: 588975

[Info] |called|=27

Memory statistics: total=478902.95MB, max=883.43MB, minor=478878.57MB, major=4019.91MB, promoted=3995.52MB
    minor collections=228385  major collections=64 compactions=0


[Info] runtime: 00:14:01.908
[Info] vars: 179559, evals: 592770

[Info] |called|=32

Memory statistics: total=482628.16MB, max=883.43MB, minor=482603.69MB, major=4047.02MB, promoted=4022.55MB
    minor collections=230162  major collections=65 compactions=0


[Info] runtime: 00:14:11.919
[Info] vars: 180679, evals: 596494

[Info] |called|=36

Memory statistics: total=486322.36MB, max=883.43MB, minor=486297.79MB, major=4073.38MB, promoted=4048.81MB
    minor collections=231924  major collections=65 compactions=0


[Info] runtime: 00:14:21.938
[Info] vars: 181813, evals: 600242

[Info] |called|=28

Memory statistics: total=490082.37MB, max=883.43MB, minor=490057.68MB, major=4100.45MB, promoted=4075.75MB
    minor collections=233717  major collections=65 compactions=0


[Info] runtime: 00:14:31.948
[Info] vars: 182946, evals: 603985

[Info] |called|=28

Memory statistics: total=493857.84MB, max=883.43MB, minor=493833.00MB, major=4127.44MB, promoted=4102.60MB
    minor collections=235517  major collections=65 compactions=0


[Info] runtime: 00:14:41.975
[Info] vars: 184046, evals: 607606

[Info] |called|=26

Memory statistics: total=497528.90MB, max=883.43MB, minor=497503.93MB, major=4153.63MB, promoted=4128.65MB
    minor collections=237267  major collections=65 compactions=0


[Info] runtime: 00:14:52.009
[Info] vars: 185104, evals: 611123

[Info] |called|=28

Memory statistics: total=501044.05MB, max=883.43MB, minor=501018.96MB, major=4178.91MB, promoted=4153.83MB
    minor collections=238944  major collections=65 compactions=0

