New QEMU session. Socket is '/tmp/2026-01-19T124640.711806+0000.sock' Tetrane: Unlocking manually the cpu-exec writing snapshot: ./67470868-fa41-464b-91fd-4618bd84a927-rr-snp opening nondet log for write: ./67470868-fa41-464b-91fd-4618bd84a927-rr-nondet.log Time taken was: 9 seconds. Checksum of guest memory: 0x6813593 writing snapshot: ./85a06fe4-e1a9-433e-a7ae-a1b3a44bc9f4-rr-snp opening nondet log for write: ./85a06fe4-e1a9-433e-a7ae-a1b3a44bc9f4-rr-nondet.log Time taken was: 6 seconds. Checksum of guest memory: 0xd33a5171 Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec writing snapshot: ./5050cc3a-b37a-4190-b2e2-5868cb080109-rr-snp opening nondet log for write: ./5050cc3a-b37a-4190-b2e2-5868cb080109-rr-nondet.log Time taken was: 6 seconds. Checksum of guest memory: 0xa8001688 writing snapshot: ./20faa590-4723-4f94-94f0-d3a7022ecda9-rr-snp opening nondet log for write: ./20faa590-4723-4f94-94f0-d3a7022ecda9-rr-nondet.log Time taken was: 12 seconds. Checksum of guest memory: 0xc52399f4 writing snapshot: ./8e9ebba1-0210-412a-928b-d1be107cf84d-rr-snp opening nondet log for write: ./8e9ebba1-0210-412a-928b-d1be107cf84d-rr-nondet.log Time taken was: 6 seconds. Checksum of guest memory: 0x49840d76 writing snapshot: ./33e63580-38c2-4a8c-8e8c-0b5b30aed43c-rr-snp opening nondet log for write: ./33e63580-38c2-4a8c-8e8c-0b5b30aed43c-rr-nondet.log Time taken was: 11 seconds. Checksum of guest memory: 0x35a6c7be writing snapshot: ./353387f4-5a19-49e6-b957-e3be4211aaac-rr-snp opening nondet log for write: ./353387f4-5a19-49e6-b957-e3be4211aaac-rr-nondet.log Time taken was: 25 seconds. Checksum of guest memory: 0xfd602458 Tetrane: Unlocking manually the cpu-exec