The first example " 1. BFV Basics" could not run succefully while others can

[DongjieHe]

Hi,
I am learning SEAL (using revision [206648d]) with examples.
The first example will encounter early termination problems while others seem correct.
Can you help to check this issue?

+---------------------------------------------------------+
| The following examples should be executed while reading |
| comments in associated files in native/examples/. |
+---------------------------------------------------------+
| Examples | Source Files |
+----------------------------+----------------------------+
| 1. BFV Basics | 1_bfv_basics.cpp |
| 2. Encoders | 2_encoders.cpp |
| 3. Levels | 3_levels.cpp |
| 4. BGV Basics | 4_bgv_basics.cpp |
| 5. CKKS Basics | 5_ckks_basics.cpp |
| 6. Rotation | 6_rotation.cpp |
| 7. Serialization | 7_serialization.cpp |
| 8. Performance Test | 8_performance.cpp |
+----------------------------+----------------------------+
[ 750 MB] Total allocation from the memory pool

Run example (1 ~ 8) or exit (0): 1

+-------------------------------------+
| Example: BFV Basics |
+-------------------------------------+
[1] 69659 trace trap ./sealexamples

Best regards,
Dongjie He