New QEMU session. Socket is '/tmp/2025-09-10T123437.160064+0000.sock' writing snapshot: ./3a222c05-263c-4ede-9213-a2df9ba27294-rr-snp opening nondet log for write: ./3a222c05-263c-4ede-9213-a2df9ba27294-rr-nondet.log Time taken was: 7 seconds. Checksum of guest memory: 0xa6571685 writing snapshot: ./b37fa8fd-9f72-4837-84b6-cf1e6eb8be4b-rr-snp opening nondet log for write: ./b37fa8fd-9f72-4837-84b6-cf1e6eb8be4b-rr-nondet.log Time taken was: 2 seconds. Checksum of guest memory: 0x69f860aa writing snapshot: ./7df5c100-c8cc-4d25-a501-348f78110d01-rr-snp opening nondet log for write: ./7df5c100-c8cc-4d25-a501-348f78110d01-rr-nondet.log Time taken was: 8 seconds. Checksum of guest memory: 0x5dcc1960 Tetrane: Unlocking manually the cpu-exec writing snapshot: ./1f310f9b-5aac-4807-a4ea-e28035be919a-rr-snp opening nondet log for write: ./1f310f9b-5aac-4807-a4ea-e28035be919a-rr-nondet.log Time taken was: 1 seconds. Checksum of guest memory: 0xb34b8cd1 writing snapshot: ./5b26247f-1fb3-4e89-b978-5b045bcdb317-rr-snp opening nondet log for write: ./5b26247f-1fb3-4e89-b978-5b045bcdb317-rr-nondet.log Time taken was: 2 seconds. Checksum of guest memory: 0x3358fb6e writing snapshot: ./25457add-fb43-4f93-a3ca-e3f71fb75c57-rr-snp opening nondet log for write: ./25457add-fb43-4f93-a3ca-e3f71fb75c57-rr-nondet.log Time taken was: 1 seconds. Checksum of guest memory: 0x7b464b52 Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec