| Log |
Download
[2025-06-19 11:30:28,899][INFO] Log started at 2025-06-19 11:30:28.899604+00:00
[2025-06-19 11:30:28,899][INFO] Log into /Reven2/2.18.4/Logs/Tasks/9b64a443-e0be-4f64-bbbb-af083d5a3c4b.log
[2025-06-19 11:30:28,928][INFO] Replaying resource 'executed_blocks' of scenario 8d5f5596-da75-41cc-ba22-1473fba51e42
[2025-06-19 11:30:28,928][INFO] Using '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42' as the working directory
[2025-06-19 11:30:28,951][INFO] Log replay in '/Reven2/2.18.4/Logs/Scenarios/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/executed_blocks-2025-06-19T113028.949641+0000.log'
[2025-06-19 11:30:28,952][INFO] Using temporary directory '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/executed_blocks.part'
[2025-06-19 11:30:28,952][INFO] Running replay...
[2025-06-19 11:30:28,952][DEBUG] Launching command 'panda-system-x86_64 -replay /Reven2/2.18.4/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d -m 2048M -usbdevice tablet -panda reven_icount -panda reven_blocks'
[2025-06-19 11:30:28,957][DEBUG] PID: 570526
[2025-06-19 11:32:02,872][INFO] Replay successful, moving files...
[2025-06-19 11:32:02,873][INFO] Moving file 'blocks.sqlite' from temporary directory to 'blocks.sqlite' in the project directory...
[2025-06-19 11:32:02,874][INFO] Successfuly move files
[2025-06-19 11:32:02,874][INFO] Removing temporary directory '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/executed_blocks.part'
|
| Replay generation logs |
Download
Start date: 2025-06-19 11:30:28.952471+00:00
Command: panda-system-x86_64 -replay /Reven2/2.18.4/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d -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/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log
/Reven2/2.18.4/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log: 99514525 instrs total.
1bda3005-56f5-46a4-856d-af58a68d589d: 995159 ( 1.00%) instrs. 2.13 sec. 1.89 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 1990304 ( 2.00%) instrs. 3.70 sec. 1.91 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 2985442 ( 3.00%) instrs. 4.92 sec. 1.92 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 3980582 ( 4.00%) instrs. 6.23 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 4975733 ( 5.00%) instrs. 7.30 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 5970887 ( 6.00%) instrs. 7.91 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 6966041 ( 7.00%) instrs. 8.51 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 7961168 ( 8.00%) instrs. 9.09 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 8956333 ( 9.00%) instrs. 9.67 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 9951469 ( 10.00%) instrs. 10.24 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 10946601 ( 11.00%) instrs. 11.17 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 11941743 ( 12.00%) instrs. 12.24 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 12936896 ( 13.00%) instrs. 12.75 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 13932034 ( 14.00%) instrs. 13.04 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 14927187 ( 15.00%) instrs. 13.36 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 15922325 ( 16.00%) instrs. 13.80 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 16917473 ( 17.00%) instrs. 14.36 sec. 1.94 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 17912616 ( 18.00%) instrs. 15.50 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 18907768 ( 19.00%) instrs. 16.15 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 19902915 ( 20.00%) instrs. 16.87 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 20898051 ( 21.00%) instrs. 17.45 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 21893205 ( 22.00%) instrs. 18.10 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 22888342 ( 23.00%) instrs. 18.55 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 23883496 ( 24.00%) instrs. 19.00 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 24878639 ( 25.00%) instrs. 19.46 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 25873784 ( 26.00%) instrs. 19.92 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 26868922 ( 27.00%) instrs. 20.37 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 27864070 ( 28.00%) instrs. 20.81 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 28859213 ( 29.00%) instrs. 21.25 sec. 1.95 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 29854361 ( 30.00%) instrs. 21.63 sec. 1.96 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 30849504 ( 31.00%) instrs. 22.08 sec. 1.96 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 31844650 ( 32.00%) instrs. 22.75 sec. 1.96 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 32839795 ( 33.00%) instrs. 23.44 sec. 1.96 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 33834948 ( 34.00%) instrs. 24.68 sec. 1.97 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 34830095 ( 35.00%) instrs. 26.00 sec. 1.97 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 35825229 ( 36.00%) instrs. 27.29 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 36820376 ( 37.00%) instrs. 28.41 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 37815521 ( 38.00%) instrs. 29.49 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 38810672 ( 39.00%) instrs. 30.53 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 39805821 ( 40.00%) instrs. 31.58 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 40800962 ( 41.00%) instrs. 32.34 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 41796102 ( 42.00%) instrs. 33.27 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 42791246 ( 43.00%) instrs. 34.36 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 43786398 ( 44.00%) instrs. 35.37 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 44781537 ( 45.00%) instrs. 36.32 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 45776684 ( 46.00%) instrs. 37.38 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 46771827 ( 47.00%) instrs. 38.38 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 47766972 ( 48.00%) instrs. 39.37 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 48762120 ( 49.00%) instrs. 40.42 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 49757264 ( 50.00%) instrs. 41.51 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 50752408 ( 51.00%) instrs. 42.57 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 51747554 ( 52.00%) instrs. 43.60 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 52742715 ( 53.00%) instrs. 44.57 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 53737861 ( 54.00%) instrs. 45.79 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 54733009 ( 55.00%) instrs. 46.68 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 55728138 ( 56.00%) instrs. 47.50 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 56723284 ( 57.00%) instrs. 48.54 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 57718425 ( 58.00%) instrs. 49.61 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 58713573 ( 59.00%) instrs. 50.66 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 59708718 ( 60.00%) instrs. 51.70 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 60703861 ( 61.00%) instrs. 52.78 sec. 2.01 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 61699009 ( 62.00%) instrs. 53.92 sec. 2.01 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 62694157 ( 63.00%) instrs. 55.03 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 63689301 ( 64.00%) instrs. 55.96 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 64684442 ( 65.00%) instrs. 57.05 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 65679589 ( 66.00%) instrs. 57.99 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 66674736 ( 67.00%) instrs. 58.94 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 67669884 ( 68.00%) instrs. 59.97 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 68665027 ( 69.00%) instrs. 60.75 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 69660170 ( 70.00%) instrs. 61.75 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 70655319 ( 71.00%) instrs. 62.63 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 71650459 ( 72.00%) instrs. 63.24 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 72645606 ( 73.00%) instrs. 63.84 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 73640750 ( 74.00%) instrs. 64.45 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 74635920 ( 75.00%) instrs. 65.06 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 75631052 ( 76.00%) instrs. 65.66 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 76626211 ( 77.00%) instrs. 66.52 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 77621337 ( 78.00%) instrs. 67.32 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 78616482 ( 79.00%) instrs. 68.31 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 79611623 ( 80.00%) instrs. 69.20 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 80606775 ( 81.00%) instrs. 69.65 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 81601917 ( 82.00%) instrs. 70.10 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 82597060 ( 83.00%) instrs. 70.55 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 83592202 ( 84.00%) instrs. 71.00 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 84587347 ( 85.00%) instrs. 71.82 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 85582499 ( 86.00%) instrs. 72.83 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 86577639 ( 87.00%) instrs. 73.81 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 87572783 ( 88.00%) instrs. 74.79 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 88567932 ( 89.00%) instrs. 75.78 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 89563087 ( 90.00%) instrs. 76.39 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 90558227 ( 91.00%) instrs. 77.17 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 91553389 ( 92.00%) instrs. 78.01 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 92548511 ( 93.00%) instrs. 78.84 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 93543663 ( 94.00%) instrs. 79.68 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 94538802 ( 95.00%) instrs. 80.53 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 95533944 ( 96.00%) instrs. 81.39 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 96529090 ( 97.00%) instrs. 82.24 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 97524236 ( 98.00%) instrs. 82.95 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 98519382 ( 99.00%) instrs. 83.64 sec. 2.03 GB ram.
/Reven2/2.18.4/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log: log is empty.
/Reven2/2.18.4/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log: log is empty.
Time taken was: 85 seconds.
Stats:
RR_INPUT_1 number = 0, size = 0 bytes
RR_INPUT_2 number = 0, size = 0 bytes
RR_INPUT_4 number = 548, size = 7672 bytes
RR_INPUT_8 number = 7380, size = 132840 bytes
RR_INTERRUPT_REQUEST number = 763, size = 10682 bytes
RR_EXIT_REQUEST number = 0, size = 0 bytes
RR_SKIPPED_CALL number = 45, size = 83135 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 = 208
Checksum of guest memory: 0x3e8ec7e4
Replay completed successfully
Exiting cpu_handle_execption loop
|