| Log |
Download
[2025-08-06 16:00:05,007][INFO] Log started at 2025-08-06 16:00:05.007220+00:00
[2025-08-06 16:00:05,007][INFO] Log into /Reven2/2.18.4/Logs/Tasks/38c87ecd-6ddb-46db-9219-dab49d8da71a.log
[2025-08-06 16:00:05,035][INFO] Replaying resource 'memory_history' of scenario 8d5f5596-da75-41cc-ba22-1473fba51e42
[2025-08-06 16:00:05,035][INFO] Using '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42' as the working directory
[2025-08-06 16:00:05,059][INFO] Log replay in '/Reven2/2.18.4/Logs/Scenarios/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history-2025-08-06T160005.058045+0000.log'
[2025-08-06 16:00:05,060][INFO] Using temporary directory '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history.part'
[2025-08-06 16:00:05,060][INFO] Running replay...
[2025-08-06 16:00:05,060][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_memory_history'
[2025-08-06 16:00:05,064][DEBUG] PID: 3017
[2025-08-06 16:01:58,076][INFO] Replay successful, moving files...
[2025-08-06 16:01:58,077][INFO] Moving file 'memhist.sqlite' from temporary directory to 'memhist.sqlite' in the project directory...
[2025-08-06 16:01:58,077][INFO] Successfuly move files
[2025-08-06 16:01:58,077][INFO] Removing temporary directory '/Reven2/2.18.4/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history.part'
|
| Replay generation logs |
Download
Start date: 2025-08-06 16:00:05.060439+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_memory_history
PANDA[core]:initializing reven_icount
PANDA[core]:initializing reven_memory_history
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. 1.01 sec. 1.79 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 1990304 ( 2.00%) instrs. 1.68 sec. 1.84 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 2985442 ( 3.00%) instrs. 2.15 sec. 1.87 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 3980582 ( 4.00%) instrs. 2.64 sec. 1.90 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 4975733 ( 5.00%) instrs. 3.08 sec. 1.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 5970887 ( 6.00%) instrs. 3.38 sec. 1.97 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 6966041 ( 7.00%) instrs. 7.69 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 7961168 ( 8.00%) instrs. 8.47 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 8956333 ( 9.00%) instrs. 9.27 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 9951469 ( 10.00%) instrs. 10.04 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 10946601 ( 11.00%) instrs. 10.52 sec. 1.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 11941743 ( 12.00%) instrs. 10.91 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 12936896 ( 13.00%) instrs. 11.11 sec. 2.00 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 13932034 ( 14.00%) instrs. 11.23 sec. 2.01 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 14927187 ( 15.00%) instrs. 11.39 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 15922325 ( 16.00%) instrs. 11.56 sec. 2.03 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 16917473 ( 17.00%) instrs. 11.84 sec. 2.04 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 17912616 ( 18.00%) instrs. 12.36 sec. 2.05 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 18907768 ( 19.00%) instrs. 12.74 sec. 2.08 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 19902915 ( 20.00%) instrs. 13.14 sec. 2.10 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 20898051 ( 21.00%) instrs. 13.54 sec. 2.13 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 21893205 ( 22.00%) instrs. 13.97 sec. 2.16 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 22888342 ( 23.00%) instrs. 14.19 sec. 2.17 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 23883496 ( 24.00%) instrs. 14.41 sec. 2.19 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 24878639 ( 25.00%) instrs. 14.65 sec. 2.21 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 25873784 ( 26.00%) instrs. 14.89 sec. 2.22 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 26868922 ( 27.00%) instrs. 24.36 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 27864070 ( 28.00%) instrs. 24.57 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 28859213 ( 29.00%) instrs. 24.77 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 29854361 ( 30.00%) instrs. 25.19 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 30849504 ( 31.00%) instrs. 25.45 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 31844650 ( 32.00%) instrs. 25.68 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 32839795 ( 33.00%) instrs. 25.91 sec. 2.23 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 33834948 ( 34.00%) instrs. 26.38 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 34830095 ( 35.00%) instrs. 26.91 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 35825229 ( 36.00%) instrs. 27.40 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 36820376 ( 37.00%) instrs. 27.81 sec. 2.26 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 37815521 ( 38.00%) instrs. 28.23 sec. 2.26 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 38810672 ( 39.00%) instrs. 28.64 sec. 2.26 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 39805821 ( 40.00%) instrs. 29.03 sec. 2.26 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 40800962 ( 41.00%) instrs. 29.33 sec. 2.26 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 41796102 ( 42.00%) instrs. 29.73 sec. 2.28 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 42791246 ( 43.00%) instrs. 30.13 sec. 2.30 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 43786398 ( 44.00%) instrs. 30.46 sec. 2.32 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 44781537 ( 45.00%) instrs. 30.73 sec. 2.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 45776684 ( 46.00%) instrs. 31.11 sec. 2.36 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 46771827 ( 47.00%) instrs. 31.42 sec. 2.38 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 47766972 ( 48.00%) instrs. 31.75 sec. 2.40 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 48762120 ( 49.00%) instrs. 32.13 sec. 2.43 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 49757264 ( 50.00%) instrs. 32.52 sec. 2.45 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 50752408 ( 51.00%) instrs. 32.92 sec. 2.47 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 51747554 ( 52.00%) instrs. 33.27 sec. 2.49 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 52742715 ( 53.00%) instrs. 33.59 sec. 2.51 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 53737861 ( 54.00%) instrs. 34.07 sec. 2.54 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 54733009 ( 55.00%) instrs. 34.38 sec. 2.56 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 55728138 ( 56.00%) instrs. 55.13 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 56723284 ( 57.00%) instrs. 55.46 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 57718425 ( 58.00%) instrs. 55.80 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 58713573 ( 59.00%) instrs. 56.15 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 59708718 ( 60.00%) instrs. 56.49 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 60703861 ( 61.00%) instrs. 56.87 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 61699009 ( 62.00%) instrs. 57.30 sec. 2.58 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 62694157 ( 63.00%) instrs. 57.70 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 63689301 ( 64.00%) instrs. 57.94 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 64684442 ( 65.00%) instrs. 58.14 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 65679589 ( 66.00%) instrs. 58.38 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 66674736 ( 67.00%) instrs. 58.65 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 67669884 ( 68.00%) instrs. 59.04 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 68665027 ( 69.00%) instrs. 59.34 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 69660170 ( 70.00%) instrs. 59.73 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 70655319 ( 71.00%) instrs. 60.07 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 71650459 ( 72.00%) instrs. 60.35 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 72645606 ( 73.00%) instrs. 72.01 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 73640750 ( 74.00%) instrs. 72.86 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 74635920 ( 75.00%) instrs. 73.76 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 75631052 ( 76.00%) instrs. 74.61 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 76626211 ( 77.00%) instrs. 75.05 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 77621337 ( 78.00%) instrs. 75.27 sec. 2.59 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 78616482 ( 79.00%) instrs. 75.62 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 79611623 ( 80.00%) instrs. 76.00 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 80606775 ( 81.00%) instrs. 76.14 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 81601917 ( 82.00%) instrs. 76.27 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 82597060 ( 83.00%) instrs. 76.39 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 83592202 ( 84.00%) instrs. 76.53 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 84587347 ( 85.00%) instrs. 76.97 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 85582499 ( 86.00%) instrs. 77.34 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 86577639 ( 87.00%) instrs. 77.71 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 87572783 ( 88.00%) instrs. 78.07 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 88567932 ( 89.00%) instrs. 78.44 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 89563087 ( 90.00%) instrs. 78.91 sec. 2.60 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 90558227 ( 91.00%) instrs. 79.16 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 91553389 ( 92.00%) instrs. 79.39 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 92548511 ( 93.00%) instrs. 79.61 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 93543663 ( 94.00%) instrs. 79.84 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 94538802 ( 95.00%) instrs. 80.06 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 95533944 ( 96.00%) instrs. 92.61 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 96529090 ( 97.00%) instrs. 92.83 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 97524236 ( 98.00%) instrs. 93.05 sec. 2.61 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 98519382 ( 99.00%) instrs. 93.28 sec. 2.61 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: 104 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
|