Maybe this is of interest for somebody (Makarius?). If its irrelevant,
sorry for the spam.
Today Isabelle/jEdit grayed out and became irresponsive after switching
from one thy file to another (with C+`). So I waited about 1 minute and
when nothing seemed to change I killed the corresponding process. As a
result I obtained the attached log-file. While this grayout effect is
not completely new to me (but rather rare) this was the first time that
I saw this kind of log-file.
isabelle build -?
Build and manage Isabelle sessions, depending on implicit
ISABELLE_BUILD_OPTIONS="threads=4"
ML_PLATFORM="x86_64-linux"
ML_HOME="/home/griff/.isabelle/contrib/polyml-5.5.2-1/x86_64-linux"
ML_SYSTEM="polyml-5.5.2"
ML_OPTIONS="-H 500 --gcthreads 4"
isabelle components -l
Available components:
/home/griff/Repos/isabelle
/home/griff/Repos/isabelle/src/Tools/Code
/home/griff/Repos/isabelle/src/Tools/jEdit
/home/griff/Repos/isabelle/src/Tools/Graphview
/home/griff/Repos/isabelle/src/HOL/Mirabelle
/home/griff/Repos/isabelle/src/HOL/Mutabelle
/home/griff/Repos/isabelle/src/HOL/Library/Sum_of_Squares
/home/griff/Repos/isabelle/src/HOL/Tools
/home/griff/Repos/isabelle/src/HOL/Tools/ATP
/home/griff/Repos/isabelle/src/HOL/TPTP
/home/griff/Repos/isabelle/Admin
/home/griff/.isabelle
/home/griff/.isabelle/contrib/cvc3-2.4.1
/home/griff/.isabelle/contrib/csdp-6.x
/home/griff/.isabelle/contrib/e-1.8
/home/griff/.isabelle/contrib/exec_process-1.0.3
/home/griff/.isabelle/contrib/Haskabelle-2014
/home/griff/.isabelle/contrib/jdk-7u72
/home/griff/.isabelle/contrib/jedit_build-20141104
/home/griff/.isabelle/contrib/jfreechart-1.0.14-1
/home/griff/.isabelle/contrib/jortho-1.0-2
/home/griff/.isabelle/contrib/kodkodi-1.5.2
/home/griff/.isabelle/contrib/polyml-5.5.2-1
/home/griff/.isabelle/contrib/scala-2.11.4
/home/griff/.isabelle/contrib/spass-3.8ds
/home/griff/.isabelle/contrib/z3-4.3.2pre-1
/home/griff/.isabelle/contrib/xz-java-1.2-1
/home/griff/.isabelle/contrib/ProofGeneral-4.2-2
/home/griff/.isabelle/contrib/jdk-8u20
/home/griff/Repos/afp
Btw: How can I tell which of the jdk components is actually used?
cat ~/.isabelle/etc/settings
init_components "$ISABELLE_HOME_USER/contrib"
"$ISABELLE_HOME/Admin/components/main"
init_components "$ISABELLE_HOME_USER/contrib"
"$ISABELLE_HOME_USER/components/optional"
init_component "$HOME/Repos/afp"
ISAFOR="$HOME/rewriting/IsaFoR/"
ISABELLE_BUILD_OPTIONS="threads=4"
ISABELLE_GHC=ghc
ML_PLATFORM="$ISABELLE_PLATFORM64"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_OPTIONS="-H 500 --gcthreads 4"
Z3_NON_COMMERCIAL="yes"
cheers
chris
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x0000003dd654ccb7, pid=5057, tid=139734613489408
#
# JRE version: Java(TM) SE Runtime Environment (8.0_20-b26) (build 1.8.0_20-b26)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.20-b23 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C [libc.so.6+0x14ccb7]
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# If you would like to submit a bug report, please visit:
# http://bugreport.sun.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#
--------------- T H R E A D ---------------
Current thread (0x00007f17180c1800): JavaThread "AWT-EventQueue-0" [_thread_in_native, id=5097, stack(0x00007f167fbff000,0x00007f1680000000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 2 (SEGV_ACCERR), si_addr: 0x00007f16daef8000
Registers:
RAX=0x00007f16788a54b2, RBX=0x00007f16daef2f3b, RCX=0x0000000000008000, RDX=0x0000000000000f96
RSP=0x00007f167fff99b8, RBP=0x00007f167fff9a10, RSI=0x00007f16daef7fc9, RDI=0x00007f16788aa540
R8 =0x00007f16788a54b2, R9 =0x0000003dd654cca0, R10=0x0000000000000003, R11=0x0000003dd657f410
R12=0x00007f16daef0ada, R13=0x00007f167904e0f0, R14=0x0000000000006124, R15=0x00007f17180ddaf0
RIP=0x0000003dd654ccb7, EFLAGS=0x0000000000010206, CSGSFS=0x0000000000000033, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x00007f167fff99b8)
0x00007f167fff99b8: 00007f171cdb1958 00007f167fff9a50
0x00007f167fff99c8: 6f6e241700000000 0000000000002433
0x00007f167fff99d8: 00000000724f796c 00007f167904e0f0
0x00007f167fff99e8: 00007f17180e62d0 00007f17180ddaf0
0x00007f167fff99f8: 00007f161c0038a0 000000009a212e19
0x00007f167fff9a08: 00007f167fff9a70 00007f167fff9a50
0x00007f167fff9a18: 00007f171cdb1eb0 0000002e7fff9a50
0x00007f167fff9a28: 00007f167fff9a70 000000000000002e
0x00007f167fff9a38: 00007f17180c19e8 00007f167fff9a70
0x00007f167fff9a48: 00007f167fff9ec8 00007f167fff9eb0
0x00007f167fff9a58: 00007f171cda3cfd 01007f167fff9aa0
0x00007f167fff9a68: 00007f17180ddaf0 656c6c6562617369
0x00007f167fff9a78: 6f636f746f72502f 666e6f6e6124246c
0x00007f167fff9a88: 5f65646f6e246e75 3124737574617473
0x00007f167fff9a98: 00007373616c632e 00007f171810d630
0x00007f167fff9aa8: 0000000000000001 0000000000000000
0x00007f167fff9ab8: 0000000a00000000 00000000000004fb
0x00007f167fff9ac8: 00007f171e30b0af 0000000000000000
0x00007f167fff9ad8: 0000000000000000 00007f167fff9fd4
0x00007f167fff9ae8: fffffffffffffffc 0000000000000000
0x00007f167fff9af8: 0000000000000000 0000000000000000
0x00007f167fff9b08: 0000000500000000 000000004226c7da
0x00007f167fff9b18: ffffffffffffffff 0000000000000064
0x00007f167fff9b28: 0000000000000000 00007f174c20cbf0
0x00007f167fff9b38: 00007f171e4eeac3 000000020020f050
0x00007f167fff9b48: 000000bb00000000 00007f171e4eeaed
0x00007f167fff9b58: 00007f171810d630 0000000000000003
0x00007f167fff9b68: 4251b171b85a5688 0000000000000009
0x00007f167fff9b78: 00007f167fffa680 000000004c88ecf0
0x00007f167fff9b88: 0000003dd64790b9 00007f167fffa1a0
0x00007f167fff9b98: 00007f167fffa190 0000003dd6448eb9
0x00007f167fff9ba8: 00007f171e4f58d2 0000003000000010
Instructions: (pc=0x0000003dd654ccb7)
0x0000003dd654cc97: 2e 0f 1f 84 00 00 00 00 00 48 81 ea 80 00 00 00
0x0000003dd654cca7: 0f 28 4e f7 0f 28 56 07 0f 28 5e 17 0f 28 66 27
0x0000003dd654ccb7: 0f 28 6e 37 0f 28 76 47 0f 28 7e 57 44 0f 28 46
0x0000003dd654ccc7: 67 44 0f 28 4e 77 48 8d b6 80 00 00 00 66 45 0f
Register to memory mapping:
RAX=0x00007f16788a54b2 is an unknown value
RBX=0x00007f16daef2f3b is an unknown value
RCX=0x0000000000008000 is an unknown value
RDX=0x0000000000000f96 is an unknown value
RSP=0x00007f167fff99b8 is pointing into the stack for thread: 0x00007f17180c1800
RBP=0x00007f167fff9a10 is pointing into the stack for thread: 0x00007f17180c1800
RSI=0x00007f16daef7fc9 is an unknown value
RDI=0x00007f16788aa540 is an unknown value
R8 =0x00007f16788a54b2 is an unknown value
R9 =0x0000003dd654cca0: <offset 0x14cca0> in /lib64/libc.so.6 at 0x0000003dd6400000
R10=0x0000000000000003 is an unknown value
R11=0x0000003dd657f410: <offset 0x17f410> in /lib64/libc.so.6 at 0x0000003dd6400000
R12=0x00007f16daef0ada is an unknown value
R13=0x00007f167904e0f0 is an unknown value
R14=0x0000000000006124 is an unknown value
R15=0x00007f17180ddaf0 is an unknown value
Stack: [0x00007f167fbff000,0x00007f1680000000], sp=0x00007f167fff99b8, free space=4074k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C [libc.so.6+0x14ccb7]
C [libzip.so+0x11eb0] ZIP_GetEntry+0xd0
C [libzip.so+0x3cfd] Java_java_util_zip_ZipFile_getEntry+0xad
J 96 java.util.zip.ZipFile.getEntry(J[BZ)J (0 bytes) @ 0x00007f1709140a8e [0x00007f17091409c0+0xce]
J 11650 C2 java.util.zip.ZipFile.getEntry(Ljava/lang/String;)Ljava/util/zip/ZipEntry; (86 bytes) @ 0x00007f170ad965f0 [0x00007f170ad962a0+0x350]
Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
J 96 java.util.zip.ZipFile.getEntry(J[BZ)J (0 bytes) @ 0x00007f1709140a18 [0x00007f17091409c0+0x58]
J 11650 C2 java.util.zip.ZipFile.getEntry(Ljava/lang/String;)Ljava/util/zip/ZipEntry; (86 bytes) @ 0x00007f170ad965f0 [0x00007f170ad962a0+0x350]
J 829 C2 sun.misc.URLClassPath$JarLoader.getResource(Ljava/lang/String;Z)Lsun/misc/Resource; (85 bytes) @ 0x00007f17093078ec [0x00007f17093077c0+0x12c]
J 12085 C2 java.net.URLClassLoader$1.run()Ljava/lang/Class; (73 bytes) @ 0x00007f170aed19ec [0x00007f170aed14e0+0x50c]
J 9180 C2 java.net.URLClassLoader$1.run()Ljava/lang/Object; (5 bytes) @ 0x00007f170a80cad4 [0x00007f170a80caa0+0x34]
v ~StubRoutines::call_stub
J 211 java.security.AccessController.doPrivileged(Ljava/security/PrivilegedExceptionAction;Ljava/security/AccessControlContext;)Ljava/lang/Object; (0 bytes) @ 0x00007f1709172063 [0x00007f1709172000+0x63]
J 4013 C2 java.lang.ClassLoader.loadClass(Ljava/lang/String;Z)Ljava/lang/Class; (122 bytes) @ 0x00007f17093c1b5c [0x00007f17093c0e20+0xd3c]
J 9366 C2 sun.misc.Launcher$AppClassLoader.loadClass(Ljava/lang/String;Z)Ljava/lang/Class; (40 bytes) @ 0x00007f1709e286d0 [0x00007f1709e285c0+0x110]
J 4825 C2 java.lang.ClassLoader.loadClass(Ljava/lang/String;)Ljava/lang/Class; (7 bytes) @ 0x00007f1709a372e0 [0x00007f1709a372a0+0x40]
v ~StubRoutines::call_stub
j isabelle.Protocol$.node_status(Lisabelle/Document$State;Lisabelle/Document$Version;Lisabelle/Document$Node;)Lisabelle/Protocol$Node_Status;+37
j isabelle.jedit.Theories_Dockable$$anonfun$4.apply(Lscala/collection/immutable/Map;Lscala/Tuple2;)Lscala/collection/immutable/Map;+127
j isabelle.jedit.Theories_Dockable$$anonfun$4.apply(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;+9
J 11613 C2 scala.collection.AbstractIterator.$div$colon(Ljava/lang/Object;Lscala/Function2;)Ljava/lang/Object; (7 bytes) @ 0x00007f17091de5e0 [0x00007f17091de560+0x80]
j isabelle.jedit.Theories_Dockable.isabelle$jedit$Theories_Dockable$$handle_update(Lscala/Option;)V+148
j isabelle.jedit.Theories_Dockable.init()V+66
j isabelle.jedit.Dockable.addNotify()V+5
J 4513 C1 java.awt.Container.addImpl(Ljava/awt/Component;Ljava/lang/Object;I)V (364 bytes) @ 0x00007f1709a51fd4 [0x00007f1709a50720+0x18b4]
j java.awt.Container.add(Ljava/lang/String;Ljava/awt/Component;)Ljava/awt/Component;+4
j org.gjt.sp.jedit.gui.PanelWindowContainer.show(Lorg/gjt/sp/jedit/gui/DockableWindowManagerImpl$Entry;)V+120
j org.gjt.sp.jedit.gui.DockableWindowManagerImpl.showDockableWindow(Ljava/lang/String;)V+183
j org.gjt.sp.jedit.gui.DockableWindowManager.addDockableWindow(Ljava/lang/String;)V+2
j org.gjt.sp.jedit.gui.DockableWindowManager.toggleDockableWindow(Ljava/lang/String;)V+18
j org.gjt.sp.jedit.gui.DockableWindowFactory$Window$ToggleAction.invoke(Lorg/gjt/sp/jedit/View;)V+8
J 11108 C1 org.gjt.sp.jedit.gui.InputHandler.invokeAction(Lorg/gjt/sp/jedit/EditAction;)V (274 bytes) @ 0x00007f170ac4fa7c [0x00007f170ac4f500+0x57c]
J 10882 C1 org.gjt.sp.jedit.gui.DefaultInputHandler.handleKey(Lorg/gjt/sp/jedit/gui/KeyEventTranslator$Key;Z)Z (328 bytes) @ 0x00007f170ab3480c [0x00007f170ab323c0+0x244c]
J 12200 C1 org.gjt.sp.jedit.input.AbstractInputHandler.processKeyEventKeyStrokeHandling(Ljava/awt/event/KeyEvent;ILjava/lang/String;Z)V (152 bytes) @ 0x00007f1709bb3fc4 [0x00007f1709bb3300+0xcc4]
J 12015 C1 org.gjt.sp.jedit.gui.InputHandler.processKeyEvent(Ljava/awt/event/KeyEvent;IZ)V (383 bytes) @ 0x00007f170ae7bfe4 [0x00007f170ae78fc0+0x3024]
J 12545 C2 java.awt.Component.processEvent(Ljava/awt/AWTEvent;)V (220 bytes) @ 0x00007f170ad47b28 [0x00007f170ad47980+0x1a8]
J 12589 C2 java.awt.Container.processEvent(Ljava/awt/AWTEvent;)V (22 bytes) @ 0x00007f1709c4b8d4 [0x00007f1709c4b880+0x54]
J 13990 C1 java.awt.Component.dispatchEventImpl(Ljava/awt/AWTEvent;)V (883 bytes) @ 0x00007f170af7dda4 [0x00007f170af78920+0x5484]
J 13473 C2 java.awt.Container.dispatchEventImpl(Ljava/awt/AWTEvent;)V (129 bytes) @ 0x00007f170a0d9384 [0x00007f170a0d8da0+0x5e4]
J 11873 C1 java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Ljava/awt/event/KeyEvent;)Z (192 bytes) @ 0x00007f170adf9424 [0x00007f170adf7fe0+0x1444]
J 11871 C1 java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Ljava/awt/event/KeyEvent;)Z (141 bytes) @ 0x00007f170adfd224 [0x00007f170adfb860+0x19c4]
J 11856 C1 java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Ljava/awt/Component;Ljava/awt/AWTEvent;)Z (352 bytes) @ 0x00007f170aded5fc [0x00007f170adeb680+0x1f7c]
J 13875 C2 java.awt.DefaultKeyboardFocusManager.dispatchEvent(Ljava/awt/AWTEvent;)Z (1589 bytes) @ 0x00007f170b2545ec [0x00007f170b2541c0+0x42c]
J 13990 C1 java.awt.Component.dispatchEventImpl(Ljava/awt/AWTEvent;)V (883 bytes) @ 0x00007f170af7a0d4 [0x00007f170af78920+0x17b4]
J 13473 C2 java.awt.Container.dispatchEventImpl(Ljava/awt/AWTEvent;)V (129 bytes) @ 0x00007f170a0d9384 [0x00007f170a0d8da0+0x5e4]
J 12574 C2 java.awt.Window.dispatchEventImpl(Ljava/awt/AWTEvent;)V (23 bytes) @ 0x00007f170ad4438c [0x00007f170ad44340+0x4c]
J 11802 C2 java.awt.EventQueue$3.run()Ljava/lang/Object; (5 bytes) @ 0x00007f1709da59e0 [0x00007f1709da5640+0x3a0]
v ~StubRoutines::call_stub
J 3999 java.security.AccessController.doPrivileged(Ljava/security/PrivilegedAction;Ljava/security/AccessControlContext;)Ljava/lang/Object; (0 bytes) @ 0x00007f17099e3be3 [0x00007f17099e3b80+0x63]
J 12539 C2 java.awt.EventQueue$4.run()Ljava/lang/Object; (5 bytes) @ 0x00007f17096b13fc [0x00007f17096b12e0+0x11c]
v ~StubRoutines::call_stub
J 3999 java.security.AccessController.doPrivileged(Ljava/security/PrivilegedAction;Ljava/security/AccessControlContext;)Ljava/lang/Object; (0 bytes) @ 0x00007f17099e3be3 [0x00007f17099e3b80+0x63]
J 13206 C2 java.awt.EventDispatchThread.pumpOneEventForFilters(I)V (295 bytes) @ 0x00007f170acd2f4c [0x00007f170acd2ae0+0x46c]
j java.awt.EventDispatchThread.pumpEventsForFilter(ILjava/awt/Conditional;Ljava/awt/EventFilter;)V+35
j java.awt.EventDispatchThread.pumpEventsForHierarchy(ILjava/awt/Conditional;Ljava/awt/Component;)V+11
j java.awt.EventDispatchThread.pumpEvents(ILjava/awt/Conditional;)V+4
j java.awt.EventDispatchThread.pumpEvents(Ljava/awt/Conditional;)V+3
j java.awt.EventDispatchThread.run()V+9
v ~StubRoutines::call_stub
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007f167893f800 JavaThread "SwingWorker-pool-1-thread-10" daemon [_thread_blocked, id=24846, stack(0x00007f164c3c7000,0x00007f164c7c8000)]
0x00007f16785c5800 JavaThread "SwingWorker-pool-1-thread-9" daemon [_thread_blocked, id=6008, stack(0x00007f164c9c8000,0x00007f164cdc9000)]
0x00007f1678a6e800 JavaThread "SwingWorker-pool-1-thread-8" daemon [_thread_blocked, id=5949, stack(0x00007f164cdc9000,0x00007f164d1ca000)]
0x00007f1678a6b000 JavaThread "SwingWorker-pool-1-thread-7" daemon [_thread_blocked, id=5586, stack(0x00007f16d85a9000,0x00007f16d89aa000)]
0x00007f16793f0000 JavaThread "jEdit Worker #3" [_thread_blocked, id=5318, stack(0x00007f164d3ca000,0x00007f164d7cb000)]
0x00007f1678637800 JavaThread "SwingWorker-pool-1-thread-6" daemon [_thread_blocked, id=5301, stack(0x00007f167f57f000,0x00007f167f980000)]
0x00007f1678635000 JavaThread "SwingWorker-pool-1-thread-5" daemon [_thread_blocked, id=5294, stack(0x00007f16cd6d6000,0x00007f16cdad7000)]
0x00007f1678630800 JavaThread "SwingWorker-pool-1-thread-4" daemon [_thread_blocked, id=5280, stack(0x00007f16ccad3000,0x00007f16cced4000)]
0x00007f167951c800 JavaThread "SwingWorker-pool-1-thread-3" daemon [_thread_blocked, id=5267, stack(0x00007f16cced4000,0x00007f16cd2d5000)]
0x00007f1679301800 JavaThread "jEdit Worker #2" [_thread_blocked, id=5254, stack(0x00007f16cd2d5000,0x00007f16cd6d6000)]
0x00007f167938d000 JavaThread "SwingWorker-pool-1-thread-2" daemon [_thread_blocked, id=5190, stack(0x00007f16cc6d2000,0x00007f16ccad3000)]
0x00007f1678354000 JavaThread "jEdit Worker #1" [_thread_blocked, id=5166, stack(0x00007f164d9cb000,0x00007f164ddcc000)]
0x00007f165c029000 JavaThread "Simplifier_Trace.manager" daemon [_thread_blocked, id=5153, stack(0x00007f164dfcc000,0x00007f164e3cd000)]
0x00007f1640005000 JavaThread "message_output" [_thread_in_native, id=5152, stack(0x00007f164edcf000,0x00007f164f1d0000)]
0x00007f1640004000 JavaThread "standard_error" [_thread_in_native, id=5151, stack(0x00007f164e9ce000,0x00007f164edcf000)]
0x00007f1640003800 JavaThread "standard_output" [_thread_in_native, id=5150, stack(0x00007f164e5cd000,0x00007f164e9ce000)]
0x00007f1640001800 JavaThread "command_input" [_thread_blocked, id=5149, stack(0x00007f167c375000,0x00007f167c776000)]
0x00007f16789e8800 JavaThread "ForkJoinPool-2-worker-13" daemon [_thread_blocked, id=5147, stack(0x00007f167c776000,0x00007f167cb77000)]
0x00007f1678476800 JavaThread "SwingWorker-pool-1-thread-1" daemon [_thread_blocked, id=5144, stack(0x00007f164fbff000,0x00007f1650000000)]
0x00007f165c026800 JavaThread "process_manager" [_thread_blocked, id=5121, stack(0x00007f164f3fd000,0x00007f164f7fe000)]
0x00007f165c026000 JavaThread "process_result" [_thread_blocked, id=5120, stack(0x00007f164f7fe000,0x00007f164fbff000)]
0x00007f1678258800 JavaThread "jEdit Worker #0" [_thread_blocked, id=5107, stack(0x00007f16d89aa000,0x00007f16d8dab000)]
0x00007f1678176000 JavaThread "event_timer" daemon [_thread_blocked, id=5106, stack(0x00007f167cd77000,0x00007f167d178000)]
0x00007f1718009800 JavaThread "DestroyJavaVM" [_thread_blocked, id=5058, stack(0x00007f171d624000,0x00007f171da25000)]
0x00007f17187c6800 JavaThread "Session.manager" daemon [_thread_blocked, id=5105, stack(0x00007f167d378000,0x00007f167d779000)]
0x00007f17187c5000 JavaThread "change_parser" daemon [_thread_blocked, id=5104, stack(0x00007f167d779000,0x00007f167db7a000)]
0x00007f17187c4800 JavaThread "Session.dispatcher" daemon [_thread_blocked, id=5103, stack(0x00007f167db7a000,0x00007f167df7b000)]
0x00007f17189d5800 JavaThread "Session.manager" daemon [_thread_blocked, id=5102, stack(0x00007f167df7b000,0x00007f167e37c000)]
0x00007f17189d1000 JavaThread "change_parser" daemon [_thread_blocked, id=5101, stack(0x00007f167e37c000,0x00007f167e77d000)]
0x00007f17189c1000 JavaThread "Session.dispatcher" daemon [_thread_blocked, id=5100, stack(0x00007f167e77d000,0x00007f167eb7e000)]
0x00007f17187bc000 JavaThread "TimerQueue" daemon [_thread_blocked, id=5099, stack(0x00007f167ed7e000,0x00007f167f17f000)]
=>0x00007f17180c1800 JavaThread "AWT-EventQueue-0" [_thread_in_native, id=5097, stack(0x00007f167fbff000,0x00007f1680000000)]
0x00007f17180c0000 JavaThread "AWT-Shutdown" [_thread_blocked, id=5096, stack(0x00007f16cc0d1000,0x00007f16cc4d2000)]
0x00007f1698001000 JavaThread "ForkJoinPool-1-worker-7" daemon [_thread_blocked, id=5090, stack(0x00007f16d81a8000,0x00007f16d85a9000)]
0x00007f171851f800 JavaThread "process reaper" daemon [_thread_in_native, id=5080, stack(0x00007f16d91ab000,0x00007f16d91e4000)]
0x00007f17183c2000 JavaThread "AWT-XAWT" daemon [_thread_in_native, id=5078, stack(0x00007f16d9d15000,0x00007f16da116000)]
0x00007f17183a1000 JavaThread "Java2D Disposer" daemon [_thread_blocked, id=5077, stack(0x00007f16da116000,0x00007f16da517000)]
0x00007f17180d2000 JavaThread "Service Thread" daemon [_thread_blocked, id=5075, stack(0x00007f16daff9000,0x00007f16db3fa000)]
0x00007f17180bd000 JavaThread "C1 CompilerThread3" daemon [_thread_blocked, id=5074, stack(0x00007f16db3fa000,0x00007f16db4fb000)]
0x00007f17180ba800 JavaThread "C2 CompilerThread2" daemon [_thread_blocked, id=5073, stack(0x00007f16db4fb000,0x00007f16db5fc000)]
0x00007f17180b8800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=5072, stack(0x00007f16db5fc000,0x00007f16db6fd000)]
0x00007f17180b6000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=5071, stack(0x00007f16db6fd000,0x00007f16db7fe000)]
0x00007f17180b4000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=5070, stack(0x00007f16db7fe000,0x00007f16dbbff000)]
0x00007f1718084000 JavaThread "Finalizer" daemon [_thread_blocked, id=5069, stack(0x00007f16dbbff000,0x00007f16dc000000)]
0x00007f1718082000 JavaThread "Reference Handler" daemon [_thread_blocked, id=5068, stack(0x00007f16e801e000,0x00007f16e841f000)]
Other Threads:
0x00007f171807b000 VMThread [stack: 0x00007f16e841f000,0x00007f16e8520000] [id=5067]
0x00007f17180d4800 WatcherThread [stack: 0x00007f16daef8000,0x00007f16daff9000] [id=5076]
VM state:not at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: None
Heap:
PSYoungGen total 241152K, used 77094K [0x00000000eab00000, 0x00000000fb580000, 0x0000000100000000)
eden space 229376K, 28% used [0x00000000eab00000,0x00000000eeb3b338,0x00000000f8b00000)
from space 11776K, 96% used [0x00000000faa00000,0x00000000fb50e538,0x00000000fb580000)
to space 14336K, 0% used [0x00000000f9980000,0x00000000f9980000,0x00000000fa780000)
ParOldGen total 150016K, used 32933K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20296c8,0x00000000c9280000)
Metaspace used 47643K, capacity 48182K, committed 48512K, reserved 1091584K
class space used 6792K, capacity 6966K, committed 7040K, reserved 1048576K
Card table byte_map: [0x00007f171c7df000,0x00007f171c9e0000] byte_map_base: 0x00007f171c1df000
Marking Bits: (ParMarkBitMap*) 0x00007f171e97cac0
Begin Bits: [0x00007f16ea000000, 0x00007f16eb000000)
End Bits: [0x00007f16eb000000, 0x00007f16ec000000)
Polling page: 0x00007f171ebe1000
CodeCache: size=245760Kb used=36266Kb max_used=36278Kb free=209493Kb
bounds [0x00007f1709000000, 0x00007f170b3c0000, 0x00007f1718000000]
total_blobs=11897 nmethods=11192 adapters=615
compilation: enabled
Compilation events (10 events):
Event: 7260.805 Thread 0x00007f17180bd000 nmethod 14593 0x00007f170b3b3c50 code [0x00007f170b3b3e60, 0x00007f170b3b4968]
Event: 7260.806 Thread 0x00007f17180bd000 14589 3 isabelle.Graph$$anonfun$add_edge$2::apply (87 bytes)
Event: 7260.806 Thread 0x00007f17180ba800 nmethod 14594 0x00007f170a8a1e50 code [0x00007f170a8a1fe0, 0x00007f170a8a23d8]
Event: 7260.806 Thread 0x00007f17180bd000 nmethod 14589 0x00007f170b3b26d0 code [0x00007f170b3b2900, 0x00007f170b3b3678]
Event: 7260.806 Thread 0x00007f17180bd000 14585 1 isabelle.Build$::ROOTS (5 bytes)
Event: 7260.806 Thread 0x00007f17180bd000 nmethod 14585 0x00007f170a5dbd50 code [0x00007f170a5dbea0, 0x00007f170a5dbfb0]
Event: 7260.938 Thread 0x00007f17180bd000 14595 3 java.util.TimSort::mergeAt (358 bytes)
Event: 7260.939 Thread 0x00007f17180bd000 nmethod 14595 0x00007f170a626310 code [0x00007f170a6264e0, 0x00007f170a626a98]
Event: 7260.945 Thread 0x00007f17180bd000 14596 3 javax.swing.AbstractButton::setRolloverEnabled (36 bytes)
Event: 7260.947 Thread 0x00007f17180bd000 nmethod 14596 0x00007f170a08ec50 code [0x00007f170a08ee40, 0x00007f170a08f898]
GC Heap History (10 events):
Event: 7041.398 GC heap before
{Heap before GC invocations=61 (full 3):
PSYoungGen total 265728K, used 256224K [0x00000000eab00000, 0x00000000fce00000, 0x0000000100000000)
eden space 250368K, 100% used [0x00000000eab00000,0x00000000f9f80000,0x00000000f9f80000)
from space 15360K, 38% used [0x00000000f9f80000,0x00000000fa538000,0x00000000fae80000)
to space 14336K, 0% used [0x00000000fc000000,0x00000000fc000000,0x00000000fce00000)
ParOldGen total 150016K, used 32725K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c1ff56c8,0x00000000c9280000)
Metaspace used 45849K, capacity 46416K, committed 46592K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
Event: 7041.440 GC heap after
Heap after GC invocations=61 (full 3):
PSYoungGen total 277504K, used 6176K [0x00000000eab00000, 0x00000000fca80000, 0x0000000100000000)
eden space 266752K, 0% used [0x00000000eab00000,0x00000000eab00000,0x00000000faf80000)
from space 10752K, 57% used [0x00000000fc000000,0x00000000fc608000,0x00000000fca80000)
to space 13824K, 0% used [0x00000000faf80000,0x00000000faf80000,0x00000000fbd00000)
ParOldGen total 150016K, used 32845K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20136c8,0x00000000c9280000)
Metaspace used 45849K, capacity 46416K, committed 46592K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
}
Event: 7063.097 GC heap before
{Heap before GC invocations=62 (full 3):
PSYoungGen total 277504K, used 272928K [0x00000000eab00000, 0x00000000fca80000, 0x0000000100000000)
eden space 266752K, 100% used [0x00000000eab00000,0x00000000faf80000,0x00000000faf80000)
from space 10752K, 57% used [0x00000000fc000000,0x00000000fc608000,0x00000000fca80000)
to space 13824K, 0% used [0x00000000faf80000,0x00000000faf80000,0x00000000fbd00000)
ParOldGen total 150016K, used 32845K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20136c8,0x00000000c9280000)
Metaspace used 45870K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
Event: 7063.114 GC heap after
Heap after GC invocations=62 (full 3):
PSYoungGen total 264192K, used 6912K [0x00000000eab00000, 0x00000000fc100000, 0x0000000100000000)
eden space 257024K, 0% used [0x00000000eab00000,0x00000000eab00000,0x00000000fa600000)
from space 7168K, 96% used [0x00000000faf80000,0x00000000fb640000,0x00000000fb680000)
to space 10752K, 0% used [0x00000000fb680000,0x00000000fb680000,0x00000000fc100000)
ParOldGen total 150016K, used 32861K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20176c8,0x00000000c9280000)
Metaspace used 45870K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
}
Event: 7090.106 GC heap before
{Heap before GC invocations=63 (full 3):
PSYoungGen total 264192K, used 263936K [0x00000000eab00000, 0x00000000fc100000, 0x0000000100000000)
eden space 257024K, 100% used [0x00000000eab00000,0x00000000fa600000,0x00000000fa600000)
from space 7168K, 96% used [0x00000000faf80000,0x00000000fb640000,0x00000000fb680000)
to space 10752K, 0% used [0x00000000fb680000,0x00000000fb680000,0x00000000fc100000)
ParOldGen total 150016K, used 32861K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20176c8,0x00000000c9280000)
Metaspace used 45873K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
Event: 7090.116 GC heap after
Heap after GC invocations=63 (full 3):
PSYoungGen total 254464K, used 7151K [0x00000000eab00000, 0x00000000fbd80000, 0x0000000100000000)
eden space 247296K, 0% used [0x00000000eab00000,0x00000000eab00000,0x00000000f9c80000)
from space 7168K, 99% used [0x00000000fb680000,0x00000000fbd7bf68,0x00000000fbd80000)
to space 13312K, 0% used [0x00000000fa380000,0x00000000fa380000,0x00000000fb080000)
ParOldGen total 150016K, used 32877K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c201b6c8,0x00000000c9280000)
Metaspace used 45873K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
}
Event: 7140.747 GC heap before
{Heap before GC invocations=64 (full 3):
PSYoungGen total 254464K, used 254447K [0x00000000eab00000, 0x00000000fbd80000, 0x0000000100000000)
eden space 247296K, 100% used [0x00000000eab00000,0x00000000f9c80000,0x00000000f9c80000)
from space 7168K, 99% used [0x00000000fb680000,0x00000000fbd7bf68,0x00000000fbd80000)
to space 13312K, 0% used [0x00000000fa380000,0x00000000fa380000,0x00000000fb080000)
ParOldGen total 150016K, used 32877K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c201b6c8,0x00000000c9280000)
Metaspace used 45909K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
Event: 7140.762 GC heap after
Heap after GC invocations=64 (full 3):
PSYoungGen total 244736K, used 6368K [0x00000000eab00000, 0x00000000fb700000, 0x0000000100000000)
eden space 238080K, 0% used [0x00000000eab00000,0x00000000eab00000,0x00000000f9380000)
from space 6656K, 95% used [0x00000000fa380000,0x00000000fa9b8000,0x00000000faa00000)
to space 13312K, 0% used [0x00000000faa00000,0x00000000faa00000,0x00000000fb700000)
ParOldGen total 150016K, used 32885K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c201d6c8,0x00000000c9280000)
Metaspace used 45909K, capacity 46480K, committed 46848K, reserved 1089536K
class space used 6429K, capacity 6633K, committed 6656K, reserved 1048576K
}
Event: 7260.643 GC heap before
{Heap before GC invocations=65 (full 3):
PSYoungGen total 244736K, used 244448K [0x00000000eab00000, 0x00000000fb700000, 0x0000000100000000)
eden space 238080K, 100% used [0x00000000eab00000,0x00000000f9380000,0x00000000f9380000)
from space 6656K, 95% used [0x00000000fa380000,0x00000000fa9b8000,0x00000000faa00000)
to space 13312K, 0% used [0x00000000faa00000,0x00000000faa00000,0x00000000fb700000)
ParOldGen total 150016K, used 32885K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c201d6c8,0x00000000c9280000)
Metaspace used 47587K, capacity 48118K, committed 48512K, reserved 1091584K
class space used 6779K, capacity 6966K, committed 7040K, reserved 1048576K
Event: 7260.725 GC heap after
Heap after GC invocations=65 (full 3):
PSYoungGen total 241152K, used 11321K [0x00000000eab00000, 0x00000000fb580000, 0x0000000100000000)
eden space 229376K, 0% used [0x00000000eab00000,0x00000000eab00000,0x00000000f8b00000)
from space 11776K, 96% used [0x00000000faa00000,0x00000000fb50e538,0x00000000fb580000)
to space 14336K, 0% used [0x00000000f9980000,0x00000000f9980000,0x00000000fa780000)
ParOldGen total 150016K, used 32933K [0x00000000c0000000, 0x00000000c9280000, 0x00000000eab00000)
object space 150016K, 21% used [0x00000000c0000000,0x00000000c20296c8,0x00000000c9280000)
Metaspace used 47587K, capacity 48118K, committed 48512K, reserved 1091584K
class space used 6779K, capacity 6966K, committed 7040K, reserved 1048576K
}
Deoptimization events (10 events):
Event: 7239.069 Thread 0x00007f17180c1800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f170ac594bc method=javax.swing.JComponent.getInsets(Ljava/awt/Insets;)Ljava/awt/Insets; @ 51
Event: 7239.079 Thread 0x00007f17180c1800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f170ac594bc method=javax.swing.JComponent.getInsets(Ljava/awt/Insets;)Ljava/awt/Insets; @ 51
Event: 7251.762 Thread 0x00007f17180c1800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f170ad34c24 method=isabelle.jedit.Isabelle$.buffer_syntax(Lorg/gjt/sp/jedit/buffer/JEditBuffer;)Lscala/Option; @ 38
Event: 7252.244 Thread 0x00007f17180c1800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f170acb41b8 method=scala.Option$WithFilter.map(Lscala/Function1;)Lscala/Option; @ 11
Event: 7252.290 Thread 0x00007f17180c1800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f170ad34ac8 method=scala.Option.getOrElse(Lscala/Function0;)Ljava/lang/Object; @ 1
Event: 7252.296 Thread 0x00007f17180c1800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f170ad34ac8 method=scala.Option.getOrElse(Lscala/Function0;)Ljava/lang/Object; @ 1
Event: 7252.297 Thread 0x00007f17180c1800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f170ad34ac8 method=scala.Option.getOrElse(Lscala/Function0;)Ljava/lang/Object; @ 1
Event: 7252.297 Thread 0x00007f17180c1800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f170ad34ac8 method=scala.Option.getOrElse(Lscala/Function0;)Ljava/lang/Object; @ 1
Event: 7252.748 Thread 0x00007f17180c1800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f170b0905fc method=isabelle.jedit.Completion_Popup$Text_Area.rendering(Lisabelle/jedit/Rendering;Lisabelle/Text$Range;)Lscala/Option; @ 82
Event: 7260.424 Thread 0x00007f17180c1800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f170b03c3c4 method=scala.collection.TraversableLike$WithFilter$$anonfun$flatMap$2.apply(Ljava/lang/Object;)Ljava/lang/Object; @ 28
Internal exceptions (10 events):
Event: 7261.080 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7e6798) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.117 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7eabf8) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.117 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7ed458) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.141 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7f46f8) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.141 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7f8298) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.147 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7fa6d8) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.147 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee7fe478) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.175 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee800f70) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.175 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee8034b0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Event: 7261.245 Thread 0x00007f17180c1800 Exception <a 'java/security/PrivilegedActionException'> (0x00000000ee8068b8) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u20/1074/hotspot/src/share/vm/prims/jvm.cpp, line 1275]
Events (10 events):
Event: 7261.140 Executing VM operation: BulkRevokeBias
Event: 7261.140 Executing VM operation: BulkRevokeBias done
Event: 7261.141 loading class isabelle/jedit/Theories_Dockable$$anonfun$isabelle$jedit$Theories_Dockable$$handle_phase$1
Event: 7261.141 loading class isabelle/jedit/Theories_Dockable$$anonfun$isabelle$jedit$Theories_Dockable$$handle_phase$1 done
Event: 7261.147 loading class isabelle/jedit/Theories_Dockable$$anonfun$isabelle$jedit$Theories_Dockable$$handle_update$1
Event: 7261.147 loading class isabelle/jedit/Theories_Dockable$$anonfun$isabelle$jedit$Theories_Dockable$$handle_update$1 done
Event: 7261.174 loading class isabelle/jedit/Theories_Dockable$$anonfun$4
Event: 7261.174 loading class isabelle/jedit/Theories_Dockable$$anonfun$4 done
Event: 7261.245 loading class isabelle/Protocol$$anonfun$node_status$1
Event: 7261.245 loading class isabelle/Protocol$$anonfun$node_status$1 done
Dynamic libraries:
00400000-00401000 r-xp 00000000 fd:02 12980050 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/bin/java
00600000-00601000 rw-p 00000000 fd:02 12980050 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/bin/java
023ef000-02410000 rw-p 00000000 00:00 0 [heap]
c0000000-c9280000 rw-p 00000000 00:00 0
c9280000-eab00000 ---p 00000000 00:00 0
eab00000-fb580000 rw-p 00000000 00:00 0
fb580000-100000000 ---p 00000000 00:00 0
100000000-1006e0000 rw-p 00000000 00:00 0
1006e0000-140000000 ---p 00000000 00:00 0
3dd6000000-3dd6020000 r-xp 00000000 fd:00 1314502 /usr/lib64/ld-2.18.so
3dd621f000-3dd6220000 r--p 0001f000 fd:00 1314502 /usr/lib64/ld-2.18.so
3dd6220000-3dd6221000 rw-p 00020000 fd:00 1314502 /usr/lib64/ld-2.18.so
3dd6221000-3dd6222000 rw-p 00000000 00:00 0
3dd6400000-3dd65b4000 r-xp 00000000 fd:00 1318427 /usr/lib64/libc-2.18.so
3dd65b4000-3dd67b3000 ---p 001b4000 fd:00 1318427 /usr/lib64/libc-2.18.so
3dd67b3000-3dd67b7000 r--p 001b3000 fd:00 1318427 /usr/lib64/libc-2.18.so
3dd67b7000-3dd67b9000 rw-p 001b7000 fd:00 1318427 /usr/lib64/libc-2.18.so
3dd67b9000-3dd67be000 rw-p 00000000 00:00 0
3dd6800000-3dd6803000 r-xp 00000000 fd:00 1319495 /usr/lib64/libdl-2.18.so
3dd6803000-3dd6a02000 ---p 00003000 fd:00 1319495 /usr/lib64/libdl-2.18.so
3dd6a02000-3dd6a03000 r--p 00002000 fd:00 1319495 /usr/lib64/libdl-2.18.so
3dd6a03000-3dd6a04000 rw-p 00003000 fd:00 1319495 /usr/lib64/libdl-2.18.so
3dd6c00000-3dd6c18000 r-xp 00000000 fd:00 1314366 /usr/lib64/libpthread-2.18.so
3dd6c18000-3dd6e17000 ---p 00018000 fd:00 1314366 /usr/lib64/libpthread-2.18.so
3dd6e17000-3dd6e18000 r--p 00017000 fd:00 1314366 /usr/lib64/libpthread-2.18.so
3dd6e18000-3dd6e19000 rw-p 00018000 fd:00 1314366 /usr/lib64/libpthread-2.18.so
3dd6e19000-3dd6e1d000 rw-p 00000000 00:00 0
3dd7000000-3dd7105000 r-xp 00000000 fd:00 1318836 /usr/lib64/libm-2.18.so
3dd7105000-3dd7305000 ---p 00105000 fd:00 1318836 /usr/lib64/libm-2.18.so
3dd7305000-3dd7306000 r--p 00105000 fd:00 1318836 /usr/lib64/libm-2.18.so
3dd7306000-3dd7307000 rw-p 00106000 fd:00 1318836 /usr/lib64/libm-2.18.so
3dd8400000-3dd8407000 r-xp 00000000 fd:00 1321147 /usr/lib64/librt-2.18.so
3dd8407000-3dd8606000 ---p 00007000 fd:00 1321147 /usr/lib64/librt-2.18.so
3dd8606000-3dd8607000 r--p 00006000 fd:00 1321147 /usr/lib64/librt-2.18.so
3dd8607000-3dd8608000 rw-p 00007000 fd:00 1321147 /usr/lib64/librt-2.18.so
3dd8800000-3dd8815000 r-xp 00000000 fd:00 1321149 /usr/lib64/libgcc_s-4.8.3-20140911.so.1
3dd8815000-3dd8a14000 ---p 00015000 fd:00 1321149 /usr/lib64/libgcc_s-4.8.3-20140911.so.1
3dd8a14000-3dd8a15000 r--p 00014000 fd:00 1321149 /usr/lib64/libgcc_s-4.8.3-20140911.so.1
3dd8a15000-3dd8a16000 rw-p 00015000 fd:00 1321149 /usr/lib64/libgcc_s-4.8.3-20140911.so.1
3dd8c00000-3dd8c16000 r-xp 00000000 fd:00 1321140 /usr/lib64/libresolv-2.18.so
3dd8c16000-3dd8e16000 ---p 00016000 fd:00 1321140 /usr/lib64/libresolv-2.18.so
3dd8e16000-3dd8e17000 r--p 00016000 fd:00 1321140 /usr/lib64/libresolv-2.18.so
3dd8e17000-3dd8e18000 rw-p 00017000 fd:00 1321140 /usr/lib64/libresolv-2.18.so
3dd8e18000-3dd8e1a000 rw-p 00000000 00:00 0
3dda400000-3dda538000 r-xp 00000000 fd:00 1321121 /usr/lib64/libX11.so.6.3.0
3dda538000-3dda738000 ---p 00138000 fd:00 1321121 /usr/lib64/libX11.so.6.3.0
3dda738000-3dda739000 r--p 00138000 fd:00 1321121 /usr/lib64/libX11.so.6.3.0
3dda739000-3dda73e000 rw-p 00139000 fd:00 1321121 /usr/lib64/libX11.so.6.3.0
3ddac00000-3ddac20000 r-xp 00000000 fd:00 1321119 /usr/lib64/libxcb.so.1.1.0
3ddac20000-3ddae1f000 ---p 00020000 fd:00 1321119 /usr/lib64/libxcb.so.1.1.0
3ddae1f000-3ddae20000 r--p 0001f000 fd:00 1321119 /usr/lib64/libxcb.so.1.1.0
3ddae20000-3ddae21000 rw-p 00020000 fd:00 1321119 /usr/lib64/libxcb.so.1.1.0
3ddb000000-3ddb002000 r-xp 00000000 fd:00 1321118 /usr/lib64/libXau.so.6.0.0
3ddb002000-3ddb202000 ---p 00002000 fd:00 1321118 /usr/lib64/libXau.so.6.0.0
3ddb202000-3ddb203000 r--p 00002000 fd:00 1321118 /usr/lib64/libXau.so.6.0.0
3ddb203000-3ddb204000 rw-p 00003000 fd:00 1321118 /usr/lib64/libXau.so.6.0.0
3ddb400000-3ddb411000 r-xp 00000000 fd:00 1321122 /usr/lib64/libXext.so.6.4.0
3ddb411000-3ddb610000 ---p 00011000 fd:00 1321122 /usr/lib64/libXext.so.6.4.0
3ddb610000-3ddb611000 r--p 00010000 fd:00 1321122 /usr/lib64/libXext.so.6.4.0
3ddb611000-3ddb612000 rw-p 00011000 fd:00 1321122 /usr/lib64/libXext.so.6.4.0
3ddc400000-3ddc409000 r-xp 00000000 fd:00 1321190 /usr/lib64/libXrender.so.1.3.0
3ddc409000-3ddc608000 ---p 00009000 fd:00 1321190 /usr/lib64/libXrender.so.1.3.0
3ddc608000-3ddc609000 r--p 00008000 fd:00 1321190 /usr/lib64/libXrender.so.1.3.0
3ddc609000-3ddc60a000 rw-p 00009000 fd:00 1321190 /usr/lib64/libXrender.so.1.3.0
3dde400000-3dde40f000 r-xp 00000000 fd:00 1321249 /usr/lib64/libXi.so.6.1.0
3dde40f000-3dde60e000 ---p 0000f000 fd:00 1321249 /usr/lib64/libXi.so.6.1.0
3dde60e000-3dde60f000 r--p 0000e000 fd:00 1321249 /usr/lib64/libXi.so.6.1.0
3dde60f000-3dde610000 rw-p 0000f000 fd:00 1321249 /usr/lib64/libXi.so.6.1.0
3de0000000-3de000a000 r-xp 00000000 fd:00 1321260 /usr/lib64/libXcursor.so.1.0.2
3de000a000-3de0209000 ---p 0000a000 fd:00 1321260 /usr/lib64/libXcursor.so.1.0.2
3de0209000-3de020a000 r--p 00009000 fd:00 1321260 /usr/lib64/libXcursor.so.1.0.2
3de020a000-3de020b000 rw-p 0000a000 fd:00 1321260 /usr/lib64/libXcursor.so.1.0.2
3de0800000-3de0805000 r-xp 00000000 fd:00 1321176 /usr/lib64/libXfixes.so.3.1.0
3de0805000-3de0a04000 ---p 00005000 fd:00 1321176 /usr/lib64/libXfixes.so.3.1.0
3de0a04000-3de0a05000 r--p 00004000 fd:00 1321176 /usr/lib64/libXfixes.so.3.1.0
3de0a05000-3de0a06000 rw-p 00005000 fd:00 1321176 /usr/lib64/libXfixes.so.3.1.0
3dfc600000-3dfc605000 r-xp 00000000 fd:00 1321446 /usr/lib64/libXtst.so.6.1.0
3dfc605000-3dfc804000 ---p 00005000 fd:00 1321446 /usr/lib64/libXtst.so.6.1.0
3dfc804000-3dfc805000 r--p 00004000 fd:00 1321446 /usr/lib64/libXtst.so.6.1.0
3dfc805000-3dfc806000 rw-p 00005000 fd:00 1321446 /usr/lib64/libXtst.so.6.1.0
7f1613bff000-7f1613c02000 ---p 00000000 00:00 0
7f1613c02000-7f1614000000 rw-p 00000000 00:00 0
7f1614000000-7f161404f000 rw-p 00000000 00:00 0
7f161404f000-7f1618000000 ---p 00000000 00:00 0
7f1618000000-7f1618021000 rw-p 00000000 00:00 0
7f1618021000-7f161c000000 ---p 00000000 00:00 0
7f161c000000-7f161c02c000 rw-p 00000000 00:00 0
7f161c02c000-7f1620000000 ---p 00000000 00:00 0
7f1620000000-7f1620023000 rw-p 00000000 00:00 0
7f1620023000-7f1624000000 ---p 00000000 00:00 0
7f1624000000-7f1624021000 rw-p 00000000 00:00 0
7f1624021000-7f1628000000 ---p 00000000 00:00 0
7f1628000000-7f1628021000 rw-p 00000000 00:00 0
7f1628021000-7f162c000000 ---p 00000000 00:00 0
7f162c000000-7f162c021000 rw-p 00000000 00:00 0
7f162c021000-7f1630000000 ---p 00000000 00:00 0
7f1630000000-7f1630021000 rw-p 00000000 00:00 0
7f1630021000-7f1634000000 ---p 00000000 00:00 0
7f1634000000-7f16340e6000 rw-p 00000000 00:00 0
7f16340e6000-7f1638000000 ---p 00000000 00:00 0
7f1638000000-7f1638021000 rw-p 00000000 00:00 0
7f1638021000-7f163c000000 ---p 00000000 00:00 0
7f163c000000-7f163c021000 rw-p 00000000 00:00 0
7f163c021000-7f1640000000 ---p 00000000 00:00 0
7f1640000000-7f1640021000 rw-p 00000000 00:00 0
7f1640021000-7f1644000000 ---p 00000000 00:00 0
7f1644000000-7f164403f000 rw-p 00000000 00:00 0
7f164403f000-7f1648000000 ---p 00000000 00:00 0
7f1648000000-7f1648021000 rw-p 00000000 00:00 0
7f1648021000-7f164c000000 ---p 00000000 00:00 0
7f164c1c7000-7f164c247000 rw-p 00000000 00:00 0
7f164c247000-7f164c3c7000 ---p 00000000 00:00 0
7f164c3c7000-7f164c3ca000 ---p 00000000 00:00 0
7f164c3ca000-7f164c9c8000 rw-p 00000000 00:00 0 [stack:24846]
7f164c9c8000-7f164c9cb000 ---p 00000000 00:00 0
7f164c9cb000-7f164cdc9000 rw-p 00000000 00:00 0 [stack:6008]
7f164cdc9000-7f164cdcc000 ---p 00000000 00:00 0
7f164cdcc000-7f164d3ca000 rw-p 00000000 00:00 0 [stack:5949]
7f164d3ca000-7f164d3cd000 ---p 00000000 00:00 0
7f164d3cd000-7f164d9cb000 rw-p 00000000 00:00 0 [stack:5318]
7f164d9cb000-7f164d9ce000 ---p 00000000 00:00 0
7f164d9ce000-7f164dfcc000 rw-p 00000000 00:00 0 [stack:5166]
7f164dfcc000-7f164dfcf000 ---p 00000000 00:00 0
7f164dfcf000-7f164e5cd000 rw-p 00000000 00:00 0 [stack:5153]
7f164e5cd000-7f164e5d0000 ---p 00000000 00:00 0
7f164e5d0000-7f164e9ce000 rw-p 00000000 00:00 0 [stack:5150]
7f164e9ce000-7f164e9d1000 ---p 00000000 00:00 0
7f164e9d1000-7f164edcf000 rw-p 00000000 00:00 0 [stack:5151]
7f164edcf000-7f164edd2000 ---p 00000000 00:00 0
7f164edd2000-7f164f1d0000 rw-p 00000000 00:00 0 [stack:5152]
7f164f1d0000-7f164f1fa000 r-xp 00000000 fd:02 12980178 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libdcpr.so
7f164f1fa000-7f164f3fa000 ---p 0002a000 fd:02 12980178 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libdcpr.so
7f164f3fa000-7f164f3fd000 rw-p 0002a000 fd:02 12980178 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libdcpr.so
7f164f3fd000-7f164f400000 ---p 00000000 00:00 0
7f164f400000-7f164f7fe000 rw-p 00000000 00:00 0 [stack:5121]
7f164f7fe000-7f164f801000 ---p 00000000 00:00 0
7f164f801000-7f164fbff000 rw-p 00000000 00:00 0 [stack:5120]
7f164fbff000-7f164fc02000 ---p 00000000 00:00 0
7f164fc02000-7f1650000000 rw-p 00000000 00:00 0 [stack:5144]
7f1650000000-7f1650021000 rw-p 00000000 00:00 0
7f1650021000-7f1654000000 ---p 00000000 00:00 0
7f1654000000-7f1654021000 rw-p 00000000 00:00 0
7f1654021000-7f1658000000 ---p 00000000 00:00 0
7f1658000000-7f1658021000 rw-p 00000000 00:00 0
7f1658021000-7f165c000000 ---p 00000000 00:00 0
7f165c000000-7f165c057000 rw-p 00000000 00:00 0
7f165c057000-7f1660000000 ---p 00000000 00:00 0
7f1660000000-7f1660021000 rw-p 00000000 00:00 0
7f1660021000-7f1664000000 ---p 00000000 00:00 0
7f1664000000-7f1664036000 rw-p 00000000 00:00 0
7f1664036000-7f1668000000 ---p 00000000 00:00 0
7f1668000000-7f1668021000 rw-p 00000000 00:00 0
7f1668021000-7f166c000000 ---p 00000000 00:00 0
7f166c000000-7f166c021000 rw-p 00000000 00:00 0
7f166c021000-7f1670000000 ---p 00000000 00:00 0
7f1670000000-7f167018a000 rw-p 00000000 00:00 0
7f167018a000-7f1674000000 ---p 00000000 00:00 0
7f1674000000-7f1674021000 rw-p 00000000 00:00 0
7f1674021000-7f1678000000 ---p 00000000 00:00 0
7f1678000000-7f1679521000 rw-p 00000000 00:00 0
7f1679521000-7f167c000000 ---p 00000000 00:00 0
7f167c175000-7f167c375000 rw-p 00000000 00:00 0
7f167c375000-7f167c378000 ---p 00000000 00:00 0
7f167c378000-7f167c776000 rw-p 00000000 00:00 0 [stack:5149]
7f167c776000-7f167c779000 ---p 00000000 00:00 0
7f167c779000-7f167cd77000 rw-p 00000000 00:00 0 [stack:5147]
7f167cd77000-7f167cd7a000 ---p 00000000 00:00 0
7f167cd7a000-7f167d378000 rw-p 00000000 00:00 0 [stack:5106]
7f167d378000-7f167d37b000 ---p 00000000 00:00 0
7f167d37b000-7f167d779000 rw-p 00000000 00:00 0 [stack:5105]
7f167d779000-7f167d77c000 ---p 00000000 00:00 0
7f167d77c000-7f167db7a000 rw-p 00000000 00:00 0 [stack:5104]
7f167db7a000-7f167db7d000 ---p 00000000 00:00 0
7f167db7d000-7f167df7b000 rw-p 00000000 00:00 0 [stack:5103]
7f167df7b000-7f167df7e000 ---p 00000000 00:00 0
7f167df7e000-7f167e37c000 rw-p 00000000 00:00 0 [stack:5102]
7f167e37c000-7f167e37f000 ---p 00000000 00:00 0
7f167e37f000-7f167e77d000 rw-p 00000000 00:00 0 [stack:5101]
7f167e77d000-7f167e780000 ---p 00000000 00:00 0
7f167e780000-7f167ed7e000 rw-p 00000000 00:00 0 [stack:5100]
7f167ed7e000-7f167ed81000 ---p 00000000 00:00 0
7f167ed81000-7f167f37f000 rw-p 00000000 00:00 0 [stack:5099]
7f167f37f000-7f167f57f000 rw-p 00000000 00:00 0
7f167f57f000-7f167f582000 ---p 00000000 00:00 0
7f167f582000-7f167f980000 rw-p 00000000 00:00 0 [stack:5301]
7f167f980000-7f167f9e9000 r-xp 00000000 fd:02 12980183 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libt2k.so
7f167f9e9000-7f167fbe8000 ---p 00069000 fd:02 12980183 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libt2k.so
7f167fbe8000-7f167fbef000 rw-p 00068000 fd:02 12980183 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libt2k.so
7f167fbef000-7f167fbff000 rw-p 00000000 00:00 0
7f167fbff000-7f167fc02000 ---p 00000000 00:00 0
7f167fc02000-7f1680000000 rw-p 00000000 00:00 0 [stack:5097]
7f1680000000-7f1680021000 rw-p 00000000 00:00 0
7f1680021000-7f1684000000 ---p 00000000 00:00 0
7f1684000000-7f1684021000 rw-p 00000000 00:00 0
7f1684021000-7f1688000000 ---p 00000000 00:00 0
7f1688000000-7f1688021000 rw-p 00000000 00:00 0
7f1688021000-7f168c000000 ---p 00000000 00:00 0
7f168c000000-7f168c021000 rw-p 00000000 00:00 0
7f168c021000-7f1690000000 ---p 00000000 00:00 0
7f1690000000-7f1690021000 rw-p 00000000 00:00 0
7f1690021000-7f1694000000 ---p 00000000 00:00 0
7f1694000000-7f1694021000 rw-p 00000000 00:00 0
7f1694021000-7f1698000000 ---p 00000000 00:00 0
7f1698000000-7f1698021000 rw-p 00000000 00:00 0
7f1698021000-7f169c000000 ---p 00000000 00:00 0
7f169c000000-7f169c021000 rw-p 00000000 00:00 0
7f169c021000-7f16a0000000 ---p 00000000 00:00 0
7f16a0000000-7f16a0021000 rw-p 00000000 00:00 0
7f16a0021000-7f16a4000000 ---p 00000000 00:00 0
7f16a4000000-7f16a405f000 rw-p 00000000 00:00 0
7f16a405f000-7f16a8000000 ---p 00000000 00:00 0
7f16a8000000-7f16a8021000 rw-p 00000000 00:00 0
7f16a8021000-7f16ac000000 ---p 00000000 00:00 0
7f16ac000000-7f16ac02d000 rw-p 00000000 00:00 0
7f16ac02d000-7f16b0000000 ---p 00000000 00:00 0
7f16b0000000-7f16b0021000 rw-p 00000000 00:00 0
7f16b0021000-7f16b4000000 ---p 00000000 00:00 0
7f16b4000000-7f16b4021000 rw-p 00000000 00:00 0
7f16b4021000-7f16b8000000 ---p 00000000 00:00 0
7f16b8000000-7f16b9be4000 rw-p 00000000 00:00 0
7f16b9be4000-7f16bc000000 ---p 00000000 00:00 0
7f16bc000000-7f16bc95d000 rw-p 00000000 00:00 0
7f16bc95d000-7f16c0000000 ---p 00000000 00:00 0
7f16c0000000-7f16c1990000 rw-p 00000000 00:00 0
7f16c1990000-7f16c4000000 ---p 00000000 00:00 0
7f16c4000000-7f16c5788000 rw-p 00000000 00:00 0
7f16c5788000-7f16c8000000 ---p 00000000 00:00 0
7f16c8000000-7f16c8021000 rw-p 00000000 00:00 0
7f16c8021000-7f16cc000000 ---p 00000000 00:00 0
7f16cc065000-7f16cc068000 ---p 00000000 00:00 0
7f16cc068000-7f16cc09e000 rw-p 00000000 00:00 0
7f16cc09e000-7f16cc0d1000 r--s 00202000 fd:02 12846416 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/idea-icons.jar
7f16cc0d1000-7f16cc0d4000 ---p 00000000 00:00 0
7f16cc0d4000-7f16cc6d2000 rw-p 00000000 00:00 0 [stack:5096]
7f16cc6d2000-7f16cc6d5000 ---p 00000000 00:00 0
7f16cc6d5000-7f16ccad3000 rw-p 00000000 00:00 0 [stack:5190]
7f16ccad3000-7f16ccad6000 ---p 00000000 00:00 0
7f16ccad6000-7f16cced4000 rw-p 00000000 00:00 0 [stack:5280]
7f16cced4000-7f16cced7000 ---p 00000000 00:00 0
7f16cced7000-7f16cd2d5000 rw-p 00000000 00:00 0 [stack:5267]
7f16cd2d5000-7f16cd2d8000 ---p 00000000 00:00 0
7f16cd2d8000-7f16cd6d6000 rw-p 00000000 00:00 0 [stack:5254]
7f16cd6d6000-7f16cd6d9000 ---p 00000000 00:00 0
7f16cd6d9000-7f16cdad7000 rw-p 00000000 00:00 0 [stack:5294]
7f16cdad7000-7f16d4000000 r--p 00000000 fd:00 1321081 /usr/lib/locale/locale-archive
7f16d4000000-7f16d4021000 rw-p 00000000 00:00 0
7f16d4021000-7f16d8000000 ---p 00000000 00:00 0
7f16d8022000-7f16d8023000 rw-p 00000000 00:00 0
7f16d8023000-7f16d8026000 ---p 00000000 00:00 0
7f16d8026000-7f16d805c000 rw-p 00000000 00:00 0
7f16d805c000-7f16d8061000 r--s 002f8000 fd:02 12980127 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/charsets.jar
7f16d8061000-7f16d8063000 r--s 00015000 fd:02 12846411 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/Highlight.jar
7f16d8063000-7f16d8065000 r--s 0000c000 fd:02 12846407 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/Code2HTML.jar
7f16d8065000-7f16d8067000 r--s 00000000 fd:00 1464323 /var/cache/fontconfig/87f5e051180a7a75f16eb6fe7dbd3749-le64.cache-4
7f16d8067000-7f16d8072000 r--s 00000000 fd:00 1457356 /var/cache/fontconfig/b79f3aaa7d385a141ab53ec885cc22a8-le64.cache-4
7f16d8072000-7f16d8075000 r--s 00000000 fd:00 1464375 /var/cache/fontconfig/0b1bcc92b4d25cc154d77dafe3bceaa0-le64.cache-4
7f16d8075000-7f16d8077000 r--s 00000000 fd:00 1458134 /var/cache/fontconfig/2e1514a9fdd499050989183bb65136db-le64.cache-4
7f16d8077000-7f16d8078000 r--s 00000000 fd:00 1464364 /var/cache/fontconfig/09757cce9f40703a72dac2999fc1cdb3-le64.cache-4
7f16d8078000-7f16d807a000 r--s 00000000 fd:00 1464363 /var/cache/fontconfig/3f821257dd33660ba7bbb45c32deb84c-le64.cache-4
7f16d807a000-7f16d807b000 r--s 00000000 fd:00 1464362 /var/cache/fontconfig/94d8f76e13e63dfbf98c7a45df55c1a1-le64.cache-4
7f16d807b000-7f16d807c000 r--s 00000000 fd:00 1464361 /var/cache/fontconfig/4e602040080c966cb821813a3e584564-le64.cache-4
7f16d807c000-7f16d807f000 r--s 00000000 fd:00 1464360 /var/cache/fontconfig/830f035fa84a65ce80e050178dbb630d-le64.cache-4
7f16d807f000-7f16d8080000 r--s 00000000 fd:00 1464359 /var/cache/fontconfig/81a173283b451552b599cfaafd6236bd-le64.cache-4
7f16d8080000-7f16d8081000 r--s 00000000 fd:00 1464358 /var/cache/fontconfig/a01c43f7cd08244f295d2d5376628d67-le64.cache-4
7f16d8081000-7f16d8082000 r--s 00000000 fd:00 1464357 /var/cache/fontconfig/ac68f755438cc3dc5a526084839fc7ca-le64.cache-4
7f16d8082000-7f16d8083000 r--s 00000000 fd:00 1464356 /var/cache/fontconfig/f951a6bc01c50d58ac4af16a0108457e-le64.cache-4
7f16d8083000-7f16d8084000 r--s 00000000 fd:00 1464355 /var/cache/fontconfig/8cab66d8f642305e525ba3e322d0979c-le64.cache-4
7f16d8084000-7f16d8085000 r--s 00000000 fd:00 1464354 /var/cache/fontconfig/12513961c6e7090f8648812f9eaf65d6-le64.cache-4
7f16d8085000-7f16d808f000 r--s 00000000 fd:00 1464353 /var/cache/fontconfig/aca156871ffb9fb6dd21e5f8fe5759d4-le64.cache-4
7f16d808f000-7f16d8092000 r--s 00000000 fd:00 1464352 /var/cache/fontconfig/e26bf336397aae6fcef4d3803472adec-le64.cache-4
7f16d8092000-7f16d8093000 r--s 00000000 fd:00 1464351 /var/cache/fontconfig/17e60ccdf2eb53b214a9a5d6663eb217-le64.cache-4
7f16d8093000-7f16d8094000 r--s 00000000 fd:00 1462480 /var/cache/fontconfig/6fcb01a03a016cc71057b587cdea6709-le64.cache-4
7f16d8094000-7f16d8095000 r--s 00000000 fd:00 1464349 /var/cache/fontconfig/3422e7c7d0f90b628da01e9e63f4e08a-le64.cache-4
7f16d8095000-7f16d8096000 r--s 00000000 fd:00 1464348 /var/cache/fontconfig/ad1d600e131ef46f97986064143591b7-le64.cache-4
7f16d8096000-7f16d8097000 r--s 00000000 fd:00 1464347 /var/cache/fontconfig/8116a09590ac122099d79bc00352576d-le64.cache-4
7f16d8097000-7f16d809a000 r--s 00000000 fd:00 1464346 /var/cache/fontconfig/e0636055caa850f70f1a6db008fc4729-le64.cache-4
7f16d809a000-7f16d80c1000 r--s 00000000 fd:00 1464345 /var/cache/fontconfig/7a7f22e4c6b2236c525eb458794c6fd2-le64.cache-4
7f16d80c1000-7f16d80c2000 r--s 00000000 fd:00 1464122 /var/cache/fontconfig/b887eea8f1b96e1d899b44ed6681fc27-le64.cache-4
7f16d80c2000-7f16d80c3000 r--s 00000000 fd:00 1464343 /var/cache/fontconfig/860639f272b8b4b3094f9e399e41bccd-le64.cache-4
7f16d80c3000-7f16d80c4000 r--s 00000000 fd:00 1464342 /var/cache/fontconfig/211368abcb0ff835c229ff05c9ec01dc-le64.cache-4
7f16d80c4000-7f16d80c5000 r--s 00000000 fd:00 1464341 /var/cache/fontconfig/c46020d7221988a13df853d2b46304fc-le64.cache-4
7f16d80c5000-7f16d80c6000 r--s 00000000 fd:00 1464340 /var/cache/fontconfig/fa2b533b7056bdadb961f088bc0a978b-le64.cache-4
7f16d80c6000-7f16d80c7000 r--s 00000000 fd:00 1464339 /var/cache/fontconfig/df893b4576ad6107f9397134092c4059-le64.cache-4
7f16d80c7000-7f16d80c8000 r--s 00000000 fd:00 1464338 /var/cache/fontconfig/900402270e15d763a6e008bb2d4c7686-le64.cache-4
7f16d80c8000-7f16d80c9000 r--s 00000000 fd:00 1464337 /var/cache/fontconfig/47f48679023f44a4d1e44699a69464f6-le64.cache-4
7f16d80c9000-7f16d80ca000 r--s 00000000 fd:00 1464336 /var/cache/fontconfig/2881ed3fd21ca306ddad6f9b0dd3189f-le64.cache-4
7f16d80ca000-7f16d80cb000 r--s 00000000 fd:00 1464335 /var/cache/fontconfig/3c3fb04d32a5211b073874b125d29701-le64.cache-4
7f16d80cb000-7f16d80cc000 r--s 00000000 fd:00 1464334 /var/cache/fontconfig/e61abf8156cc476151baa07d67337cae-le64.cache-4
7f16d80cc000-7f16d80d3000 r--s 00000000 fd:00 1464333 /var/cache/fontconfig/b67b32625a2bb51b023d3814a918f351-le64.cache-4
7f16d80d3000-7f16d80d5000 r--s 00000000 fd:00 1464332 /var/cache/fontconfig/d3379abda271c4acd2ad0c01f565d0b0-le64.cache-4
7f16d80d5000-7f16d80d6000 r--s 00000000 fd:00 1464331 /var/cache/fontconfig/b4d0b56f766d89640448751fcd18ec1e-le64.cache-4
7f16d80d6000-7f16d80d9000 r--s 00000000 fd:00 1464084 /var/cache/fontconfig/7ee6df7a8311986241317a58487e0145-le64.cache-4
7f16d80d9000-7f16d80db000 r--s 00000000 fd:00 1464329 /var/cache/fontconfig/99a1ce9f8b6a0434aadb01d3779b0780-le64.cache-4
7f16d80db000-7f16d80dd000 r--s 00000000 fd:00 1464328 /var/cache/fontconfig/f9d379b867d7c69c85310a4f24e5228f-le64.cache-4
7f16d80dd000-7f16d80f0000 r--s 00000000 fd:00 1464327 /var/cache/fontconfig/614d1caaa4d7914789410f6367de37ca-le64.cache-4
7f16d80f0000-7f16d80f1000 r--s 00000000 fd:00 1464326 /var/cache/fontconfig/efb3709cb5cd8da903fd39752511227a-le64.cache-4
7f16d80f1000-7f16d80f2000 r--s 00000000 fd:00 1464325 /var/cache/fontconfig/74adf45f2d40265d9e2b25f7dfc72808-le64.cache-4
7f16d80f2000-7f16d80fd000 r--s 00000000 fd:00 1464324 /var/cache/fontconfig/12b26b760a24f8b4feb03ad48a333a72-le64.cache-4
7f16d80fd000-7f16d80fe000 r--s 00000000 fd:00 1464321 /var/cache/fontconfig/3df8979866e8848a59fe99e84294e911-le64.cache-4
7f16d80fe000-7f16d8106000 r--s 00000000 fd:00 1464320 /var/cache/fontconfig/928306c3ad40271d946e41014a49fc28-le64.cache-4
7f16d8106000-7f16d8107000 r--s 00000000 fd:00 1464319 /var/cache/fontconfig/3640555adad8a8f6978400293cfce7ab-le64.cache-4
7f16d8107000-7f16d8108000 r--s 00000000 fd:02 1048699 /home/griff/.cache/fontconfig/5d1a2bf1db9ebc6e9a230bc69149fa9a-le64.cache-4
7f16d8108000-7f16d810c000 r--s 00000000 fd:00 1464057 /var/cache/fontconfig/beeeeb3dfe132a8a0633a017c99ce0c0-le64.cache-4
7f16d810c000-7f16d812b000 r--s 00147000 fd:02 12851647 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar
7f16d812b000-7f16d8130000 r--s 00057000 fd:02 12846415 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/SideKick.jar
7f16d8130000-7f16d8132000 r--s 00012000 fd:02 12846414 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/Navigator.jar
7f16d8132000-7f16d8134000 r--s 0000e000 fd:02 12846410 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/ErrorList.jar
7f16d8134000-7f16d813d000 r--s 000ae000 fd:02 12846409 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jars/Console.jar
7f16d813d000-7f16d8150000 r--s 00344000 fd:02 12980129 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/resources.jar
7f16d8150000-7f16d81a8000 rw-s 00000000 00:04 16384014 /SYSV00000000 (deleted)
7f16d81a8000-7f16d81ab000 ---p 00000000 00:00 0
7f16d81ab000-7f16d85a9000 rw-p 00000000 00:00 0 [stack:5090]
7f16d85a9000-7f16d85ac000 ---p 00000000 00:00 0
7f16d85ac000-7f16d89aa000 rw-p 00000000 00:00 0 [stack:5586]
7f16d89aa000-7f16d89ad000 ---p 00000000 00:00 0
7f16d89ad000-7f16d8fab000 rw-p 00000000 00:00 0 [stack:5107]
7f16d8fab000-7f16d91ab000 rw-p 00000000 00:00 0
7f16d91ab000-7f16d91ae000 ---p 00000000 00:00 0
7f16d91ae000-7f16d91e4000 rw-p 00000000 00:00 0 [stack:5080]
7f16d91e4000-7f16d91e9000 r--s 00092000 fd:02 12980126 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/jsse.jar
7f16d91e9000-7f16d93e9000 rw-p 00000000 00:00 0
7f16d93e9000-7f16d93eb000 r--s 00000000 fd:00 1464323 /var/cache/fontconfig/87f5e051180a7a75f16eb6fe7dbd3749-le64.cache-4
7f16d93eb000-7f16d93f6000 r--s 00000000 fd:00 1457356 /var/cache/fontconfig/b79f3aaa7d385a141ab53ec885cc22a8-le64.cache-4
7f16d93f6000-7f16d93f9000 r--s 00000000 fd:00 1464375 /var/cache/fontconfig/0b1bcc92b4d25cc154d77dafe3bceaa0-le64.cache-4
7f16d93f9000-7f16d93fb000 r--s 00000000 fd:00 1458134 /var/cache/fontconfig/2e1514a9fdd499050989183bb65136db-le64.cache-4
7f16d93fb000-7f16d93fc000 r--s 00000000 fd:00 1464364 /var/cache/fontconfig/09757cce9f40703a72dac2999fc1cdb3-le64.cache-4
7f16d93fc000-7f16d93fe000 r--s 00000000 fd:00 1464363 /var/cache/fontconfig/3f821257dd33660ba7bbb45c32deb84c-le64.cache-4
7f16d93fe000-7f16d93ff000 r--s 00000000 fd:00 1464362 /var/cache/fontconfig/94d8f76e13e63dfbf98c7a45df55c1a1-le64.cache-4
7f16d93ff000-7f16d9400000 r--s 00000000 fd:00 1464361 /var/cache/fontconfig/4e602040080c966cb821813a3e584564-le64.cache-4
7f16d9400000-7f16d9403000 r--s 00000000 fd:00 1464360 /var/cache/fontconfig/830f035fa84a65ce80e050178dbb630d-le64.cache-4
7f16d9403000-7f16d9404000 r--s 00000000 fd:00 1464359 /var/cache/fontconfig/81a173283b451552b599cfaafd6236bd-le64.cache-4
7f16d9404000-7f16d9405000 r--s 00000000 fd:00 1464358 /var/cache/fontconfig/a01c43f7cd08244f295d2d5376628d67-le64.cache-4
7f16d9405000-7f16d9406000 r--s 00000000 fd:00 1464357 /var/cache/fontconfig/ac68f755438cc3dc5a526084839fc7ca-le64.cache-4
7f16d9406000-7f16d9407000 r--s 00000000 fd:00 1464356 /var/cache/fontconfig/f951a6bc01c50d58ac4af16a0108457e-le64.cache-4
7f16d9407000-7f16d9408000 r--s 00000000 fd:00 1464355 /var/cache/fontconfig/8cab66d8f642305e525ba3e322d0979c-le64.cache-4
7f16d9408000-7f16d9409000 r--s 00000000 fd:00 1464354 /var/cache/fontconfig/12513961c6e7090f8648812f9eaf65d6-le64.cache-4
7f16d9409000-7f16d9413000 r--s 00000000 fd:00 1464353 /var/cache/fontconfig/aca156871ffb9fb6dd21e5f8fe5759d4-le64.cache-4
7f16d9413000-7f16d9416000 r--s 00000000 fd:00 1464352 /var/cache/fontconfig/e26bf336397aae6fcef4d3803472adec-le64.cache-4
7f16d9416000-7f16d9417000 r--s 00000000 fd:00 1464351 /var/cache/fontconfig/17e60ccdf2eb53b214a9a5d6663eb217-le64.cache-4
7f16d9417000-7f16d9418000 r--s 00000000 fd:00 1462480 /var/cache/fontconfig/6fcb01a03a016cc71057b587cdea6709-le64.cache-4
7f16d9418000-7f16d9419000 r--s 00000000 fd:00 1464349 /var/cache/fontconfig/3422e7c7d0f90b628da01e9e63f4e08a-le64.cache-4
7f16d9419000-7f16d941a000 r--s 00000000 fd:00 1464348 /var/cache/fontconfig/ad1d600e131ef46f97986064143591b7-le64.cache-4
7f16d941a000-7f16d941b000 r--s 00000000 fd:00 1464347 /var/cache/fontconfig/8116a09590ac122099d79bc00352576d-le64.cache-4
7f16d941b000-7f16d941e000 r--s 00000000 fd:00 1464346 /var/cache/fontconfig/e0636055caa850f70f1a6db008fc4729-le64.cache-4
7f16d941e000-7f16d9445000 r--s 00000000 fd:00 1464345 /var/cache/fontconfig/7a7f22e4c6b2236c525eb458794c6fd2-le64.cache-4
7f16d9445000-7f16d9446000 r--s 00000000 fd:00 1464122 /var/cache/fontconfig/b887eea8f1b96e1d899b44ed6681fc27-le64.cache-4
7f16d9446000-7f16d9447000 r--s 00000000 fd:00 1464343 /var/cache/fontconfig/860639f272b8b4b3094f9e399e41bccd-le64.cache-4
7f16d9447000-7f16d9448000 r--s 00000000 fd:00 1464342 /var/cache/fontconfig/211368abcb0ff835c229ff05c9ec01dc-le64.cache-4
7f16d9448000-7f16d9449000 r--s 00000000 fd:00 1464341 /var/cache/fontconfig/c46020d7221988a13df853d2b46304fc-le64.cache-4
7f16d9449000-7f16d944a000 r--s 00000000 fd:00 1464340 /var/cache/fontconfig/fa2b533b7056bdadb961f088bc0a978b-le64.cache-4
7f16d944a000-7f16d944b000 r--s 00000000 fd:00 1464339 /var/cache/fontconfig/df893b4576ad6107f9397134092c4059-le64.cache-4
7f16d944b000-7f16d944c000 r--s 00000000 fd:00 1464338 /var/cache/fontconfig/900402270e15d763a6e008bb2d4c7686-le64.cache-4
7f16d944c000-7f16d944d000 r--s 00000000 fd:00 1464337 /var/cache/fontconfig/47f48679023f44a4d1e44699a69464f6-le64.cache-4
7f16d944d000-7f16d944e000 r--s 00000000 fd:00 1464336 /var/cache/fontconfig/2881ed3fd21ca306ddad6f9b0dd3189f-le64.cache-4
7f16d944e000-7f16d944f000 r--s 00000000 fd:00 1464335 /var/cache/fontconfig/3c3fb04d32a5211b073874b125d29701-le64.cache-4
7f16d944f000-7f16d9450000 r--s 00000000 fd:00 1464334 /var/cache/fontconfig/e61abf8156cc476151baa07d67337cae-le64.cache-4
7f16d9450000-7f16d9457000 r--s 00000000 fd:00 1464333 /var/cache/fontconfig/b67b32625a2bb51b023d3814a918f351-le64.cache-4
7f16d9457000-7f16d9459000 r--s 00000000 fd:00 1464332 /var/cache/fontconfig/d3379abda271c4acd2ad0c01f565d0b0-le64.cache-4
7f16d9459000-7f16d946c000 r--s 00000000 fd:00 1464327 /var/cache/fontconfig/614d1caaa4d7914789410f6367de37ca-le64.cache-4
7f16d946c000-7f16d9471000 r-xp 00000000 fd:00 1315741 /usr/lib64/libnss_dns-2.18.so
7f16d9471000-7f16d9670000 ---p 00005000 fd:00 1315741 /usr/lib64/libnss_dns-2.18.so
7f16d9670000-7f16d9671000 r--p 00004000 fd:00 1315741 /usr/lib64/libnss_dns-2.18.so
7f16d9671000-7f16d9672000 rw-p 00005000 fd:00 1315741 /usr/lib64/libnss_dns-2.18.so
7f16d9672000-7f16d9673000 r--s 00000000 fd:00 1464331 /var/cache/fontconfig/b4d0b56f766d89640448751fcd18ec1e-le64.cache-4
7f16d9673000-7f16d9676000 r--s 00000000 fd:00 1464084 /var/cache/fontconfig/7ee6df7a8311986241317a58487e0145-le64.cache-4
7f16d9676000-7f16d9678000 r--s 00000000 fd:00 1464329 /var/cache/fontconfig/99a1ce9f8b6a0434aadb01d3779b0780-le64.cache-4
7f16d9678000-7f16d967a000 r--s 00000000 fd:00 1464328 /var/cache/fontconfig/f9d379b867d7c69c85310a4f24e5228f-le64.cache-4
7f16d967a000-7f16d967b000 r--s 00000000 fd:00 1464326 /var/cache/fontconfig/efb3709cb5cd8da903fd39752511227a-le64.cache-4
7f16d967b000-7f16d967c000 r--s 00000000 fd:00 1464325 /var/cache/fontconfig/74adf45f2d40265d9e2b25f7dfc72808-le64.cache-4
7f16d967c000-7f16d9687000 r--s 00000000 fd:00 1464324 /var/cache/fontconfig/12b26b760a24f8b4feb03ad48a333a72-le64.cache-4
7f16d9687000-7f16d9688000 r--s 00000000 fd:00 1464321 /var/cache/fontconfig/3df8979866e8848a59fe99e84294e911-le64.cache-4
7f16d9688000-7f16d9690000 r--s 00000000 fd:00 1464320 /var/cache/fontconfig/928306c3ad40271d946e41014a49fc28-le64.cache-4
7f16d9690000-7f16d9694000 r--s 00000000 fd:00 1464057 /var/cache/fontconfig/beeeeb3dfe132a8a0633a017c99ce0c0-le64.cache-4
7f16d9694000-7f16d96bd000 r--s 002aa000 fd:02 12728165 /home/griff/Repos/isabelle/src/Tools/jEdit/dist/jedit.jar
7f16d96bd000-7f16d96c7000 r--s 00095000 fd:02 12976846 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-xml_2.11-1.0.2.jar
7f16d96c7000-7f16d96e3000 r--s 00393000 fd:02 12980148 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/ext/cldrdata.jar
7f16d96e3000-7f16d96ed000 r--s 00116000 fd:02 12980150 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/ext/localedata.jar
7f16d96ed000-7f16d96fe000 r-xp 00000000 fd:02 12980210 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnio.so
7f16d96fe000-7f16d98fd000 ---p 00011000 fd:02 12980210 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnio.so
7f16d98fd000-7f16d98fe000 rw-p 00010000 fd:02 12980210 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnio.so
7f16d98fe000-7f16d9914000 r-xp 00000000 fd:02 12980168 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnet.so
7f16d9914000-7f16d9b14000 ---p 00016000 fd:02 12980168 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnet.so
7f16d9b14000-7f16d9b15000 rw-p 00016000 fd:02 12980168 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libnet.so
7f16d9b15000-7f16d9d15000 rw-p 00000000 00:00 0
7f16d9d15000-7f16d9d18000 ---p 00000000 00:00 0
7f16d9d18000-7f16da116000 rw-p 00000000 00:00 0 [stack:5078]
7f16da116000-7f16da119000 ---p 00000000 00:00 0
7f16da119000-7f16da517000 rw-p 00000000 00:00 0 [stack:5077]
7f16da517000-7f16da57c000 r-xp 00000000 fd:02 12980194 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libfontmanager.so
7f16da57c000-7f16da77b000 ---p 00065000 fd:02 12980194 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libfontmanager.so
7f16da77b000-7f16da77f000 rw-p 00064000 fd:02 12980194 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libfontmanager.so
7f16da77f000-7f16da790000 rw-p 00000000 00:00 0
7f16da790000-7f16da7e4000 r-xp 00000000 fd:02 12980172 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt_xawt.so
7f16da7e4000-7f16da9e4000 ---p 00054000 fd:02 12980172 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt_xawt.so
7f16da9e4000-7f16da9e8000 rw-p 00054000 fd:02 12980172 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt_xawt.so
7f16da9e8000-7f16da9e9000 rw-p 00000000 00:00 0
7f16da9e9000-7f16daa8b000 r-xp 00000000 fd:02 12980212 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt.so
7f16daa8b000-7f16dac8b000 ---p 000a2000 fd:02 12980212 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt.so
7f16dac8b000-7f16dac97000 rw-p 000a2000 fd:02 12980212 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libawt.so
7f16dac97000-7f16dacbb000 rw-p 00000000 00:00 0
7f16dacbb000-7f16dacc6000 r--s 000a7000 fd:02 12976841 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-swing_2.11-1.0.1.jar
7f16dacc6000-7f16dad12000 r--s 003e4000 fd:02 12976840 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-reflect.jar
7f16dad12000-7f16dad1d000 r--s 0005b000 fd:02 12976847 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-parser-combinators_2.11-1.0.2.jar
7f16dad1d000-7f16dad2e000 r--s 000a8000 fd:02 12976837 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scalap-2.11.4.jar
7f16dad2e000-7f16dad86000 r--s 004f0000 fd:02 12976838 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-library.jar
7f16dad86000-7f16dada7000 rw-p 00000000 00:00 0
7f16dada7000-7f16dae9a000 r--s 00c0b000 fd:02 12976843 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-compiler.jar
7f16dae9a000-7f16daebf000 r--s 00242000 fd:02 12976844 /home/griff/.isabelle/contrib/scala-2.11.4/lib/akka-actor_2.11-2.3.4.jar
7f16daebf000-7f16daef8000 r--s 002c2000 fd:02 12848425 /home/griff/Repos/isabelle/lib/classes/Pure.jar
7f16daef8000-7f16daef9000 ---p 00000000 00:00 0
7f16daef9000-7f16daff9000 rw-p 00000000 00:00 0 [stack:5076]
7f16daff9000-7f16daffc000 ---p 00000000 00:00 0
7f16daffc000-7f16db3fa000 rw-p 00000000 00:00 0 [stack:5075]
7f16db3fa000-7f16db3fd000 ---p 00000000 00:00 0
7f16db3fd000-7f16db4fb000 rw-p 00000000 00:00 0 [stack:5074]
7f16db4fb000-7f16db4fe000 ---p 00000000 00:00 0
7f16db4fe000-7f16db5fc000 rw-p 00000000 00:00 0 [stack:5073]
7f16db5fc000-7f16db5ff000 ---p 00000000 00:00 0
7f16db5ff000-7f16db6fd000 rw-p 00000000 00:00 0 [stack:5072]
7f16db6fd000-7f16db700000 ---p 00000000 00:00 0
7f16db700000-7f16db7fe000 rw-p 00000000 00:00 0 [stack:5071]
7f16db7fe000-7f16db801000 ---p 00000000 00:00 0
7f16db801000-7f16dbbff000 rw-p 00000000 00:00 0 [stack:5070]
7f16dbbff000-7f16dbc02000 ---p 00000000 00:00 0
7f16dbc02000-7f16dc000000 rw-p 00000000 00:00 0 [stack:5069]
7f16dc000000-7f16dc3e8000 rw-p 00000000 00:00 0
7f16dc3e8000-7f16e0000000 ---p 00000000 00:00 0
7f16e0000000-7f16e0021000 rw-p 00000000 00:00 0
7f16e0021000-7f16e4000000 ---p 00000000 00:00 0
7f16e4000000-7f16e4021000 rw-p 00000000 00:00 0
7f16e4021000-7f16e8000000 ---p 00000000 00:00 0
7f16e8000000-7f16e8001000 r--s 00000000 fd:00 1464319 /var/cache/fontconfig/3640555adad8a8f6978400293cfce7ab-le64.cache-4
7f16e8001000-7f16e8006000 r--s 0002e000 fd:02 12976839 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-continuations-plugin_2.11.4-1.0.2.jar
7f16e8006000-7f16e800e000 r--s 0006c000 fd:02 12976845 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-actors-2.11.0.jar
7f16e800e000-7f16e801e000 r--s 00155000 fd:02 2229362 /home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar
7f16e801e000-7f16e8021000 ---p 00000000 00:00 0
7f16e8021000-7f16e841f000 rw-p 00000000 00:00 0 [stack:5068]
7f16e841f000-7f16e8420000 ---p 00000000 00:00 0
7f16e8420000-7f16ec000000 rw-p 00000000 00:00 0 [stack:5067]
7f16ec000000-7f16ec021000 rw-p 00000000 00:00 0
7f16ec021000-7f16f0000000 ---p 00000000 00:00 0
7f16f0000000-7f16f0021000 rw-p 00000000 00:00 0
7f16f0021000-7f16f4000000 ---p 00000000 00:00 0
7f16f4000000-7f16f4021000 rw-p 00000000 00:00 0
7f16f4021000-7f16f8000000 ---p 00000000 00:00 0
7f16f8000000-7f16f8021000 rw-p 00000000 00:00 0
7f16f8021000-7f16fc000000 ---p 00000000 00:00 0
7f16fc000000-7f16fc021000 rw-p 00000000 00:00 0
7f16fc021000-7f1700000000 ---p 00000000 00:00 0
7f1700000000-7f1700021000 rw-p 00000000 00:00 0
7f1700021000-7f1704000000 ---p 00000000 00:00 0
7f1704000000-7f1704021000 rw-p 00000000 00:00 0
7f1704021000-7f1708000000 ---p 00000000 00:00 0
7f1708000000-7f1708004000 r--s 00014000 fd:02 2359401 /home/griff/.isabelle/contrib/xz-java-1.2-1/lib/xz.jar
7f1708004000-7f1708006000 r--s 00005000 fd:02 12976842 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-continuations-library_2.11-1.0.2.jar
7f1708006000-7f170800a000 r--s 00031000 fd:02 12976835 /home/griff/.isabelle/contrib/scala-2.11.4/lib/jline-2.12.jar
7f170800a000-7f170800e000 r--s 00032000 fd:02 12976836 /home/griff/.isabelle/contrib/scala-2.11.4/lib/config-1.2.1.jar
7f170800e000-7f1708014000 r--s 00046000 fd:02 2229360 /home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar
7f1708014000-7f1708020000 r--s 00105000 fd:02 2229361 /home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar
7f1708020000-7f17081b2000 rw-p 00000000 00:00 0
7f17081b2000-7f1708388000 r--s 03ca8000 fd:02 12980137 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/rt.jar
7f1708388000-7f1708dfe000 rw-p 00000000 00:00 0
7f1708dfe000-7f1708dff000 ---p 00000000 00:00 0
7f1708dff000-7f1708eff000 rw-p 00000000 00:00 0 [stack:5066]
7f1708eff000-7f1708f00000 ---p 00000000 00:00 0
7f1708f00000-7f1709000000 rw-p 00000000 00:00 0 [stack:5065]
7f1709000000-7f170b3c0000 rwxp 00000000 00:00 0
7f170b3c0000-7f1718000000 ---p 00000000 00:00 0
7f1718000000-7f1718c51000 rw-p 00000000 00:00 0
7f1718c51000-7f171c000000 ---p 00000000 00:00 0
7f171c000000-7f171c083000 rw-p 00000000 00:00 0
7f171c083000-7f171c084000 ---p 00000000 00:00 0
7f171c084000-7f171c184000 rw-p 00000000 00:00 0 [stack:5064]
7f171c184000-7f171c185000 ---p 00000000 00:00 0
7f171c185000-7f171c285000 rw-p 00000000 00:00 0 [stack:5063]
7f171c285000-7f171c286000 ---p 00000000 00:00 0
7f171c286000-7f171c386000 rw-p 00000000 00:00 0 [stack:5062]
7f171c386000-7f171c387000 ---p 00000000 00:00 0
7f171c387000-7f171c487000 rw-p 00000000 00:00 0 [stack:5061]
7f171c487000-7f171c488000 ---p 00000000 00:00 0
7f171c488000-7f171c588000 rw-p 00000000 00:00 0 [stack:5060]
7f171c588000-7f171c589000 ---p 00000000 00:00 0
7f171c589000-7f171c6d3000 rw-p 00000000 00:00 0 [stack:5059]
7f171c6d3000-7f171c7df000 ---p 00000000 00:00 0
7f171c7df000-7f171c829000 rw-p 00000000 00:00 0
7f171c829000-7f171c934000 ---p 00000000 00:00 0
7f171c934000-7f171c9ba000 rw-p 00000000 00:00 0
7f171c9ba000-7f171c9df000 ---p 00000000 00:00 0
7f171c9df000-7f171ca6f000 rw-p 00000000 00:00 0
7f171ca6f000-7f171cda0000 ---p 00000000 00:00 0
7f171cda0000-7f171cdba000 r-xp 00000000 fd:02 12980195 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libzip.so
7f171cdba000-7f171cfba000 ---p 0001a000 fd:02 12980195 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libzip.so
7f171cfba000-7f171cfbb000 rw-p 0001a000 fd:02 12980195 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libzip.so
7f171cfbb000-7f171cfc6000 r-xp 00000000 fd:00 1320873 /usr/lib64/libnss_files-2.18.so
7f171cfc6000-7f171d1c5000 ---p 0000b000 fd:00 1320873 /usr/lib64/libnss_files-2.18.so
7f171d1c5000-7f171d1c6000 r--p 0000a000 fd:00 1320873 /usr/lib64/libnss_files-2.18.so
7f171d1c6000-7f171d1c7000 rw-p 0000b000 fd:00 1320873 /usr/lib64/libnss_files-2.18.so
7f171d1c7000-7f171d1c8000 r--s 00000000 fd:02 1048699 /home/griff/.cache/fontconfig/5d1a2bf1db9ebc6e9a230bc69149fa9a-le64.cache-4
7f171d1c8000-7f171d1e9000 rw-p 00000000 00:00 0
7f171d1e9000-7f171d213000 r-xp 00000000 fd:02 12980180 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libjava.so
7f171d213000-7f171d413000 ---p 0002a000 fd:02 12980180 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libjava.so
7f171d413000-7f171d415000 rw-p 0002a000 fd:02 12980180 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libjava.so
7f171d415000-7f171d422000 r-xp 00000000 fd:02 12980193 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libverify.so
7f171d422000-7f171d622000 ---p 0000d000 fd:02 12980193 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libverify.so
7f171d622000-7f171d624000 rw-p 0000d000 fd:02 12980193 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/libverify.so
7f171d624000-7f171d627000 ---p 00000000 00:00 0
7f171d627000-7f171da25000 rw-p 00000000 00:00 0 [stack:5058]
7f171da25000-7f171e68f000 r-xp 00000000 fd:02 12980192 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f171e68f000-7f171e88e000 ---p 00c6a000 fd:02 12980192 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f171e88e000-7f171e965000 rw-p 00c69000 fd:02 12980192 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f171e965000-7f171e9aa000 rw-p 00000000 00:00 0
7f171e9aa000-7f171e9bf000 r-xp 00000000 fd:02 12980170 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f171e9bf000-7f171ebbe000 ---p 00015000 fd:02 12980170 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f171ebbe000-7f171ebbf000 rw-p 00014000 fd:02 12980170 /home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f171ebbf000-7f171ebc0000 rw-p 00000000 00:00 0
7f171ebc0000-7f171ebc2000 r--s 0000d000 fd:02 12976848 /home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-actors-migration_2.11-1.1.0.jar
7f171ebc2000-7f171ebc4000 r--s 0000c000 fd:02 3933864 /home/griff/.isabelle/contrib/jortho-1.0-2/jortho.jar
7f171ebc4000-7f171ebd8000 rw-p 00000000 00:00 0
7f171ebd8000-7f171ebe0000 rw-s 00000000 00:23 684439 /tmp/hsperfdata_griff/5057
7f171ebe0000-7f171ebe1000 rw-p 00000000 00:00 0
7f171ebe1000-7f171ebe2000 r--p 00000000 00:00 0
7f171ebe2000-7f171ebe3000 rw-p 00000000 00:00 0
7ffff94e4000-7ffff9509000 rw-p 00000000 00:00 0 [stack]
7ffff95fc000-7ffff95fe000 r--p 00000000 00:00 0 [vvar]
7ffff95fe000-7ffff9600000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
VM Arguments:
jvm_args: -Dfile.encoding=UTF-8 -Xms128m -Xmx1024m -Xss4m -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle
java_command: isabelle.Main Show.thy
java_class_path (initial): /home/griff/Repos/isabelle/lib/classes/Pure.jar:/home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:/home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:/home/griff/.isabelle/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:/home/griff/.isabelle/contrib/jortho-1.0-2/jortho.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/akka-actor_2.11-2.3.4.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/config-1.2.1.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/jline-2.12.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-actors-2.11.0.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-actors-migration_2.11-1.1.0.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-compiler.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-continuations-library_2.11-1.0.2.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-continuations-plugin_2.11.4-1.0.2.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-library.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scalap-2.11.4.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-parser-combinators_2.11-1.0.2.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-reflect.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-swing_2.11-1.0.1.jar:/home/griff/.isabelle/contrib/scala-2.11.4/lib/scala-xml_2.11-1.0.2.jar:/home/griff/.isabelle/contrib/xz-java-1.2-1/lib/xz.jar:/home/griff/Repos/isabelle/src/Tools/jEdit/dist/jedit.jar
Launcher Type: SUN_STANDARD
Environment Variables:
JAVA_HOME=/home/griff/.isabelle/contrib/jdk-8u20/x86_64-linux/jre
PATH=/home/griff/.cabal/bin:/home/griff/bin:/home/griff/.cabal/bin:/home/griff/bin:/usr/lib64/qt-3.3/bin:/usr/lib64/ccache:/usr/local/bin:/usr/bin:/bin:/usr/local/sbin:/usr/sbin:/home/griff/.cabal/bin:/home/griff/.local/bin:/home/griff/bin
USERNAME=griff
SHELL=/bin/bash
DISPLAY=:0
Signal Handlers:
SIGSEGV: [libjvm.so+0xa77530], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.so+0xa77530], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.so+0x8e1d90], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.so+0x8e1d90], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.so+0x8e1d90], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.so+0x8e1d90], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.so+0x8e35c0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.so+0x8e4980], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.so+0x8e4980], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.so+0x8e4980], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.so+0x8e4980], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
--------------- S Y S T E M ---------------
OS:Fedora release 20 (Heisenbug)
uname:Linux 3.17.4-200.fc20.x86_64 #1 SMP Fri Nov 21 23:26:41 UTC 2014 x86_64
libc:glibc 2.18 NPTL 2.18
rlimit: STACK 8192k, CORE 0k, NPROC 1024, NOFILE 4096, AS infinity
load average:0.83 0.82 1.54
/proc/meminfo:
MemTotal: 7806932 kB
MemFree: 3926972 kB
MemAvailable: 5019172 kB
Buffers: 22340 kB
Cached: 1221244 kB
SwapCached: 153956 kB
Active: 1790028 kB
Inactive: 1739696 kB
Active(anon): 1152588 kB
Inactive(anon): 1180124 kB
Active(file): 637440 kB
Inactive(file): 559572 kB
Unevictable: 32 kB
Mlocked: 32 kB
SwapTotal: 7880700 kB
SwapFree: 6365584 kB
Dirty: 144 kB
Writeback: 0 kB
AnonPages: 2243472 kB
Mapped: 193164 kB
Shmem: 46492 kB
Slab: 186196 kB
SReclaimable: 128248 kB
SUnreclaim: 57948 kB
KernelStack: 10112 kB
PageTables: 49604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 11784164 kB
Committed_AS: 7230916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 170732 kB
VmallocChunk: 34359499964 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 201920 kB
DirectMap2M: 7813120 kB
CPU:total 8 (4 cores per cpu, 2 threads per core) family 6 model 58 stepping 9, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, erms, ht, tsc, tscinvbit, tscinv
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1276.125
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 3060.562
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1219.218
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1291.406
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1214.812
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1200.000
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1284.375
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 58
model name : Intel(R) Core(TM) i7-3630QM CPU @ 2.40GHz
stepping : 9
microcode : 0x1b
cpu MHz : 1246.312
cache size : 6144 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms xsaveopt
bugs :
bogomips : 4789.61
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
Memory: 4k page, physical 7806932k(3926972k free), swap 7880700k(6365584k free)
vm_info: Java HotSpot(TM) 64-Bit Server VM (25.20-b23) for linux-amd64 JRE (1.8.0_20-b26), built on Jul 30 2014 13:13:52 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8)
time: Tue Dec 9 12:55:38 2014
elapsed time: 7261 seconds (0d 2h 1m 1s)
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
