| Log |
Download
[2025-12-12 10:20:23,141][INFO] Log started at 2025-12-12 10:20:23.141346+00:00
[2025-12-12 10:20:23,141][INFO] Log into /Reven2/2.18.4/Logs/Tasks/f5ba0371-f854-4d3d-bb41-6331b86adfee.log
[2025-12-12 10:20:23,185][INFO] Replaying resource 'executed_blocks' of scenario 79d33637-a02c-45f6-ae89-8c7e58d68208
[2025-12-12 10:20:23,188][INFO] Using '/Reven2/2.18.4/Replays/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208' as the working directory
[2025-12-12 10:20:23,225][INFO] Log replay in '/Reven2/2.18.4/Logs/Scenarios/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/executed_blocks-2025-12-12T102023.223680+0000.log'
[2025-12-12 10:20:23,226][INFO] Using temporary directory '/Reven2/2.18.4/Replays/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/executed_blocks.part'
[2025-12-12 10:20:23,229][INFO] Running replay...
[2025-12-12 10:20:23,229][DEBUG] Launching command 'panda-system-x86_64 -replay /Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528 -m 2048M -usbdevice tablet -panda reven_icount -panda reven_blocks'
[2025-12-12 10:20:23,234][DEBUG] PID: 159790
[2025-12-12 10:20:37,790][INFO] Replay successful, moving files...
[2025-12-12 10:20:37,791][INFO] Moving file 'blocks.sqlite' from temporary directory to 'blocks.sqlite' in the project directory...
[2025-12-12 10:20:37,791][INFO] Successfuly move files
[2025-12-12 10:20:37,791][INFO] Removing temporary directory '/Reven2/2.18.4/Replays/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/executed_blocks.part'
|
| Replay generation logs |
Download
Start date: 2025-12-12 10:20:23.229100+00:00
Command: panda-system-x86_64 -replay /Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528 -m 2048M -usbdevice tablet -panda reven_icount -panda reven_blocks
PANDA[core]:initializing reven_icount
PANDA[core]:initializing reven_blocks
loading snapshot
... done.
opening nondet log for read : /Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528-rr-nondet.log
/Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528-rr-nondet.log: 15699579 instrs total.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 157008 ( 1.00%) instrs. 0.32 sec. 0.42 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 313995 ( 2.00%) instrs. 0.41 sec. 0.42 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 470988 ( 3.00%) instrs. 0.51 sec. 0.42 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 627989 ( 4.00%) instrs. 0.66 sec. 0.42 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 784986 ( 5.00%) instrs. 0.78 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 941978 ( 6.00%) instrs. 0.91 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1098971 ( 7.00%) instrs. 1.02 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1255977 ( 8.00%) instrs. 1.12 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1412968 ( 9.00%) instrs. 1.21 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1569959 ( 10.00%) instrs. 1.30 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1726959 ( 11.00%) instrs. 1.40 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 1883953 ( 12.00%) instrs. 1.51 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2040946 ( 13.00%) instrs. 1.63 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2197943 ( 14.00%) instrs. 1.73 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2354945 ( 15.00%) instrs. 1.87 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2511933 ( 16.00%) instrs. 1.98 sec. 0.43 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2668935 ( 17.00%) instrs. 2.11 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2825929 ( 18.00%) instrs. 2.22 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 2982924 ( 19.00%) instrs. 2.32 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3139919 ( 20.00%) instrs. 2.43 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3296912 ( 21.00%) instrs. 2.53 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3453911 ( 22.00%) instrs. 2.64 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3610904 ( 23.00%) instrs. 2.77 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3767900 ( 24.00%) instrs. 2.88 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 3924897 ( 25.00%) instrs. 2.99 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4081899 ( 26.00%) instrs. 3.09 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4238889 ( 27.00%) instrs. 3.19 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4395884 ( 28.00%) instrs. 3.34 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4552894 ( 29.00%) instrs. 3.47 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4709878 ( 30.00%) instrs. 3.57 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 4866870 ( 31.00%) instrs. 3.70 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5023866 ( 32.00%) instrs. 3.80 sec. 0.44 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5180869 ( 33.00%) instrs. 3.93 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5337861 ( 34.00%) instrs. 4.04 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5494856 ( 35.00%) instrs. 4.13 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5651852 ( 36.00%) instrs. 4.24 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5808846 ( 37.00%) instrs. 4.34 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 5965844 ( 38.00%) instrs. 4.44 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6122839 ( 39.00%) instrs. 4.57 sec. 0.45 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6279835 ( 40.00%) instrs. 4.70 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6436831 ( 41.00%) instrs. 4.79 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6593839 ( 42.00%) instrs. 4.88 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6750827 ( 43.00%) instrs. 4.98 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 6907818 ( 44.00%) instrs. 5.06 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7064813 ( 45.00%) instrs. 5.15 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7221808 ( 46.00%) instrs. 5.24 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7378807 ( 47.00%) instrs. 5.35 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7535798 ( 48.00%) instrs. 5.45 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7692803 ( 49.00%) instrs. 5.56 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 7849791 ( 50.00%) instrs. 5.66 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8006788 ( 51.00%) instrs. 5.75 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8163788 ( 52.00%) instrs. 5.82 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8320782 ( 53.00%) instrs. 5.92 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8477773 ( 54.00%) instrs. 6.02 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8634783 ( 55.00%) instrs. 6.11 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8791765 ( 56.00%) instrs. 6.18 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 8948763 ( 57.00%) instrs. 6.26 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9105776 ( 58.00%) instrs. 6.34 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9262762 ( 59.00%) instrs. 6.43 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9419749 ( 60.00%) instrs. 6.55 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9576747 ( 61.00%) instrs. 6.64 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9733744 ( 62.00%) instrs. 6.72 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 9890743 ( 63.00%) instrs. 6.80 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10047736 ( 64.00%) instrs. 6.88 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10204729 ( 65.00%) instrs. 6.96 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10361741 ( 66.00%) instrs. 7.04 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10518722 ( 67.00%) instrs. 7.12 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10675717 ( 68.00%) instrs. 7.20 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10832712 ( 69.00%) instrs. 7.29 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 10989707 ( 70.00%) instrs. 7.38 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11146703 ( 71.00%) instrs. 7.46 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11303697 ( 72.00%) instrs. 7.54 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11460693 ( 73.00%) instrs. 7.62 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11617691 ( 74.00%) instrs. 7.71 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11774698 ( 75.00%) instrs. 7.81 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 11931681 ( 76.00%) instrs. 7.91 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12088678 ( 77.00%) instrs. 8.01 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12245674 ( 78.00%) instrs. 8.09 sec. 0.46 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12402673 ( 79.00%) instrs. 8.19 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12559668 ( 80.00%) instrs. 8.29 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12716682 ( 81.00%) instrs. 8.40 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 12873660 ( 82.00%) instrs. 8.50 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13030651 ( 83.00%) instrs. 8.59 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13187660 ( 84.00%) instrs. 8.69 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13344643 ( 85.00%) instrs. 8.79 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13501644 ( 86.00%) instrs. 8.89 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13658635 ( 87.00%) instrs. 8.99 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13815640 ( 88.00%) instrs. 9.09 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 13972634 ( 89.00%) instrs. 9.19 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14129622 ( 90.00%) instrs. 9.25 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14286617 ( 91.00%) instrs. 9.34 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14443627 ( 92.00%) instrs. 9.43 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14600614 ( 93.00%) instrs. 9.52 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14757609 ( 94.00%) instrs. 9.66 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 14914610 ( 95.00%) instrs. 9.75 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 15071600 ( 96.00%) instrs. 9.88 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 15228594 ( 97.00%) instrs. 9.98 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 15385594 ( 98.00%) instrs. 10.07 sec. 0.47 GB ram.
7c8753a9-7e7a-4cfb-a164-076d9bfe1528: 15542585 ( 99.00%) instrs. 10.17 sec. 0.47 GB ram.
/Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528-rr-nondet.log: log is empty.
/Reven2/2.18.4/Records/linuxexample_79d33637-a02c-45f6-ae89-8c7e58d68208/record/7c8753a9-7e7a-4cfb-a164-076d9bfe1528-rr-nondet.log: log is empty.
Time taken was: 11 seconds.
Stats:
RR_INPUT_1 number = 0, size = 0 bytes
RR_INPUT_2 number = 0, size = 0 bytes
RR_INPUT_4 number = 420, size = 5880 bytes
RR_INPUT_8 number = 3747, size = 67446 bytes
RR_INTERRUPT_REQUEST number = 695, size = 9730 bytes
RR_EXIT_REQUEST number = 0, size = 0 bytes
RR_SKIPPED_CALL number = 74, size = 2924 bytes
RR_END_OF_LOG number = 1, size = 10 bytes
RR_PENDING_INTERRUPTS number = 0, size = 0 bytes
RR_EXCEPTION number = 0, size = 0 bytes
max_queue_len = 200
Checksum of guest memory: 0x44991b7c
Replay completed successfully
Exiting cpu_handle_execption loop
|