> If you still have that, can you send it to me?

Sure.

> Since the JVM crash happened during scalac compilation, I recommend to
> enforce a fresh build, e.g. like this:

That seems to have worked. The only output I got was this:

### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...


Manuel
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007f25a57c5b6c, pid=13339, tid=0x00007f256066c700
#
# JRE version: Java(TM) SE Runtime Environment (8.0_144-b01) (build 1.8.0_144-b01)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# J 2075 C2 scala.util.parsing.combinator.Parsers$Parser$$Lambda$107.apply(Ljava/lang/Object;)Ljava/lang/Object; (16 bytes) @ 0x00007f25a57c5b6c [0x00007f25a57c5b00+0x6c]
#
# Core dump written. Default location: /home/manuel/hg/afp-devel/core or core.13339
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
#

---------------  T H R E A D  ---------------

Current thread (0x00007f25b5e99800):  JavaThread "pool-1-thread-5" daemon [_thread_in_Java, id=13390, stack(0x00007f256026c000,0x00007f256066d000)]

siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x00000000f21517da

Registers:
RAX=0x00000007c0061210, RBX=0x00007f25622e2870, RCX=0x00000000e404fdd3, RDX=0x00000007947664a0
RSP=0x00007f256066a898, RBP=0x00000000e4000482, RSI=0x00000000f21517ca, RDI=0x00000000f28ece10
R8 =0x00000007c01b3230, R9 =0x00000000f1dfb1a3, R10=0x00000000f21517ca, R11=0x00000007c01b3230
R12=0x0000000000000000, R13=0x000000072027ee98, R14=0x00000000f803c74e, R15=0x00007f25b5e99800
RIP=0x00007f25a57c5b6c, EFLAGS=0x0000000000010202, CSGSFS=0x002b000000000033, ERR=0x0000000000000004
  TRAPNO=0x000000000000000e

Top of Stack: (sp=0x00007f256066a898)
0x00007f256066a898:   00007f25a573cae8 00000000f2152037
0x00007f256066a8a8:   00007f25a573cae8 00000000e4000482
0x00007f256066a8b8:   00000000e4000482 00000007f21517d3
0x00007f256066a8c8:   0000000790a8eb00 0000000794766dd8
0x00007f256066a8d8:   00007f25a5af59b8 00000000e4000482
0x00007f256066a8e8:   00007f25a573cae8 0000000794766e78
0x00007f256066a8f8:   0000000794766e78 00000000e4000482
0x00007f256066a908:   00007f25a57bd270 00000007f2151765
0x00007f256066a918:   00007f25a5af5b0c 00000007c01b1650
0x00007f256066a928:   00007f25a5b01884 00000000e4000482
0x00007f256066a938:   00007f25a573cae8 00000000e40de09c
0x00007f256066a948:   00007f25a573cae8 00000000e4000482
0x00007f256066a958:   00007f25a57bd270 00000000e40de09c
0x00007f256066a968:   00007f25a57bd270 0000000794765550
0x00007f256066a978:   00007f25a5af5b0c 00000000e40d8883
0x00007f256066a988:   00007f25a57bd270 00000000e40de0a2
0x00007f256066a998:   00007f25a573cae8 00000000f21519e3
0x00007f256066a9a8:   00007f25a573cae8 00000000e40de0a2
0x00007f256066a9b8:   00007f25a57bd270 00000000f21519e3
0x00007f256066a9c8:   00007f25a5af59b8 f21519e6e40db48e
0x00007f256066a9d8:   00000007947664a0 00000000f2152177
0x00007f256066a9e8:   00007f25a5af5a58 00000000f215199f
0x00007f256066a9f8:   00007f25a573cae8 0000000794765f60
0x00007f256066aa08:   00000007c00d41e0 00000000f21519ec
0x00007f256066aa18:   00007f25a5af5a58 f21519a3947655f0
0x00007f256066aa28:   00000007947664a0 0000000794766fa8
0x00007f256066aa38:   00007f25a5af5a58 f2151e2b6066aa80
0x00007f256066aa48:   0000000794764c40 00000007947656f8
0x00007f256066aa58:   00007f25bc2f28b0 00000000f21519ac
0x00007f256066aa68:   00007f25a573cae8 00007f256066aac0
0x00007f256066aa78:   00007f25bbcd0e20 00000000f21519ac
0x00007f256066aa88:   00007f25a5af59b8 f21519afb5e99800 

Instructions: (pc=0x00007f25a57c5b6c)
0x00007f25a57c5b4c:   5b 30 49 b8 30 32 1b c0 07 00 00 00 4d 3b d8 75
0x00007f25a57c5b5c:   30 49 8b f2 48 c1 e6 03 90 48 b8 ff ff ff ff ff
0x00007f25a57c5b6c:   ff ff ff e8 14 d9 d7 ff 44 8b 58 08 41 81 fb 27
0x00007f25a57c5b7c:   64 03 f8 75 24 48 83 c4 20 5d 85 05 74 14 74 17 

Register to memory mapping:

RAX=0x00000007c0061210 is pointing into metadata
RBX={method} {0x00007f25622e2870} 'apply' '(Ljava/lang/Object;)Ljava/lang/Object;' in 'scala/util/parsing/combinator/Parsers$Parser$$Lambda$107'
RCX=0x00000000e404fdd3 is an unknown value
RDX=0x00000007947664a0 is an oop
scala.util.parsing.input.CharSequenceReader 
 - klass: 'scala/util/parsing/input/CharSequenceReader'
RSP=0x00007f256066a898 is pointing into the stack for thread: 0x00007f25b5e99800
RBP=0x00000000e4000482 is an unknown value
RSI=0x00000000f21517ca is an unknown value
RDI=0x00000000f28ece10 is an unknown value
R8 =0x00000007c01b3230 is pointing into metadata
R9 =0x00000000f1dfb1a3 is an unknown value
R10=0x00000000f21517ca is an unknown value
R11=0x00000007c01b3230 is pointing into metadata
R12=0x0000000000000000 is an unknown value
R13=0x000000072027ee98 is an oop
scala.util.DynamicVariable$$anon$1 
 - klass: 'scala/util/DynamicVariable$$anon$1'
R14=0x00000000f803c74e is an unknown value
R15=0x00007f25b5e99800 is a thread


Stack: [0x00007f256026c000,0x00007f256066d000],  sp=0x00007f256066a898,  free space=4090k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
J 2075 C2 scala.util.parsing.combinator.Parsers$Parser$$Lambda$107.apply(Ljava/lang/Object;)Ljava/lang/Object; (16 bytes) @ 0x00007f25a57c5b6c [0x00007f25a57c5b00+0x6c]
C  0x00000007f21517d3


---------------  P R O C E S S  ---------------

Java Threads: ( => current thread )
  0x00007f25b5e9e800 JavaThread "pool-1-thread-8" daemon [_thread_in_Java, id=13393, stack(0x00007f25073fd000,0x00007f25077fe000)]
  0x00007f25b5e9d000 JavaThread "pool-1-thread-7" daemon [_thread_in_Java, id=13392, stack(0x00007f25077fe000,0x00007f2507bff000)]
  0x00007f25b5e9b000 JavaThread "pool-1-thread-6" daemon [_thread_in_vm, id=13391, stack(0x00007f2507bff000,0x00007f2508000000)]
=>0x00007f25b5e99800 JavaThread "pool-1-thread-5" daemon [_thread_in_Java, id=13390, stack(0x00007f256026c000,0x00007f256066d000)]
  0x00007f25b5e98800 JavaThread "pool-1-thread-4" daemon [_thread_in_Java, id=13389, stack(0x00007f256066d000,0x00007f2560a6e000)]
  0x00007f25b5e98000 JavaThread "pool-1-thread-3" daemon [_thread_in_Java, id=13388, stack(0x00007f2560a6e000,0x00007f2560e6f000)]
  0x00007f25b5e8d000 JavaThread "pool-1-thread-2" daemon [_thread_in_Java, id=13387, stack(0x00007f256126f000,0x00007f2561670000)]
  0x00007f25b5e8a000 JavaThread "pool-1-thread-1" daemon [_thread_in_Java, id=13386, stack(0x00007f2561670000,0x00007f2561a71000)]
  0x00007f25b5c92800 JavaThread "process reaper" daemon [_thread_blocked, id=13373, stack(0x00007f2562499000,0x00007f25624d2000)]
  0x00007f25b40f7000 JavaThread "Service Thread" daemon [_thread_blocked, id=13370, stack(0x00007f25627f1000,0x00007f2562bf2000)]
  0x00007f25b40eb800 JavaThread "C1 CompilerThread11" daemon [_thread_blocked, id=13369, stack(0x00007f2562bf2000,0x00007f2562cf3000)]
  0x00007f25b40e9800 JavaThread "C1 CompilerThread10" daemon [_thread_blocked, id=13368, stack(0x00007f2562cf3000,0x00007f2562df4000)]
  0x00007f25b40e8000 JavaThread "C1 CompilerThread9" daemon [_thread_in_vm, id=13367, stack(0x00007f2562df4000,0x00007f2562ef5000)]
  0x00007f25b40e5800 JavaThread "C1 CompilerThread8" daemon [_thread_in_vm, id=13366, stack(0x00007f2562ef5000,0x00007f2562ff6000)]
  0x00007f25b40e3800 JavaThread "C2 CompilerThread7" daemon [_thread_in_native, id=13365, stack(0x00007f2562ff6000,0x00007f25630f7000)]
  0x00007f25b40e1800 JavaThread "C2 CompilerThread6" daemon [_thread_in_vm, id=13364, stack(0x00007f25630f7000,0x00007f25631f8000)]
  0x00007f25b40df000 JavaThread "C2 CompilerThread5" daemon [_thread_in_native, id=13363, stack(0x00007f25631f8000,0x00007f25632f9000)]
  0x00007f25b40d5000 JavaThread "C2 CompilerThread4" daemon [_thread_in_native, id=13362, stack(0x00007f25632f9000,0x00007f25633fa000)]
  0x00007f25b40d3000 JavaThread "C2 CompilerThread3" daemon [_thread_blocked, id=13361, stack(0x00007f25633fa000,0x00007f25634fb000)]
  0x00007f25b40d0800 JavaThread "C2 CompilerThread2" daemon [_thread_in_native, id=13360, stack(0x00007f25634fb000,0x00007f25635fc000)]
  0x00007f25b40cf000 JavaThread "C2 CompilerThread1" daemon [_thread_in_native, id=13359, stack(0x00007f25635fc000,0x00007f25636fd000)]
  0x00007f25b40cc000 JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=13358, stack(0x00007f25636fd000,0x00007f25637fe000)]
  0x00007f25b40ca800 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13357, stack(0x00007f25637fe000,0x00007f2563bff000)]
  0x00007f25b4097000 JavaThread "Finalizer" daemon [_thread_blocked, id=13356, stack(0x00007f2563bff000,0x00007f2564000000)]
  0x00007f25b4092800 JavaThread "Reference Handler" daemon [_thread_blocked, id=13355, stack(0x00007f2568294000,0x00007f2568695000)]
  0x00007f25b400a800 JavaThread "main" [_thread_blocked, id=13340, stack(0x00007f25babff000,0x00007f25bb000000)]

Other Threads:
  0x00007f25b408b000 VMThread [stack: 0x00007f2568695000,0x00007f2568796000] [id=13354]
  0x00007f25b40f9800 WatcherThread [stack: 0x00007f25626f0000,0x00007f25627f1000] [id=13371]

VM state:not at safepoint (normal execution)

VM Mutex/Monitor currently owned by a thread: None

Heap:
 PSYoungGen      total 284672K, used 165463K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 263168K, 62% used [0x000000078ab00000,0x0000000794c95db8,0x000000079ac00000)
  from space 21504K, 0% used [0x000000079c100000,0x000000079c100000,0x000000079d600000)
  to   space 21504K, 0% used [0x000000079ac00000,0x000000079ac00000,0x000000079c100000)
 ParOldGen       total 349696K, used 8592K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 2% used [0x0000000720000000,0x0000000720864348,0x0000000735580000)
 Metaspace       used 18832K, capacity 21379K, committed 21632K, reserved 1069056K
  class space    used 2716K, capacity 2909K, committed 2944K, reserved 1048576K

Card table byte_map: [0x00007f25b92a2000,0x00007f25b97a3000] byte_map_base: 0x00007f25b59a2000

Marking Bits: (ParMarkBitMap*) 0x00007f25bc2dbdc0
 Begin Bits: [0x00007f256b000000, 0x00007f256d800000)
 End Bits:   [0x00007f256d800000, 0x00007f2570000000)

Polling page: 0x00007f25bcf07000

CodeCache: size=245760Kb used=13881Kb max_used=13881Kb free=231878Kb
 bounds [0x00007f25a5000000, 0x00007f25a5da0000, 0x00007f25b4000000]
 total_blobs=4289 nmethods=3886 adapters=308
 compilation: enabled

Compilation events (10 events):
Event: 1.882 Thread 0x00007f25b40d3000 3883       4       isabelle.Token$Parsers$$Lambda$223/1658926803::apply (8 bytes)
Event: 1.883 Thread 0x00007f25b40e1800 nmethod 3880 0x00007f25a5d85950 code [0x00007f25a5d85ae0, 0x00007f25a5d86028]
Event: 1.883 Thread 0x00007f25b40e1800 3884       4       isabelle.Token$Parsers::$anonfun$other_token$10 (60 bytes)
Event: 1.883 Thread 0x00007f25b40e8000 3895 %     3       scala.collection.SeqLike$::scala$collection$SeqLike$$kmpSearch @ 193 (553 bytes)
Event: 1.883 Thread 0x00007f25b40e3800 nmethod 3881 0x00007f25a5d7de90 code [0x00007f25a5d7e040, 0x00007f25a5d7e5a8]
Event: 1.883 Thread 0x00007f25b40e3800 3887       4       isabelle.Token::is_keyword (36 bytes)
Event: 1.884 Thread 0x00007f25b40e3800 nmethod 3887 0x00007f25a5d7ec90 code [0x00007f25a5d7ede0, 0x00007f25a5d7eed8]
Event: 1.884 Thread 0x00007f25b40e3800 3873       4       isabelle.Token$Parsers$$Lambda$220/1447499999::apply (8 bytes)
Event: 1.884 Thread 0x00007f25b40d3000 nmethod 3883 0x00007f25a5d80250 code [0x00007f25a5d803c0, 0x00007f25a5d80678]
Event: 1.884 Thread 0x00007f25b40d3000 3882       4       isabelle.Token$Parsers::$anonfun$other_token$2 (60 bytes)

GC Heap History (6 events):
Event: 1.166 GC heap before
{Heap before GC invocations=1 (full 0):
 PSYoungGen      total 153088K, used 131584K [0x000000078ab00000, 0x0000000795580000, 0x00000007c0000000)
  eden space 131584K, 100% used [0x000000078ab00000,0x0000000792b80000,0x0000000792b80000)
  from space 21504K, 0% used [0x0000000794080000,0x0000000794080000,0x0000000795580000)
  to   space 21504K, 0% used [0x0000000792b80000,0x0000000792b80000,0x0000000794080000)
 ParOldGen       total 349696K, used 0K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x0000000720000000,0x0000000735580000)
 Metaspace       used 16463K, capacity 18320K, committed 18432K, reserved 1064960K
  class space    used 2338K, capacity 2494K, committed 2560K, reserved 1048576K
Event: 1.186 GC heap after
Heap after GC invocations=1 (full 0):
 PSYoungGen      total 153088K, used 11594K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 131584K, 0% used [0x000000078ab00000,0x000000078ab00000,0x0000000792b80000)
  from space 21504K, 53% used [0x0000000792b80000,0x00000007936d2a30,0x0000000794080000)
  to   space 21504K, 0% used [0x000000079c100000,0x000000079c100000,0x000000079d600000)
 ParOldGen       total 349696K, used 24K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x0000000720006000,0x0000000735580000)
 Metaspace       used 16463K, capacity 18320K, committed 18432K, reserved 1064960K
  class space    used 2338K, capacity 2494K, committed 2560K, reserved 1048576K
}
Event: 1.578 GC heap before
{Heap before GC invocations=2 (full 0):
 PSYoungGen      total 153088K, used 120117K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 131584K, 82% used [0x000000078ab00000,0x00000007914faab8,0x0000000792b80000)
  from space 21504K, 53% used [0x0000000792b80000,0x00000007936d2a30,0x0000000794080000)
  to   space 21504K, 0% used [0x000000079c100000,0x000000079c100000,0x000000079d600000)
 ParOldGen       total 349696K, used 24K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x0000000720006000,0x0000000735580000)
 Metaspace       used 18740K, capacity 21255K, committed 21296K, reserved 1067008K
  class space    used 2711K, capacity 2903K, committed 2944K, reserved 1048576K
Event: 1.593 GC heap after
Heap after GC invocations=2 (full 0):
 PSYoungGen      total 284672K, used 8951K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 263168K, 0% used [0x000000078ab00000,0x000000078ab00000,0x000000079ac00000)
  from space 21504K, 41% used [0x000000079c100000,0x000000079c9bdc40,0x000000079d600000)
  to   space 21504K, 0% used [0x000000079ac00000,0x000000079ac00000,0x000000079c100000)
 ParOldGen       total 349696K, used 40K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x000000072000a000,0x0000000735580000)
 Metaspace       used 18740K, capacity 21255K, committed 21296K, reserved 1067008K
  class space    used 2711K, capacity 2903K, committed 2944K, reserved 1048576K
}
Event: 1.593 GC heap before
{Heap before GC invocations=3 (full 1):
 PSYoungGen      total 284672K, used 8951K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 263168K, 0% used [0x000000078ab00000,0x000000078ab00000,0x000000079ac00000)
  from space 21504K, 41% used [0x000000079c100000,0x000000079c9bdc40,0x000000079d600000)
  to   space 21504K, 0% used [0x000000079ac00000,0x000000079ac00000,0x000000079c100000)
 ParOldGen       total 349696K, used 40K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x000000072000a000,0x0000000735580000)
 Metaspace       used 18740K, capacity 21255K, committed 21296K, reserved 1067008K
  class space    used 2711K, capacity 2903K, committed 2944K, reserved 1048576K
Event: 1.632 GC heap after
Heap after GC invocations=3 (full 1):
 PSYoungGen      total 284672K, used 0K [0x000000078ab00000, 0x000000079d600000, 0x00000007c0000000)
  eden space 263168K, 0% used [0x000000078ab00000,0x000000078ab00000,0x000000079ac00000)
  from space 21504K, 0% used [0x000000079c100000,0x000000079c100000,0x000000079d600000)
  to   space 21504K, 0% used [0x000000079ac00000,0x000000079ac00000,0x000000079c100000)
 ParOldGen       total 349696K, used 8592K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 2% used [0x0000000720000000,0x0000000720864348,0x0000000735580000)
 Metaspace       used 18725K, capacity 21225K, committed 21296K, reserved 1067008K
  class space    used 2707K, capacity 2898K, committed 2944K, reserved 1048576K
}

Deoptimization events (10 events):
Event: 1.724 Thread 0x00007f25b400a800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5c8fbd4 method=java.util.regex.Pattern$Curly.match0(Ljava/util/regex/Matcher;IILjava/lang/CharSequence;)Z @ 130
Event: 1.739 Thread 0x00007f25b400a800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a5ca84b4 method=scala.util.parsing.combinator.RegexParsers$$anon$2.apply(Lscala/util/parsing/input/Reader;)Lscala/util/parsing/combinator/Parsers$ParseResult; @ 88
Event: 1.766 Thread 0x00007f25b400a800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a5ca84b4 method=scala.util.parsing.combinator.RegexParsers$$anon$2.apply(Lscala/util/parsing/input/Reader;)Lscala/util/parsing/combinator/Parsers$ParseResult; @ 88
Event: 1.781 Thread 0x00007f25b5e98000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a5770278 method=java.lang.ThreadLocal$ThreadLocalMap.set(Ljava/lang/ThreadLocal;Ljava/lang/Object;)V @ 36
Event: 1.857 Thread 0x00007f25b5e99800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5d724d8 method=scala.collection.SeqLike$.scala$collection$SeqLike$$kmpSearch(Lscala/collection/Seq;IILscala/collection/Seq;IIZ)I @ 249
Event: 1.858 Thread 0x00007f25b5e99800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5b1cf9c method=isabelle.Symbol$.isabelle$Symbol$$is_plain(C)Z @ 16
Event: 1.858 Thread 0x00007f25b5e99800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5b1539c method=java.lang.Character.codePointAt(Ljava/lang/CharSequence;I)I @ 12
Event: 1.858 Thread 0x00007f25b5e99800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a558cf54 method=java.lang.Character.charCount(I)I @ 3
Event: 1.861 Thread 0x00007f25b5e99800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a581b320 method=isabelle.Symbol$.is_quasi(Ljava/lang/String;)Z @ 45
Event: 1.869 Thread 0x00007f25b5e98000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5d6df98 method=scala.collection.SeqLike$.scala$collection$SeqLike$$kmpSearch(Lscala/collection/Seq;IILscala/collection/Seq;IIZ)I @ 249

Internal exceptions (10 events):
Event: 1.445 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$filterNot$1$adapted(Lscala/Function1;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078ec26eb8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/i
Event: 1.479 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$size$1$adapted(Lscala/runtime/IntRef;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078f709a60) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/i
Event: 1.501 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$zipWithIndex$1$adapted(Lscala/collection/mutable/Builder;Lscala/runtime/IntRef;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078f8e2260) thrown at [/HUDSON3/workspace/8-2-build-linux-
Event: 1.680 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$document_source$1$adapted(Lisabelle/Token;)Ljava/lang/Object;> (0x000000078c3ac898) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/li
Event: 1.680 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$cartouche_content$1(Ljava/lang/String;)Lscala/Option;> (0x000000078c3b09f0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/linkResolv
Event: 1.681 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$cartouche_content$2(Ljava/lang/String;)Lscala/runtime/Nothing$;> (0x000000078c3b4e80) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/
Event: 1.681 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$cartouche_content$3(Ljava/lang/String;)Lscala/Option;> (0x000000078c3b90c8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/linkResolv
Event: 1.681 Thread 0x00007f25b400a800 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$cartouche_content$4(Ljava/lang/String;)Lscala/runtime/Nothing$;> (0x000000078c3bd268) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/
Event: 1.871 Thread 0x00007f25b5e98000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$other_token$16(Lisabelle/Token$Parsers;Lscala/util/parsing/combinator/Parsers$Parser;)Lscala/util/parsing/combinator/Parsers$Parser;> (0x0000000792ca5398) thrown at [/HUDSON3/workspace/
Event: 1.871 Thread 0x00007f25b5e98000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$other_token$17(Lscala/util/parsing/combinator/Parsers$Parser;)Lscala/util/parsing/combinator/Parsers$Parser;> (0x0000000792caaad8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jd

Events (10 events):
Event: 1.871 loading class isabelle/Token$Parsers
Event: 1.871 loading class isabelle/Token$Parsers done
Event: 1.871 loading class isabelle/Token$Parsers
Event: 1.871 loading class isabelle/Token$Parsers done
Event: 1.871 loading class scala/util/parsing/combinator/Parsers$Parser
Event: 1.871 loading class scala/util/parsing/combinator/Parsers$Parser done
Event: 1.872 loading class scala/util/parsing/combinator/Parsers$Parser
Event: 1.872 loading class scala/util/parsing/combinator/Parsers$Parser done
Event: 1.881 Thread 0x00007f25b5e98000 DEOPT PACKING pc=0x00007f25a5c22632 sp=0x00007f2560e6c5c0
Event: 1.881 Thread 0x00007f25b5e98000 DEOPT UNPACKING pc=0x00007f25a5047233 sp=0x00007f2560e6c390 mode 0


Dynamic libraries:
00400000-00401000 r-xp 00000000 103:06 9307214                           /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/bin/java
00600000-00601000 rw-p 00000000 103:06 9307214                           /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/bin/java
01391000-013b2000 rw-p 00000000 00:00 0                                  [heap]
720000000-735580000 rw-p 00000000 00:00 0 
735580000-78ab00000 ---p 00000000 00:00 0 
78ab00000-79d600000 rw-p 00000000 00:00 0 
79d600000-7c0000000 ---p 00000000 00:00 0 
7c0000000-7c02e0000 rw-p 00000000 00:00 0 
7c02e0000-800000000 ---p 00000000 00:00 0 
7f24f4000000-7f24f4021000 rw-p 00000000 00:00 0 
7f24f4021000-7f24f8000000 ---p 00000000 00:00 0 
7f24f8000000-7f24f8021000 rw-p 00000000 00:00 0 
7f24f8021000-7f24fc000000 ---p 00000000 00:00 0 
7f24fc000000-7f24fc021000 rw-p 00000000 00:00 0 
7f24fc021000-7f2500000000 ---p 00000000 00:00 0 
7f2500000000-7f2500021000 rw-p 00000000 00:00 0 
7f2500021000-7f2504000000 ---p 00000000 00:00 0 
7f25073fd000-7f2507400000 ---p 00000000 00:00 0 
7f2507400000-7f25077fe000 rw-p 00000000 00:00 0 
7f25077fe000-7f2507801000 ---p 00000000 00:00 0 
7f2507801000-7f2507bff000 rw-p 00000000 00:00 0 
7f2507bff000-7f2507c02000 ---p 00000000 00:00 0 
7f2507c02000-7f2508000000 rw-p 00000000 00:00 0 
7f2508000000-7f2508021000 rw-p 00000000 00:00 0 
7f2508021000-7f250c000000 ---p 00000000 00:00 0 
7f250c000000-7f250c021000 rw-p 00000000 00:00 0 
7f250c021000-7f2510000000 ---p 00000000 00:00 0 
7f2510000000-7f2510021000 rw-p 00000000 00:00 0 
7f2510021000-7f2514000000 ---p 00000000 00:00 0 
7f2514000000-7f2514021000 rw-p 00000000 00:00 0 
7f2514021000-7f2518000000 ---p 00000000 00:00 0 
7f2518000000-7f2518021000 rw-p 00000000 00:00 0 
7f2518021000-7f251c000000 ---p 00000000 00:00 0 
7f251c000000-7f251c021000 rw-p 00000000 00:00 0 
7f251c021000-7f2520000000 ---p 00000000 00:00 0 
7f2520000000-7f25200af000 rw-p 00000000 00:00 0 
7f25200af000-7f2524000000 ---p 00000000 00:00 0 
7f2524000000-7f2524021000 rw-p 00000000 00:00 0 
7f2524021000-7f2528000000 ---p 00000000 00:00 0 
7f2528000000-7f2528130000 rw-p 00000000 00:00 0 
7f2528130000-7f252c000000 ---p 00000000 00:00 0 
7f252c000000-7f252c109000 rw-p 00000000 00:00 0 
7f252c109000-7f2530000000 ---p 00000000 00:00 0 
7f2530000000-7f2530311000 rw-p 00000000 00:00 0 
7f2530311000-7f2534000000 ---p 00000000 00:00 0 
7f2534000000-7f25340e6000 rw-p 00000000 00:00 0 
7f25340e6000-7f2538000000 ---p 00000000 00:00 0 
7f2538000000-7f2538639000 rw-p 00000000 00:00 0 
7f2538639000-7f253c000000 ---p 00000000 00:00 0 
7f253c000000-7f253c24f000 rw-p 00000000 00:00 0 
7f253c24f000-7f2540000000 ---p 00000000 00:00 0 
7f2540000000-7f254020f000 rw-p 00000000 00:00 0 
7f254020f000-7f2544000000 ---p 00000000 00:00 0 
7f2544000000-7f2544216000 rw-p 00000000 00:00 0 
7f2544216000-7f2548000000 ---p 00000000 00:00 0 
7f2548000000-7f2548163000 rw-p 00000000 00:00 0 
7f2548163000-7f254c000000 ---p 00000000 00:00 0 
7f254c000000-7f254c548000 rw-p 00000000 00:00 0 
7f254c548000-7f2550000000 ---p 00000000 00:00 0 
7f2550000000-7f2550021000 rw-p 00000000 00:00 0 
7f2550021000-7f2554000000 ---p 00000000 00:00 0 
7f2554000000-7f2554209000 rw-p 00000000 00:00 0 
7f2554209000-7f2558000000 ---p 00000000 00:00 0 
7f2558000000-7f2558021000 rw-p 00000000 00:00 0 
7f2558021000-7f255c000000 ---p 00000000 00:00 0 
7f255c000000-7f255c021000 rw-p 00000000 00:00 0 
7f255c021000-7f2560000000 ---p 00000000 00:00 0 
7f256026c000-7f256026f000 ---p 00000000 00:00 0 
7f256026f000-7f256066d000 rw-p 00000000 00:00 0 
7f256066d000-7f2560670000 ---p 00000000 00:00 0 
7f2560670000-7f2560a6e000 rw-p 00000000 00:00 0 
7f2560a6e000-7f2560a71000 ---p 00000000 00:00 0 
7f2560a71000-7f2560eaf000 rw-p 00000000 00:00 0 
7f2560eaf000-7f256106f000 ---p 00000000 00:00 0 
7f256106f000-7f256126f000 rw-p 00000000 00:00 0 
7f256126f000-7f2561272000 ---p 00000000 00:00 0 
7f2561272000-7f2561670000 rw-p 00000000 00:00 0 
7f2561670000-7f2561673000 ---p 00000000 00:00 0 
7f2561673000-7f2561c71000 rw-p 00000000 00:00 0 
7f2561c71000-7f2561c87000 r-xp 00000000 103:06 9307174                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnet.so
7f2561c87000-7f2561e87000 ---p 00016000 103:06 9307174                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnet.so
7f2561e87000-7f2561e88000 rw-p 00016000 103:06 9307174                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnet.so
7f2561e88000-7f2561e99000 r-xp 00000000 103:06 9307166                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnio.so
7f2561e99000-7f2562098000 ---p 00011000 103:06 9307166                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnio.so
7f2562098000-7f2562099000 rw-p 00010000 103:06 9307166                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libnio.so
7f2562099000-7f2562299000 rw-p 00000000 00:00 0 
7f2562299000-7f2562499000 rw-p 00000000 00:00 0 
7f2562499000-7f256249c000 ---p 00000000 00:00 0 
7f256249c000-7f25624d2000 rw-p 00000000 00:00 0 
7f25624d2000-7f25624d7000 r--s 0009a000 103:06 9306984                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/jsse.jar
7f25624d7000-7f25624db000 r--s 00016000 103:06 7609857                   /home/manuel/.isabelle/contrib/xz-java-1.6/lib/xz.jar
7f25624db000-7f25624df000 r--s 005e4000 103:06 7088380                   /home/manuel/.isabelle/contrib/sqlite-jdbc-3.18.0-1/sqlite-jdbc-3.18.0.jar
7f25624df000-7f25624e1000 r--s 00015000 103:06 8916604                   /home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jce.jar
7f25624e1000-7f25624e7000 r--s 00080000 103:06 6957978                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-xml_2.12-1.0.6.jar
7f25624e7000-7f25624f0000 r--s 000ab000 103:06 6957981                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-swing_2.12-2.0.0.jar
7f25624f0000-7f25626f0000 rw-p 00000000 00:00 0 
7f25626f0000-7f25626f1000 ---p 00000000 00:00 0 
7f25626f1000-7f25627f1000 rw-p 00000000 00:00 0 
7f25627f1000-7f25627f4000 ---p 00000000 00:00 0 
7f25627f4000-7f2562bf2000 rw-p 00000000 00:00 0 
7f2562bf2000-7f2562bf5000 ---p 00000000 00:00 0 
7f2562bf5000-7f2562cf3000 rw-p 00000000 00:00 0 
7f2562cf3000-7f2562cf6000 ---p 00000000 00:00 0 
7f2562cf6000-7f2562df4000 rw-p 00000000 00:00 0 
7f2562df4000-7f2562df7000 ---p 00000000 00:00 0 
7f2562df7000-7f2562ef5000 rw-p 00000000 00:00 0 
7f2562ef5000-7f2562ef8000 ---p 00000000 00:00 0 
7f2562ef8000-7f2562ff6000 rw-p 00000000 00:00 0 
7f2562ff6000-7f2562ff9000 ---p 00000000 00:00 0 
7f2562ff9000-7f25630f7000 rw-p 00000000 00:00 0 
7f25630f7000-7f25630fa000 ---p 00000000 00:00 0 
7f25630fa000-7f25631f8000 rw-p 00000000 00:00 0 
7f25631f8000-7f25631fb000 ---p 00000000 00:00 0 
7f25631fb000-7f25632f9000 rw-p 00000000 00:00 0 
7f25632f9000-7f25632fc000 ---p 00000000 00:00 0 
7f25632fc000-7f25633fa000 rw-p 00000000 00:00 0 
7f25633fa000-7f25633fd000 ---p 00000000 00:00 0 
7f25633fd000-7f25634fb000 rw-p 00000000 00:00 0 
7f25634fb000-7f25634fe000 ---p 00000000 00:00 0 
7f25634fe000-7f25635fc000 rw-p 00000000 00:00 0 
7f25635fc000-7f25635ff000 ---p 00000000 00:00 0 
7f25635ff000-7f25636fd000 rw-p 00000000 00:00 0 
7f25636fd000-7f2563700000 ---p 00000000 00:00 0 
7f2563700000-7f25637fe000 rw-p 00000000 00:00 0 
7f25637fe000-7f2563801000 ---p 00000000 00:00 0 
7f2563801000-7f2563bff000 rw-p 00000000 00:00 0 
7f2563bff000-7f2563c02000 ---p 00000000 00:00 0 
7f2563c02000-7f2564000000 rw-p 00000000 00:00 0 
7f2564000000-7f2564021000 rw-p 00000000 00:00 0 
7f2564021000-7f2568000000 ---p 00000000 00:00 0 
7f2568000000-7f2568005000 r--s 00040000 103:06 8916606                   /home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar
7f2568005000-7f256803c000 r--s 004ca000 103:06 6957979                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-library.jar
7f256803c000-7f256805f000 r--s 00345000 103:06 6957983                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-reflect.jar
7f256805f000-7f25680ab000 r--s 00914000 103:06 6957985                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-compiler.jar
7f25680ab000-7f25680b3000 r--s 000a6000 103:06 6957844                   /home/manuel/.isabelle/contrib/postgresql-42.1.1/postgresql-42.1.1.jar
7f25680b3000-7f2568294000 r--p 00000000 103:05 1205526                   /usr/lib/locale/locale-archive
7f2568294000-7f2568297000 ---p 00000000 00:00 0 
7f2568297000-7f2568695000 rw-p 00000000 00:00 0 
7f2568695000-7f2568696000 ---p 00000000 00:00 0 
7f2568696000-7f2570000000 rw-p 00000000 00:00 0 
7f2570000000-7f2570021000 rw-p 00000000 00:00 0 
7f2570021000-7f2574000000 ---p 00000000 00:00 0 
7f2574000000-7f2574021000 rw-p 00000000 00:00 0 
7f2574021000-7f2578000000 ---p 00000000 00:00 0 
7f2578000000-7f2578021000 rw-p 00000000 00:00 0 
7f2578021000-7f257c000000 ---p 00000000 00:00 0 
7f257c000000-7f257c021000 rw-p 00000000 00:00 0 
7f257c021000-7f2580000000 ---p 00000000 00:00 0 
7f2580000000-7f2580021000 rw-p 00000000 00:00 0 
7f2580021000-7f2584000000 ---p 00000000 00:00 0 
7f2584000000-7f2584021000 rw-p 00000000 00:00 0 
7f2584021000-7f2588000000 ---p 00000000 00:00 0 
7f2588000000-7f2588021000 rw-p 00000000 00:00 0 
7f2588021000-7f258c000000 ---p 00000000 00:00 0 
7f258c000000-7f258c021000 rw-p 00000000 00:00 0 
7f258c021000-7f2590000000 ---p 00000000 00:00 0 
7f2590000000-7f2590021000 rw-p 00000000 00:00 0 
7f2590021000-7f2594000000 ---p 00000000 00:00 0 
7f2594000000-7f2594021000 rw-p 00000000 00:00 0 
7f2594021000-7f2598000000 ---p 00000000 00:00 0 
7f2598000000-7f2598021000 rw-p 00000000 00:00 0 
7f2598021000-7f259c000000 ---p 00000000 00:00 0 
7f259c000000-7f259c021000 rw-p 00000000 00:00 0 
7f259c021000-7f25a0000000 ---p 00000000 00:00 0 
7f25a0000000-7f25a0021000 rw-p 00000000 00:00 0 
7f25a0021000-7f25a4000000 ---p 00000000 00:00 0 
7f25a4001000-7f25a4007000 r--s 00077000 103:06 6957980                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scalap-2.12.3.jar
7f25a4007000-7f25a4017000 r--s 00155000 103:06 7343362                   /home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar
7f25a4017000-7f25a5000000 rw-p 00000000 00:00 0 
7f25a5000000-7f25a5da0000 rwxp 00000000 00:00 0 
7f25a5da0000-7f25b4000000 ---p 00000000 00:00 0 
7f25b4000000-7f25b5ea8000 rw-p 00000000 00:00 0 
7f25b5ea8000-7f25b8000000 ---p 00000000 00:00 0 
7f25b8001000-7f25b8003000 r--s 00010000 103:06 8916605                   /home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar
7f25b8003000-7f25b801d000 r--s 00304000 103:06 8653244                   /home/manuel/hg/isabelle/lib/classes/Pure.jar
7f25b801d000-7f25b80f0000 rw-p 00000000 00:00 0 
7f25b80f0000-7f25b82ca000 r--s 03d4d000 103:06 9306991                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/rt.jar
7f25b82ca000-7f25b8340000 rw-p 00000000 00:00 0 
7f25b8340000-7f25b8341000 ---p 00000000 00:00 0 
7f25b8341000-7f25b8441000 rw-p 00000000 00:00 0 
7f25b8441000-7f25b8442000 ---p 00000000 00:00 0 
7f25b8442000-7f25b8542000 rw-p 00000000 00:00 0 
7f25b8542000-7f25b8543000 ---p 00000000 00:00 0 
7f25b8543000-7f25b8643000 rw-p 00000000 00:00 0 
7f25b8643000-7f25b8644000 ---p 00000000 00:00 0 
7f25b8644000-7f25b8744000 rw-p 00000000 00:00 0 
7f25b8744000-7f25b8745000 ---p 00000000 00:00 0 
7f25b8745000-7f25b8845000 rw-p 00000000 00:00 0 
7f25b8845000-7f25b8846000 ---p 00000000 00:00 0 
7f25b8846000-7f25b8946000 rw-p 00000000 00:00 0 
7f25b8946000-7f25b8947000 ---p 00000000 00:00 0 
7f25b8947000-7f25b8a47000 rw-p 00000000 00:00 0 
7f25b8a47000-7f25b8a48000 ---p 00000000 00:00 0 
7f25b8a48000-7f25b8b48000 rw-p 00000000 00:00 0 
7f25b8b48000-7f25b8b49000 ---p 00000000 00:00 0 
7f25b8b49000-7f25b8c49000 rw-p 00000000 00:00 0 
7f25b8c49000-7f25b8c4a000 ---p 00000000 00:00 0 
7f25b8c4a000-7f25b8d4a000 rw-p 00000000 00:00 0 
7f25b8d4a000-7f25b8d4b000 ---p 00000000 00:00 0 
7f25b8d4b000-7f25b8e4b000 rw-p 00000000 00:00 0 
7f25b8e4b000-7f25b8e4c000 ---p 00000000 00:00 0 
7f25b8e4c000-7f25b8ff7000 rw-p 00000000 00:00 0 
7f25b8ff7000-7f25b92a2000 ---p 00000000 00:00 0 
7f25b92a2000-7f25b934d000 rw-p 00000000 00:00 0 
7f25b934d000-7f25b95f7000 ---p 00000000 00:00 0 
7f25b95f7000-7f25b968d000 rw-p 00000000 00:00 0 
7f25b968d000-7f25b97a2000 ---p 00000000 00:00 0 
7f25b97a2000-7f25b97da000 rw-p 00000000 00:00 0 
7f25b97da000-7f25b9b63000 ---p 00000000 00:00 0 
7f25b9b63000-7f25b9b7d000 r-xp 00000000 103:06 9307157                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libzip.so
7f25b9b7d000-7f25b9d7d000 ---p 0001a000 103:06 9307157                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libzip.so
7f25b9d7d000-7f25b9d7e000 rw-p 0001a000 103:06 9307157                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libzip.so
7f25b9d7e000-7f25b9d89000 r-xp 00000000 103:05 1182352                   /usr/lib/libnss_files-2.25.so
7f25b9d89000-7f25b9f88000 ---p 0000b000 103:05 1182352                   /usr/lib/libnss_files-2.25.so
7f25b9f88000-7f25b9f89000 r--p 0000a000 103:05 1182352                   /usr/lib/libnss_files-2.25.so
7f25b9f89000-7f25b9f8a000 rw-p 0000b000 103:05 1182352                   /usr/lib/libnss_files-2.25.so
7f25b9f8a000-7f25b9f90000 rw-p 00000000 00:00 0 
7f25b9f90000-7f25b9f9b000 r-xp 00000000 103:05 1182307                   /usr/lib/libnss_nis-2.25.so
7f25b9f9b000-7f25ba19a000 ---p 0000b000 103:05 1182307                   /usr/lib/libnss_nis-2.25.so
7f25ba19a000-7f25ba19b000 r--p 0000a000 103:05 1182307                   /usr/lib/libnss_nis-2.25.so
7f25ba19b000-7f25ba19c000 rw-p 0000b000 103:05 1182307                   /usr/lib/libnss_nis-2.25.so
7f25ba19c000-7f25ba1b1000 r-xp 00000000 103:05 1182306                   /usr/lib/libnsl-2.25.so
7f25ba1b1000-7f25ba3b0000 ---p 00015000 103:05 1182306                   /usr/lib/libnsl-2.25.so
7f25ba3b0000-7f25ba3b1000 r--p 00014000 103:05 1182306                   /usr/lib/libnsl-2.25.so
7f25ba3b1000-7f25ba3b2000 rw-p 00015000 103:05 1182306                   /usr/lib/libnsl-2.25.so
7f25ba3b2000-7f25ba3b4000 rw-p 00000000 00:00 0 
7f25ba3b4000-7f25ba3bb000 r-xp 00000000 103:05 1182309                   /usr/lib/libnss_compat-2.25.so
7f25ba3bb000-7f25ba5ba000 ---p 00007000 103:05 1182309                   /usr/lib/libnss_compat-2.25.so
7f25ba5ba000-7f25ba5bb000 r--p 00006000 103:05 1182309                   /usr/lib/libnss_compat-2.25.so
7f25ba5bb000-7f25ba5bc000 rw-p 00007000 103:05 1182309                   /usr/lib/libnss_compat-2.25.so
7f25ba5bc000-7f25ba5e7000 r-xp 00000000 103:06 9307136                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libjava.so
7f25ba5e7000-7f25ba7e6000 ---p 0002b000 103:06 9307136                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libjava.so
7f25ba7e6000-7f25ba7e8000 rw-p 0002a000 103:06 9307136                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libjava.so
7f25ba7e8000-7f25ba7f5000 r-xp 00000000 103:06 9307183                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libverify.so
7f25ba7f5000-7f25ba9f5000 ---p 0000d000 103:06 9307183                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libverify.so
7f25ba9f5000-7f25ba9f7000 rw-p 0000d000 103:06 9307183                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/libverify.so
7f25ba9f7000-7f25ba9fe000 r-xp 00000000 103:05 1182284                   /usr/lib/librt-2.25.so
7f25ba9fe000-7f25babfd000 ---p 00007000 103:05 1182284                   /usr/lib/librt-2.25.so
7f25babfd000-7f25babfe000 r--p 00006000 103:05 1182284                   /usr/lib/librt-2.25.so
7f25babfe000-7f25babff000 rw-p 00007000 103:05 1182284                   /usr/lib/librt-2.25.so
7f25babff000-7f25bac02000 ---p 00000000 00:00 0 
7f25bac02000-7f25bb000000 rw-p 00000000 00:00 0 
7f25bb000000-7f25bb111000 r-xp 00000000 103:05 1182356                   /usr/lib/libm-2.25.so
7f25bb111000-7f25bb310000 ---p 00111000 103:05 1182356                   /usr/lib/libm-2.25.so
7f25bb310000-7f25bb311000 r--p 00110000 103:05 1182356                   /usr/lib/libm-2.25.so
7f25bb311000-7f25bb312000 rw-p 00111000 103:05 1182356                   /usr/lib/libm-2.25.so
7f25bb312000-7f25bbfe5000 r-xp 00000000 103:06 9307165                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f25bbfe5000-7f25bc1e4000 ---p 00cd3000 103:06 9307165                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f25bc1e4000-7f25bc2be000 rw-p 00cd2000 103:06 9307165                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/server/libjvm.so
7f25bc2be000-7f25bc309000 rw-p 00000000 00:00 0 
7f25bc309000-7f25bc4a6000 r-xp 00000000 103:05 1182315                   /usr/lib/libc-2.25.so
7f25bc4a6000-7f25bc6a5000 ---p 0019d000 103:05 1182315                   /usr/lib/libc-2.25.so
7f25bc6a5000-7f25bc6a9000 r--p 0019c000 103:05 1182315                   /usr/lib/libc-2.25.so
7f25bc6a9000-7f25bc6ab000 rw-p 001a0000 103:05 1182315                   /usr/lib/libc-2.25.so
7f25bc6ab000-7f25bc6af000 rw-p 00000000 00:00 0 
7f25bc6af000-7f25bc6b2000 r-xp 00000000 103:05 1182349                   /usr/lib/libdl-2.25.so
7f25bc6b2000-7f25bc8b1000 ---p 00003000 103:05 1182349                   /usr/lib/libdl-2.25.so
7f25bc8b1000-7f25bc8b2000 r--p 00002000 103:05 1182349                   /usr/lib/libdl-2.25.so
7f25bc8b2000-7f25bc8b3000 rw-p 00003000 103:05 1182349                   /usr/lib/libdl-2.25.so
7f25bc8b3000-7f25bc8c8000 r-xp 00000000 103:06 9307153                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f25bc8c8000-7f25bcac8000 ---p 00015000 103:06 9307153                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f25bcac8000-7f25bcac9000 rw-p 00015000 103:06 9307153                   /home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre/lib/amd64/jli/libjli.so
7f25bcac9000-7f25bcae2000 r-xp 00000000 103:05 1182286                   /usr/lib/libpthread-2.25.so
7f25bcae2000-7f25bcce1000 ---p 00019000 103:05 1182286                   /usr/lib/libpthread-2.25.so
7f25bcce1000-7f25bcce2000 r--p 00018000 103:05 1182286                   /usr/lib/libpthread-2.25.so
7f25bcce2000-7f25bcce3000 rw-p 00019000 103:05 1182286                   /usr/lib/libpthread-2.25.so
7f25bcce3000-7f25bcce7000 rw-p 00000000 00:00 0 
7f25bcce7000-7f25bcd0a000 r-xp 00000000 103:05 1182304                   /usr/lib/ld-2.25.so
7f25bcd0a000-7f25bcd0e000 r--s 0003e000 103:06 6957984                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/jline-2.14.4.jar
7f25bcd0e000-7f25bcd14000 r--s 00046000 103:06 7343360                   /home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar
7f25bcd14000-7f25bcd20000 r--s 00105000 103:06 7343361                   /home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar
7f25bcd20000-7f25bcdce000 rw-p 00000000 00:00 0 
7f25bcdce000-7f25bcdcf000 ---p 00000000 00:00 0 
7f25bcdcf000-7f25bced1000 rw-p 00000000 00:00 0 
7f25bced1000-7f25bced4000 r--s 00031000 103:06 6957982                   /home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-parser-combinators_2.12-1.0.6.jar
7f25bced4000-7f25bced6000 r--s 0000c000 103:06 7609679                   /home/manuel/.isabelle/contrib/jortho-1.0-2/jortho.jar
7f25bced6000-7f25bcefe000 rw-p 00000000 00:00 0 
7f25bcefe000-7f25bcf06000 rw-s 00000000 00:26 19308                      /tmp/hsperfdata_manuel/13339
7f25bcf06000-7f25bcf07000 rw-p 00000000 00:00 0 
7f25bcf07000-7f25bcf08000 r--p 00000000 00:00 0 
7f25bcf08000-7f25bcf0a000 rw-p 00000000 00:00 0 
7f25bcf0a000-7f25bcf0b000 r--p 00023000 103:05 1182304                   /usr/lib/ld-2.25.so
7f25bcf0b000-7f25bcf0c000 rw-p 00024000 103:05 1182304                   /usr/lib/ld-2.25.so
7f25bcf0c000-7f25bcf0d000 rw-p 00000000 00:00 0 
7ffc1b7aa000-7ffc1b7ce000 rw-p 00000000 00:00 0                          [stack]
7ffc1b7ec000-7ffc1b7ee000 r--p 00000000 00:00 0                          [vvar]
7ffc1b7ee000-7ffc1b7f0000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]

VM Arguments:
jvm_args: -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m 
java_command: isabelle.Isabelle_Tool build -b HOL-Analysis
java_class_path (initial): /home/manuel/hg/isabelle/lib/classes/Pure.jar:/home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:/home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:/home/manuel/.isabelle/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:/home/manuel/.isabelle/contrib/jortho-1.0-2/jortho.jar:/home/manuel/.isabelle/contrib/postgresql-42.1.1/postgresql-42.1.1.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/jline-2.14.4.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-compiler.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-library.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scalap-2.12.3.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-parser-combinators_2.12-1.0.6.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-reflect.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-swing_2.12-2.0.0.jar:/home/manuel/.isabelle/contrib/scala-2.12.3/lib/scala-xml_2.12-1.0.6.jar:/home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar:/home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar:/home/manuel/.isabelle/contrib/ssh-java-20161009/lib/jce.jar:/home/manuel/.isabelle/contrib/sqlite-jdbc-3.18.0-1/sqlite-jdbc-3.18.0.jar:/home/manuel/.isabelle/contrib/xz-java-1.6/lib/xz.jar
Launcher Type: SUN_STANDARD

Environment Variables:
JAVA_HOME=/home/manuel/.isabelle/contrib/jdk-8u144/x86_64-linux/jre
PATH=/home/manuel/hg/isabelle/bin:/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl
SHELL=/usr/bin/fish
DISPLAY=:0

Signal Handlers:
SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO


---------------  S Y S T E M  ---------------

OS:NAME="Arch Linux"
PRETTY_NAME="Arch Linux"
ID=arch
ID_LIKE=archlinux
ANSI_COLOR="0;36"
HOME_URL="https://www.archlinux.org/";
SUPPORT_URL="https://bbs.archlinux.org/";
BUG_REPORT_URL="https://bugs.archlinux.org/";


uname:Linux 4.11.7-1-ARCH #1 SMP PREEMPT Sat Jun 24 09:07:09 CEST 2017 x86_64
libc:glibc 2.25 NPTL 2.25 
rlimit: STACK 8192k, CORE infinity, NPROC 127886, NOFILE 4096, AS infinity
load average:2.40 0.67 0.34

/proc/meminfo:
MemTotal:       32967076 kB
MemFree:        19863580 kB
MemAvailable:   31331588 kB
Buffers:          216220 kB
Cached:         11098648 kB
SwapCached:            0 kB
Active:          3341780 kB
Inactive:        8798260 kB
Active(anon):     825728 kB
Inactive(anon):    69920 kB
Active(file):    2516052 kB
Inactive(file):  8728340 kB
Unevictable:          32 kB
Mlocked:              32 kB
SwapTotal:             0 kB
SwapFree:              0 kB
Dirty:              3192 kB
Writeback:             0 kB
AnonPages:        809088 kB
Mapped:           257144 kB
Shmem:             70492 kB
Slab:             751444 kB
SReclaimable:     688356 kB
SUnreclaim:        63088 kB
KernelStack:        7404 kB
PageTables:        21852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    16483536 kB
Committed_AS:    3214840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
HardwareCorrupted:     0 kB
AnonHugePages:    403456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      194244 kB
DirectMap2M:     3950592 kB
DirectMap1G:    30408704 kB


CPU:total 16 (initial active 16) (16 cores per cpu, 1 threads per core) family 23 model 1 stepping 1, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, avx2, aes, clmul, mmxext, 3dnowpref, lzcnt, sse4a, tsc, tscinvbit, tscinv, bmi1

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 2200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 0
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7188.46
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 0
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 1
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 2200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 1
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7164.84
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 4
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 2
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 5
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 2200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 2
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 6
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 3
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 7
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 2200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 3
cpu cores	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 8
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 2200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 4
cpu cores	: 8
apicid		: 8
initial apicid	: 8
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 9
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 4
cpu cores	: 8
apicid		: 9
initial apicid	: 9
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 10
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 5
cpu cores	: 8
apicid		: 10
initial apicid	: 10
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 11
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 5
cpu cores	: 8
apicid		: 11
initial apicid	: 11
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 12
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 6
cpu cores	: 8
apicid		: 12
initial apicid	: 12
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7164.84
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 13
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 6
cpu cores	: 8
apicid		: 13
initial apicid	: 13
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7164.84
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 14
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3600.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 7
cpu cores	: 8
apicid		: 14
initial apicid	: 14
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7164.84
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]

processor	: 15
vendor_id	: AuthenticAMD
cpu family	: 23
model		: 1
model name	: AMD Ryzen 7 1800X Eight-Core Processor
stepping	: 1
microcode	: 0x8001126
cpu MHz		: 3200.000
cache size	: 512 KB
physical id	: 0
siblings	: 16
core id		: 7
cpu cores	: 8
apicid		: 15
initial apicid	: 15
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 mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_l2 mwaitx hw_pstate vmmcall fsgsbase bmi1 avx2 smep bmi2 rdseed adx smap clflushopt sha_ni xsaveopt xsavec xgetbv1 xsaves clzero irperf arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic overflow_recov succor smca
bugs		: fxsave_leak sysret_ss_attrs null_seg
bogomips	: 7183.32
TLB size	: 2560 4K pages
clflush size	: 64
cache_alignment	: 64
address sizes	: 48 bits physical, 48 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]



Memory: 4k page, physical 32967076k(19863580k free), swap 0k(0k free)

vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8)

time: Sat Aug 19 16:56:37 2017
elapsed time: 1 seconds (0d 0h 0m 1s)

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to