| Log |
Download
[2025-06-19 10:09:37,176][INFO] Log started at 2025-06-19 10:09:37.176175+00:00
[2025-06-19 10:09:37,176][INFO] Log into /Reven2/2.16.0/Logs/Tasks/23864297-6426-4d44-9ad1-c74a2783ae36.log
[2025-06-19 10:09:37,214][INFO] Replaying resource 'memory_history' of scenario 8d5f5596-da75-41cc-ba22-1473fba51e42
[2025-06-19 10:09:37,215][INFO] Using '/Reven2/2.16.0/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42' as the working directory
[2025-06-19 10:09:37,247][INFO] Log replay in '/Reven2/2.16.0/Logs/Scenarios/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history-2025-06-19T100937.245452+0000.log'
[2025-06-19 10:09:37,247][INFO] Using temporary directory '/Reven2/2.16.0/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history.part'
[2025-06-19 10:09:37,248][INFO] Running replay...
[2025-06-19 10:09:37,248][DEBUG] Launching command 'panda-system-x86_64 -replay /Reven2/2.16.0/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-06-19 10:09:37,253][DEBUG] PID: 1468198
[2025-06-19 10:12:56,208][INFO] Replay successful, moving files...
[2025-06-19 10:12:56,209][INFO] Moving file 'memhist.sqlite' from temporary directory to 'memhist.sqlite' in the project directory...
[2025-06-19 10:12:56,210][INFO] Successfuly move files
[2025-06-19 10:12:56,210][INFO] Removing temporary directory '/Reven2/2.16.0/Replays/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/memory_history.part'
|
| Replay generation logs |
Download
Start date: 2025-06-19 10:09:37.248467+00:00
Command: panda-system-x86_64 -replay /Reven2/2.16.0/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.16.0/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log
/Reven2/2.16.0/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.18 sec. 1.92 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 1990304 ( 2.00%) instrs. 1.93 sec. 1.98 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 2985442 ( 3.00%) instrs. 2.42 sec. 2.02 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 3980582 ( 4.00%) instrs. 2.95 sec. 2.06 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 4975733 ( 5.00%) instrs. 3.47 sec. 2.15 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 5970887 ( 6.00%) instrs. 3.80 sec. 2.16 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 6966041 ( 7.00%) instrs. 12.64 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 7961168 ( 8.00%) instrs. 14.40 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 8956333 ( 9.00%) instrs. 15.95 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 9951469 ( 10.00%) instrs. 17.56 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 10946601 ( 11.00%) instrs. 18.11 sec. 2.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 11941743 ( 12.00%) instrs. 18.54 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 12936896 ( 13.00%) instrs. 18.76 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 13932034 ( 14.00%) instrs. 18.88 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 14927187 ( 15.00%) instrs. 19.00 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 15922325 ( 16.00%) instrs. 19.12 sec. 2.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 16917473 ( 17.00%) instrs. 19.39 sec. 2.27 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 17912616 ( 18.00%) instrs. 20.01 sec. 2.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 18907768 ( 19.00%) instrs. 20.49 sec. 2.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 19902915 ( 20.00%) instrs. 20.96 sec. 2.38 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 20898051 ( 21.00%) instrs. 21.74 sec. 2.53 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 21893205 ( 22.00%) instrs. 22.25 sec. 2.53 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 22888342 ( 23.00%) instrs. 22.54 sec. 2.53 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 23883496 ( 24.00%) instrs. 22.79 sec. 2.53 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 24878639 ( 25.00%) instrs. 23.05 sec. 2.53 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 25873784 ( 26.00%) instrs. 23.32 sec. 2.55 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 26868922 ( 27.00%) instrs. 42.74 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 27864070 ( 28.00%) instrs. 42.99 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 28859213 ( 29.00%) instrs. 43.25 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 29854361 ( 30.00%) instrs. 44.16 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 30849504 ( 31.00%) instrs. 44.58 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 31844650 ( 32.00%) instrs. 44.87 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 32839795 ( 33.00%) instrs. 45.17 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 33834948 ( 34.00%) instrs. 45.70 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 34830095 ( 35.00%) instrs. 46.28 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 35825229 ( 36.00%) instrs. 46.82 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 36820376 ( 37.00%) instrs. 47.27 sec. 2.71 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 37815521 ( 38.00%) instrs. 47.75 sec. 2.73 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 38810672 ( 39.00%) instrs. 48.21 sec. 2.75 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 39805821 ( 40.00%) instrs. 48.67 sec. 2.77 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 40800962 ( 41.00%) instrs. 49.00 sec. 2.79 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 41796102 ( 42.00%) instrs. 49.52 sec. 2.83 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 42791246 ( 43.00%) instrs. 49.95 sec. 2.86 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 43786398 ( 44.00%) instrs. 50.33 sec. 2.90 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 44781537 ( 45.00%) instrs. 50.62 sec. 2.93 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 45776684 ( 46.00%) instrs. 51.06 sec. 2.96 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 46771827 ( 47.00%) instrs. 51.44 sec. 2.99 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 47766972 ( 48.00%) instrs. 51.86 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 48762120 ( 49.00%) instrs. 52.33 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 49757264 ( 50.00%) instrs. 52.88 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 50752408 ( 51.00%) instrs. 53.45 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 51747554 ( 52.00%) instrs. 53.87 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 52742715 ( 53.00%) instrs. 54.33 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 53737861 ( 54.00%) instrs. 54.91 sec. 3.24 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 54733009 ( 55.00%) instrs. 55.23 sec. 3.25 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 55728138 ( 56.00%) instrs. 95.38 sec. 3.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 56723284 ( 57.00%) instrs. 97.16 sec. 3.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 57718425 ( 58.00%) instrs. 97.59 sec. 3.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 58713573 ( 59.00%) instrs. 98.05 sec. 3.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 59708718 ( 60.00%) instrs. 98.52 sec. 3.31 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 60703861 ( 61.00%) instrs. 99.03 sec. 3.32 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 61699009 ( 62.00%) instrs. 99.52 sec. 3.32 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 62694157 ( 63.00%) instrs. 99.99 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 63689301 ( 64.00%) instrs. 100.27 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 64684442 ( 65.00%) instrs. 100.48 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 65679589 ( 66.00%) instrs. 100.76 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 66674736 ( 67.00%) instrs. 101.06 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 67669884 ( 68.00%) instrs. 101.61 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 68665027 ( 69.00%) instrs. 101.96 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 69660170 ( 70.00%) instrs. 102.40 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 70655319 ( 71.00%) instrs. 102.77 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 71650459 ( 72.00%) instrs. 103.08 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 72645606 ( 73.00%) instrs. 126.00 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 73640750 ( 74.00%) instrs. 129.38 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 74635920 ( 75.00%) instrs. 131.07 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 75631052 ( 76.00%) instrs. 132.66 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 76626211 ( 77.00%) instrs. 133.19 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 77621337 ( 78.00%) instrs. 133.44 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 78616482 ( 79.00%) instrs. 133.84 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 79611623 ( 80.00%) instrs. 134.23 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 80606775 ( 81.00%) instrs. 134.36 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 81601917 ( 82.00%) instrs. 134.48 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 82597060 ( 83.00%) instrs. 134.61 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 83592202 ( 84.00%) instrs. 134.74 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 84587347 ( 85.00%) instrs. 135.23 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 85582499 ( 86.00%) instrs. 135.65 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 86577639 ( 87.00%) instrs. 136.06 sec. 3.33 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 87572783 ( 88.00%) instrs. 136.48 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 88567932 ( 89.00%) instrs. 136.89 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 89563087 ( 90.00%) instrs. 137.39 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 90558227 ( 91.00%) instrs. 137.65 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 91553389 ( 92.00%) instrs. 137.90 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 92548511 ( 93.00%) instrs. 138.14 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 93543663 ( 94.00%) instrs. 138.39 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 94538802 ( 95.00%) instrs. 138.64 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 95533944 ( 96.00%) instrs. 161.54 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 96529090 ( 97.00%) instrs. 161.81 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 97524236 ( 98.00%) instrs. 162.09 sec. 3.34 GB ram.
1bda3005-56f5-46a4-856d-af58a68d589d: 98519382 ( 99.00%) instrs. 162.36 sec. 3.34 GB ram.
/Reven2/2.16.0/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log: log is empty.
/Reven2/2.16.0/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: 179 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
|