Start date: 2024-02-29 08:51:00.625675+00:00 Command: panda-system-x86_64 -replay /Reven2/2.15.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_blocks PANDA[core]:initializing reven_icount PANDA[core]:initializing reven_blocks loading snapshot ... done. opening nondet log for read : /Reven2/2.15.0/Records/my-first-tutorial-scenario_8d5f5596-da75-41cc-ba22-1473fba51e42/record/1bda3005-56f5-46a4-856d-af58a68d589d-rr-nondet.log /Reven2/2.15.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. 3.11 sec. 1.79 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 1990304 ( 2.00%) instrs. 5.63 sec. 1.81 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 2985442 ( 3.00%) instrs. 7.42 sec. 1.81 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 3980582 ( 4.00%) instrs. 9.77 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 4975733 ( 5.00%) instrs. 11.35 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 5970887 ( 6.00%) instrs. 12.95 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 6966041 ( 7.00%) instrs. 14.50 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 7961168 ( 8.00%) instrs. 15.85 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 8956333 ( 9.00%) instrs. 17.17 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 9951469 ( 10.00%) instrs. 17.96 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 10946601 ( 11.00%) instrs. 20.05 sec. 1.83 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 11941743 ( 12.00%) instrs. 22.04 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 12936896 ( 13.00%) instrs. 23.35 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 13932034 ( 14.00%) instrs. 23.83 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 14927187 ( 15.00%) instrs. 24.32 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 15922325 ( 16.00%) instrs. 24.81 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 16917473 ( 17.00%) instrs. 25.43 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 17912616 ( 18.00%) instrs. 27.98 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 18907768 ( 19.00%) instrs. 29.49 sec. 1.84 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 19902915 ( 20.00%) instrs. 30.67 sec. 1.85 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 20898051 ( 21.00%) instrs. 32.46 sec. 1.85 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 21893205 ( 22.00%) instrs. 33.73 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 22888342 ( 23.00%) instrs. 34.96 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 23883496 ( 24.00%) instrs. 36.69 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 24878639 ( 25.00%) instrs. 37.58 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 25873784 ( 26.00%) instrs. 39.69 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 26868922 ( 27.00%) instrs. 40.55 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 27864070 ( 28.00%) instrs. 41.39 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 28859213 ( 29.00%) instrs. 42.25 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 29854361 ( 30.00%) instrs. 43.03 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 30849504 ( 31.00%) instrs. 43.83 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 31844650 ( 32.00%) instrs. 44.84 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 32839795 ( 33.00%) instrs. 46.02 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 33834948 ( 34.00%) instrs. 48.17 sec. 1.86 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 34830095 ( 35.00%) instrs. 49.92 sec. 1.87 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 35825229 ( 36.00%) instrs. 52.40 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 36820376 ( 37.00%) instrs. 54.80 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 37815521 ( 38.00%) instrs. 56.64 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 38810672 ( 39.00%) instrs. 57.90 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 39805821 ( 40.00%) instrs. 59.51 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 40800962 ( 41.00%) instrs. 60.48 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 41796102 ( 42.00%) instrs. 61.46 sec. 1.88 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 42791246 ( 43.00%) instrs. 62.53 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 43786398 ( 44.00%) instrs. 63.68 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 44781537 ( 45.00%) instrs. 64.65 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 45776684 ( 46.00%) instrs. 66.26 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 46771827 ( 47.00%) instrs. 68.17 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 47766972 ( 48.00%) instrs. 69.21 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 48762120 ( 49.00%) instrs. 70.21 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 49757264 ( 50.00%) instrs. 71.19 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 50752408 ( 51.00%) instrs. 72.19 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 51747554 ( 52.00%) instrs. 73.26 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 52742715 ( 53.00%) instrs. 74.38 sec. 1.89 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 53737861 ( 54.00%) instrs. 75.68 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 54733009 ( 55.00%) instrs. 76.58 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 55728138 ( 56.00%) instrs. 77.41 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 56723284 ( 57.00%) instrs. 78.48 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 57718425 ( 58.00%) instrs. 79.61 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 58713573 ( 59.00%) instrs. 80.69 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 59708718 ( 60.00%) instrs. 81.65 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 60703861 ( 61.00%) instrs. 82.69 sec. 1.90 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 61699009 ( 62.00%) instrs. 83.82 sec. 1.91 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 62694157 ( 63.00%) instrs. 84.91 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 63689301 ( 64.00%) instrs. 85.98 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 64684442 ( 65.00%) instrs. 87.11 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 65679589 ( 66.00%) instrs. 88.07 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 66674736 ( 67.00%) instrs. 89.35 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 67669884 ( 68.00%) instrs. 90.55 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 68665027 ( 69.00%) instrs. 91.38 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 69660170 ( 70.00%) instrs. 92.37 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 70655319 ( 71.00%) instrs. 93.33 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 71650459 ( 72.00%) instrs. 94.27 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 72645606 ( 73.00%) instrs. 95.03 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 73640750 ( 74.00%) instrs. 96.35 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 74635920 ( 75.00%) instrs. 97.03 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 75631052 ( 76.00%) instrs. 97.79 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 76626211 ( 77.00%) instrs. 98.67 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 77621337 ( 78.00%) instrs. 99.79 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 78616482 ( 79.00%) instrs. 100.75 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 79611623 ( 80.00%) instrs. 101.72 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 80606775 ( 81.00%) instrs. 102.28 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 81601917 ( 82.00%) instrs. 103.23 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 82597060 ( 83.00%) instrs. 103.82 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 83592202 ( 84.00%) instrs. 104.49 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 84587347 ( 85.00%) instrs. 105.57 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 85582499 ( 86.00%) instrs. 106.67 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 86577639 ( 87.00%) instrs. 107.90 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 87572783 ( 88.00%) instrs. 109.41 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 88567932 ( 89.00%) instrs. 110.44 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 89563087 ( 90.00%) instrs. 111.21 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 90558227 ( 91.00%) instrs. 111.98 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 91553389 ( 92.00%) instrs. 112.90 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 92548511 ( 93.00%) instrs. 113.77 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 93543663 ( 94.00%) instrs. 114.69 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 94538802 ( 95.00%) instrs. 115.63 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 95533944 ( 96.00%) instrs. 116.87 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 96529090 ( 97.00%) instrs. 117.72 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 97524236 ( 98.00%) instrs. 118.45 sec. 1.92 GB ram. 1bda3005-56f5-46a4-856d-af58a68d589d: 98519382 ( 99.00%) instrs. 119.18 sec. 1.92 GB ram. /Reven2/2.15.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.15.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: 150 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