create($(nW)/testset1): allocating records in the pool ...
create($(nW)/testset1): allocated $(N) records (of size $(N))
verify($(nW)/testset1): pool file successfully verified ($(N) records of size $(N))
replica 0: checking shutdown state
replica 0: shutdown state correct
replica 1: checking shutdown state
replica 1: shutdown state correct
replica 0 part 0: checking pool header
replica 0 part 0: pool header correct
replica 0 part 1: checking pool header
replica 0 part 1: empty pool hdr
$(nW)/testset1: not consistent
$(nW)/testset1: synchronized
replica 0: checking shutdown state
replica 0: shutdown state correct
replica 1: checking shutdown state
replica 1: shutdown state correct
replica 0 part 0: checking pool header
replica 0 part 0: pool header correct
replica 0 part 1: checking pool header
replica 0 part 1: pool header correct
replica 0 part 2: checking pool header
replica 0 part 2: pool header correct
replica 1 part 0: checking pool header
replica 1 part 0: pool header correct
replica 1 part 1: checking pool header
replica 1 part 1: pool header correct
$(nW)/testset1: consistent
verify($(nW)/testset1): pool file successfully verified ($(N) records of size $(N))