# # A fatal error has been detected by the Java Runtime Environment: # # EXCEPTION_ACCESS_VIOLATION (0xc0000005) at pc=0x00007ffbc5571d2f, pid=26860, tid=22256 # # JRE version: OpenJDK Runtime Environment Zulu17.42+19-CA (17.0.7+7) (build 17.0.7+7-LTS) # Java VM: OpenJDK 64-Bit Server VM Zulu17.42+19-CA (17.0.7+7-LTS, mixed mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, windows-amd64) # Problematic frame: # V [jvm.dll+0x2b1d2f] # # No core dump will be written. Minidumps are not enabled by default on client versions of Windows # # If you would like to submit a bug report, please visit: # http://www.azul.com/support/ # --------------- S U M M A R Y ------------ Command Line: -Disabelle.root=C:\Users\Richc\Desktop\Isabelle2023 -Dcygwin.root=C:\Users\Richc\Desktop\Isabelle2023\contrib\cygwin -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle2023 -Xms512m -Xmx4g -Xss16m -Disabelle.jedit_server=Isabelle2023 isabelle.jedit.JEdit_Main Host: Intel(R) Core(TM) i9-14900HX, 32 cores, 63G, Windows 11 , 64 bit Build 22621 (10.0.22621.3672) Time: Wed Jun 26 13:11:09 2024 GMT dows 11 , 64 bit Build 22621 (10.0.22621.3672) elapsed time: 43.002788 seconds (0d 0h 0m 43s) --------------- T H R E A D --------------- Current thread (0x00000202e7b5be70): JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=22256, stack(0x000000088d000000,0x000000088d100000)] Current CompileTask: C2: 43002 15154 4 org.gjt.sp.jedit.textarea.Gutter::paintLine (770 bytes) Stack: [0x000000088d000000,0x000000088d100000], sp=0x000000088d0fa970, free space=1002k Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code) V [jvm.dll+0x2b1d2f] V [jvm.dll+0x585257] V [jvm.dll+0x2222e2] V [jvm.dll+0x21b519] V [jvm.dll+0x218e3b] V [jvm.dll+0x1a513d] V [jvm.dll+0x22892a] V [jvm.dll+0x226a85] V [jvm.dll+0x7f01dc] V [jvm.dll+0x7ea73a] V [jvm.dll+0x67b5c5] C [ucrtbase.dll+0x29333] C [KERNEL32.DLL+0x1257d] C [ntdll.dll+0x5af28] siginfo: EXCEPTION_ACCESS_VIOLATION (0xc0000005), data execution prevention violation at address 0x00007ffb45571d2f Register to memory mapping: RIP=0x00007ffbc5571d2f jvm.dll RAX=0x00000202e7ca9980 points into unknown readable memory: 0x00000202efed9100 | 00 91 ed ef 02 02 00 00 RBX=0x00000202f423fb10 points into unknown readable memory: 0x00007ffbc5bdc760 | 60 c7 bd c5 fb 7f 00 00 RCX=0x00000000000019b4 is an unknown value RDX=0x00000202f3637340 points into unknown readable memory: 0x00000202f423fc80 | 80 fc 23 f4 02 02 00 00 RSP=0x000000088d0fa970 is pointing into the stack for thread: 0x00000202e7b5be70 RBP=0x0000000000000001 is an unknown value RSI=0x000000088d0fadb0 is pointing into the stack for thread: 0x00000202e7b5be70 RDI=0x0000000000000003 is an unknown value R8 =0x00000202f361b4b0 points into unknown readable memory: 0x0000000000000000 | 00 00 00 00 00 00 00 00 R9 =0x00000202f36378e0 points into unknown readable memory: 0x00000202efb53758 | 58 37 b5 ef 02 02 00 00 R10=0x000000000000015e is an unknown value R11=0x00000202f36372f0 points into unknown readable memory: 0x00000202f423fb10 | 10 fb 23 f4 02 02 00 00 R12=0x00000202f3637340 points into unknown readable memory: 0x00000202f423fc80 | 80 fc 23 f4 02 02 00 00 R13=0x0 is NULL R14=0x00000202f28080c0 points into unknown readable memory: 0xffffffff00000001 | 01 00 00 00 ff ff ff ff R15=0x00000202f423fc80 points into unknown readable memory: 0x00007ffbc5bdc760 | 60 c7 bd c5 fb 7f 00 00 Registers: RAX=0x00000202e7ca9980, RBX=0x00000202f423fb10, RCX=0x00000000000019b4, RDX=0x00000202f3637340 RSP=0x000000088d0fa970, RBP=0x0000000000000001, RSI=0x000000088d0fadb0, RDI=0x0000000000000003 R8 =0x00000202f361b4b0, R9 =0x00000202f36378e0, R10=0x000000000000015e, R11=0x00000202f36372f0 R12=0x00000202f3637340, R13=0x0000000000000000, R14=0x00000202f28080c0, R15=0x00000202f423fc80 RIP=0x00007ffbc5571d2f, EFLAGS=0x0000000000010206 Top of Stack: (sp=0x000000088d0fa970) 0x000000088d0fa970: 00000202f361b4b0 000000088d0fa9c0 0x000000088d0fa980: 000000088d0fadb0 00000202f28080c0 0x000000088d0fa990: 00000202f28080c0 00000202e7b54290 0x000000088d0fa9a0: 00000202f269d000 00000000000be220 0x000000088d0fa9b0: 00000202f26a4060 00000202f26a4fe8 0x000000088d0fa9c0: 0000000000000100 00000202ed1f7c60 0x000000088d0fa9d0: 0000000000000100 00000202e7b54290 0x000000088d0fa9e0: 0000000019a09fa2 0000000000000000 0x000000088d0fa9f0: 0000000000000000 0000000000070200 0x000000088d0faa00: 00000202c1ffa070 0000000000000000 0x000000088d0faa10: 00000202e7b47040 000000088d0fab30 0x000000088d0faa20: 000000088d0fadb0 00007ffbc5845257 0x000000088d0faa30: 000000088d0fadb0 0000000800000b6d 0x000000088d0faa40: 00000202f361b4b0 0000000000000594 0x000000088d0faa50: 00000202efee1001 00007ffbc5a6ad00 0x000000088d0faa60: 0000000000010010 0000000000000000 Instructions: (pc=0x00007ffbc5571d2f) 0x00007ffbc5571c2f: 18 0f 86 0d 01 00 00 66 66 0f 1f 84 00 00 00 00 0x00007ffbc5571c3f: 00 49 8b 47 08 8b cd 48 8b 1c c8 48 85 db 75 24 0x00007ffbc5571c4f: 4c 8d 0d 52 1e 6a 00 ba ab 03 00 00 4c 8d 05 56 0x00007ffbc5571c5f: 1e 6a 00 48 8d 0d d7 20 69 00 e8 e2 87 f9 ff e8 0x00007ffbc5571c6f: 1d a6 3c 00 8b 43 28 3b 46 28 73 11 8b c8 48 8b 0x00007ffbc5571c7f: 46 30 48 83 3c c8 00 0f 85 a3 00 00 00 48 8b 9e 0x00007ffbc5571c8f: 88 09 00 00 49 8b d7 48 8d 8b 88 09 00 00 e8 6e 0x00007ffbc5571c9f: fd 3e 00 48 8d 8b e0 09 00 00 49 8b d7 e8 4f 1e 0x00007ffbc5571caf: df ff 8b d5 49 8b cf e8 e5 71 3a 00 49 8b 7f 10 0x00007ffbc5571cbf: 41 8b 47 20 4c 8d 34 c7 49 3b fe 73 61 4c 8b ac 0x00007ffbc5571ccf: 24 c0 00 00 00 0f 1f 40 00 0f 1f 84 00 00 00 00 0x00007ffbc5571cdf: 00 48 8b 37 8b 46 2c 83 e0 0f 3c 0c 75 2f 49 8b 0x00007ffbc5571cef: 9d 88 09 00 00 48 8b d6 48 8d 8b 88 09 00 00 e8 0x00007ffbc5571cff: 0d fd 3e 00 48 8d 8b e0 09 00 00 48 8b d6 e8 ee 0x00007ffbc5571d0f: 1d df ff 8b d5 48 8b ce e8 84 71 3a 00 48 83 c7 0x00007ffbc5571d1f: 08 49 3b fe 72 bb 48 8b b4 24 c0 00 00 00 ff cd 0x00007ffbc5571d2f: ff c5 41 3b 6f 18 0f 82 05 ff ff ff 4c 8b 74 24 0x00007ffbc5571d3f: 20 45 33 ed 48 8b ac 24 d0 00 00 00 49 83 ec 50 0x00007ffbc5571d4f: 48 83 ac 24 d8 00 00 00 01 0f 85 a2 fc ff ff 8b 0x00007ffbc5571d5f: 84 24 c8 00 00 00 4c 8b 7c 24 28 4c 8b 64 24 30 0x00007ffbc5571d6f: 4c 63 d0 49 83 fa 02 7e 47 48 8d 95 d0 00 00 00 0x00007ffbc5571d7f: 4d 8d 4a fe 0f 1f 40 00 66 0f 1f 84 00 00 00 00 0x00007ffbc5571d8f: 00 8b 42 d8 4c 8b 02 48 8d 0c 80 48 c1 e1 04 48 0x00007ffbc5571d9f: 03 cd 4c 3b c1 74 07 49 8b 40 30 48 89 02 4c 89 0x00007ffbc5571daf: 6a 10 4c 89 6a 18 48 83 c2 50 49 83 e9 01 75 d1 0x00007ffbc5571dbf: 48 8b 46 10 48 8b 88 d0 02 00 00 8b 41 28 41 8b 0x00007ffbc5571dcf: 0c 86 48 8d 3c 89 48 c1 e7 04 48 03 fd 4c 89 6f 0x00007ffbc5571ddf: 30 4c 89 6f 10 4c 89 6f 40 4c 89 6f 48 49 83 fa 0x00007ffbc5571def: 01 7e 5c 4c 8d 45 50 49 ff ca 0f 1f 80 00 00 00 0x00007ffbc5571dff: 00 4d 8b 48 30 4d 85 c9 74 22 49 8b 00 48 8b 8e 0x00007ffbc5571e0f: f8 09 00 00 8b 50 28 49 8b 01 48 89 04 d1 49 8b 0x00007ffbc5571e1f: 41 40 49 89 40 48 4d 89 41 40 eb 19 48 8b 46 10 Stack slot to memory mapping: stack at sp + 0 slots: 0x00000202f361b4b0 points into unknown readable memory: 0x0000000000000000 | 00 00 00 00 00 00 00 00 stack at sp + 1 slots: 0x000000088d0fa9c0 is pointing into the stack for thread: 0x00000202e7b5be70 stack at sp + 2 slots: 0x000000088d0fadb0 is pointing into the stack for thread: 0x00000202e7b5be70 stack at sp + 3 slots: 0x00000202f28080c0 points into unknown readable memory: 0xffffffff00000001 | 01 00 00 00 ff ff ff ff stack at sp + 4 slots: 0x00000202f28080c0 points into unknown readable memory: 0xffffffff00000001 | 01 00 00 00 ff ff ff ff stack at sp + 5 slots: 0x00000202e7b54290 points into unknown readable memory: 0xbf9aeebe00000006 | 06 00 00 00 be ee 9a bf stack at sp + 6 slots: 0x00000202f269d000 points into unknown readable memory: 0x00000202f361b4a0 | a0 b4 61 f3 02 02 00 00 stack at sp + 7 slots: 0x00000000000be220 is an unknown value --------------- P R O C E S S --------------- Threads class SMR info: _java_thread_list=0x00000202f0eca910, length=52, elements={ 0x00000202e7b3c0a0, 0x00000202e7b3cf20, 0x00000202e7b56230, 0x00000202e7b57200, 0x00000202e7b59cd0, 0x00000202e7b5b2a0, 0x00000202e7b5be70, 0x00000202e7ba4d30, 0x00000202e7bada80, 0x00000202e7d38ca0, 0x00000202e7d3f5b0, 0x00000202ed6de960, 0x00000202ee0029a0, 0x00000202ee091010, 0x00000202edf223d0, 0x00000202f09d98e0, 0x00000202f09d89b0, 0x00000202f09da300, 0x00000202f09d7a80, 0x00000202f09da810, 0x00000202f09d7060, 0x00000202f09d93d0, 0x00000202f09d9df0, 0x00000202f09d7f90, 0x00000202f09d84a0, 0x00000202ef5e0e00, 0x00000202ef5e1310, 0x00000202ef5e2750, 0x00000202ef5e3680, 0x00000202ef5e1820, 0x00000202ef5dfed0, 0x00000202ef5e1d30, 0x00000202ef5e2240, 0x00000202ef5e2c60, 0x00000202ef5e03e0, 0x00000202f2f91e90, 0x00000202f2f928b0, 0x00000202f2f91980, 0x00000202f2f94710, 0x00000202f2f90f60, 0x00000202f2f91470, 0x00000202f2f932d0, 0x00000202f2f92dc0, 0x00000202f2f937e0, 0x00000202f2f93cf0, 0x00000202f2f94200, 0x00000202f09d7570, 0x00000202ed8c85e0, 0x00000202ed8c5d60, 0x00000202ed8c5850, 0x00000202ed8cb370, 0x00000202ed8c4e30 } Java Threads: ( => current thread ) 0x00000202e7b3c0a0 JavaThread "Reference Handler" daemon [_thread_blocked, id=9804, stack(0x0000000887000000,0x0000000888000000)] 0x00000202e7b3cf20 JavaThread "Finalizer" daemon [_thread_blocked, id=25720, stack(0x0000000888000000,0x0000000889000000)] 0x00000202e7b56230 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=26988, stack(0x0000000889000000,0x000000088a000000)] 0x00000202e7b57200 JavaThread "Attach Listener" daemon [_thread_blocked, id=8784, stack(0x000000088a000000,0x000000088b000000)] 0x00000202e7b59cd0 JavaThread "Service Thread" daemon [_thread_blocked, id=11332, stack(0x000000088b000000,0x000000088c000000)] 0x00000202e7b5b2a0 JavaThread "Monitor Deflation Thread" daemon [_thread_blocked, id=14356, stack(0x000000088c000000,0x000000088d000000)] =>0x00000202e7b5be70 JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=22256, stack(0x000000088d000000,0x000000088d100000)] 0x00000202e7ba4d30 JavaThread "C1 CompilerThread0" daemon [_thread_blocked, id=26668, stack(0x000000088d100000,0x000000088d200000)] 0x00000202e7bada80 JavaThread "Sweeper thread" daemon [_thread_blocked, id=27728, stack(0x000000088d200000,0x000000088e200000)] 0x00000202e7d38ca0 JavaThread "Notification Thread" daemon [_thread_blocked, id=23460, stack(0x000000088e400000,0x000000088f400000)] 0x00000202e7d3f5b0 JavaThread "Common-Cleaner" daemon [_thread_blocked, id=6288, stack(0x000000088f500000,0x0000000890500000)] 0x00000202ed6de960 JavaThread "Java2D Disposer" daemon [_thread_blocked, id=1352, stack(0x0000000890800000,0x0000000891800000)] 0x00000202ee0029a0 JavaThread "AWT-Shutdown" [_thread_blocked, id=27460, stack(0x0000000892500000,0x0000000893500000)] 0x00000202ee091010 JavaThread "AWT-Windows" daemon [_thread_in_native, id=16620, stack(0x0000000893500000,0x0000000894500000)] 0x00000202edf223d0 JavaThread "AWT-EventQueue-0" [_thread_blocked, id=27844, stack(0x0000000894500000,0x0000000895500000)] 0x00000202f09d98e0 JavaThread "TimerQueue" daemon [_thread_blocked, id=24312, stack(0x0000000895600000,0x0000000896600000)] 0x00000202f09d89b0 JavaThread "DestroyJavaVM" [_thread_blocked, id=23888, stack(0x0000000885a00000,0x0000000886a00000)] 0x00000202f09da300 JavaThread "idle-timeout-task" daemon [_thread_blocked, id=7584, stack(0x0000000897f00000,0x0000000898f00000)] 0x00000202f09d7a80 JavaThread "Isabelle.Session.dispatcher" daemon [_thread_blocked, id=23640, stack(0x0000000899a00000,0x000000089aa00000)] 0x00000202f09da810 JavaThread "Isabelle.change_parser" daemon [_thread_blocked, id=28000, stack(0x000000089aa00000,0x000000089ba00000)] 0x00000202f09d7060 JavaThread "Isabelle.Session.manager" daemon [_thread_blocked, id=25000, stack(0x000000089ba00000,0x000000089ca00000)] 0x00000202f09d93d0 JavaThread "HTTP-Dispatcher" [_thread_in_native, id=12292, stack(0x000000089ca00000,0x000000089da00000)] 0x00000202f09d9df0 JavaThread "event_timer" daemon [_thread_blocked, id=16904, stack(0x000000089de00000,0x000000089ee00000)] 0x00000202f09d7f90 JavaThread "jEdit Worker #0" [_thread_blocked, id=21712, stack(0x000000089ee00000,0x000000089fe00000)] 0x00000202f09d84a0 JavaThread "jEdit server daemon [C:\Users\Richc\.isabelle\Isabelle2023\jedit\Isabelle2023]" daemon [_thread_in_native, id=15768, stack(0x00000008a0e00000,0x00000008a1e00000)] 0x00000202ef5e0e00 JavaThread "SizeSaver-1" [_thread_blocked, id=27928, stack(0x00000008a1e00000,0x00000008a2e00000)] 0x00000202ef5e1310 JavaThread "Isabelle.worker-2" [_thread_blocked, id=24132, stack(0x00000008a2e00000,0x00000008a3e00000)] 0x00000202ef5e2750 JavaThread "Isabelle.worker-3" [_thread_blocked, id=25696, stack(0x00000008a3e00000,0x00000008a4e00000)] 0x00000202ef5e3680 JavaThread "Isabelle.worker-4" [_thread_blocked, id=24800, stack(0x00000008a4e00000,0x00000008a5e00000)] 0x00000202ef5e1820 JavaThread "Isabelle.worker-5" [_thread_blocked, id=17592, stack(0x00000008a5e00000,0x00000008a6e00000)] 0x00000202ef5dfed0 JavaThread "Isabelle.worker-6" [_thread_blocked, id=27840, stack(0x00000008a6e00000,0x00000008a7e00000)] 0x00000202ef5e1d30 JavaThread "SwingWorker-pool-2-thread-1" daemon [_thread_blocked, id=27944, stack(0x00000008a7e00000,0x00000008a8e00000)] 0x00000202ef5e2240 JavaThread "Isabelle.worker-7" [_thread_blocked, id=10836, stack(0x00000008a8e00000,0x00000008a9e00000)] 0x00000202ef5e2c60 JavaThread "Isabelle.worker-8" [_thread_blocked, id=13032, stack(0x00000008a9e00000,0x00000008aae00000)] 0x00000202ef5e03e0 JavaThread "Isabelle.worker-9" [_thread_blocked, id=22208, stack(0x00000008aae00000,0x00000008abe00000)] 0x00000202f2f91e90 JavaThread "Isabelle.Naproche-SAD" [_thread_in_native, id=24364, stack(0x00000008abe00000,0x00000008ace00000)] 0x00000202f2f928b0 JavaThread "Isabelle.bash_stdout" [_thread_in_native, id=25340, stack(0x00000008ace00000,0x00000008ade00000)] 0x00000202f2f91980 JavaThread "Isabelle.bash_stderr" [_thread_in_native, id=12324, stack(0x00000008ade00000,0x00000008aee00000)] 0x00000202f2f94710 JavaThread "Isabelle.process_result" [_thread_in_native, id=25276, stack(0x000000089fe00000,0x00000008a0e00000)] 0x00000202f2f90f60 JavaThread "Isabelle.process_manager" [_thread_blocked, id=11644, stack(0x00000008aee00000,0x00000008afe00000)] 0x00000202f2f91470 JavaThread "Isabelle.standard_output" [_thread_in_native, id=9564, stack(0x00000008afe00000,0x00000008b0e00000)] 0x00000202f2f932d0 JavaThread "Isabelle.command_input" [_thread_blocked, id=25536, stack(0x00000008b0e00000,0x00000008b1e00000)] 0x00000202f2f92dc0 JavaThread "Isabelle.standard_error" [_thread_in_native, id=25028, stack(0x00000008b1e00000,0x00000008b2e00000)] 0x00000202f2f937e0 JavaThread "Isabelle.message_output" [_thread_in_native, id=17240, stack(0x00000008b2e00000,0x00000008b3e00000)] 0x00000202f2f93cf0 JavaThread "Isabelle.server_handler" [_thread_in_native, id=10696, stack(0x00000008b3e00000,0x00000008b4e00000)] 0x00000202f2f94200 JavaThread "Isabelle.Simplifier_Trace.manager" daemon [_thread_blocked, id=3268, stack(0x00000008b4e00000,0x00000008b5e00000)] 0x00000202f09d7570 JavaThread "Isabelle.ML_statistics" [_thread_in_native, id=26260, stack(0x00000008b5e00000,0x00000008b6e00000)] 0x00000202ed8c85e0 JavaThread "Isabelle.bash_stdout" [_thread_in_native, id=20068, stack(0x00000008b6e00000,0x00000008b7e00000)] 0x00000202ed8c5d60 JavaThread "Isabelle.bash_stderr" [_thread_in_native, id=25788, stack(0x00000008b7e00000,0x00000008b8e00000)] 0x00000202ed8c5850 JavaThread "jEdit Worker #1" [_thread_blocked, id=27780, stack(0x00000008b8e00000,0x00000008b9e00000)] 0x00000202ed8cb370 JavaThread "SwingWorker-pool-2-thread-2" daemon [_thread_blocked, id=28388, stack(0x00000008b9e00000,0x00000008bae00000)] 0x00000202ed8c4e30 JavaThread "jEdit Worker #2" [_thread_blocked, id=25272, stack(0x0000000896600000,0x0000000897600000)] Other Threads: 0x00000202e7b36090 VMThread "VM Thread" [stack: 0x0000000886f00000,0x0000000887000000] [id=27644] 0x00000202e3f413c0 WatcherThread [stack: 0x000000088f400000,0x000000088f500000] [id=26472] 0x00000202c2053270 GCTaskThread "GC Thread#0" [stack: 0x0000000886a00000,0x0000000886b00000] [id=25880] 0x00000202ed903290 GCTaskThread "GC Thread#1" [stack: 0x0000000891800000,0x0000000891900000] [id=8204] 0x00000202ed903550 GCTaskThread "GC Thread#2" [stack: 0x0000000891900000,0x0000000891a00000] [id=21000] 0x00000202ed903810 GCTaskThread "GC Thread#3" [stack: 0x0000000891a00000,0x0000000891b00000] [id=26084] 0x00000202ed903ad0 GCTaskThread "GC Thread#4" [stack: 0x0000000891b00000,0x0000000891c00000] [id=11376] 0x00000202ed903d90 GCTaskThread "GC Thread#5" [stack: 0x0000000891c00000,0x0000000891d00000] [id=7456] 0x00000202ed904050 GCTaskThread "GC Thread#6" [stack: 0x0000000891d00000,0x0000000891e00000] [id=21688] 0x00000202ede72880 GCTaskThread "GC Thread#7" [stack: 0x0000000891e00000,0x0000000891f00000] [id=25660] 0x00000202ede72b40 GCTaskThread "GC Thread#8" [stack: 0x0000000891f00000,0x0000000892000000] [id=20212] 0x00000202ede72e00 GCTaskThread "GC Thread#9" [stack: 0x0000000892000000,0x0000000892100000] [id=23396] 0x00000202edb9f8b0 GCTaskThread "GC Thread#10" [stack: 0x0000000892100000,0x0000000892200000] [id=18396] 0x00000202edb9fb70 GCTaskThread "GC Thread#11" [stack: 0x0000000892200000,0x0000000892300000] [id=27236] 0x00000202f1574cf0 GCTaskThread "GC Thread#12" [stack: 0x0000000897600000,0x0000000897700000] [id=27308] 0x00000202f1574770 GCTaskThread "GC Thread#13" [stack: 0x0000000897700000,0x0000000897800000] [id=8996] 0x00000202f1574a30 GCTaskThread "GC Thread#14" [stack: 0x0000000897800000,0x0000000897900000] [id=28560] 0x00000202f1574fb0 GCTaskThread "GC Thread#15" [stack: 0x0000000897900000,0x0000000897a00000] [id=10548] 0x00000202edf8da00 GCTaskThread "GC Thread#16" [stack: 0x0000000899400000,0x0000000899500000] [id=11052] 0x00000202edf8c140 GCTaskThread "GC Thread#17" [stack: 0x0000000899500000,0x0000000899600000] [id=22704] 0x00000202edf8b640 GCTaskThread "GC Thread#18" [stack: 0x0000000899600000,0x0000000899700000] [id=6620] 0x00000202edf8e240 GCTaskThread "GC Thread#19" [stack: 0x0000000899700000,0x0000000899800000] [id=2840] 0x00000202edf8c400 GCTaskThread "GC Thread#20" [stack: 0x0000000899800000,0x0000000899900000] [id=21524] 0x00000202edf8ae00 GCTaskThread "GC Thread#21" [stack: 0x0000000899900000,0x0000000899a00000] [id=26648] 0x00000202edf8cf00 GCTaskThread "GC Thread#22" [stack: 0x000000089da00000,0x000000089db00000] [id=21328] 0x00000202c2000030 ConcurrentGCThread "G1 Main Marker" [stack: 0x0000000886b00000,0x0000000886c00000] [id=15080] 0x00000202c205ca90 ConcurrentGCThread "G1 Conc#0" [stack: 0x0000000886c00000,0x0000000886d00000] [id=22200] 0x00000202f1573430 ConcurrentGCThread "G1 Conc#1" [stack: 0x0000000897a00000,0x0000000897b00000] [id=16576] 0x00000202f15736f0 ConcurrentGCThread "G1 Conc#2" [stack: 0x0000000897b00000,0x0000000897c00000] [id=27548] 0x00000202edf8be80 ConcurrentGCThread "G1 Conc#3" [stack: 0x0000000897c00000,0x0000000897d00000] [id=24680] 0x00000202edf8b380 ConcurrentGCThread "G1 Conc#4" [stack: 0x0000000897d00000,0x0000000897e00000] [id=27796] 0x00000202edf8dcc0 ConcurrentGCThread "G1 Conc#5" [stack: 0x0000000897e00000,0x0000000897f00000] [id=27364] 0x00000202e7a00150 ConcurrentGCThread "G1 Refine#0" [stack: 0x0000000886d00000,0x0000000886e00000] [id=26684] 0x00000202e7a00b80 ConcurrentGCThread "G1 Service" [stack: 0x0000000886e00000,0x0000000886f00000] [id=20356] Threads with active compile tasks: C2 CompilerThread0 43034 15154 4 org.gjt.sp.jedit.textarea.Gutter::paintLine (770 bytes) VM state: not at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: None Heap address: 0x0000000700000000, size: 4096 MB, Compressed Oops mode: Zero based, Oop shift amount: 3 CDS archive(s) mapped at: [0x0000000800000000-0x0000000800c00000-0x0000000800c00000), size 12582912, SharedBaseAddress: 0x0000000800000000, ArchiveRelocationMode: 0. Compressed class space mapped at: 0x0000000801000000-0x0000000841000000, reserved size: 1073741824 Narrow klass base: 0x0000000800000000, Narrow klass shift: 0, Narrow klass range: 0x100000000 GC Precious Log: CPUs: 32 total, 32 available Memory: 65264M Large Page Support: Disabled NUMA Support: Disabled Compressed Oops: Enabled (Zero based) Heap Region Size: 2M Heap Min Capacity: 512M Heap Initial Capacity: 512M Heap Max Capacity: 4G Pre-touch: Disabled Parallel Workers: 23 Concurrent Workers: 6 Concurrent Refinement Workers: 23 Periodic GC: Disabled Heap: garbage-first heap total 966656K, used 557164K [0x0000000700000000, 0x0000000800000000) region size 2048K, 249 young (509952K), 20 survivors (40960K) Metaspace used 57000K, committed 57792K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K Heap Regions: E=young(eden), S=young(survivor), O=old, HS=humongous(starts), HC=humongous(continues), CS=collection set, F=free, OA=open archive, CA=closed archive, TAMS=top-at-mark-start (previous, next) | 0|0x0000000700000000, 0x0000000700200000, 0x0000000700200000|100%| O| |TAMS 0x0000000700200000, 0x0000000700000000| Untracked | 1|0x0000000700200000, 0x0000000700400000, 0x0000000700400000|100%| O| |TAMS 0x0000000700200000, 0x0000000700200000| Untracked | 2|0x0000000700400000, 0x0000000700600000, 0x0000000700600000|100%| O| |TAMS 0x0000000700400000, 0x0000000700400000| Untracked | 3|0x0000000700600000, 0x0000000700800000, 0x0000000700800000|100%|HS| |TAMS 0x0000000700600000, 0x0000000700600000| Complete | 4|0x0000000700800000, 0x0000000700a00000, 0x0000000700a00000|100%| O| |TAMS 0x0000000700800000, 0x0000000700800000| Untracked | 5|0x0000000700a00000, 0x0000000700c00000, 0x0000000700c00000|100%|HS| |TAMS 0x0000000700a00000, 0x0000000700a00000| Complete | 6|0x0000000700c00000, 0x0000000700e00000, 0x0000000700e00000|100%| O| |TAMS 0x0000000700c00000, 0x0000000700c00000| Untracked | 7|0x0000000700e00000, 0x0000000701000000, 0x0000000701000000|100%| O| |TAMS 0x0000000700e00000, 0x0000000700e00000| Untracked | 8|0x0000000701000000, 0x0000000701200000, 0x0000000701200000|100%| O| |TAMS 0x0000000701000000, 0x0000000701000000| Untracked | 9|0x0000000701200000, 0x0000000701400000, 0x0000000701400000|100%| O| |TAMS 0x0000000701200000, 0x0000000701200000| Untracked | 10|0x0000000701400000, 0x0000000701600000, 0x0000000701600000|100%|HS| |TAMS 0x0000000701600000, 0x0000000701400000| Complete | 11|0x0000000701600000, 0x0000000701800000, 0x0000000701800000|100%| O| |TAMS 0x0000000701800000, 0x0000000701600000| Untracked | 12|0x0000000701800000, 0x0000000701a00000, 0x0000000701a00000|100%| O| |TAMS 0x00000007018f8000, 0x0000000701800000| Untracked | 13|0x0000000701a00000, 0x0000000701c00000, 0x0000000701c00000|100%|HS| |TAMS 0x0000000701c00000, 0x0000000701a00000| Complete | 14|0x0000000701c00000, 0x0000000701e00000, 0x0000000701e00000|100%|HS| |TAMS 0x0000000701c00000, 0x0000000701c00000| Complete | 15|0x0000000701e00000, 0x0000000702000000, 0x0000000702000000|100%|HC| |TAMS 0x0000000701e00000, 0x0000000701e00000| Complete | 16|0x0000000702000000, 0x0000000702200000, 0x0000000702200000|100%|HC| |TAMS 0x0000000702000000, 0x0000000702000000| Complete | 17|0x0000000702200000, 0x0000000702400000, 0x0000000702400000|100%|HC| |TAMS 0x0000000702200000, 0x0000000702200000| Complete | 18|0x0000000702400000, 0x0000000702600000, 0x0000000702600000|100%|HC| |TAMS 0x0000000702400000, 0x0000000702400000| Complete | 19|0x0000000702600000, 0x0000000702800000, 0x0000000702800000|100%|HC| |TAMS 0x0000000702600000, 0x0000000702600000| Complete | 20|0x0000000702800000, 0x0000000702a00000, 0x0000000702a00000|100%|HC| |TAMS 0x0000000702800000, 0x0000000702800000| Complete | 21|0x0000000702a00000, 0x0000000702c00000, 0x0000000702c00000|100%|HC| |TAMS 0x0000000702a00000, 0x0000000702a00000| Complete | 22|0x0000000702c00000, 0x0000000702e00000, 0x0000000702e00000|100%|HS| |TAMS 0x0000000702e00000, 0x0000000702c00000| Complete | 23|0x0000000702e00000, 0x0000000702f80200, 0x0000000703000000| 75%| O| |TAMS 0x0000000702e00000, 0x0000000702e00000| Untracked | 24|0x0000000703000000, 0x0000000703000000, 0x0000000703200000| 0%| F| |TAMS 0x0000000703000000, 0x0000000703000000| Untracked | 25|0x0000000703200000, 0x0000000703200000, 0x0000000703400000| 0%| F| |TAMS 0x0000000703200000, 0x0000000703200000| Untracked | 26|0x0000000703400000, 0x0000000703400000, 0x0000000703600000| 0%| F| |TAMS 0x0000000703400000, 0x0000000703400000| Untracked | 27|0x0000000703600000, 0x0000000703600000, 0x0000000703800000| 0%| F| |TAMS 0x0000000703600000, 0x0000000703600000| Untracked | 28|0x0000000703800000, 0x0000000703800000, 0x0000000703a00000| 0%| F| |TAMS 0x0000000703800000, 0x0000000703800000| Untracked | 29|0x0000000703a00000, 0x0000000703a00000, 0x0000000703c00000| 0%| F| |TAMS 0x0000000703a00000, 0x0000000703a00000| Untracked | 30|0x0000000703c00000, 0x0000000703e00000, 0x0000000703e00000|100%|HS| |TAMS 0x0000000703e00000, 0x0000000703c00000| Complete | 31|0x0000000703e00000, 0x0000000703e00000, 0x0000000704000000| 0%| F| |TAMS 0x0000000703e00000, 0x0000000703e00000| Untracked | 32|0x0000000704000000, 0x0000000704000000, 0x0000000704200000| 0%| F| |TAMS 0x0000000704000000, 0x0000000704000000| Untracked | 33|0x0000000704200000, 0x0000000704200000, 0x0000000704400000| 0%| F| |TAMS 0x0000000704200000, 0x0000000704200000| Untracked | 34|0x0000000704400000, 0x0000000704400000, 0x0000000704600000| 0%| F| |TAMS 0x0000000704400000, 0x0000000704400000| Untracked | 35|0x0000000704600000, 0x0000000704600000, 0x0000000704800000| 0%| F| |TAMS 0x0000000704600000, 0x0000000704600000| Untracked | 36|0x0000000704800000, 0x0000000704a00000, 0x0000000704a00000|100%|HS| |TAMS 0x0000000704a00000, 0x0000000704800000| Complete | 37|0x0000000704a00000, 0x0000000704a00000, 0x0000000704c00000| 0%| F| |TAMS 0x0000000704a00000, 0x0000000704a00000| Untracked | 38|0x0000000704c00000, 0x0000000704c00000, 0x0000000704e00000| 0%| F| |TAMS 0x0000000704c00000, 0x0000000704c00000| Untracked | 39|0x0000000704e00000, 0x0000000704e00000, 0x0000000705000000| 0%| F| |TAMS 0x0000000704e00000, 0x0000000704e00000| Untracked | 40|0x0000000705000000, 0x0000000705000000, 0x0000000705200000| 0%| F| |TAMS 0x0000000705000000, 0x0000000705000000| Untracked | 41|0x0000000705200000, 0x0000000705200000, 0x0000000705400000| 0%| F| |TAMS 0x0000000705200000, 0x0000000705200000| Untracked | 42|0x0000000705400000, 0x0000000705400000, 0x0000000705600000| 0%| F| |TAMS 0x0000000705400000, 0x0000000705400000| Untracked | 43|0x0000000705600000, 0x0000000705600000, 0x0000000705800000| 0%| F| |TAMS 0x0000000705600000, 0x0000000705600000| Untracked | 44|0x0000000705800000, 0x0000000705800000, 0x0000000705a00000| 0%| F| |TAMS 0x0000000705800000, 0x0000000705800000| Untracked | 45|0x0000000705a00000, 0x0000000705a00000, 0x0000000705c00000| 0%| F| |TAMS 0x0000000705a00000, 0x0000000705a00000| Untracked | 46|0x0000000705c00000, 0x0000000705c00000, 0x0000000705e00000| 0%| F| |TAMS 0x0000000705c00000, 0x0000000705c00000| Untracked | 47|0x0000000705e00000, 0x0000000705e00000, 0x0000000706000000| 0%| F| |TAMS 0x0000000705e00000, 0x0000000705e00000| Untracked | 48|0x0000000706000000, 0x0000000706000000, 0x0000000706200000| 0%| F| |TAMS 0x0000000706000000, 0x0000000706000000| Untracked | 49|0x0000000706200000, 0x0000000706200000, 0x0000000706400000| 0%| F| |TAMS 0x0000000706200000, 0x0000000706200000| Untracked | 50|0x0000000706400000, 0x0000000706400000, 0x0000000706600000| 0%| F| |TAMS 0x0000000706400000, 0x0000000706400000| Untracked | 51|0x0000000706600000, 0x0000000706600000, 0x0000000706800000| 0%| F| |TAMS 0x0000000706600000, 0x0000000706600000| Untracked | 52|0x0000000706800000, 0x0000000706800000, 0x0000000706a00000| 0%| F| |TAMS 0x0000000706800000, 0x0000000706800000| Untracked | 53|0x0000000706a00000, 0x0000000706a00000, 0x0000000706c00000| 0%| F| |TAMS 0x0000000706a00000, 0x0000000706a00000| Untracked | 54|0x0000000706c00000, 0x0000000706c00000, 0x0000000706e00000| 0%| F| |TAMS 0x0000000706c00000, 0x0000000706c00000| Untracked | 55|0x0000000706e00000, 0x0000000706e00000, 0x0000000707000000| 0%| F| |TAMS 0x0000000706e00000, 0x0000000706e00000| Untracked | 56|0x0000000707000000, 0x0000000707000000, 0x0000000707200000| 0%| F| |TAMS 0x0000000707000000, 0x0000000707000000| Untracked | 57|0x0000000707200000, 0x0000000707200000, 0x0000000707400000| 0%| F| |TAMS 0x0000000707200000, 0x0000000707200000| Untracked | 58|0x0000000707400000, 0x0000000707400000, 0x0000000707600000| 0%| F| |TAMS 0x0000000707400000, 0x0000000707400000| Untracked | 59|0x0000000707600000, 0x0000000707600000, 0x0000000707800000| 0%| F| |TAMS 0x0000000707600000, 0x0000000707600000| Untracked | 60|0x0000000707800000, 0x0000000707800000, 0x0000000707a00000| 0%| F| |TAMS 0x0000000707800000, 0x0000000707800000| Untracked | 61|0x0000000707a00000, 0x0000000707a00000, 0x0000000707c00000| 0%| F| |TAMS 0x0000000707a00000, 0x0000000707a00000| Untracked | 62|0x0000000707c00000, 0x0000000707c00000, 0x0000000707e00000| 0%| F| |TAMS 0x0000000707c00000, 0x0000000707c00000| Untracked | 63|0x0000000707e00000, 0x0000000707e00000, 0x0000000708000000| 0%| F| |TAMS 0x0000000707e00000, 0x0000000707e00000| Untracked | 64|0x0000000708000000, 0x0000000708000000, 0x0000000708200000| 0%| F| |TAMS 0x0000000708000000, 0x0000000708000000| Untracked | 65|0x0000000708200000, 0x0000000708200000, 0x0000000708400000| 0%| F| |TAMS 0x0000000708200000, 0x0000000708200000| Untracked | 66|0x0000000708400000, 0x0000000708400000, 0x0000000708600000| 0%| F| |TAMS 0x0000000708400000, 0x0000000708400000| Untracked | 67|0x0000000708600000, 0x0000000708600000, 0x0000000708800000| 0%| F| |TAMS 0x0000000708600000, 0x0000000708600000| Untracked | 68|0x0000000708800000, 0x0000000708800000, 0x0000000708a00000| 0%| F| |TAMS 0x0000000708800000, 0x0000000708800000| Untracked | 69|0x0000000708a00000, 0x0000000708a00000, 0x0000000708c00000| 0%| F| |TAMS 0x0000000708a00000, 0x0000000708a00000| Untracked | 70|0x0000000708c00000, 0x0000000708c00000, 0x0000000708e00000| 0%| F| |TAMS 0x0000000708c00000, 0x0000000708c00000| Untracked | 71|0x0000000708e00000, 0x0000000708e00000, 0x0000000709000000| 0%| F| |TAMS 0x0000000708e00000, 0x0000000708e00000| Untracked | 72|0x0000000709000000, 0x0000000709000000, 0x0000000709200000| 0%| F| |TAMS 0x0000000709000000, 0x0000000709000000| Untracked | 73|0x0000000709200000, 0x0000000709200000, 0x0000000709400000| 0%| F| |TAMS 0x0000000709200000, 0x0000000709200000| Untracked | 74|0x0000000709400000, 0x0000000709400000, 0x0000000709600000| 0%| F| |TAMS 0x0000000709400000, 0x0000000709400000| Untracked | 75|0x0000000709600000, 0x0000000709600000, 0x0000000709800000| 0%| F| |TAMS 0x0000000709600000, 0x0000000709600000| Untracked | 76|0x0000000709800000, 0x0000000709800000, 0x0000000709a00000| 0%| F| |TAMS 0x0000000709800000, 0x0000000709800000| Untracked | 77|0x0000000709a00000, 0x0000000709a00000, 0x0000000709c00000| 0%| F| |TAMS 0x0000000709a00000, 0x0000000709a00000| Untracked | 78|0x0000000709c00000, 0x0000000709c00000, 0x0000000709e00000| 0%| F| |TAMS 0x0000000709c00000, 0x0000000709c00000| Untracked | 79|0x0000000709e00000, 0x0000000709e00000, 0x000000070a000000| 0%| F| |TAMS 0x0000000709e00000, 0x0000000709e00000| Untracked | 80|0x000000070a000000, 0x000000070a000000, 0x000000070a200000| 0%| F| |TAMS 0x000000070a000000, 0x000000070a000000| Untracked | 81|0x000000070a200000, 0x000000070a200000, 0x000000070a400000| 0%| F| |TAMS 0x000000070a200000, 0x000000070a200000| Untracked | 82|0x000000070a400000, 0x000000070a400000, 0x000000070a600000| 0%| F| |TAMS 0x000000070a400000, 0x000000070a400000| Untracked | 83|0x000000070a600000, 0x000000070a600000, 0x000000070a800000| 0%| F| |TAMS 0x000000070a600000, 0x000000070a600000| Untracked | 84|0x000000070a800000, 0x000000070a800000, 0x000000070aa00000| 0%| F| |TAMS 0x000000070a800000, 0x000000070a800000| Untracked | 85|0x000000070aa00000, 0x000000070aa00000, 0x000000070ac00000| 0%| F| |TAMS 0x000000070aa00000, 0x000000070aa00000| Untracked | 86|0x000000070ac00000, 0x000000070ac00000, 0x000000070ae00000| 0%| F| |TAMS 0x000000070ac00000, 0x000000070ac00000| Untracked | 87|0x000000070ae00000, 0x000000070ae00000, 0x000000070b000000| 0%| F| |TAMS 0x000000070ae00000, 0x000000070ae00000| Untracked | 88|0x000000070b000000, 0x000000070b000000, 0x000000070b200000| 0%| F| |TAMS 0x000000070b000000, 0x000000070b000000| Untracked | 89|0x000000070b200000, 0x000000070b200000, 0x000000070b400000| 0%| F| |TAMS 0x000000070b200000, 0x000000070b200000| Untracked | 90|0x000000070b400000, 0x000000070b400000, 0x000000070b600000| 0%| F| |TAMS 0x000000070b400000, 0x000000070b400000| Untracked | 91|0x000000070b600000, 0x000000070b600000, 0x000000070b800000| 0%| F| |TAMS 0x000000070b600000, 0x000000070b600000| Untracked | 92|0x000000070b800000, 0x000000070b800000, 0x000000070ba00000| 0%| F| |TAMS 0x000000070b800000, 0x000000070b800000| Untracked | 93|0x000000070ba00000, 0x000000070ba00000, 0x000000070bc00000| 0%| F| |TAMS 0x000000070ba00000, 0x000000070ba00000| Untracked | 94|0x000000070bc00000, 0x000000070bc00000, 0x000000070be00000| 0%| F| |TAMS 0x000000070bc00000, 0x000000070bc00000| Untracked | 95|0x000000070be00000, 0x000000070be00000, 0x000000070c000000| 0%| F| |TAMS 0x000000070be00000, 0x000000070be00000| Untracked | 96|0x000000070c000000, 0x000000070c000000, 0x000000070c200000| 0%| F| |TAMS 0x000000070c000000, 0x000000070c000000| Untracked | 97|0x000000070c200000, 0x000000070c200000, 0x000000070c400000| 0%| F| |TAMS 0x000000070c200000, 0x000000070c200000| Untracked | 98|0x000000070c400000, 0x000000070c400000, 0x000000070c600000| 0%| F| |TAMS 0x000000070c400000, 0x000000070c400000| Untracked | 99|0x000000070c600000, 0x000000070c600000, 0x000000070c800000| 0%| F| |TAMS 0x000000070c600000, 0x000000070c600000| Untracked | 100|0x000000070c800000, 0x000000070c800000, 0x000000070ca00000| 0%| F| |TAMS 0x000000070c800000, 0x000000070c800000| Untracked | 101|0x000000070ca00000, 0x000000070ca00000, 0x000000070cc00000| 0%| F| |TAMS 0x000000070ca00000, 0x000000070ca00000| Untracked | 102|0x000000070cc00000, 0x000000070cc00000, 0x000000070ce00000| 0%| F| |TAMS 0x000000070cc00000, 0x000000070cc00000| Untracked | 103|0x000000070ce00000, 0x000000070ce00000, 0x000000070d000000| 0%| F| |TAMS 0x000000070ce00000, 0x000000070ce00000| Untracked | 104|0x000000070d000000, 0x000000070d000000, 0x000000070d200000| 0%| F| |TAMS 0x000000070d000000, 0x000000070d000000| Untracked | 105|0x000000070d200000, 0x000000070d200000, 0x000000070d400000| 0%| F| |TAMS 0x000000070d200000, 0x000000070d200000| Untracked | 106|0x000000070d400000, 0x000000070d400000, 0x000000070d600000| 0%| F| |TAMS 0x000000070d400000, 0x000000070d400000| Untracked | 107|0x000000070d600000, 0x000000070d600000, 0x000000070d800000| 0%| F| |TAMS 0x000000070d600000, 0x000000070d600000| Untracked | 108|0x000000070d800000, 0x000000070d800000, 0x000000070da00000| 0%| F| |TAMS 0x000000070d800000, 0x000000070d800000| Untracked | 109|0x000000070da00000, 0x000000070da00000, 0x000000070dc00000| 0%| F| |TAMS 0x000000070da00000, 0x000000070da00000| Untracked | 110|0x000000070dc00000, 0x000000070dc00000, 0x000000070de00000| 0%| F| |TAMS 0x000000070dc00000, 0x000000070dc00000| Untracked | 111|0x000000070de00000, 0x000000070de00000, 0x000000070e000000| 0%| F| |TAMS 0x000000070de00000, 0x000000070de00000| Untracked | 112|0x000000070e000000, 0x000000070e000000, 0x000000070e200000| 0%| F| |TAMS 0x000000070e000000, 0x000000070e000000| Untracked | 113|0x000000070e200000, 0x000000070e200000, 0x000000070e400000| 0%| F| |TAMS 0x000000070e200000, 0x000000070e200000| Untracked | 114|0x000000070e400000, 0x000000070e400000, 0x000000070e600000| 0%| F| |TAMS 0x000000070e400000, 0x000000070e400000| Untracked | 115|0x000000070e600000, 0x000000070e600000, 0x000000070e800000| 0%| F| |TAMS 0x000000070e600000, 0x000000070e600000| Untracked | 116|0x000000070e800000, 0x000000070e800000, 0x000000070ea00000| 0%| F| |TAMS 0x000000070e800000, 0x000000070e800000| Untracked | 117|0x000000070ea00000, 0x000000070ea00000, 0x000000070ec00000| 0%| F| |TAMS 0x000000070ea00000, 0x000000070ea00000| Untracked | 118|0x000000070ec00000, 0x000000070ec00000, 0x000000070ee00000| 0%| F| |TAMS 0x000000070ec00000, 0x000000070ec00000| Untracked | 119|0x000000070ee00000, 0x000000070ee00000, 0x000000070f000000| 0%| F| |TAMS 0x000000070ee00000, 0x000000070ee00000| Untracked | 120|0x000000070f000000, 0x000000070f000000, 0x000000070f200000| 0%| F| |TAMS 0x000000070f000000, 0x000000070f000000| Untracked | 121|0x000000070f200000, 0x000000070f200000, 0x000000070f400000| 0%| F| |TAMS 0x000000070f200000, 0x000000070f200000| Untracked | 122|0x000000070f400000, 0x000000070f400000, 0x000000070f600000| 0%| F| |TAMS 0x000000070f400000, 0x000000070f400000| Untracked | 123|0x000000070f600000, 0x000000070f600000, 0x000000070f800000| 0%| F| |TAMS 0x000000070f600000, 0x000000070f600000| Untracked | 124|0x000000070f800000, 0x000000070f800000, 0x000000070fa00000| 0%| F| |TAMS 0x000000070f800000, 0x000000070f800000| Untracked | 125|0x000000070fa00000, 0x000000070fa00000, 0x000000070fc00000| 0%| F| |TAMS 0x000000070fa00000, 0x000000070fa00000| Untracked | 126|0x000000070fc00000, 0x000000070fc00000, 0x000000070fe00000| 0%| F| |TAMS 0x000000070fc00000, 0x000000070fc00000| Untracked | 127|0x000000070fe00000, 0x000000070fe00000, 0x0000000710000000| 0%| F| |TAMS 0x000000070fe00000, 0x000000070fe00000| Untracked | 128|0x0000000710000000, 0x0000000710000000, 0x0000000710200000| 0%| F| |TAMS 0x0000000710000000, 0x0000000710000000| Untracked | 129|0x0000000710200000, 0x0000000710200000, 0x0000000710400000| 0%| F| |TAMS 0x0000000710200000, 0x0000000710200000| Untracked | 130|0x0000000710400000, 0x0000000710400000, 0x0000000710600000| 0%| F| |TAMS 0x0000000710400000, 0x0000000710400000| Untracked | 131|0x0000000710600000, 0x0000000710600000, 0x0000000710800000| 0%| F| |TAMS 0x0000000710600000, 0x0000000710600000| Untracked | 132|0x0000000710800000, 0x0000000710800000, 0x0000000710a00000| 0%| F| |TAMS 0x0000000710800000, 0x0000000710800000| Untracked | 133|0x0000000710a00000, 0x0000000710a00000, 0x0000000710c00000| 0%| F| |TAMS 0x0000000710a00000, 0x0000000710a00000| Untracked | 134|0x0000000710c00000, 0x0000000710c00000, 0x0000000710e00000| 0%| F| |TAMS 0x0000000710c00000, 0x0000000710c00000| Untracked | 135|0x0000000710e00000, 0x0000000710e00000, 0x0000000711000000| 0%| F| |TAMS 0x0000000710e00000, 0x0000000710e00000| Untracked | 136|0x0000000711000000, 0x0000000711000000, 0x0000000711200000| 0%| F| |TAMS 0x0000000711000000, 0x0000000711000000| Untracked | 137|0x0000000711200000, 0x0000000711200000, 0x0000000711400000| 0%| F| |TAMS 0x0000000711200000, 0x0000000711200000| Untracked | 138|0x0000000711400000, 0x0000000711400000, 0x0000000711600000| 0%| F| |TAMS 0x0000000711400000, 0x0000000711400000| Untracked | 139|0x0000000711600000, 0x0000000711600000, 0x0000000711800000| 0%| F| |TAMS 0x0000000711600000, 0x0000000711600000| Untracked | 140|0x0000000711800000, 0x0000000711800000, 0x0000000711a00000| 0%| F| |TAMS 0x0000000711800000, 0x0000000711800000| Untracked | 141|0x0000000711a00000, 0x0000000711a00000, 0x0000000711c00000| 0%| F| |TAMS 0x0000000711a00000, 0x0000000711a00000| Untracked | 142|0x0000000711c00000, 0x0000000711c00000, 0x0000000711e00000| 0%| F| |TAMS 0x0000000711c00000, 0x0000000711c00000| Untracked | 143|0x0000000711e00000, 0x0000000711e00000, 0x0000000712000000| 0%| F| |TAMS 0x0000000711e00000, 0x0000000711e00000| Untracked | 144|0x0000000712000000, 0x0000000712000000, 0x0000000712200000| 0%| F| |TAMS 0x0000000712000000, 0x0000000712000000| Untracked | 145|0x0000000712200000, 0x0000000712200000, 0x0000000712400000| 0%| F| |TAMS 0x0000000712200000, 0x0000000712200000| Untracked | 146|0x0000000712400000, 0x0000000712400000, 0x0000000712600000| 0%| F| |TAMS 0x0000000712400000, 0x0000000712400000| Untracked | 147|0x0000000712600000, 0x0000000712600000, 0x0000000712800000| 0%| F| |TAMS 0x0000000712600000, 0x0000000712600000| Untracked | 148|0x0000000712800000, 0x0000000712800000, 0x0000000712a00000| 0%| F| |TAMS 0x0000000712800000, 0x0000000712800000| Untracked | 149|0x0000000712a00000, 0x0000000712a00000, 0x0000000712c00000| 0%| F| |TAMS 0x0000000712a00000, 0x0000000712a00000| Untracked | 150|0x0000000712c00000, 0x0000000712c00000, 0x0000000712e00000| 0%| F| |TAMS 0x0000000712c00000, 0x0000000712c00000| Untracked | 151|0x0000000712e00000, 0x0000000712e00000, 0x0000000713000000| 0%| F| |TAMS 0x0000000712e00000, 0x0000000712e00000| Untracked | 152|0x0000000713000000, 0x0000000713000000, 0x0000000713200000| 0%| F| |TAMS 0x0000000713000000, 0x0000000713000000| Untracked | 153|0x0000000713200000, 0x0000000713200000, 0x0000000713400000| 0%| F| |TAMS 0x0000000713200000, 0x0000000713200000| Untracked | 154|0x0000000713400000, 0x0000000713400000, 0x0000000713600000| 0%| F| |TAMS 0x0000000713400000, 0x0000000713400000| Untracked | 155|0x0000000713600000, 0x0000000713600000, 0x0000000713800000| 0%| F| |TAMS 0x0000000713600000, 0x0000000713600000| Untracked | 156|0x0000000713800000, 0x0000000713800000, 0x0000000713a00000| 0%| F| |TAMS 0x0000000713800000, 0x0000000713800000| Untracked | 157|0x0000000713a00000, 0x0000000713a00000, 0x0000000713c00000| 0%| F| |TAMS 0x0000000713a00000, 0x0000000713a00000| Untracked | 158|0x0000000713c00000, 0x0000000713c00000, 0x0000000713e00000| 0%| F| |TAMS 0x0000000713c00000, 0x0000000713c00000| Untracked | 159|0x0000000713e00000, 0x0000000713e00000, 0x0000000714000000| 0%| F| |TAMS 0x0000000713e00000, 0x0000000713e00000| Untracked | 160|0x0000000714000000, 0x0000000714000000, 0x0000000714200000| 0%| F| |TAMS 0x0000000714000000, 0x0000000714000000| Untracked | 161|0x0000000714200000, 0x0000000714200000, 0x0000000714400000| 0%| F| |TAMS 0x0000000714200000, 0x0000000714200000| Untracked | 162|0x0000000714400000, 0x0000000714400000, 0x0000000714600000| 0%| F| |TAMS 0x0000000714400000, 0x0000000714400000| Untracked | 163|0x0000000714600000, 0x0000000714600000, 0x0000000714800000| 0%| F| |TAMS 0x0000000714600000, 0x0000000714600000| Untracked | 164|0x0000000714800000, 0x0000000714800000, 0x0000000714a00000| 0%| F| |TAMS 0x0000000714800000, 0x0000000714800000| Untracked | 165|0x0000000714a00000, 0x0000000714a00000, 0x0000000714c00000| 0%| F| |TAMS 0x0000000714a00000, 0x0000000714a00000| Untracked | 166|0x0000000714c00000, 0x0000000714c00000, 0x0000000714e00000| 0%| F| |TAMS 0x0000000714c00000, 0x0000000714c00000| Untracked | 167|0x0000000714e00000, 0x0000000714e00000, 0x0000000715000000| 0%| F| |TAMS 0x0000000714e00000, 0x0000000714e00000| Untracked | 168|0x0000000715000000, 0x0000000715000000, 0x0000000715200000| 0%| F| |TAMS 0x0000000715000000, 0x0000000715000000| Untracked | 169|0x0000000715200000, 0x0000000715200000, 0x0000000715400000| 0%| F| |TAMS 0x0000000715200000, 0x0000000715200000| Untracked | 170|0x0000000715400000, 0x0000000715400000, 0x0000000715600000| 0%| F| |TAMS 0x0000000715400000, 0x0000000715400000| Untracked | 171|0x0000000715600000, 0x000000071569b090, 0x0000000715800000| 30%| S|CS|TAMS 0x0000000715600000, 0x0000000715600000| Complete | 172|0x0000000715800000, 0x0000000715800000, 0x0000000715a00000| 0%| F| |TAMS 0x0000000715800000, 0x0000000715800000| Untracked | 173|0x0000000715a00000, 0x0000000715c00000, 0x0000000715c00000|100%| S|CS|TAMS 0x0000000715a00000, 0x0000000715a00000| Complete | 174|0x0000000715c00000, 0x0000000715e00000, 0x0000000715e00000|100%| S|CS|TAMS 0x0000000715c00000, 0x0000000715c00000| Complete | 175|0x0000000715e00000, 0x0000000716000000, 0x0000000716000000|100%| S|CS|TAMS 0x0000000715e00000, 0x0000000715e00000| Complete | 176|0x0000000716000000, 0x0000000716200000, 0x0000000716200000|100%| S|CS|TAMS 0x0000000716000000, 0x0000000716000000| Complete | 177|0x0000000716200000, 0x0000000716400000, 0x0000000716400000|100%| S|CS|TAMS 0x0000000716200000, 0x0000000716200000| Complete | 178|0x0000000716400000, 0x0000000716400000, 0x0000000716600000| 0%| F| |TAMS 0x0000000716400000, 0x0000000716400000| Untracked | 179|0x0000000716600000, 0x0000000716600000, 0x0000000716800000| 0%| F| |TAMS 0x0000000716600000, 0x0000000716600000| Untracked | 180|0x0000000716800000, 0x0000000716800000, 0x0000000716a00000| 0%| F| |TAMS 0x0000000716800000, 0x0000000716800000| Untracked | 181|0x0000000716a00000, 0x0000000716a00000, 0x0000000716c00000| 0%| F| |TAMS 0x0000000716a00000, 0x0000000716a00000| Untracked | 182|0x0000000716c00000, 0x0000000716c00000, 0x0000000716e00000| 0%| F| |TAMS 0x0000000716c00000, 0x0000000716c00000| Untracked | 183|0x0000000716e00000, 0x0000000716e00000, 0x0000000717000000| 0%| F| |TAMS 0x0000000716e00000, 0x0000000716e00000| Untracked | 184|0x0000000717000000, 0x0000000717000000, 0x0000000717200000| 0%| F| |TAMS 0x0000000717000000, 0x0000000717000000| Untracked | 185|0x0000000717200000, 0x0000000717200000, 0x0000000717400000| 0%| F| |TAMS 0x0000000717200000, 0x0000000717200000| Untracked | 186|0x0000000717400000, 0x0000000717400000, 0x0000000717600000| 0%| F| |TAMS 0x0000000717400000, 0x0000000717400000| Untracked | 187|0x0000000717600000, 0x0000000717600000, 0x0000000717800000| 0%| F| |TAMS 0x0000000717600000, 0x0000000717600000| Untracked | 188|0x0000000717800000, 0x0000000717800000, 0x0000000717a00000| 0%| F| |TAMS 0x0000000717800000, 0x0000000717800000| Untracked | 189|0x0000000717a00000, 0x0000000717c00000, 0x0000000717c00000|100%| S|CS|TAMS 0x0000000717a00000, 0x0000000717a00000| Complete | 190|0x0000000717c00000, 0x0000000717e00000, 0x0000000717e00000|100%| S|CS|TAMS 0x0000000717c00000, 0x0000000717c00000| Complete | 191|0x0000000717e00000, 0x0000000718000000, 0x0000000718000000|100%| S|CS|TAMS 0x0000000717e00000, 0x0000000717e00000| Complete | 192|0x0000000718000000, 0x0000000718200000, 0x0000000718200000|100%| S|CS|TAMS 0x0000000718000000, 0x0000000718000000| Complete | 193|0x0000000718200000, 0x0000000718400000, 0x0000000718400000|100%| S|CS|TAMS 0x0000000718200000, 0x0000000718200000| Complete | 194|0x0000000718400000, 0x0000000718600000, 0x0000000718600000|100%| S|CS|TAMS 0x0000000718400000, 0x0000000718400000| Complete | 195|0x0000000718600000, 0x0000000718800000, 0x0000000718800000|100%| S|CS|TAMS 0x0000000718600000, 0x0000000718600000| Complete | 196|0x0000000718800000, 0x0000000718a00000, 0x0000000718a00000|100%| S|CS|TAMS 0x0000000718800000, 0x0000000718800000| Complete | 197|0x0000000718a00000, 0x0000000718c00000, 0x0000000718c00000|100%| S|CS|TAMS 0x0000000718a00000, 0x0000000718a00000| Complete | 198|0x0000000718c00000, 0x0000000718e00000, 0x0000000718e00000|100%| S|CS|TAMS 0x0000000718c00000, 0x0000000718c00000| Complete | 199|0x0000000718e00000, 0x0000000719000000, 0x0000000719000000|100%| S|CS|TAMS 0x0000000718e00000, 0x0000000718e00000| Complete | 200|0x0000000719000000, 0x0000000719000000, 0x0000000719200000| 0%| F| |TAMS 0x0000000719000000, 0x0000000719000000| Untracked | 201|0x0000000719200000, 0x0000000719200000, 0x0000000719400000| 0%| F| |TAMS 0x0000000719200000, 0x0000000719200000| Untracked | 202|0x0000000719400000, 0x0000000719400000, 0x0000000719600000| 0%| F| |TAMS 0x0000000719400000, 0x0000000719400000| Untracked | 203|0x0000000719600000, 0x0000000719600000, 0x0000000719800000| 0%| F| |TAMS 0x0000000719600000, 0x0000000719600000| Untracked | 204|0x0000000719800000, 0x0000000719800000, 0x0000000719a00000| 0%| F| |TAMS 0x0000000719800000, 0x0000000719800000| Untracked | 205|0x0000000719a00000, 0x0000000719c00000, 0x0000000719c00000|100%| S|CS|TAMS 0x0000000719a00000, 0x0000000719a00000| Complete | 206|0x0000000719c00000, 0x0000000719c00000, 0x0000000719e00000| 0%| F| |TAMS 0x0000000719c00000, 0x0000000719c00000| Untracked | 207|0x0000000719e00000, 0x000000071a000000, 0x000000071a000000|100%| S|CS|TAMS 0x0000000719e00000, 0x0000000719e00000| Complete | 208|0x000000071a000000, 0x000000071a200000, 0x000000071a200000|100%| S|CS|TAMS 0x000000071a000000, 0x000000071a000000| Complete | 209|0x000000071a200000, 0x000000071a200000, 0x000000071a400000| 0%| F| |TAMS 0x000000071a200000, 0x000000071a200000| Untracked | 210|0x000000071a400000, 0x000000071a400000, 0x000000071a600000| 0%| F| |TAMS 0x000000071a400000, 0x000000071a400000| Untracked | 211|0x000000071a600000, 0x000000071a600000, 0x000000071a800000| 0%| F| |TAMS 0x000000071a600000, 0x000000071a600000| Untracked | 212|0x000000071a800000, 0x000000071a800000, 0x000000071aa00000| 0%| F| |TAMS 0x000000071a800000, 0x000000071a800000| Untracked | 213|0x000000071aa00000, 0x000000071aa00000, 0x000000071ac00000| 0%| F| |TAMS 0x000000071aa00000, 0x000000071aa00000| Untracked | 214|0x000000071ac00000, 0x000000071ac00000, 0x000000071ae00000| 0%| F| |TAMS 0x000000071ac00000, 0x000000071ac00000| Untracked | 215|0x000000071ae00000, 0x000000071ae00000, 0x000000071b000000| 0%| F| |TAMS 0x000000071ae00000, 0x000000071ae00000| Untracked | 216|0x000000071b000000, 0x000000071b000000, 0x000000071b200000| 0%| F| |TAMS 0x000000071b000000, 0x000000071b000000| Untracked | 217|0x000000071b200000, 0x000000071b200000, 0x000000071b400000| 0%| F| |TAMS 0x000000071b200000, 0x000000071b200000| Untracked | 218|0x000000071b400000, 0x000000071b400000, 0x000000071b600000| 0%| F| |TAMS 0x000000071b400000, 0x000000071b400000| Untracked | 219|0x000000071b600000, 0x000000071b600000, 0x000000071b800000| 0%| F| |TAMS 0x000000071b600000, 0x000000071b600000| Untracked | 220|0x000000071b800000, 0x000000071b800000, 0x000000071ba00000| 0%| F| |TAMS 0x000000071b800000, 0x000000071b800000| Untracked | 221|0x000000071ba00000, 0x000000071ba00000, 0x000000071bc00000| 0%| F| |TAMS 0x000000071ba00000, 0x000000071ba00000| Untracked | 222|0x000000071bc00000, 0x000000071bc00000, 0x000000071be00000| 0%| F| |TAMS 0x000000071bc00000, 0x000000071bc00000| Untracked | 223|0x000000071be00000, 0x000000071be00000, 0x000000071c000000| 0%| F| |TAMS 0x000000071be00000, 0x000000071be00000| Untracked | 224|0x000000071c000000, 0x000000071c000000, 0x000000071c200000| 0%| F| |TAMS 0x000000071c000000, 0x000000071c000000| Untracked | 225|0x000000071c200000, 0x000000071c200000, 0x000000071c400000| 0%| F| |TAMS 0x000000071c200000, 0x000000071c200000| Untracked | 226|0x000000071c400000, 0x000000071c400000, 0x000000071c600000| 0%| F| |TAMS 0x000000071c400000, 0x000000071c400000| Untracked | 227|0x000000071c600000, 0x000000071c600000, 0x000000071c800000| 0%| F| |TAMS 0x000000071c600000, 0x000000071c600000| Untracked | 228|0x000000071c800000, 0x000000071c800000, 0x000000071ca00000| 0%| F| |TAMS 0x000000071c800000, 0x000000071c800000| Untracked | 229|0x000000071ca00000, 0x000000071ca00000, 0x000000071cc00000| 0%| F| |TAMS 0x000000071ca00000, 0x000000071ca00000| Untracked | 230|0x000000071cc00000, 0x000000071cc00000, 0x000000071ce00000| 0%| F| |TAMS 0x000000071cc00000, 0x000000071cc00000| Untracked | 231|0x000000071ce00000, 0x000000071ce00000, 0x000000071d000000| 0%| F| |TAMS 0x000000071ce00000, 0x000000071ce00000| Untracked | 232|0x000000071d000000, 0x000000071d000000, 0x000000071d200000| 0%| F| |TAMS 0x000000071d000000, 0x000000071d000000| Untracked | 233|0x000000071d200000, 0x000000071d200000, 0x000000071d400000| 0%| F| |TAMS 0x000000071d200000, 0x000000071d200000| Untracked | 234|0x000000071d400000, 0x000000071d400000, 0x000000071d600000| 0%| F| |TAMS 0x000000071d400000, 0x000000071d400000| Untracked | 235|0x000000071d600000, 0x000000071d600000, 0x000000071d800000| 0%| F| |TAMS 0x000000071d600000, 0x000000071d600000| Untracked | 236|0x000000071d800000, 0x000000071d800000, 0x000000071da00000| 0%| F| |TAMS 0x000000071d800000, 0x000000071d800000| Untracked | 237|0x000000071da00000, 0x000000071da00000, 0x000000071dc00000| 0%| F| |TAMS 0x000000071da00000, 0x000000071da00000| Untracked | 238|0x000000071dc00000, 0x000000071dc00000, 0x000000071de00000| 0%| F| |TAMS 0x000000071dc00000, 0x000000071dc00000| Untracked | 239|0x000000071de00000, 0x000000071de00000, 0x000000071e000000| 0%| F| |TAMS 0x000000071de00000, 0x000000071de00000| Untracked | 240|0x000000071e000000, 0x000000071e000000, 0x000000071e200000| 0%| F| |TAMS 0x000000071e000000, 0x000000071e000000| Untracked | 241|0x000000071e200000, 0x000000071e200000, 0x000000071e400000| 0%| F| |TAMS 0x000000071e200000, 0x000000071e200000| Untracked | 242|0x000000071e400000, 0x000000071e400000, 0x000000071e600000| 0%| F| |TAMS 0x000000071e400000, 0x000000071e400000| Untracked | 243|0x000000071e600000, 0x000000071e800000, 0x000000071e800000|100%| E| |TAMS 0x000000071e600000, 0x000000071e600000| Complete | 244|0x000000071e800000, 0x000000071ea00000, 0x000000071ea00000|100%| E|CS|TAMS 0x000000071e800000, 0x000000071e800000| Complete | 245|0x000000071ea00000, 0x000000071ec00000, 0x000000071ec00000|100%| E|CS|TAMS 0x000000071ea00000, 0x000000071ea00000| Complete | 246|0x000000071ec00000, 0x000000071ee00000, 0x000000071ee00000|100%| E|CS|TAMS 0x000000071ec00000, 0x000000071ec00000| Complete | 247|0x000000071ee00000, 0x000000071f000000, 0x000000071f000000|100%| E|CS|TAMS 0x000000071ee00000, 0x000000071ee00000| Complete | 248|0x000000071f000000, 0x000000071f200000, 0x000000071f200000|100%| E|CS|TAMS 0x000000071f000000, 0x000000071f000000| Complete | 249|0x000000071f200000, 0x000000071f400000, 0x000000071f400000|100%| E|CS|TAMS 0x000000071f200000, 0x000000071f200000| Complete | 250|0x000000071f400000, 0x000000071f600000, 0x000000071f600000|100%| E|CS|TAMS 0x000000071f400000, 0x000000071f400000| Complete | 251|0x000000071f600000, 0x000000071f800000, 0x000000071f800000|100%| E|CS|TAMS 0x000000071f600000, 0x000000071f600000| Complete | 252|0x000000071f800000, 0x000000071fa00000, 0x000000071fa00000|100%| E|CS|TAMS 0x000000071f800000, 0x000000071f800000| Complete | 253|0x000000071fa00000, 0x000000071fc00000, 0x000000071fc00000|100%| E|CS|TAMS 0x000000071fa00000, 0x000000071fa00000| Complete | 254|0x000000071fc00000, 0x000000071fe00000, 0x000000071fe00000|100%| E|CS|TAMS 0x000000071fc00000, 0x000000071fc00000| Complete | 255|0x000000071fe00000, 0x0000000720000000, 0x0000000720000000|100%| E|CS|TAMS 0x000000071fe00000, 0x000000071fe00000| Complete | 256|0x0000000720000000, 0x0000000720200000, 0x0000000720200000|100%| E|CS|TAMS 0x0000000720000000, 0x0000000720000000| Complete | 257|0x0000000720200000, 0x0000000720400000, 0x0000000720400000|100%| E| |TAMS 0x0000000720200000, 0x0000000720200000| Complete | 258|0x0000000720400000, 0x0000000720600000, 0x0000000720600000|100%| E|CS|TAMS 0x0000000720400000, 0x0000000720400000| Complete | 259|0x0000000720600000, 0x0000000720800000, 0x0000000720800000|100%| E|CS|TAMS 0x0000000720600000, 0x0000000720600000| Complete | 260|0x0000000720800000, 0x0000000720a00000, 0x0000000720a00000|100%| E|CS|TAMS 0x0000000720800000, 0x0000000720800000| Complete | 261|0x0000000720a00000, 0x0000000720c00000, 0x0000000720c00000|100%| E|CS|TAMS 0x0000000720a00000, 0x0000000720a00000| Complete | 262|0x0000000720c00000, 0x0000000720e00000, 0x0000000720e00000|100%| E|CS|TAMS 0x0000000720c00000, 0x0000000720c00000| Complete | 263|0x0000000720e00000, 0x0000000721000000, 0x0000000721000000|100%| E|CS|TAMS 0x0000000720e00000, 0x0000000720e00000| Complete | 264|0x0000000721000000, 0x0000000721200000, 0x0000000721200000|100%| E|CS|TAMS 0x0000000721000000, 0x0000000721000000| Complete | 265|0x0000000721200000, 0x0000000721400000, 0x0000000721400000|100%| E|CS|TAMS 0x0000000721200000, 0x0000000721200000| Complete | 266|0x0000000721400000, 0x0000000721600000, 0x0000000721600000|100%| E|CS|TAMS 0x0000000721400000, 0x0000000721400000| Complete | 267|0x0000000721600000, 0x0000000721800000, 0x0000000721800000|100%| E|CS|TAMS 0x0000000721600000, 0x0000000721600000| Complete | 268|0x0000000721800000, 0x0000000721a00000, 0x0000000721a00000|100%| E|CS|TAMS 0x0000000721800000, 0x0000000721800000| Complete | 269|0x0000000721a00000, 0x0000000721c00000, 0x0000000721c00000|100%| E|CS|TAMS 0x0000000721a00000, 0x0000000721a00000| Complete | 270|0x0000000721c00000, 0x0000000721e00000, 0x0000000721e00000|100%| E|CS|TAMS 0x0000000721c00000, 0x0000000721c00000| Complete | 271|0x0000000721e00000, 0x0000000722000000, 0x0000000722000000|100%| E|CS|TAMS 0x0000000721e00000, 0x0000000721e00000| Complete | 272|0x0000000722000000, 0x0000000722200000, 0x0000000722200000|100%| E|CS|TAMS 0x0000000722000000, 0x0000000722000000| Complete | 273|0x0000000722200000, 0x0000000722400000, 0x0000000722400000|100%| E|CS|TAMS 0x0000000722200000, 0x0000000722200000| Complete | 274|0x0000000722400000, 0x0000000722600000, 0x0000000722600000|100%| E|CS|TAMS 0x0000000722400000, 0x0000000722400000| Complete | 275|0x0000000722600000, 0x0000000722800000, 0x0000000722800000|100%| E|CS|TAMS 0x0000000722600000, 0x0000000722600000| Complete | 276|0x0000000722800000, 0x0000000722a00000, 0x0000000722a00000|100%| E|CS|TAMS 0x0000000722800000, 0x0000000722800000| Complete | 277|0x0000000722a00000, 0x0000000722c00000, 0x0000000722c00000|100%| E|CS|TAMS 0x0000000722a00000, 0x0000000722a00000| Complete | 278|0x0000000722c00000, 0x0000000722e00000, 0x0000000722e00000|100%| E|CS|TAMS 0x0000000722c00000, 0x0000000722c00000| Complete | 279|0x0000000722e00000, 0x0000000723000000, 0x0000000723000000|100%| E|CS|TAMS 0x0000000722e00000, 0x0000000722e00000| Complete | 280|0x0000000723000000, 0x0000000723200000, 0x0000000723200000|100%| E|CS|TAMS 0x0000000723000000, 0x0000000723000000| Complete | 281|0x0000000723200000, 0x0000000723400000, 0x0000000723400000|100%| E|CS|TAMS 0x0000000723200000, 0x0000000723200000| Complete | 282|0x0000000723400000, 0x0000000723600000, 0x0000000723600000|100%| E|CS|TAMS 0x0000000723400000, 0x0000000723400000| Complete | 283|0x0000000723600000, 0x0000000723800000, 0x0000000723800000|100%| E|CS|TAMS 0x0000000723600000, 0x0000000723600000| Complete | 284|0x0000000723800000, 0x0000000723a00000, 0x0000000723a00000|100%| E|CS|TAMS 0x0000000723800000, 0x0000000723800000| Complete | 285|0x0000000723a00000, 0x0000000723c00000, 0x0000000723c00000|100%| E|CS|TAMS 0x0000000723a00000, 0x0000000723a00000| Complete | 286|0x0000000723c00000, 0x0000000723e00000, 0x0000000723e00000|100%| E|CS|TAMS 0x0000000723c00000, 0x0000000723c00000| Complete | 287|0x0000000723e00000, 0x0000000724000000, 0x0000000724000000|100%| E|CS|TAMS 0x0000000723e00000, 0x0000000723e00000| Complete | 288|0x0000000724000000, 0x0000000724200000, 0x0000000724200000|100%| E|CS|TAMS 0x0000000724000000, 0x0000000724000000| Complete | 289|0x0000000724200000, 0x0000000724400000, 0x0000000724400000|100%| E|CS|TAMS 0x0000000724200000, 0x0000000724200000| Complete | 290|0x0000000724400000, 0x0000000724600000, 0x0000000724600000|100%| E|CS|TAMS 0x0000000724400000, 0x0000000724400000| Complete | 291|0x0000000724600000, 0x0000000724800000, 0x0000000724800000|100%| E|CS|TAMS 0x0000000724600000, 0x0000000724600000| Complete | 292|0x0000000724800000, 0x0000000724a00000, 0x0000000724a00000|100%| E|CS|TAMS 0x0000000724800000, 0x0000000724800000| Complete | 293|0x0000000724a00000, 0x0000000724c00000, 0x0000000724c00000|100%| E|CS|TAMS 0x0000000724a00000, 0x0000000724a00000| Complete | 294|0x0000000724c00000, 0x0000000724e00000, 0x0000000724e00000|100%| E|CS|TAMS 0x0000000724c00000, 0x0000000724c00000| Complete | 295|0x0000000724e00000, 0x0000000725000000, 0x0000000725000000|100%| E|CS|TAMS 0x0000000724e00000, 0x0000000724e00000| Complete | 296|0x0000000725000000, 0x0000000725200000, 0x0000000725200000|100%| E|CS|TAMS 0x0000000725000000, 0x0000000725000000| Complete | 297|0x0000000725200000, 0x0000000725400000, 0x0000000725400000|100%| E|CS|TAMS 0x0000000725200000, 0x0000000725200000| Complete | 298|0x0000000725400000, 0x0000000725600000, 0x0000000725600000|100%| E|CS|TAMS 0x0000000725400000, 0x0000000725400000| Complete | 299|0x0000000725600000, 0x0000000725800000, 0x0000000725800000|100%| E|CS|TAMS 0x0000000725600000, 0x0000000725600000| Complete | 300|0x0000000725800000, 0x0000000725a00000, 0x0000000725a00000|100%| E|CS|TAMS 0x0000000725800000, 0x0000000725800000| Complete | 301|0x0000000725a00000, 0x0000000725c00000, 0x0000000725c00000|100%| E|CS|TAMS 0x0000000725a00000, 0x0000000725a00000| Complete | 302|0x0000000725c00000, 0x0000000725e00000, 0x0000000725e00000|100%| E|CS|TAMS 0x0000000725c00000, 0x0000000725c00000| Complete | 303|0x0000000725e00000, 0x0000000726000000, 0x0000000726000000|100%| E|CS|TAMS 0x0000000725e00000, 0x0000000725e00000| Complete | 304|0x0000000726000000, 0x0000000726200000, 0x0000000726200000|100%| E|CS|TAMS 0x0000000726000000, 0x0000000726000000| Complete | 305|0x0000000726200000, 0x0000000726400000, 0x0000000726400000|100%| E|CS|TAMS 0x0000000726200000, 0x0000000726200000| Complete | 306|0x0000000726400000, 0x0000000726600000, 0x0000000726600000|100%| E|CS|TAMS 0x0000000726400000, 0x0000000726400000| Complete | 307|0x0000000726600000, 0x0000000726800000, 0x0000000726800000|100%| E|CS|TAMS 0x0000000726600000, 0x0000000726600000| Complete | 308|0x0000000726800000, 0x0000000726a00000, 0x0000000726a00000|100%| E|CS|TAMS 0x0000000726800000, 0x0000000726800000| Complete | 309|0x0000000726a00000, 0x0000000726c00000, 0x0000000726c00000|100%| E|CS|TAMS 0x0000000726a00000, 0x0000000726a00000| Complete | 310|0x0000000726c00000, 0x0000000726e00000, 0x0000000726e00000|100%| E|CS|TAMS 0x0000000726c00000, 0x0000000726c00000| Complete | 311|0x0000000726e00000, 0x0000000727000000, 0x0000000727000000|100%| E|CS|TAMS 0x0000000726e00000, 0x0000000726e00000| Complete | 312|0x0000000727000000, 0x0000000727200000, 0x0000000727200000|100%| E|CS|TAMS 0x0000000727000000, 0x0000000727000000| Complete | 313|0x0000000727200000, 0x0000000727400000, 0x0000000727400000|100%| E|CS|TAMS 0x0000000727200000, 0x0000000727200000| Complete | 314|0x0000000727400000, 0x0000000727600000, 0x0000000727600000|100%| E|CS|TAMS 0x0000000727400000, 0x0000000727400000| Complete | 315|0x0000000727600000, 0x0000000727800000, 0x0000000727800000|100%| E|CS|TAMS 0x0000000727600000, 0x0000000727600000| Complete | 316|0x0000000727800000, 0x0000000727a00000, 0x0000000727a00000|100%| E|CS|TAMS 0x0000000727800000, 0x0000000727800000| Complete | 317|0x0000000727a00000, 0x0000000727c00000, 0x0000000727c00000|100%| E|CS|TAMS 0x0000000727a00000, 0x0000000727a00000| Complete | 318|0x0000000727c00000, 0x0000000727e00000, 0x0000000727e00000|100%| E|CS|TAMS 0x0000000727c00000, 0x0000000727c00000| Complete | 319|0x0000000727e00000, 0x0000000728000000, 0x0000000728000000|100%| E|CS|TAMS 0x0000000727e00000, 0x0000000727e00000| Complete | 320|0x0000000728000000, 0x0000000728200000, 0x0000000728200000|100%| E|CS|TAMS 0x0000000728000000, 0x0000000728000000| Complete | 321|0x0000000728200000, 0x0000000728400000, 0x0000000728400000|100%| E|CS|TAMS 0x0000000728200000, 0x0000000728200000| Complete | 322|0x0000000728400000, 0x0000000728600000, 0x0000000728600000|100%| E|CS|TAMS 0x0000000728400000, 0x0000000728400000| Complete | 323|0x0000000728600000, 0x0000000728800000, 0x0000000728800000|100%| E|CS|TAMS 0x0000000728600000, 0x0000000728600000| Complete | 324|0x0000000728800000, 0x0000000728a00000, 0x0000000728a00000|100%| E|CS|TAMS 0x0000000728800000, 0x0000000728800000| Complete | 325|0x0000000728a00000, 0x0000000728c00000, 0x0000000728c00000|100%| E|CS|TAMS 0x0000000728a00000, 0x0000000728a00000| Complete | 326|0x0000000728c00000, 0x0000000728e00000, 0x0000000728e00000|100%| E|CS|TAMS 0x0000000728c00000, 0x0000000728c00000| Complete | 327|0x0000000728e00000, 0x0000000729000000, 0x0000000729000000|100%| E|CS|TAMS 0x0000000728e00000, 0x0000000728e00000| Complete | 328|0x0000000729000000, 0x0000000729200000, 0x0000000729200000|100%| E|CS|TAMS 0x0000000729000000, 0x0000000729000000| Complete | 329|0x0000000729200000, 0x0000000729400000, 0x0000000729400000|100%| E|CS|TAMS 0x0000000729200000, 0x0000000729200000| Complete | 330|0x0000000729400000, 0x0000000729600000, 0x0000000729600000|100%| E|CS|TAMS 0x0000000729400000, 0x0000000729400000| Complete | 331|0x0000000729600000, 0x0000000729800000, 0x0000000729800000|100%| E|CS|TAMS 0x0000000729600000, 0x0000000729600000| Complete | 332|0x0000000729800000, 0x0000000729a00000, 0x0000000729a00000|100%| E|CS|TAMS 0x0000000729800000, 0x0000000729800000| Complete | 333|0x0000000729a00000, 0x0000000729c00000, 0x0000000729c00000|100%| E|CS|TAMS 0x0000000729a00000, 0x0000000729a00000| Complete | 334|0x0000000729c00000, 0x0000000729e00000, 0x0000000729e00000|100%| E|CS|TAMS 0x0000000729c00000, 0x0000000729c00000| Complete | 335|0x0000000729e00000, 0x000000072a000000, 0x000000072a000000|100%| E|CS|TAMS 0x0000000729e00000, 0x0000000729e00000| Complete | 336|0x000000072a000000, 0x000000072a200000, 0x000000072a200000|100%| E|CS|TAMS 0x000000072a000000, 0x000000072a000000| Complete | 337|0x000000072a200000, 0x000000072a400000, 0x000000072a400000|100%| E|CS|TAMS 0x000000072a200000, 0x000000072a200000| Complete | 338|0x000000072a400000, 0x000000072a600000, 0x000000072a600000|100%| E|CS|TAMS 0x000000072a400000, 0x000000072a400000| Complete | 339|0x000000072a600000, 0x000000072a800000, 0x000000072a800000|100%| E|CS|TAMS 0x000000072a600000, 0x000000072a600000| Complete | 340|0x000000072a800000, 0x000000072aa00000, 0x000000072aa00000|100%| E|CS|TAMS 0x000000072a800000, 0x000000072a800000| Complete | 341|0x000000072aa00000, 0x000000072ac00000, 0x000000072ac00000|100%| E|CS|TAMS 0x000000072aa00000, 0x000000072aa00000| Complete | 342|0x000000072ac00000, 0x000000072ae00000, 0x000000072ae00000|100%| E|CS|TAMS 0x000000072ac00000, 0x000000072ac00000| Complete | 343|0x000000072ae00000, 0x000000072b000000, 0x000000072b000000|100%| E|CS|TAMS 0x000000072ae00000, 0x000000072ae00000| Complete | 344|0x000000072b000000, 0x000000072b200000, 0x000000072b200000|100%| E|CS|TAMS 0x000000072b000000, 0x000000072b000000| Complete | 345|0x000000072b200000, 0x000000072b400000, 0x000000072b400000|100%| E|CS|TAMS 0x000000072b200000, 0x000000072b200000| Complete | 346|0x000000072b400000, 0x000000072b600000, 0x000000072b600000|100%| E|CS|TAMS 0x000000072b400000, 0x000000072b400000| Complete | 347|0x000000072b600000, 0x000000072b800000, 0x000000072b800000|100%| E|CS|TAMS 0x000000072b600000, 0x000000072b600000| Complete | 348|0x000000072b800000, 0x000000072ba00000, 0x000000072ba00000|100%| E|CS|TAMS 0x000000072b800000, 0x000000072b800000| Complete | 349|0x000000072ba00000, 0x000000072bc00000, 0x000000072bc00000|100%| E|CS|TAMS 0x000000072ba00000, 0x000000072ba00000| Complete | 350|0x000000072bc00000, 0x000000072be00000, 0x000000072be00000|100%| E|CS|TAMS 0x000000072bc00000, 0x000000072bc00000| Complete | 351|0x000000072be00000, 0x000000072c000000, 0x000000072c000000|100%| E|CS|TAMS 0x000000072be00000, 0x000000072be00000| Complete | 352|0x000000072c000000, 0x000000072c200000, 0x000000072c200000|100%| E|CS|TAMS 0x000000072c000000, 0x000000072c000000| Complete | 353|0x000000072c200000, 0x000000072c400000, 0x000000072c400000|100%| E|CS|TAMS 0x000000072c200000, 0x000000072c200000| Complete | 354|0x000000072c400000, 0x000000072c600000, 0x000000072c600000|100%| E|CS|TAMS 0x000000072c400000, 0x000000072c400000| Complete | 355|0x000000072c600000, 0x000000072c800000, 0x000000072c800000|100%| E|CS|TAMS 0x000000072c600000, 0x000000072c600000| Complete | 356|0x000000072c800000, 0x000000072ca00000, 0x000000072ca00000|100%| E|CS|TAMS 0x000000072c800000, 0x000000072c800000| Complete | 357|0x000000072ca00000, 0x000000072cc00000, 0x000000072cc00000|100%| E|CS|TAMS 0x000000072ca00000, 0x000000072ca00000| Complete | 358|0x000000072cc00000, 0x000000072ce00000, 0x000000072ce00000|100%| E|CS|TAMS 0x000000072cc00000, 0x000000072cc00000| Complete | 359|0x000000072ce00000, 0x000000072d000000, 0x000000072d000000|100%| E|CS|TAMS 0x000000072ce00000, 0x000000072ce00000| Complete | 360|0x000000072d000000, 0x000000072d200000, 0x000000072d200000|100%| E|CS|TAMS 0x000000072d000000, 0x000000072d000000| Complete | 361|0x000000072d200000, 0x000000072d400000, 0x000000072d400000|100%| E|CS|TAMS 0x000000072d200000, 0x000000072d200000| Complete | 362|0x000000072d400000, 0x000000072d600000, 0x000000072d600000|100%| E|CS|TAMS 0x000000072d400000, 0x000000072d400000| Complete | 363|0x000000072d600000, 0x000000072d800000, 0x000000072d800000|100%| E|CS|TAMS 0x000000072d600000, 0x000000072d600000| Complete | 364|0x000000072d800000, 0x000000072da00000, 0x000000072da00000|100%| E|CS|TAMS 0x000000072d800000, 0x000000072d800000| Complete | 365|0x000000072da00000, 0x000000072dc00000, 0x000000072dc00000|100%| E|CS|TAMS 0x000000072da00000, 0x000000072da00000| Complete | 366|0x000000072dc00000, 0x000000072de00000, 0x000000072de00000|100%| E|CS|TAMS 0x000000072dc00000, 0x000000072dc00000| Complete | 367|0x000000072de00000, 0x000000072e000000, 0x000000072e000000|100%| E|CS|TAMS 0x000000072de00000, 0x000000072de00000| Complete | 368|0x000000072e000000, 0x000000072e200000, 0x000000072e200000|100%| E|CS|TAMS 0x000000072e000000, 0x000000072e000000| Complete | 369|0x000000072e200000, 0x000000072e400000, 0x000000072e400000|100%| E|CS|TAMS 0x000000072e200000, 0x000000072e200000| Complete | 370|0x000000072e400000, 0x000000072e600000, 0x000000072e600000|100%| E|CS|TAMS 0x000000072e400000, 0x000000072e400000| Complete | 371|0x000000072e600000, 0x000000072e800000, 0x000000072e800000|100%| E|CS|TAMS 0x000000072e600000, 0x000000072e600000| Complete | 372|0x000000072e800000, 0x000000072ea00000, 0x000000072ea00000|100%| E|CS|TAMS 0x000000072e800000, 0x000000072e800000| Complete | 373|0x000000072ea00000, 0x000000072ec00000, 0x000000072ec00000|100%| E|CS|TAMS 0x000000072ea00000, 0x000000072ea00000| Complete | 374|0x000000072ec00000, 0x000000072ee00000, 0x000000072ee00000|100%| E|CS|TAMS 0x000000072ec00000, 0x000000072ec00000| Complete | 375|0x000000072ee00000, 0x000000072f000000, 0x000000072f000000|100%| E|CS|TAMS 0x000000072ee00000, 0x000000072ee00000| Complete | 376|0x000000072f000000, 0x000000072f200000, 0x000000072f200000|100%| E|CS|TAMS 0x000000072f000000, 0x000000072f000000| Complete | 377|0x000000072f200000, 0x000000072f400000, 0x000000072f400000|100%| E|CS|TAMS 0x000000072f200000, 0x000000072f200000| Complete | 378|0x000000072f400000, 0x000000072f600000, 0x000000072f600000|100%| E|CS|TAMS 0x000000072f400000, 0x000000072f400000| Complete | 379|0x000000072f600000, 0x000000072f800000, 0x000000072f800000|100%| E|CS|TAMS 0x000000072f600000, 0x000000072f600000| Complete | 380|0x000000072f800000, 0x000000072fa00000, 0x000000072fa00000|100%| E|CS|TAMS 0x000000072f800000, 0x000000072f800000| Complete | 381|0x000000072fa00000, 0x000000072fc00000, 0x000000072fc00000|100%| E|CS|TAMS 0x000000072fa00000, 0x000000072fa00000| Complete | 382|0x000000072fc00000, 0x000000072fe00000, 0x000000072fe00000|100%| E|CS|TAMS 0x000000072fc00000, 0x000000072fc00000| Complete | 383|0x000000072fe00000, 0x0000000730000000, 0x0000000730000000|100%| E|CS|TAMS 0x000000072fe00000, 0x000000072fe00000| Complete | 384|0x0000000730000000, 0x0000000730200000, 0x0000000730200000|100%| E|CS|TAMS 0x0000000730000000, 0x0000000730000000| Complete | 385|0x0000000730200000, 0x0000000730400000, 0x0000000730400000|100%| E|CS|TAMS 0x0000000730200000, 0x0000000730200000| Complete | 386|0x0000000730400000, 0x0000000730600000, 0x0000000730600000|100%| E|CS|TAMS 0x0000000730400000, 0x0000000730400000| Complete | 387|0x0000000730600000, 0x0000000730800000, 0x0000000730800000|100%| E|CS|TAMS 0x0000000730600000, 0x0000000730600000| Complete | 388|0x0000000730800000, 0x0000000730a00000, 0x0000000730a00000|100%| E|CS|TAMS 0x0000000730800000, 0x0000000730800000| Complete | 389|0x0000000730a00000, 0x0000000730c00000, 0x0000000730c00000|100%| E|CS|TAMS 0x0000000730a00000, 0x0000000730a00000| Complete | 390|0x0000000730c00000, 0x0000000730e00000, 0x0000000730e00000|100%| E|CS|TAMS 0x0000000730c00000, 0x0000000730c00000| Complete | 391|0x0000000730e00000, 0x0000000731000000, 0x0000000731000000|100%| E|CS|TAMS 0x0000000730e00000, 0x0000000730e00000| Complete | 392|0x0000000731000000, 0x0000000731200000, 0x0000000731200000|100%| E|CS|TAMS 0x0000000731000000, 0x0000000731000000| Complete | 393|0x0000000731200000, 0x0000000731400000, 0x0000000731400000|100%| E|CS|TAMS 0x0000000731200000, 0x0000000731200000| Complete | 394|0x0000000731400000, 0x0000000731600000, 0x0000000731600000|100%| E|CS|TAMS 0x0000000731400000, 0x0000000731400000| Complete | 395|0x0000000731600000, 0x0000000731800000, 0x0000000731800000|100%| E|CS|TAMS 0x0000000731600000, 0x0000000731600000| Complete | 396|0x0000000731800000, 0x0000000731a00000, 0x0000000731a00000|100%| E|CS|TAMS 0x0000000731800000, 0x0000000731800000| Complete | 397|0x0000000731a00000, 0x0000000731c00000, 0x0000000731c00000|100%| E|CS|TAMS 0x0000000731a00000, 0x0000000731a00000| Complete | 398|0x0000000731c00000, 0x0000000731e00000, 0x0000000731e00000|100%| E|CS|TAMS 0x0000000731c00000, 0x0000000731c00000| Complete | 399|0x0000000731e00000, 0x0000000732000000, 0x0000000732000000|100%| E|CS|TAMS 0x0000000731e00000, 0x0000000731e00000| Complete | 400|0x0000000732000000, 0x0000000732200000, 0x0000000732200000|100%| E|CS|TAMS 0x0000000732000000, 0x0000000732000000| Complete | 401|0x0000000732200000, 0x0000000732400000, 0x0000000732400000|100%| E|CS|TAMS 0x0000000732200000, 0x0000000732200000| Complete | 402|0x0000000732400000, 0x0000000732600000, 0x0000000732600000|100%| E|CS|TAMS 0x0000000732400000, 0x0000000732400000| Complete | 403|0x0000000732600000, 0x0000000732800000, 0x0000000732800000|100%| E|CS|TAMS 0x0000000732600000, 0x0000000732600000| Complete | 404|0x0000000732800000, 0x0000000732a00000, 0x0000000732a00000|100%| E|CS|TAMS 0x0000000732800000, 0x0000000732800000| Complete | 405|0x0000000732a00000, 0x0000000732c00000, 0x0000000732c00000|100%| E|CS|TAMS 0x0000000732a00000, 0x0000000732a00000| Complete | 406|0x0000000732c00000, 0x0000000732e00000, 0x0000000732e00000|100%| E|CS|TAMS 0x0000000732c00000, 0x0000000732c00000| Complete | 407|0x0000000732e00000, 0x0000000733000000, 0x0000000733000000|100%| E|CS|TAMS 0x0000000732e00000, 0x0000000732e00000| Complete | 408|0x0000000733000000, 0x0000000733200000, 0x0000000733200000|100%| E|CS|TAMS 0x0000000733000000, 0x0000000733000000| Complete | 409|0x0000000733200000, 0x0000000733400000, 0x0000000733400000|100%| E|CS|TAMS 0x0000000733200000, 0x0000000733200000| Complete | 410|0x0000000733400000, 0x0000000733600000, 0x0000000733600000|100%| E|CS|TAMS 0x0000000733400000, 0x0000000733400000| Complete | 411|0x0000000733600000, 0x0000000733800000, 0x0000000733800000|100%| E|CS|TAMS 0x0000000733600000, 0x0000000733600000| Complete | 412|0x0000000733800000, 0x0000000733a00000, 0x0000000733a00000|100%| E|CS|TAMS 0x0000000733800000, 0x0000000733800000| Complete | 413|0x0000000733a00000, 0x0000000733c00000, 0x0000000733c00000|100%| E|CS|TAMS 0x0000000733a00000, 0x0000000733a00000| Complete | 414|0x0000000733c00000, 0x0000000733e00000, 0x0000000733e00000|100%| E|CS|TAMS 0x0000000733c00000, 0x0000000733c00000| Complete | 415|0x0000000733e00000, 0x0000000734000000, 0x0000000734000000|100%| E|CS|TAMS 0x0000000733e00000, 0x0000000733e00000| Complete | 416|0x0000000734000000, 0x0000000734200000, 0x0000000734200000|100%| E|CS|TAMS 0x0000000734000000, 0x0000000734000000| Complete | 417|0x0000000734200000, 0x0000000734400000, 0x0000000734400000|100%| E|CS|TAMS 0x0000000734200000, 0x0000000734200000| Complete | 418|0x0000000734400000, 0x0000000734600000, 0x0000000734600000|100%| E|CS|TAMS 0x0000000734400000, 0x0000000734400000| Complete | 419|0x0000000734600000, 0x0000000734800000, 0x0000000734800000|100%| E|CS|TAMS 0x0000000734600000, 0x0000000734600000| Complete | 420|0x0000000734800000, 0x0000000734a00000, 0x0000000734a00000|100%| E|CS|TAMS 0x0000000734800000, 0x0000000734800000| Complete | 421|0x0000000734a00000, 0x0000000734c00000, 0x0000000734c00000|100%| E|CS|TAMS 0x0000000734a00000, 0x0000000734a00000| Complete | 422|0x0000000734c00000, 0x0000000734e00000, 0x0000000734e00000|100%| E|CS|TAMS 0x0000000734c00000, 0x0000000734c00000| Complete | 423|0x0000000734e00000, 0x0000000735000000, 0x0000000735000000|100%| E|CS|TAMS 0x0000000734e00000, 0x0000000734e00000| Complete | 424|0x0000000735000000, 0x0000000735200000, 0x0000000735200000|100%| E|CS|TAMS 0x0000000735000000, 0x0000000735000000| Complete | 425|0x0000000735200000, 0x0000000735400000, 0x0000000735400000|100%| E|CS|TAMS 0x0000000735200000, 0x0000000735200000| Complete | 426|0x0000000735400000, 0x0000000735600000, 0x0000000735600000|100%| E|CS|TAMS 0x0000000735400000, 0x0000000735400000| Complete | 427|0x0000000735600000, 0x0000000735800000, 0x0000000735800000|100%| E|CS|TAMS 0x0000000735600000, 0x0000000735600000| Complete | 428|0x0000000735800000, 0x0000000735a00000, 0x0000000735a00000|100%| E|CS|TAMS 0x0000000735800000, 0x0000000735800000| Complete | 429|0x0000000735a00000, 0x0000000735c00000, 0x0000000735c00000|100%| E|CS|TAMS 0x0000000735a00000, 0x0000000735a00000| Complete | 430|0x0000000735c00000, 0x0000000735e00000, 0x0000000735e00000|100%| E|CS|TAMS 0x0000000735c00000, 0x0000000735c00000| Complete | 431|0x0000000735e00000, 0x0000000736000000, 0x0000000736000000|100%| E|CS|TAMS 0x0000000735e00000, 0x0000000735e00000| Complete | 432|0x0000000736000000, 0x0000000736200000, 0x0000000736200000|100%| E|CS|TAMS 0x0000000736000000, 0x0000000736000000| Complete | 433|0x0000000736200000, 0x0000000736400000, 0x0000000736400000|100%| E|CS|TAMS 0x0000000736200000, 0x0000000736200000| Complete | 434|0x0000000736400000, 0x0000000736600000, 0x0000000736600000|100%| E|CS|TAMS 0x0000000736400000, 0x0000000736400000| Complete | 435|0x0000000736600000, 0x0000000736800000, 0x0000000736800000|100%| E|CS|TAMS 0x0000000736600000, 0x0000000736600000| Complete | 436|0x0000000736800000, 0x0000000736a00000, 0x0000000736a00000|100%| E|CS|TAMS 0x0000000736800000, 0x0000000736800000| Complete | 437|0x0000000736a00000, 0x0000000736c00000, 0x0000000736c00000|100%| E|CS|TAMS 0x0000000736a00000, 0x0000000736a00000| Complete | 438|0x0000000736c00000, 0x0000000736e00000, 0x0000000736e00000|100%| E|CS|TAMS 0x0000000736c00000, 0x0000000736c00000| Complete | 439|0x0000000736e00000, 0x0000000737000000, 0x0000000737000000|100%| E|CS|TAMS 0x0000000736e00000, 0x0000000736e00000| Complete | 440|0x0000000737000000, 0x0000000737200000, 0x0000000737200000|100%| E|CS|TAMS 0x0000000737000000, 0x0000000737000000| Complete | 441|0x0000000737200000, 0x0000000737400000, 0x0000000737400000|100%| E|CS|TAMS 0x0000000737200000, 0x0000000737200000| Complete | 442|0x0000000737400000, 0x0000000737600000, 0x0000000737600000|100%| E|CS|TAMS 0x0000000737400000, 0x0000000737400000| Complete | 443|0x0000000737600000, 0x0000000737800000, 0x0000000737800000|100%| E|CS|TAMS 0x0000000737600000, 0x0000000737600000| Complete | 444|0x0000000737800000, 0x0000000737a00000, 0x0000000737a00000|100%| E|CS|TAMS 0x0000000737800000, 0x0000000737800000| Complete | 445|0x0000000737a00000, 0x0000000737c00000, 0x0000000737c00000|100%| E|CS|TAMS 0x0000000737a00000, 0x0000000737a00000| Complete | 446|0x0000000737c00000, 0x0000000737e00000, 0x0000000737e00000|100%| E|CS|TAMS 0x0000000737c00000, 0x0000000737c00000| Complete | 447|0x0000000737e00000, 0x0000000738000000, 0x0000000738000000|100%| E|CS|TAMS 0x0000000737e00000, 0x0000000737e00000| Complete | 448|0x0000000738000000, 0x0000000738200000, 0x0000000738200000|100%| E|CS|TAMS 0x0000000738000000, 0x0000000738000000| Complete | 449|0x0000000738200000, 0x0000000738400000, 0x0000000738400000|100%| E|CS|TAMS 0x0000000738200000, 0x0000000738200000| Complete | 450|0x0000000738400000, 0x0000000738600000, 0x0000000738600000|100%| E|CS|TAMS 0x0000000738400000, 0x0000000738400000| Complete | 451|0x0000000738600000, 0x0000000738800000, 0x0000000738800000|100%| E|CS|TAMS 0x0000000738600000, 0x0000000738600000| Complete | 452|0x0000000738800000, 0x0000000738a00000, 0x0000000738a00000|100%| E|CS|TAMS 0x0000000738800000, 0x0000000738800000| Complete | 453|0x0000000738a00000, 0x0000000738c00000, 0x0000000738c00000|100%| E|CS|TAMS 0x0000000738a00000, 0x0000000738a00000| Complete | 454|0x0000000738c00000, 0x0000000738e00000, 0x0000000738e00000|100%| E|CS|TAMS 0x0000000738c00000, 0x0000000738c00000| Complete | 455|0x0000000738e00000, 0x0000000739000000, 0x0000000739000000|100%| E|CS|TAMS 0x0000000738e00000, 0x0000000738e00000| Complete | 456|0x0000000739000000, 0x0000000739200000, 0x0000000739200000|100%| E|CS|TAMS 0x0000000739000000, 0x0000000739000000| Complete | 457|0x0000000739200000, 0x0000000739400000, 0x0000000739400000|100%| E|CS|TAMS 0x0000000739200000, 0x0000000739200000| Complete | 458|0x0000000739400000, 0x0000000739600000, 0x0000000739600000|100%| E|CS|TAMS 0x0000000739400000, 0x0000000739400000| Complete | 459|0x0000000739600000, 0x0000000739800000, 0x0000000739800000|100%| E|CS|TAMS 0x0000000739600000, 0x0000000739600000| Complete | 460|0x0000000739800000, 0x0000000739a00000, 0x0000000739a00000|100%| E|CS|TAMS 0x0000000739800000, 0x0000000739800000| Complete | 461|0x0000000739a00000, 0x0000000739c00000, 0x0000000739c00000|100%| E|CS|TAMS 0x0000000739a00000, 0x0000000739a00000| Complete | 462|0x0000000739c00000, 0x0000000739e00000, 0x0000000739e00000|100%| E|CS|TAMS 0x0000000739c00000, 0x0000000739c00000| Complete | 463|0x0000000739e00000, 0x000000073a000000, 0x000000073a000000|100%| E|CS|TAMS 0x0000000739e00000, 0x0000000739e00000| Complete | 464|0x000000073a000000, 0x000000073a200000, 0x000000073a200000|100%| E|CS|TAMS 0x000000073a000000, 0x000000073a000000| Complete | 465|0x000000073a200000, 0x000000073a400000, 0x000000073a400000|100%| E|CS|TAMS 0x000000073a200000, 0x000000073a200000| Complete | 466|0x000000073a400000, 0x000000073a600000, 0x000000073a600000|100%| E|CS|TAMS 0x000000073a400000, 0x000000073a400000| Complete | 467|0x000000073a600000, 0x000000073a800000, 0x000000073a800000|100%| E|CS|TAMS 0x000000073a600000, 0x000000073a600000| Complete | 468|0x000000073a800000, 0x000000073aa00000, 0x000000073aa00000|100%| E|CS|TAMS 0x000000073a800000, 0x000000073a800000| Complete | 469|0x000000073aa00000, 0x000000073ac00000, 0x000000073ac00000|100%| E|CS|TAMS 0x000000073aa00000, 0x000000073aa00000| Complete | 470|0x000000073ac00000, 0x000000073ae00000, 0x000000073ae00000|100%| E|CS|TAMS 0x000000073ac00000, 0x000000073ac00000| Complete | 471|0x000000073ae00000, 0x000000073b000000, 0x000000073b000000|100%| E|CS|TAMS 0x000000073ae00000, 0x000000073ae00000| Complete Card table byte_map: [0x00000202dad90000,0x00000202db590000] _byte_map_base: 0x00000202d7590000 Marking Bits (Prev, Next): (CMBitMap*) 0x00000202c2053980, (CMBitMap*) 0x00000202c20539c0 Prev Bits: [0x00000202dbd90000, 0x00000202dfd90000) Next Bits: [0x00000202dfd90000, 0x00000202e3d90000) Polling page: 0x00000202c0780000 Metaspace: Usage: Non-class: 48.43 MB used. Class: 7.23 MB used. Both: 55.66 MB used. Virtual space: Non-class space: 64.00 MB reserved, 48.88 MB ( 76%) committed, 1 nodes. Class space: 1.00 GB reserved, 7.56 MB ( <1%) committed, 1 nodes. Both: 1.06 GB reserved, 56.44 MB ( 5%) committed. Chunk freelists: Non-Class: 14.97 MB Class: 8.38 MB Both: 23.35 MB MaxMetaspaceSize: unlimited CompressedClassSpaceSize: 1.00 GB Initial GC threshold: 21.00 MB Current GC threshold: 58.69 MB CDS: on MetaspaceReclaimPolicy: balanced - commit_granule_bytes: 65536. - commit_granule_words: 8192. - virtual_space_node_default_size: 8388608. - enlarge_chunks_in_place: 1. - new_chunks_are_fully_committed: 0. - uncommit_free_chunks: 1. - use_allocation_guard: 0. - handle_deallocations: 1. Internal statistics: num_allocs_failed_limit: 6. num_arena_births: 1084. num_arena_deaths: 0. num_vsnodes_births: 2. num_vsnodes_deaths: 0. num_space_committed: 903. num_space_uncommitted: 0. num_chunks_returned_to_freelist: 6. num_chunks_taken_from_freelist: 2872. num_chunk_merges: 6. num_chunk_splits: 1956. num_chunks_enlarged: 1438. num_inconsistent_stats: 0. CodeHeap 'non-profiled nmethods': size=118848Kb used=10107Kb max_used=10107Kb free=108740Kb bounds [0x00000202d1720000, 0x00000202d2100000, 0x00000202d8b30000] CodeHeap 'profiled nmethods': size=118848Kb used=22187Kb max_used=23117Kb free=96660Kb bounds [0x00000202c9b30000, 0x00000202cb1f0000, 0x00000202d0f40000] CodeHeap 'non-nmethods': size=8064Kb used=1588Kb max_used=3938Kb free=6475Kb bounds [0x00000202d0f40000, 0x00000202d1330000, 0x00000202d1720000] total_blobs=12767 nmethods=11785 adapters=892 compilation: enabled stopped_count=0, restarted_count=0 full_count=0 Compilation events (20 events): Event: 42.971 Thread 0x00000202e7b5be70 nmethod 15144 0x00000202d20fd210 code [0x00000202d20fd440, 0x00000202d20fdff8] Event: 42.983 Thread 0x00000202e7b5be70 15145 4 sun.awt.geom.CurveLink:: (73 bytes) Event: 42.984 Thread 0x00000202e7b5be70 nmethod 15145 0x00000202d20fea10 code [0x00000202d20feba0, 0x00000202d20fee38] Event: 42.984 Thread 0x00000202e7ba4d30 15146 3 scala.swing.Label$$anon$1::paint (6 bytes) Event: 42.984 Thread 0x00000202e7ba4d30 nmethod 15146 0x00000202cabe8710 code [0x00000202cabe88c0, 0x00000202cabe8c48] Event: 42.984 Thread 0x00000202e7ba4d30 15147 3 scala.swing.Label$$anon$1::__super__paint (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15147 0x00000202cab33590 code [0x00000202cab33740, 0x00000202cab33988] Event: 42.985 Thread 0x00000202e7ba4d30 15148 3 scala.swing.Label$$anon$1::scala$swing$Component$SuperMixin$$super$paint (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15148 0x00000202cae28390 code [0x00000202cae28520, 0x00000202cae28668] Event: 42.985 Thread 0x00000202e7ba4d30 15149 3 scala.swing.Label$$anon$1::paintComponent (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15149 0x00000202cabe8090 code [0x00000202cabe8240, 0x00000202cabe85e8] Event: 42.985 Thread 0x00000202e7ba4d30 15150 3 scala.swing.Label$$anon$1::__super__paintComponent (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15150 0x00000202ca5ec810 code [0x00000202ca5ec9c0, 0x00000202ca5ecc08] Event: 42.985 Thread 0x00000202e7ba4d30 15151 3 scala.swing.Label$$anon$1::scala$swing$Component$SuperMixin$$super$paintComponent (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15151 0x00000202cae2af10 code [0x00000202cae2b0a0, 0x00000202cae2b1e8] Event: 42.985 Thread 0x00000202e7ba4d30 15152 3 scala.swing.Label$$anon$1::paintBorder (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15152 0x00000202cadecb10 code [0x00000202cadeccc0, 0x00000202caded048] Event: 42.985 Thread 0x00000202e7ba4d30 15153 3 scala.swing.Label$$anon$1::__super__paintBorder (6 bytes) Event: 42.985 Thread 0x00000202e7ba4d30 nmethod 15153 0x00000202cabe7b10 code [0x00000202cabe7cc0, 0x00000202cabe7f08] Event: 42.986 Thread 0x00000202e7b5be70 15154 4 org.gjt.sp.jedit.textarea.Gutter::paintLine (770 bytes) GC Heap History (20 events): Event: 4.292 GC heap before {Heap before GC invocations=11 (full 0): garbage-first heap total 524288K, used 357595K [0x0000000700000000, 0x0000000800000000) region size 2048K, 153 young (313344K), 11 survivors (22528K) Metaspace used 45297K, committed 45952K, reserved 1114112K class space used 5816K, committed 6080K, reserved 1048576K } Event: 4.296 GC heap after {Heap after GC invocations=12 (full 0): garbage-first heap total 966656K, used 64756K [0x0000000700000000, 0x0000000800000000) region size 2048K, 10 young (20480K), 10 survivors (20480K) Metaspace used 45297K, committed 45952K, reserved 1114112K class space used 5816K, committed 6080K, reserved 1048576K } Event: 6.572 GC heap before {Heap before GC invocations=12 (full 0): garbage-first heap total 966656K, used 621812K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 10 survivors (20480K) Metaspace used 54142K, committed 54912K, reserved 1114112K class space used 7112K, committed 7424K, reserved 1048576K } Event: 6.576 GC heap after {Heap after GC invocations=13 (full 0): garbage-first heap total 966656K, used 61160K [0x0000000700000000, 0x0000000800000000) region size 2048K, 9 young (18432K), 9 survivors (18432K) Metaspace used 54142K, committed 54912K, reserved 1114112K class space used 7112K, committed 7424K, reserved 1048576K } Event: 11.869 GC heap before {Heap before GC invocations=13 (full 0): garbage-first heap total 966656K, used 622312K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 9 survivors (18432K) Metaspace used 55923K, committed 56768K, reserved 1114112K class space used 7315K, committed 7680K, reserved 1048576K } Event: 11.873 GC heap after {Heap after GC invocations=14 (full 0): garbage-first heap total 966656K, used 62898K [0x0000000700000000, 0x0000000800000000) region size 2048K, 9 young (18432K), 9 survivors (18432K) Metaspace used 55923K, committed 56768K, reserved 1114112K class space used 7315K, committed 7680K, reserved 1048576K } Event: 13.173 GC heap before {Heap before GC invocations=14 (full 0): garbage-first heap total 966656K, used 624050K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 9 survivors (18432K) Metaspace used 56054K, committed 56832K, reserved 1114112K class space used 7329K, committed 7680K, reserved 1048576K } Event: 13.178 GC heap after {Heap after GC invocations=15 (full 0): garbage-first heap total 966656K, used 62476K [0x0000000700000000, 0x0000000800000000) region size 2048K, 9 young (18432K), 9 survivors (18432K) Metaspace used 56054K, committed 56832K, reserved 1114112K class space used 7329K, committed 7680K, reserved 1048576K } Event: 15.718 GC heap before {Heap before GC invocations=15 (full 0): garbage-first heap total 966656K, used 623628K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 9 survivors (18432K) Metaspace used 56288K, committed 57088K, reserved 1114112K class space used 7344K, committed 7680K, reserved 1048576K } Event: 15.725 GC heap after {Heap after GC invocations=16 (full 0): garbage-first heap total 966656K, used 65794K [0x0000000700000000, 0x0000000800000000) region size 2048K, 11 young (22528K), 11 survivors (22528K) Metaspace used 56288K, committed 57088K, reserved 1114112K class space used 7344K, committed 7680K, reserved 1048576K } Event: 17.467 GC heap before {Heap before GC invocations=16 (full 0): garbage-first heap total 966656K, used 628994K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 11 survivors (22528K) Metaspace used 56424K, committed 57216K, reserved 1114112K class space used 7349K, committed 7680K, reserved 1048576K } Event: 17.485 GC heap after {Heap after GC invocations=17 (full 0): garbage-first heap total 966656K, used 80719K [0x0000000700000000, 0x0000000800000000) region size 2048K, 16 young (32768K), 16 survivors (32768K) Metaspace used 56424K, committed 57216K, reserved 1114112K class space used 7349K, committed 7680K, reserved 1048576K } Event: 19.485 GC heap before {Heap before GC invocations=17 (full 0): garbage-first heap total 966656K, used 662351K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 16 survivors (32768K) Metaspace used 56609K, committed 57408K, reserved 1114112K class space used 7373K, committed 7744K, reserved 1048576K } Event: 19.514 GC heap after {Heap after GC invocations=18 (full 0): garbage-first heap total 966656K, used 83211K [0x0000000700000000, 0x0000000800000000) region size 2048K, 17 young (34816K), 17 survivors (34816K) Metaspace used 56609K, committed 57408K, reserved 1114112K class space used 7373K, committed 7744K, reserved 1048576K } Event: 35.644 GC heap before {Heap before GC invocations=18 (full 0): garbage-first heap total 966656K, used 625931K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 17 survivors (34816K) Metaspace used 56831K, committed 57600K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Event: 35.673 GC heap after {Heap after GC invocations=19 (full 0): garbage-first heap total 966656K, used 84862K [0x0000000700000000, 0x0000000800000000) region size 2048K, 18 young (36864K), 18 survivors (36864K) Metaspace used 56831K, committed 57600K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Event: 37.588 GC heap before {Heap before GC invocations=19 (full 0): garbage-first heap total 966656K, used 625534K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 18 survivors (36864K) Metaspace used 56880K, committed 57664K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Event: 37.609 GC heap after {Heap after GC invocations=20 (full 0): garbage-first heap total 966656K, used 89083K [0x0000000700000000, 0x0000000800000000) region size 2048K, 20 young (40960K), 20 survivors (40960K) Metaspace used 56880K, committed 57664K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Event: 40.793 GC heap before {Heap before GC invocations=20 (full 0): garbage-first heap total 966656K, used 625659K [0x0000000700000000, 0x0000000800000000) region size 2048K, 283 young (579584K), 20 survivors (40960K) Metaspace used 56929K, committed 57664K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Event: 40.803 GC heap after {Heap after GC invocations=21 (full 0): garbage-first heap total 966656K, used 92268K [0x0000000700000000, 0x0000000800000000) region size 2048K, 20 young (40960K), 20 survivors (40960K) Metaspace used 56929K, committed 57664K, reserved 1114112K class space used 7405K, committed 7744K, reserved 1048576K } Dll operation events (15 events): Event: 0.003 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\java.dll Event: 0.008 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jsvml.dll Event: 0.029 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\net.dll Event: 0.030 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\nio.dll Event: 0.031 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\zip.dll Event: 1.295 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jimage.dll Event: 1.321 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\awt.dll Event: 1.359 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\freetype.dll Event: 1.359 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\fontmanager.dll Event: 1.799 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\verify.dll Event: 1.897 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jawt.dll Event: 1.910 Loaded shared library C:\Users\Richc\AppData\Local\Temp\flatlaf.temp\flatlaf-windows-x86_64-132667588912000.dll Event: 2.022 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\sunmscapi.dll Event: 3.079 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows\libzstd-jni-1.5.5-4.dll Event: 4.424 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows\sqlitejdbc.dll Deoptimization events (20 events): Event: 40.022 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fdfa0 Event: 40.022 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd460 mode 0 Event: 40.098 Thread 0x00000202edf223d0 Uncommon trap: trap_request=0xffffffde fr.pc=0x00000202d1d4c74c relative=0x0000000000000f2c Event: 40.098 Thread 0x00000202edf223d0 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00000202d1d4c74c method=isabelle.Scan$Parsers$$anon$7.apply(Lscala/util/parsing/input/Reader;)Lscala/util/parsing/combinator/Parsers$ParseResult; @ 38 c2 Event: 40.098 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202d1d4c74c sp=0x00000008954fd7e0 Event: 40.098 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f969a3 sp=0x00000008954fd7c8 mode 2 Event: 40.100 Thread 0x00000202edf223d0 Uncommon trap: trap_request=0xffffff45 fr.pc=0x00000202d1f548a0 relative=0x0000000000000be0 Event: 40.100 Thread 0x00000202edf223d0 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00000202d1f548a0 method=isabelle.jedit.JEdit_Lib$.gfx_range(Lorg/gjt/sp/jedit/textarea/TextArea;Lisabelle/Text$Range;)Lscala/Option; @ 186 c2 Event: 40.100 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202d1f548a0 sp=0x00000008954fd9d0 Event: 40.100 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f969a3 sp=0x00000008954fd918 mode 2 Event: 40.619 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fdfa0 Event: 40.619 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd460 mode 0 Event: 41.164 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fdfa0 Event: 41.164 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd460 mode 0 Event: 41.855 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fe000 Event: 41.855 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd4c0 mode 0 Event: 42.227 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fe000 Event: 42.227 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd4c0 mode 0 Event: 42.952 Thread 0x00000202edf223d0 DEOPT PACKING pc=0x00000202ca17fc45 sp=0x00000008954fe000 Event: 42.952 Thread 0x00000202edf223d0 DEOPT UNPACKING pc=0x00000202d0f97143 sp=0x00000008954fd4c0 mode 0 Classes unloaded (0 events): No events Classes redefined (0 events): No events Internal exceptions (20 events): Event: 6.767 Thread 0x00000202f09d7060 Exception (0x000000073993d108) thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759] Event: 6.839 Thread 0x00000202edf223d0 Exception (0x000000073863cb18) thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759] Event: 9.852 Thread 0x00000202edf223d0 Exception (0x0000000737039e90) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 9.852 Thread 0x00000202edf223d0 Exception (0x000000073703ad70) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 9.859 Thread 0x00000202ed8c5850 Exception (0x0000000737183a78) thrown [s\src\hotspot\share\prims\jni.cpp, line 516] Event: 10.424 Thread 0x00000202edf223d0 Exception (0x000000073273bb78) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.424 Thread 0x00000202edf223d0 Exception (0x000000073273ca58) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.435 Thread 0x00000202ed8c9000 Exception (0x0000000732502a98) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.435 Thread 0x00000202ed8c9000 Exception (0x0000000732503428) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.701 Thread 0x00000202f09d7060 Exception (0x000000072e2ae5f0) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.701 Thread 0x00000202f09d7060 Exception (0x000000072e2af228) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.712 Thread 0x00000202f09d7060 Exception (0x000000072d730538) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.713 Thread 0x00000202f09d7060 Exception (0x000000072d730ec8) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.713 Thread 0x00000202f09d7060 Exception (0x000000072d734670) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 10.713 Thread 0x00000202f09d7060 Exception (0x000000072d735000) thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259] Event: 15.725 Thread 0x00000202f2f937e0 Implicit null exception at 0x00000202d1ddc3b8 to 0x00000202d1de0044 Event: 15.725 Thread 0x00000202f2f937e0 Implicit null exception at 0x00000202d1d6b0ba to 0x00000202d1d6b978 Event: 19.158 Thread 0x00000202edf223d0 Exception (0x000000071b17e9c0) thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759] Event: 20.649 Thread 0x00000202f09d7060 Exception (0x000000072cea2f98) thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759] Event: 31.903 Thread 0x00000202ed8c76b0 Exception (0x000000072b2dbe68) thrown [s\src\hotspot\share\prims\jvm.cpp, line 3044] VM Operations (20 events): Event: 35.644 Executing VM operation: G1CollectForAllocation Event: 35.673 Executing VM operation: G1CollectForAllocation done Event: 36.673 Executing VM operation: Cleanup Event: 36.682 Executing VM operation: Cleanup done Event: 37.079 Executing VM operation: HandshakeAllThreads Event: 37.080 Executing VM operation: HandshakeAllThreads done Event: 37.588 Executing VM operation: G1CollectForAllocation Event: 37.609 Executing VM operation: G1CollectForAllocation done Event: 38.610 Executing VM operation: Cleanup Event: 38.610 Executing VM operation: Cleanup done Event: 39.611 Executing VM operation: Cleanup Event: 39.611 Executing VM operation: Cleanup done Event: 40.616 Executing VM operation: Cleanup Event: 40.616 Executing VM operation: Cleanup done Event: 40.792 Executing VM operation: G1CollectForAllocation Event: 40.803 Executing VM operation: G1CollectForAllocation done Event: 41.814 Executing VM operation: Cleanup Event: 41.814 Executing VM operation: Cleanup done Event: 42.815 Executing VM operation: Cleanup Event: 42.815 Executing VM operation: Cleanup done Events (20 events): Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0b5e90 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0b6c10 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0ba790 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0bc010 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0e0110 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0e1a90 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0e4290 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb0ea290 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb10b990 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb10bd10 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb10c090 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb10c410 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb10c910 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb137f90 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb13e390 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb13e990 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb162a10 Event: 37.087 Thread 0x00000202e7bada80 flushing nmethod 0x00000202cb169790 Event: 37.115 Thread 0x00000202f2f19840 Thread added: 0x00000202f2f19840 Event: 40.313 Thread 0x00000202f2f19840 Thread exited: 0x00000202f2f19840 Dynamic libraries: 0x00007ff7cd500000 - 0x00007ff7cd50e000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\javaw.exe 0x00007ffc206b0000 - 0x00007ffc208c7000 C:\Windows\SYSTEM32\ntdll.dll 0x00007ffc1fd40000 - 0x00007ffc1fe04000 C:\Windows\System32\KERNEL32.DLL 0x00007ffc1dc40000 - 0x00007ffc1dfed000 C:\Windows\System32\KERNELBASE.dll 0x00007ffc1e190000 - 0x00007ffc1e2a1000 C:\Windows\System32\ucrtbase.dll 0x00007ffc1a6a0000 - 0x00007ffc1a6b9000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jli.dll 0x00007ffc19700000 - 0x00007ffc1971b000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\VCRUNTIME140.dll 0x00007ffc1e520000 - 0x00007ffc1e6ce000 C:\Windows\System32\USER32.dll 0x00007ffc1dc10000 - 0x00007ffc1dc36000 C:\Windows\System32\win32u.dll 0x00007ffc1fb10000 - 0x00007ffc1fb39000 C:\Windows\System32\GDI32.dll 0x00007ffc09480000 - 0x00007ffc09713000 C:\Windows\WinSxS\amd64_microsoft.windows.common-controls_6595b64144ccf1df_6.0.22621.3672_none_2713b9d173822955\COMCTL32.dll 0x00007ffc1e070000 - 0x00007ffc1e189000 C:\Windows\System32\gdi32full.dll 0x00007ffc1fc80000 - 0x00007ffc1fd27000 C:\Windows\System32\msvcrt.dll 0x00007ffc1e2b0000 - 0x00007ffc1e34a000 C:\Windows\System32\msvcp_win.dll 0x00007ffc1f700000 - 0x00007ffc1f731000 C:\Windows\System32\IMM32.DLL 0x00007ffc1a780000 - 0x00007ffc1a78c000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\vcruntime140_1.dll 0x00007ffc19670000 - 0x00007ffc196fd000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\msvcp140.dll 0x00007ffbc52c0000 - 0x00007ffbc5f25000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\server\jvm.dll 0x00007ffc1ebe0000 - 0x00007ffc1ec92000 C:\Windows\System32\ADVAPI32.dll 0x00007ffc1fbd0000 - 0x00007ffc1fc79000 C:\Windows\System32\sechost.dll 0x00007ffc1e3c0000 - 0x00007ffc1e3e8000 C:\Windows\System32\bcrypt.dll 0x00007ffc1f5e0000 - 0x00007ffc1f6f4000 C:\Windows\System32\RPCRT4.dll 0x00007ffc156e0000 - 0x00007ffc156e9000 C:\Windows\SYSTEM32\WSOCK32.dll 0x00007ffc1e3f0000 - 0x00007ffc1e461000 C:\Windows\System32\WS2_32.dll 0x00007ffc12600000 - 0x00007ffc1260a000 C:\Windows\SYSTEM32\VERSION.dll 0x00007ffc12b00000 - 0x00007ffc12b34000 C:\Windows\SYSTEM32\WINMM.dll 0x00007ffc19630000 - 0x00007ffc1966b000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\splashscreen.dll 0x00007ffc19600000 - 0x00007ffc19625000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\java.dll 0x00007ffc1fe10000 - 0x00007ffc1ff04000 C:\Windows\System32\shcore.dll 0x00007ffc1cb00000 - 0x00007ffc1cb18000 C:\Windows\SYSTEM32\kernel.appcore.dll 0x00007ffc17c80000 - 0x00007ffc17d2f000 C:\Windows\system32\uxtheme.dll 0x00007ffc20180000 - 0x00007ffc20508000 C:\Windows\System32\combase.dll 0x00007ffc1a690000 - 0x00007ffc1a69a000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jimage.dll 0x00007ffc1b120000 - 0x00007ffc1b352000 C:\Windows\SYSTEM32\DBGHELP.DLL 0x00007ffc20080000 - 0x00007ffc20157000 C:\Windows\System32\OLEAUT32.dll 0x00007ffc09ca0000 - 0x00007ffc09cd2000 C:\Windows\SYSTEM32\dbgcore.DLL 0x00007ffc1dff0000 - 0x00007ffc1e06b000 C:\Windows\System32\bcryptPrimitives.dll 0x00007ffc20510000 - 0x00007ffc20663000 C:\Windows\System32\MSCTF.dll 0x00007ffc18f80000 - 0x00007ffc19057000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jsvml.dll 0x00007ffc1ed20000 - 0x00007ffc1f57f000 C:\Windows\System32\SHELL32.dll 0x00007ffc1b940000 - 0x00007ffc1c23c000 C:\Windows\SYSTEM32\windows.storage.dll 0x00007ffc1b800000 - 0x00007ffc1b93f000 C:\Windows\SYSTEM32\wintypes.dll 0x00007ffc20010000 - 0x00007ffc2006e000 C:\Windows\System32\shlwapi.dll 0x00007ffc1d910000 - 0x00007ffc1d931000 C:\Windows\SYSTEM32\profapi.dll 0x00007ffc08330000 - 0x00007ffc0847e000 C:\Windows\SYSTEM32\textinputframework.dll 0x00007ffc14da0000 - 0x00007ffc14ed3000 C:\Windows\SYSTEM32\CoreMessaging.dll 0x00007ffc111e0000 - 0x00007ffc1154d000 C:\Windows\SYSTEM32\CoreUIComponents.dll 0x00007ffc1d1d0000 - 0x00007ffc1d1dc000 C:\Windows\SYSTEM32\CRYPTBASE.DLL 0x00007ffc195e0000 - 0x00007ffc195f9000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\net.dll 0x00007ffc165e0000 - 0x00007ffc16716000 C:\Windows\SYSTEM32\WINHTTP.dll 0x00007ffc1cf70000 - 0x00007ffc1cfd9000 C:\Windows\system32\mswsock.dll 0x00007ffc195c0000 - 0x00007ffc195d6000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\nio.dll 0x00007ffc195a0000 - 0x00007ffc195b8000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\zip.dll 0x00007ffc1d1e0000 - 0x00007ffc1d1fb000 C:\Windows\SYSTEM32\CRYPTSP.dll 0x00007ffc1ca60000 - 0x00007ffc1ca95000 C:\Windows\system32\rsaenh.dll 0x00007ffc1d070000 - 0x00007ffc1d098000 C:\Windows\SYSTEM32\USERENV.dll 0x00007ffc1c490000 - 0x00007ffc1c4bd000 C:\Windows\SYSTEM32\IPHLPAPI.DLL 0x00007ffc1f790000 - 0x00007ffc1f799000 C:\Windows\System32\NSI.dll 0x00007ffc164e0000 - 0x00007ffc164f9000 C:\Windows\SYSTEM32\dhcpcsvc6.DLL 0x00007ffc16510000 - 0x00007ffc1652f000 C:\Windows\SYSTEM32\dhcpcsvc.DLL 0x00007ffc1c4c0000 - 0x00007ffc1c5b8000 C:\Windows\SYSTEM32\DNSAPI.dll 0x00007ffc18380000 - 0x00007ffc1850f000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\awt.dll 0x00007ffc158a0000 - 0x00007ffc15937000 C:\Windows\SYSTEM32\apphelp.dll 0x00007ffc17f00000 - 0x00007ffc17f2b000 C:\Windows\system32\DWMAPI.DLL 0x00007ffc18ef0000 - 0x00007ffc18f76000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\freetype.dll 0x00007ffc182b0000 - 0x00007ffc18375000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\fontmanager.dll 0x00007ffc1f7a0000 - 0x00007ffc1f945000 C:\Windows\System32\ole32.dll 0x00007ffc1a670000 - 0x00007ffc1a680000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\verify.dll 0x00007ffb7e300000 - 0x00007ffb7e400000 C:\Windows\system32\opengl32.dll 0x00007ffb7e2d0000 - 0x00007ffb7e2fd000 C:\Windows\SYSTEM32\GLU32.dll 0x00007ffc1ae00000 - 0x00007ffc1ae39000 C:\Windows\SYSTEM32\dxcore.dll 0x00007ffc1a620000 - 0x00007ffc1a627000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jawt.dll 0x00007ffc1a300000 - 0x00007ffc1a306000 C:\Users\Richc\AppData\Local\Temp\flatlaf.temp\flatlaf-windows-x86_64-132667588912000.dll 0x00007ffc19590000 - 0x00007ffc1959e000 C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\sunmscapi.dll 0x00007ffc1daa0000 - 0x00007ffc1dc07000 C:\Windows\System32\CRYPT32.dll 0x00007ffc1d370000 - 0x00007ffc1d39e000 C:\Windows\SYSTEM32\ncrypt.dll 0x00007ffc1d330000 - 0x00007ffc1d367000 C:\Windows\SYSTEM32\NTASN1.dll 0x00007ffbe5f10000 - 0x00007ffbe5f18000 C:\Windows\system32\wshunix.dll 0x00007ffc180f0000 - 0x00007ffc1820d000 C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows\libzstd-jni-1.5.5-4.dll 0x00007ffc1c870000 - 0x00007ffc1c884000 C:\Windows\system32\Wtsapi32.dll 0x00007ffc1c5c0000 - 0x00007ffc1c626000 C:\Windows\SYSTEM32\WINSTA.dll 0x00007ffc1e470000 - 0x00007ffc1e520000 C:\Windows\System32\clbcatq.dll 0x00007ffc17a90000 - 0x00007ffc17c40000 C:\Windows\SYSTEM32\WindowsCodecs.dll 0x00007ffbdb7d0000 - 0x00007ffbdb82e000 C:\Windows\system32\dataexchange.dll 0x00007ffc0e5f0000 - 0x00007ffc0e87a000 C:\Windows\system32\twinapi.appcore.dll 0x00007ffc07cf0000 - 0x00007ffc07ddc000 C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows\sqlitejdbc.dll dbghelp: loaded successfully - version: 4.0.5 - missing functions: none symbol engine: initialized successfully - sym options: 0x614 - pdb path: .;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin;C:\Windows\SYSTEM32;C:\Windows\WinSxS\amd64_microsoft.windows.common-controls_6595b64144ccf1df_6.0.22621.3672_none_2713b9d173822955;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\server;C:\Users\Richc\AppData\Local\Temp\flatlaf.temp;C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows;C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows VM Arguments: jvm_args: -Disabelle.root=C:\Users\Richc\Desktop\Isabelle2023 -Dcygwin.root=C:\Users\Richc\Desktop\Isabelle2023\contrib\cygwin -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle2023 -Xms512m -Xmx4g -Xss16m -Disabelle.jedit_server=Isabelle2023 java_command: isabelle.jedit.JEdit_Main java_class_path (initial): C:\Users\Richc\Desktop\Isabelle2023\contrib\flatlaf-2.6\lib\flatlaf-2.6.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\isabelle_setup-20230206\lib\isabelle_setup.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jedit-20211103\jedit5.6.0-patched\jedit.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jfreechart-1.5.3\lib\iText-2.1.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jfreechart-1.5.3\lib\jfreechart-1.5.3.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jortho-1.0-2\jortho.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jsoup-1.15.4\lib\jsoup-1.15.4.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\antlr-runtime-3.1.1.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\kodkod-1.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\kodkodi-1.5.7.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\sat4j-2.3.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\postgresql-42.6.0\postgresql-42.6.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala-library-2.13.10.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-library_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala-asm-9.4.0-scala-1.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\compiler-interface-1.3.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-interfaces-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-compiler_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\tasty-core_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-staging_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-tasty-inspector_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\jline-reader-3.19.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\jline-terminal-3.19.0.jar;C:\Users\Richc\Desktop\Isabelle2023\con Launcher Type: SUN_STANDARD [Global flags] intx CICompilerCount = 15 {product} {ergonomic} uint ConcGCThreads = 6 {product} {ergonomic} uint G1ConcRefinementThreads = 23 {product} {ergonomic} size_t G1HeapRegionSize = 2097152 {product} {ergonomic} uintx GCDrainStackTargetSize = 64 {product} {ergonomic} size_t InitialHeapSize = 536870912 {product} {command line} size_t MarkStackSize = 4194304 {product} {ergonomic} size_t MaxHeapSize = 4294967296 {product} {command line} size_t MaxNewSize = 2575302656 {product} {ergonomic} size_t MinHeapDeltaBytes = 2097152 {product} {ergonomic} size_t MinHeapSize = 536870912 {product} {command line} uintx NonNMethodCodeHeapSize = 8192380 {pd product} {ergonomic} uintx NonProfiledCodeHeapSize = 121732930 {pd product} {ergonomic} uintx ProfiledCodeHeapSize = 121732930 {pd product} {ergonomic} uintx ReservedCodeCacheSize = 251658240 {pd product} {ergonomic} bool SegmentedCodeCache = true {product} {ergonomic} size_t SoftMaxHeapSize = 4294967296 {manageable} {ergonomic} intx ThreadStackSize = 16384 {pd product} {command line} bool UseCompressedClassPointers = true {product lp64_product} {ergonomic} bool UseCompressedOops = true {product lp64_product} {ergonomic} bool UseG1GC = true {product} {ergonomic} bool UseLargePagesIndividualAllocation = false {pd product} {ergonomic} Logging: Log output configuration: #0: stdout all=warning uptime,level,tags #1: stderr all=off uptime,level,tags Environment Variables: PATH=D:\Scripts\;D:\;C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\Program Files\dotnet\;C:\Program Files (x86)\NVIDIA Corporation\PhysX\Common;C:\Program Files\NVIDIA Corporation\NVIDIA NvDLISR;C:\Program Files\Git\cmd;C:\Users\Richc\AppData\Local\Microsoft\WindowsApps;C:\Users\Richc\AppData\Local\Programs\Microsoft VS Code\bin;C:\Users\Richc\AppData\Local\GitHubDesktop\bin;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin USERNAME=Richc OS=Windows_NT PROCESSOR_IDENTIFIER=Intel64 Family 6 Model 183 Stepping 1, GenuineIntel TMP=C:\Users\Richc\AppData\Local\Temp TEMP=C:\Users\Richc\AppData\Local\Temp --------------- S Y S T E M --------------- OS: Windows 11 , 64 bit Build 22621 (10.0.22621.3672) OS uptime: 0 days 3:41 hours CPU: total 32 (initial active 32) (16 cores per cpu, 2 threads per core) family 6 model 183 stepping 1 microcode 0x120, cx8, cmov, fxsr, ht, mmx, 3dnowpref, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, lzcnt, tsc, tscinvbit, avx, avx2, aes, erms, clmul, bmi1, bmi2, adx, sha, fma, vzeroupper, clflush, clflushopt, clwb Memory: 4k page, system-wide physical 65264M (49855M free) TotalPageFile size 74992M (AvailPageFile size 57701M) current process WorkingSet (physical memory assigned to process): 1098M, peak: 1111M current process commit charge ("private bytes"): 1281M, peak: 1326M vm_info: OpenJDK 64-Bit Server VM (17.0.7+7-LTS) for windows-amd64 JRE (17.0.7+7-LTS) (Zulu17.42+19-CA), built on Apr 10 2023 13:02:30 by "zulu_re" with MS VC++ 16.10 / 16.11 (VS2019) END.