New QEMU session. Socket is '/tmp/2025-10-20T170404.780339+0000.sock' Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec writing snapshot: ./7caba01d-a043-4bd9-afbe-da15d003b6c2-rr-snp opening nondet log for write: ./7caba01d-a043-4bd9-afbe-da15d003b6c2-rr-nondet.log Tetrane: Unlocking manually the cpu-exec Tetrane: Unlocking manually the cpu-exec Time taken was: 43 seconds. Checksum of guest memory: 0x9d486132 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 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 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 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 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 /builds/eshard/system-sec/reven/octopus/panda/tcg/tcg.c:2017: tcg fatal error