Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8075318

SIGSEGV at BinaryTreeDictionary<Metablock, FreeList<Metablock> >::remove_chunk

    XMLWordPrintable

    Details

    • CPU:
      x86
    • OS:
      linux_ubuntu

      Description

      FULL PRODUCT VERSION :
      java version "1.8.0_31"
      Java(TM) SE Runtime Environment (build 1.8.0_31-b13)
      Java HotSpot(TM) 64-Bit Server VM (build 25.31-b07, mixed mode)


      FULL OS VERSION :
      Linux ubuntu 3.2.0-29-generic #46-Ubuntu SMP Fri Jul 27 17:03:23 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux


      A DESCRIPTION OF THE PROBLEM :
      I was starting the VM with a Java agent in order to do some bytecode transformation but the failure is always reproducible even without modifying any bytecode. If I simply do "return null;" in method "byte[] transform( ClassLoader loader, String className, Class<?> classBeingRedefined, ProtectionDomain protectionDomain, byte[] classfileBuffer) throws IllegalClassFormatException", everything is fine. However, even if I just put "System.err.println(className);" before returning null, the JVM will crash with the described failure.


      THE PROBLEM WAS REPRODUCIBLE WITH -Xint FLAG: No

      THE PROBLEM WAS REPRODUCIBLE WITH -server FLAG: Yes

      STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
      It seems hard to extract a small test case with easy steps to reproduce the problem. I can try if the error message is not enough.

      ERROR MESSAGES/STACK TRACES THAT OCCUR :
      #
      # A fatal error has been detected by the Java Runtime Environment:
      #
      # SIGSEGV (0xb) at pc=0x00002b626a4b3ead, pid=9041, tid=47705510381312
      #
      # JRE version: Java(TM) SE Runtime Environment (8.0_31-b13) (build 1.8.0_31-b13)
      # Java VM: Java HotSpot(TM) 64-Bit Server VM (25.31-b07 mixed mode linux-amd64 compressed oops)
      # Problematic frame:
      # V [libjvm.so+0x326ead] BinaryTreeDictionary<Metablock, FreeList<Metablock> >::remove_chunk_from_tree(TreeChunk<Metablock, FreeList<Metablock> >*)+0x1d
      #
      # 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.java.com/bugreport/crash.jsp
      #

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

      Current thread (0x00002b632c0b3000): JavaThread "pool-2-thread-3" [_thread_in_vm, id=9123, stack(0x00002b634c000000,0x00002b634e001000)]

      siginfo: si_signo: 11 (SIGSEGV), si_code: 128 (SI_KERNEL), si_addr: 0x0000000000000000

      Registers:
      RAX=0x00002b62df345690, RBX=0x00002b62db5e3850, RCX=0x00002b62db3a7618, RDX=0x00002b62df345690
      RSP=0x00002b634dffea40, RBP=0x00002b634dffea60, RSI=0x0a0c01010a0c0164, RDI=0x00002b6270168230
      R8 =0x0000000000000000, R9 =0x00002b632c0b3000, R10=0x0000000000000006, R11=0x0000000000000000
      R12=0x01010a0c0164010a, R13=0x00002b62db5e3850, R14=0x00002b6270168230, R15=0x00002b6270055230
      RIP=0x00002b626a4b3ead, EFLAGS=0x0000000000010206, CSGSFS=0x0000000000000033, ERR=0x0000000000000000
        TRAPNO=0x000000000000000d

      Top of Stack: (sp=0x00002b634dffea40)
      0x00002b634dffea40: 00002b62db5e3850 0000000000000026
      0x00002b634dffea50: 00002b62700551e0 00002b627002aa90
      0x00002b634dffea60: 00002b634dffea80 00002b626a4b42a1
      0x00002b634dffea70: 0000000000000026 0000000000000130
      0x00002b634dffea80: 00002b634dffead0 00002b626a9fa433
      0x00002b634dffea90: 0000000000000012 00002b626b0a49d8
      0x00002b634dffeaa0: 00002b634dffeb30 00002b632c0b3000
      0x00002b634dffeab0: 0000000000000026 0000000000000000
      0x00002b634dffeac0: 00002b627002aa30 000000000000000c
      0x00002b634dffead0: 00002b634dffeb20 00002b626a9fa63e
      0x00002b634dffeae0: 00002b628b8c9318 0000001000000090
      0x00002b634dffeaf0: 000000014dffecc8 00002b634dffecc8
      0x00002b634dffeb00: 00002b634dffed38 00002b634dffed08
      0x00002b634dffeb10: 0000000000000009 00002b632c0b3000
      0x00002b634dffeb20: 00002b634dffeb50 00002b626a670904
      0x00002b634dffeb30: 00002b634dffec90 00002b632c0b3000
      0x00002b634dffeb40: 00002b627002aa30 00002b62db51efd0
      0x00002b634dffeb50: 00002b634dffeba0 00002b626aaf9197
      0x00002b634dffeb60: 00002b632c0b1b90 00002b630c518660
      0x00002b634dffeb70: 00002b634dffeba0 00002b632c0b1c00
      0x00002b634dffeb80: 00002b632c0b1c00 00002b632c0b3000
      0x00002b634dffeb90: 00002b634dffec90 00002b62db51efd0
      0x00002b634dffeba0: 00002b634dffec50 00002b626aafc703
      0x00002b634dffebb0: 00002b634dffec00 00002b626a467b05
      0x00002b634dffebc0: 00002b62db4c6388 00002b632c0b3000
      0x00002b634dffebd0: 0000000000000000 0000000000000001
      0x00002b634dffebe0: 00002b628b8c92a8 00000007c00b6888
      0x00002b634dffebf0: 0000000000000001 0000000000000000
      0x00002b634dffec00: 00002b634dffedd0 00002b626abf884b
      0x00002b634dffec10: 00002b62db4c6388 00002b634dffed60
      0x00002b634dffec20: 00002b634dffec70 00002b632c0b1c00
      0x00002b634dffec30: 00002b632c0b3000 00002b62db51efd0

      Instructions: (pc=0x00002b626a4b3ead)
      0x00002b626a4b3e8d: c9 c3 90 55 48 89 e5 41 56 49 89 fe 41 55 49 89
      0x00002b626a4b3e9d: f5 41 54 53 4c 8b 66 18 48 8b 46 10 48 8b 76 08
      0x00002b626a4b3ead: 4d 39 2c 24 0f 84 09 01 00 00 48 85 f6 0f 84 c0
      0x00002b626a4b3ebd: 01 00 00 48 85 f6 48 89 70 08 4c 89 e3 74 07 48

      Register to memory mapping:

      RAX=0x00002b62df345690 is pointing into metadata
      RBX=0x00002b62db5e3850 is pointing into metadata
      RCX=0x00002b62db3a7618 is pointing into metadata
      RDX=0x00002b62df345690 is pointing into metadata
      RSP=0x00002b634dffea40 is pointing into the stack for thread: 0x00002b632c0b3000
      RBP=0x00002b634dffea60 is pointing into the stack for thread: 0x00002b632c0b3000
      RSI=0x0a0c01010a0c0164 is an unknown value
      RDI=0x00002b6270168230 is an unknown value
      R8 =0x0000000000000000 is an unknown value
      R9 =0x00002b632c0b3000 is a thread
      R10=0x0000000000000006 is an unknown value
      R11=0x0000000000000000 is an unknown value
      R12=0x01010a0c0164010a is an unknown value
      R13=0x00002b62db5e3850 is pointing into metadata
      R14=0x00002b6270168230 is an unknown value
      R15=0x00002b6270055230 is an unknown value


      Stack: [0x00002b634c000000,0x00002b634e001000], sp=0x00002b634dffea40, free space=32762k
      Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
      V [libjvm.so+0x326ead] BinaryTreeDictionary<Metablock, FreeList<Metablock> >::remove_chunk_from_tree(TreeChunk<Metablock, FreeList<Metablock> >*)+0x1d
      V [libjvm.so+0x3272a1] BinaryTreeDictionary<Metablock, FreeList<Metablock> >::get_chunk(unsigned long, FreeBlockDictionary<Metablock>::Dither)+0x91
      V [libjvm.so+0x86d433] SpaceManager::allocate(unsigned long)+0xc3
      V [libjvm.so+0x86d63e] Metaspace::allocate(ClassLoaderData*, unsigned long, bool, MetaspaceObj::Type, Thread*)+0x17e
      V [libjvm.so+0x4e3904] ConstantPoolCache::allocate(ClassLoaderData*, intStack const&, intStack const&, intStack const&, Thread*)+0x54
      V [libjvm.so+0x96c197] Rewriter::make_constant_pool_cache(Thread*)+0x47
      V [libjvm.so+0x96f703] Rewriter::Rewriter(instanceKlassHandle, constantPoolHandle, Array<Method*>*, Thread*)+0x1f3
      V [libjvm.so+0x96ff1c] Rewriter::rewrite(instanceKlassHandle, Thread*)+0xcc
      V [libjvm.so+0x615855] InstanceKlass::rewrite_class(Thread*)+0x35
      V [libjvm.so+0x618397] InstanceKlass::link_class_impl(instanceKlassHandle, bool, Thread*)+0x3a7
      V [libjvm.so+0x618ecf] InstanceKlass::initialize_impl(instanceKlassHandle, Thread*)+0x6f
      V [libjvm.so+0x619481] InstanceKlass::initialize(Thread*)+0x41
      V [libjvm.so+0x65896a] InterpreterRuntime::_new(JavaThread*, ConstantPool*, int)+0x23a
      j java.util.Collections$UnmodifiableMap$UnmodifiableEntrySet$1.next()Ljava/util/Map$Entry;+0
      j java.util.Collections$UnmodifiableMap$UnmodifiableEntrySet$1.next()Ljava/lang/Object;+1
      J 1126 C1 java.util.HashMap.putMapEntries(Ljava/util/Map;Z)V (154 bytes) @ 0x00002b62743cc4ec [0x00002b62743cbe80+0x66c]
      j java.util.HashMap.putAll(Ljava/util/Map;)V+3
      j org.kframework.utils.ColorUtil.initEightBitColors(Ljava/awt/Color;)Ljava/util/Map;+256
      j org.kframework.utils.ColorUtil.initColors(Ljava/awt/Color;)V+14
      j org.kframework.utils.ColorUtil.RgbToAnsi(Ljava/awt/Color;Lorg/kframework/krun/ColorSetting;Ljava/awt/Color;)Ljava/lang/String;+1
      j org.kframework.ktest.Proc.handlePgmResult(Lorg/kframework/ktest/ProcOutput;Lorg/kframework/ktest/ProcOutput;)V+17
      j org.kframework.ktest.Proc.run()V+143
      j org.kframework.ktest.Test.TaskQueue$4.run()V+53
      j java.util.concurrent.ThreadPoolExecutor.runWorker(Ljava/util/concurrent/ThreadPoolExecutor$Worker;)V+95
      j java.util.concurrent.ThreadPoolExecutor$Worker.run()V+5
      j java.lang.Thread.run()V+11
      v ~StubRoutines::call_stub
      V [libjvm.so+0x6644b6] JavaCalls::call_helper(JavaValue*, methodHandle*, JavaCallArguments*, Thread*)+0x1056
      V [libjvm.so+0x6649c1] JavaCalls::call_virtual(JavaValue*, KlassHandle, Symbol*, Symbol*, JavaCallArguments*, Thread*)+0x321
      V [libjvm.so+0x664e67] JavaCalls::call_virtual(JavaValue*, Handle, KlassHandle, Symbol*, Symbol*, Thread*)+0x47
      V [libjvm.so+0x6df26e] thread_entry(JavaThread*, Thread*)+0x7e
      V [libjvm.so+0xa2a9ef] JavaThread::thread_main_inner()+0xdf
      V [libjvm.so+0xa2ab1c] JavaThread::run()+0x11c
      V [libjvm.so+0x8e8158] java_start(Thread*)+0x108
      C [libpthread.so.0+0x7e9a] start_thread+0xda

      Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
      j java.util.Collections$UnmodifiableMap$UnmodifiableEntrySet$1.next()Ljava/util/Map$Entry;+0
      j java.util.Collections$UnmodifiableMap$UnmodifiableEntrySet$1.next()Ljava/lang/Object;+1
      J 1126 C1 java.util.HashMap.putMapEntries(Ljava/util/Map;Z)V (154 bytes) @ 0x00002b62743cc4ec [0x00002b62743cbe80+0x66c]
      j java.util.HashMap.putAll(Ljava/util/Map;)V+3
      j org.kframework.utils.ColorUtil.initEightBitColors(Ljava/awt/Color;)Ljava/util/Map;+256
      j org.kframework.utils.ColorUtil.initColors(Ljava/awt/Color;)V+14
      j org.kframework.utils.ColorUtil.RgbToAnsi(Ljava/awt/Color;Lorg/kframework/krun/ColorSetting;Ljava/awt/Color;)Ljava/lang/String;+1
      j org.kframework.ktest.Proc.handlePgmResult(Lorg/kframework/ktest/ProcOutput;Lorg/kframework/ktest/ProcOutput;)V+17
      j org.kframework.ktest.Proc.run()V+143
      j org.kframework.ktest.Test.TaskQueue$4.run()V+53
      j java.util.concurrent.ThreadPoolExecutor.runWorker(Ljava/util/concurrent/ThreadPoolExecutor$Worker;)V+95
      j java.util.concurrent.ThreadPoolExecutor$Worker.run()V+5
      j java.lang.Thread.run()V+11
      v ~StubRoutines::call_stub

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

      Java Threads: ( => current thread )
        0x00002b6328013000 JavaThread "NGSession 6: (idle)" [_thread_blocked, id=9353, stack(0x00002b639800c000,0x00002b639a00d000)]
        0x00002b634800a800 JavaThread "pool-6-thread-2" [_thread_blocked, id=9151, stack(0x00002b6384002000,0x00002b6386003000)]
        0x00002b6348008800 JavaThread "pool-6-thread-1" [_thread_blocked, id=9150, stack(0x00002b6382001000,0x00002b6384002000)]
        0x00002b6348006800 JavaThread "process reaper" daemon [_thread_blocked, id=9149, stack(0x00002b637603c000,0x00002b6376075000)]
        0x00002b6358004800 JavaThread "pool-5-thread-2" [_thread_blocked, id=9143, stack(0x00002b6380000000,0x00002b6382001000)]
        0x00002b6358003000 JavaThread "pool-5-thread-1" [_thread_blocked, id=9139, stack(0x00002b637403b000,0x00002b637603c000)]
        0x00002b6358001000 JavaThread "process reaper" daemon [_thread_blocked, id=9138, stack(0x00002b6374002000,0x00002b637403b000)]
        0x00002b6350004800 JavaThread "pool-4-thread-2" [_thread_blocked, id=9136, stack(0x00002b6372001000,0x00002b6374002000)]
        0x00002b6350003000 JavaThread "pool-4-thread-1" [_thread_blocked, id=9135, stack(0x00002b6370000000,0x00002b6372001000)]
        0x00002b6340003800 JavaThread "pool-3-thread-2" [_thread_blocked, id=9134, stack(0x00002b6368000000,0x00002b636a001000)]
        0x00002b6340002000 JavaThread "pool-3-thread-1" [_thread_blocked, id=9133, stack(0x00002b6360000000,0x00002b6362001000)]
        0x00002b6350001000 JavaThread "process reaper" daemon [_thread_blocked, id=9128, stack(0x00002b6356001000,0x00002b635603a000)]
        0x00002b632c0b4000 JavaThread "pool-2-thread-4" [_thread_blocked, id=9124, stack(0x00002b6354000000,0x00002b6356001000)]
      =>0x00002b632c0b3000 JavaThread "pool-2-thread-3" [_thread_in_vm, id=9123, stack(0x00002b634c000000,0x00002b634e001000)]
        0x00002b632c0ae000 JavaThread "pool-2-thread-2" [_thread_blocked, id=9122, stack(0x00002b6344000000,0x00002b6346001000)]
        0x00002b632c0ad000 JavaThread "pool-2-thread-1" [_thread_blocked, id=9121, stack(0x00002b633c000000,0x00002b633e001000)]
        0x00002b6334002000 JavaThread "NGSession 1: 127.0.0.1: org.kframework.main.Main read chunk thread (NGInputStream pool)" [_thread_in_native, id=9120, stack(0x00002b632004c000,0x00002b632204d000)]
        0x00002b632c01a800 JavaThread "NGSession 1: 127.0.0.1: org.kframework.main.Main read stream thread (NGInputStream pool)" [_thread_blocked, id=9119, stack(0x00002b62a0000000,0x00002b62a2001000)]
        0x00002b632801c000 JavaThread "NGSession 1: 127.0.0.1: org.kframework.main.Main" [_thread_blocked, id=9065, stack(0x00002b6290000000,0x00002b6292001000)]
        0x00002b6270f75000 JavaThread "Thread-1" [_thread_in_native, id=9064, stack(0x00002b6288dec000,0x00002b628aded000)]
        0x00002b6270b17000 JavaThread "process reaper" daemon [_thread_blocked, id=9063, stack(0x00002b62df8dc000,0x00002b62df915000)]
        0x00002b62708ef000 JavaThread "Service Thread" daemon [_thread_blocked, id=9060, stack(0x00002b6314000000,0x00002b6316001000)]
        0x00002b62708ec800 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=9059, stack(0x00002b62df711000,0x00002b62df812000)]
        0x00002b62708ea800 JavaThread "C2 CompilerThread1" daemon [_thread_in_native, id=9058, stack(0x00002b62df610000,0x00002b62df711000)]
        0x00002b62708e8800 JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=9057, stack(0x00002b62df50f000,0x00002b62df610000)]
        0x00002b62fc001000 JavaThread "Metadata logger" daemon [_thread_blocked, id=9056, stack(0x00002b6300000000,0x00002b6302001000)]
        0x00002b6270293000 JavaThread "Logging server" daemon [_thread_blocked, id=9055, stack(0x00002b62f8000000,0x00002b62fa001000)]
        0x00002b6270175000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=9054, stack(0x00002b62f0000000,0x00002b62f2001000)]
        0x00002b6270147800 JavaThread "Finalizer" daemon [_thread_blocked, id=9053, stack(0x00002b62e8000000,0x00002b62ea001000)]
        0x00002b6270145800 JavaThread "Reference Handler" daemon [_thread_blocked, id=9052, stack(0x00002b62dcce6000,0x00002b62dece7000)]
        0x00002b627000e000 JavaThread "main" [_thread_blocked, id=9045, stack(0x00002b626b426000,0x00002b626d427000)]

      Other Threads:
        0x00002b6270140800 VMThread [stack: 0x00002b62dcbe5000,0x00002b62dcce6000] [id=9051]
        0x00002b62708f9800 WatcherThread [stack: 0x00002b6316001000,0x00002b6316102000] [id=9061]

      VM state:not at safepoint (normal execution)

      VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event])
      [0x00002b6270005570] CodeCache_lock - owner thread: 0x0000000000000000

      Heap:
       PSYoungGen total 177152K, used 47765K [0x00000005c0000000, 0x00000005cf000000, 0x00000007c0000000)
        eden space 152064K, 23% used [0x00000005c0000000,0x00000005c22e3390,0x00000005c9480000)
        from space 25088K, 47% used [0x00000005c9480000,0x00000005ca042318,0x00000005cad00000)
        to space 24064K, 0% used [0x00000005cd880000,0x00000005cd880000,0x00000005cf000000)
       ParOldGen total 77312K, used 32441K [0x00000001c0000000, 0x00000001c4b80000, 0x00000005c0000000)
        object space 77312K, 41% used [0x00000001c0000000,0x00000001c1fae5a0,0x00000001c4b80000)
       Metaspace used 34492K, capacity 35420K, committed 35632K, reserved 1079296K
        class space used 4629K, capacity 4816K, committed 4912K, reserved 1048576K

      Card table byte_map: [0x00002b62833c0000,0x00002b62863c1000] byte_map_base: 0x00002b62825c0000

      Marking Bits: (ParMarkBitMap*) 0x00002b626b0e82a0
       Begin Bits: [0x00002b62a8000000, 0x00002b62c0000000)
       End Bits: [0x00002b62c0000000, 0x00002b62d8000000)

      Polling page: 0x00002b626da81000

      CodeCache: size=245760Kb used=11805Kb max_used=11816Kb free=233954Kb
       bounds [0x00002b6274000000, 0x00002b6274ba0000, 0x00002b6283000000]
       total_blobs=4221 nmethods=3821 adapters=314
       compilation: enabled

      Compilation events (10 events):
      Event: 17.754 Thread 0x00002b62708ec800 4226 3 java.awt.Color::<init> (11 bytes)
      Event: 17.755 Thread 0x00002b62708ec800 nmethod 4226 0x00002b6274b81690 code [0x00002b6274b81800, 0x00002b6274b81988]
      Event: 17.755 Thread 0x00002b62708ec800 4228 3 java.awt.Color::<init> (72 bytes)
      Event: 17.755 Thread 0x00002b62708ec800 nmethod 4228 0x00002b6274b811d0 code [0x00002b6274b81340, 0x00002b6274b815a8]
      Event: 17.755 Thread 0x00002b62708ec800 4229 3 java.awt.Color::testColorValueRange (186 bytes)
      Event: 17.759 Thread 0x00002b62708e8800

      Event: 17.759 Thread 0x00002b62708e8800 4221 4 java.net.SocketOutputStream::write (8 bytes)
      Event: 17.760 Thread 0x00002b62708ec800 nmethod 4229 0x00002b6274b79b50 code [0x00002b6274b79ee0, 0x00002b6274b7bff8]
      Event: 17.760 Thread 0x00002b62708ec800 4227 1 java.awt.Color::hashCode (5 bytes)
      Event: 17.760 Thread 0x00002b62708ec800 nmethod 4227 0x00002b6274b80f10 code [0x00002b6274b81060, 0x00002b6274b81170]

      GC Heap History (10 events):
      Event: 13.593 GC heap before
      {Heap before GC invocations=9 (full 1):
       PSYoungGen total 71680K, used 71659K [0x00000005c0000000, 0x00000005c7c00000, 0x00000007c0000000)
        eden space 65536K, 100% used [0x00000005c0000000,0x00000005c4000000,0x00000005c4000000)
        from space 6144K, 99% used [0x00000005c4000000,0x00000005c45fac30,0x00000005c4600000)
        to space 7168K, 0% used [0x00000005c7500000,0x00000005c7500000,0x00000005c7c00000)
       ParOldGen total 44032K, used 6953K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 15% used [0x00000001c0000000,0x00000001c06ca720,0x00000001c2b00000)
       Metaspace used 26345K, capacity 26972K, committed 27184K, reserved 1073152K
        class space used 3174K, capacity 3348K, committed 3376K, reserved 1048576K
      Event: 13.607 GC heap after
      Heap after GC invocations=9 (full 1):
       PSYoungGen total 117760K, used 7153K [0x00000005c0000000, 0x00000005c7f80000, 0x00000007c0000000)
        eden space 110592K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c6c00000)
        from space 7168K, 99% used [0x00000005c7500000,0x00000005c7bfc480,0x00000005c7c00000)
        to space 9216K, 0% used [0x00000005c6c00000,0x00000005c6c00000,0x00000005c7500000)
       ParOldGen total 44032K, used 9336K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 21% used [0x00000001c0000000,0x00000001c091e1c0,0x00000001c2b00000)
       Metaspace used 26345K, capacity 26972K, committed 27184K, reserved 1073152K
        class space used 3174K, capacity 3348K, committed 3376K, reserved 1048576K
      }
      Event: 15.136 GC heap before
      {Heap before GC invocations=10 (full 1):
       PSYoungGen total 117760K, used 117745K [0x00000005c0000000, 0x00000005c7f80000, 0x00000007c0000000)
        eden space 110592K, 100% used [0x00000005c0000000,0x00000005c6c00000,0x00000005c6c00000)
        from space 7168K, 99% used [0x00000005c7500000,0x00000005c7bfc480,0x00000005c7c00000)
        to space 9216K, 0% used [0x00000005c6c00000,0x00000005c6c00000,0x00000005c7500000)
       ParOldGen total 44032K, used 9336K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 21% used [0x00000001c0000000,0x00000001c091e1c0,0x00000001c2b00000)
       Metaspace used 29110K, capacity 29756K, committed 29872K, reserved 1075200K
        class space used 3791K, capacity 3956K, committed 4016K, reserved 1048576K
      Event: 15.167 GC heap after
      Heap after GC invocations=10 (full 1):
       PSYoungGen total 119808K, used 9200K [0x00000005c0000000, 0x00000005cbe00000, 0x00000007c0000000)
        eden space 110592K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c6c00000)
        from space 9216K, 99% used [0x00000005c6c00000,0x00000005c74fc030,0x00000005c7500000)
        to space 17408K, 0% used [0x00000005cad00000,0x00000005cad00000,0x00000005cbe00000)
       ParOldGen total 44032K, used 26599K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 60% used [0x00000001c0000000,0x00000001c19f9d58,0x00000001c2b00000)
       Metaspace used 29110K, capacity 29756K, committed 29872K, reserved 1075200K
        class space used 3791K, capacity 3956K, committed 4016K, reserved 1048576K
      }
      Event: 15.967 GC heap before
      {Heap before GC invocations=11 (full 1):
       PSYoungGen total 119808K, used 119792K [0x00000005c0000000, 0x00000005cbe00000, 0x00000007c0000000)
        eden space 110592K, 100% used [0x00000005c0000000,0x00000005c6c00000,0x00000005c6c00000)
        from space 9216K, 99% used [0x00000005c6c00000,0x00000005c74fc030,0x00000005c7500000)
        to space 17408K, 0% used [0x00000005cad00000,0x00000005cad00000,0x00000005cbe00000)
       ParOldGen total 44032K, used 26599K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 60% used [0x00000001c0000000,0x00000001c19f9d58,0x00000001c2b00000)
       Metaspace used 30378K, capacity 31004K, committed 31280K, reserved 1077248K
        class space used 3960K, capacity 4116K, committed 4144K, reserved 1048576K
      Event: 15.996 GC heap after
      Heap after GC invocations=11 (full 1):
       PSYoungGen total 169472K, used 17376K [0x00000005c0000000, 0x00000005cd080000, 0x00000007c0000000)
        eden space 152064K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c9480000)
        from space 17408K, 99% used [0x00000005cad00000,0x00000005cbdf8030,0x00000005cbe00000)
        to space 25088K, 0% used [0x00000005c9480000,0x00000005c9480000,0x00000005cad00000)
       ParOldGen total 44032K, used 39432K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 89% used [0x00000001c0000000,0x00000001c2682370,0x00000001c2b00000)
       Metaspace used 30378K, capacity 31004K, committed 31280K, reserved 1077248K
        class space used 3960K, capacity 4116K, committed 4144K, reserved 1048576K
      }
      Event: 15.996 GC heap before
      {Heap before GC invocations=12 (full 2):
       PSYoungGen total 169472K, used 17376K [0x00000005c0000000, 0x00000005cd080000, 0x00000007c0000000)
        eden space 152064K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c9480000)
        from space 17408K, 99% used [0x00000005cad00000,0x00000005cbdf8030,0x00000005cbe00000)
        to space 25088K, 0% used [0x00000005c9480000,0x00000005c9480000,0x00000005cad00000)
       ParOldGen total 44032K, used 39432K [0x00000001c0000000, 0x00000001c2b00000, 0x00000005c0000000)
        object space 44032K, 89% used [0x00000001c0000000,0x00000001c2682370,0x00000001c2b00000)
       Metaspace used 30378K, capacity 31004K, committed 31280K, reserved 1077248K
        class space used 3960K, capacity 4116K, committed 4144K, reserved 1048576K
      Event: 16.171 GC heap after
      Heap after GC invocations=12 (full 2):
       PSYoungGen total 169472K, used 0K [0x00000005c0000000, 0x00000005cd080000, 0x00000007c0000000)
        eden space 152064K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c9480000)
        from space 17408K, 0% used [0x00000005cad00000,0x00000005cad00000,0x00000005cbe00000)
        to space 25088K, 0% used [0x00000005c9480000,0x00000005c9480000,0x00000005cad00000)
       ParOldGen total 77312K, used 32433K [0x00000001c0000000, 0x00000001c4b80000, 0x00000005c0000000)
        object space 77312K, 41% used [0x00000001c0000000,0x00000001c1fac5a0,0x00000001c4b80000)
       Metaspace used 30325K, capacity 30912K, committed 31280K, reserved 1077248K
        class space used 3948K, capacity 4096K, committed 4144K, reserved 1048576K
      }
      Event: 17.165 GC heap before
      {Heap before GC invocations=13 (full 2):
       PSYoungGen total 169472K, used 152064K [0x00000005c0000000, 0x00000005cd080000, 0x00000007c0000000)
        eden space 152064K, 100% used [0x00000005c0000000,0x00000005c9480000,0x00000005c9480000)
        from space 17408K, 0% used [0x00000005cad00000,0x00000005cad00000,0x00000005cbe00000)
        to space 25088K, 0% used [0x00000005c9480000,0x00000005c9480000,0x00000005cad00000)
       ParOldGen total 77312K, used 32433K [0x00000001c0000000, 0x00000001c4b80000, 0x00000005c0000000)
        object space 77312K, 41% used [0x00000001c0000000,0x00000001c1fac5a0,0x00000001c4b80000)
       Metaspace used 32972K, capacity 33722K, committed 33840K, reserved 1079296K
        class space used 4373K, capacity 4545K, committed 4656K, reserved 1048576K
      Event: 17.186 GC heap after
      Heap after GC invocations=13 (full 2):
       PSYoungGen total 177152K, used 12040K [0x00000005c0000000, 0x00000005cf000000, 0x00000007c0000000)
        eden space 152064K, 0% used [0x00000005c0000000,0x00000005c0000000,0x00000005c9480000)
        from space 25088K, 47% used [0x00000005c9480000,0x00000005ca042318,0x00000005cad00000)
        to space 24064K, 0% used [0x00000005cd880000,0x00000005cd880000,0x00000005cf000000)
       ParOldGen total 77312K, used 32441K [0x00000001c0000000, 0x00000001c4b80000, 0x00000005c0000000)
        object space 77312K, 41% used [0x00000001c0000000,0x00000001c1fae5a0,0x00000001c4b80000)
       Metaspace used 32972K, capacity 33722K, committed 33840K, reserved 1079296K
        class space used 4373K, capacity 4545K, committed 4656K, reserved 1048576K
      }

      Deoptimization events (10 events):
      Event: 17.658 Thread 0x00002b632800e000 Uncommon trap: reason=unreached action=reinterpret pc=0x00002b6274b5af94 method=org.kframework.kil.Attribute$Key.equals(Ljava/lang/Object;)Z @ 35
      Event: 17.658 Thread 0x00002b6328011800 Uncommon trap: reason=unreached action=reinterpret pc=0x00002b6274b5af94 method=org.kframework.kil.Attribute$Key.equals(Ljava/lang/Object;)Z @ 35
      Event: 17.658 Thread 0x00002b632800d000 Uncommon trap: reason=unreached action=reinterpret pc=0x00002b6274b5af94 method=org.kframework.kil.Attribute$Key.equals(Ljava/lang/Object;)Z @ 35
      Event: 17.658 Thread 0x00002b632800f800 Uncommon trap: reason=unreached action=reinterpret pc=0x00002b6274b5af94 method=org.kframework.kil.Attribute$Key.equals(Ljava/lang/Object;)Z @ 35
      Event: 17.745 Thread 0x00002b632800d000 Uncommon trap: reason=null_assert action=make_not_entrant pc=0x00002b6274657668 method=java.net.SocketOutputStream.socketWrite([BII)V @ 61
      Event: 17.745 Thread 0x00002b632800e000 Uncommon trap: reason=null_assert action=make_not_entrant pc=0x00002b6274657668 method=java.net.SocketOutputStream.socketWrite([BII)V @ 61
      Event: 17.745 Thread 0x00002b632800f800 Uncommon trap: reason=null_assert action=make_not_entrant pc=0x00002b6274657668 method=java.net.SocketOutputStream.socketWrite([BII)V @ 61
      Event: 17.746 Thread 0x00002b632800d000 Uncommon trap: reason=null_assert action=make_not_entrant pc=0x00002b6274658310 method=java.net.SocketOutputStream.socketWrite([BII)V @ 61
      Event: 17.748 Thread 0x00002b632800d000 Uncommon trap: reason=unloaded action=reinterpret pc=0x00002b62747c015c method=com.runtimeverification.rvpredict.instrumentation.Agent.transform(Ljava/lang/ClassLoader;Ljava/lang/String;Ljava/lang/Class;Ljava/security/ProtectionDomain;[B)[B @ 41
      Event: 17.753 Thread 0x00002b632c0b3000 Uncommon trap: reason=unreached action=reinterpret pc=0x00002b6274aba608 method=java.util.HashMap$TreeNode.split(Ljava/util/HashMap;[Ljava/util/HashMap$Node;II)V @ 162

      Internal exceptions (10 events):
      Event: 17.750 Thread 0x00002b6328011800 Exception <a 'java/lang/reflect/InvocationTargetException'> (0x00000005c1d9aea0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/runtime/reflection.cpp, line 1080]
      Event: 17.750 Thread 0x00002b632800d000 Exception <a 'java/net/SocketException'> (0x00000005c1d1f940) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.750 Thread 0x00002b632800d000 Exception <a 'java/net/SocketException'> (0x00000005c1d1fb80) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.750 Thread 0x00002b632800e000 Exception <a 'java/net/SocketException'> (0x00000005c1ce6470) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.750 Thread 0x00002b632800e000 Exception <a 'java/net/SocketException'> (0x00000005c1ce66b0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.751 Thread 0x00002b632800f800 Exception <a 'java/lang/reflect/InvocationTargetException'> (0x00000005c1fcd9f0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/runtime/reflection.cpp, line 1080]
      Event: 17.751 Thread 0x00002b6328011800 Exception <a 'java/net/SocketException'> (0x00000005c1d9b190) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.751 Thread 0x00002b6328011800 Exception <a 'java/net/SocketException'> (0x00000005c1d9b3d0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.751 Thread 0x00002b632800f800 Exception <a 'java/net/SocketException'> (0x00000005c1fcdce0) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]
      Event: 17.751 Thread 0x00002b632800f800 Exception <a 'java/net/SocketException'> (0x00000005c1fcdf20) thrown at [/HUDSON/workspace/8-2-build-linux-amd64/jdk8u31/2394/hotspot/src/share/vm/prims/jni.cpp, line 716]

      Events (10 events):
      Event: 17.752 Executing VM operation: RevokeBias done
      Event: 17.753 Thread 0x00002b632c0b3000 Uncommon trap: trap_request=0xffffffad fr.pc=0x00002b6274aba608
      Event: 17.753 Thread 0x00002b632c0b3000 DEOPT PACKING pc=0x00002b6274aba608 sp=0x00002b634dfff160
      Event: 17.753 Thread 0x00002b632c0b3000 DEOPT UNPACKING pc=0x00002b6274004f69 sp=0x00002b634dfff118 mode 2
      Event: 17.753 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet
      Event: 17.756 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet done
      Event: 17.756 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet$1
      Event: 17.760 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet$1 done
      Event: 17.760 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet$UnmodifiableEntry
      Event: 17.765 loading class java/util/Collections$UnmodifiableMap$UnmodifiableEntrySet$UnmodifiableEntry done


      Dynamic libraries:
      00400000-00401000 r-xp 00000000 07:00 2992184 /usr/lib/jvm/java-8-oracle/jre/bin/java
      00600000-00601000 rw-p 00000000 07:00 2992184 /usr/lib/jvm/java-8-oracle/jre/bin/java
      010a2000-010c3000 rw-p 00000000 00:00 0 [heap]
      1c0000000-1c4b80000 rw-p 00000000 00:00 0
      1c4b80000-5c0000000 ---p 00000000 00:00 0
      5c0000000-5cf000000 rw-p 00000000 00:00 0
      5cf000000-7c0000000 ---p 00000000 00:00 0
      7c0000000-7c04cc000 rw-p 00000000 00:00 0
      7c04cc000-800000000 ---p 00000000 00:00 0
      2b6269570000-2b6269592000 r-xp 00000000 07:00 1669137 /lib/x86_64-linux-gnu/ld-2.15.so
      2b6269592000-2b6269594000 rw-p 00000000 00:00 0
      2b6269792000-2b6269793000 r--p 00022000 07:00 1669137 /lib/x86_64-linux-gnu/ld-2.15.so
      2b6269793000-2b6269795000 rw-p 00023000 07:00 1669137 /lib/x86_64-linux-gnu/ld-2.15.so
      2b6269795000-2b62697ad000 r-xp 00000000 07:00 1669125 /lib/x86_64-linux-gnu/libpthread-2.15.so
      2b62697ad000-2b62699ac000 ---p 00018000 07:00 1669125 /lib/x86_64-linux-gnu/libpthread-2.15.so
      2b62699ac000-2b62699ad000 r--p 00017000 07:00 1669125 /lib/x86_64-linux-gnu/libpthread-2.15.so
      2b62699ad000-2b62699ae000 rw-p 00018000 07:00 1669125 /lib/x86_64-linux-gnu/libpthread-2.15.so
      2b62699ae000-2b62699b3000 rw-p 00000000 00:00 0
      2b62699b3000-2b62699c8000 r-xp 00000000 07:00 3068154 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
      2b62699c8000-2b6269bc7000 ---p 00015000 07:00 3068154 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
      2b6269bc7000-2b6269bc8000 rw-p 00014000 07:00 3068154 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
      2b6269bc8000-2b6269bca000 r-xp 00000000 07:00 1669122 /lib/x86_64-linux-gnu/libdl-2.15.so
      2b6269bca000-2b6269dca000 ---p 00002000 07:00 1669122 /lib/x86_64-linux-gnu/libdl-2.15.so
      2b6269dca000-2b6269dcb000 r--p 00002000 07:00 1669122 /lib/x86_64-linux-gnu/libdl-2.15.so
      2b6269dcb000-2b6269dcc000 rw-p 00003000 07:00 1669122 /lib/x86_64-linux-gnu/libdl-2.15.so
      2b6269dcc000-2b6269f81000 r-xp 00000000 07:00 1669123 /lib/x86_64-linux-gnu/libc-2.15.so
      2b6269f81000-2b626a180000 ---p 001b5000 07:00 1669123 /lib/x86_64-linux-gnu/libc-2.15.so
      2b626a180000-2b626a184000 r--p 001b4000 07:00 1669123 /lib/x86_64-linux-gnu/libc-2.15.so
      2b626a184000-2b626a186000 rw-p 001b8000 07:00 1669123 /lib/x86_64-linux-gnu/libc-2.15.so
      2b626a186000-2b626a18d000 rw-p 00000000 00:00 0
      2b626a18d000-2b626adfb000 r-xp 00000000 07:00 3068942 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
      2b626adfb000-2b626affa000 ---p 00c6e000 07:00 3068942 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
      2b626affa000-2b626b0d0000 rw-p 00c6d000 07:00 3068942 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
      2b626b0d0000-2b626b113000 rw-p 00000000 00:00 0
      2b626b12a000-2b626b225000 r-xp 00000000 07:00 1669131 /lib/x86_64-linux-gnu/libm-2.15.so
      2b626b225000-2b626b424000 ---p 000fb000 07:00 1669131 /lib/x86_64-linux-gnu/libm-2.15.so
      2b626b424000-2b626b425000 r--p 000fa000 07:00 1669131 /lib/x86_64-linux-gnu/libm-2.15.so
      2b626b425000-2b626b426000 rw-p 000fb000 07:00 1669131 /lib/x86_64-linux-gnu/libm-2.15.so
      2b626b426000-2b626b429000 ---p 00000000 00:00 0
      2b626b429000-2b626d427000 rw-p 00000000 00:00 0
      2b626d43e000-2b626d445000 r-xp 00000000 07:00 1669127 /lib/x86_64-linux-gnu/librt-2.15.so
      2b626d445000-2b626d644000 ---p 00007000 07:00 1669127 /lib/x86_64-linux-gnu/librt-2.15.so
      2b626d644000-2b626d645000 r--p 00006000 07:00 1669127 /lib/x86_64-linux-gnu/librt-2.15.so
      2b626d645000-2b626d646000 rw-p 00007000 07:00 1669127 /lib/x86_64-linux-gnu/librt-2.15.so
      2b626d646000-2b626d653000 r-xp 00000000 07:00 3066927 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
      2b626d653000-2b626d853000 ---p 0000d000 07:00 3066927 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
      2b626d853000-2b626d855000 rw-p 0000d000 07:00 3066927 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
      2b626d855000-2b626d87f000 r-xp 00000000 07:00 3066949 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
      2b626d87f000-2b626da7f000 ---p 0002a000 07:00 3066949 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
      2b626da7f000-2b626da81000 rw-p 0002a000 07:00 3066949 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
      2b626da81000-2b626da82000 r--p 00000000 00:00 0
      2b626da82000-2b626da83000 rw-p 00000000 00:00 0
      2b626da83000-2b626da8d000 r-xp 00000000 07:00 3066955 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libinstrument.so
      2b626da8d000-2b626dc8c000 ---p 0000a000 07:00 3066955 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libinstrument.so
      2b626dc8c000-2b626dc8d000 rw-p 00009000 07:00 3066955 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libinstrument.so
      2b626dc8d000-2b626dc95000 rw-s 00000000 07:00 1076277 /tmp/hsperfdata_yilongli/9041
      2b626dca4000-2b626dcac000 r-xp 00000000 07:00 1669134 /lib/x86_64-linux-gnu/libnss_compat-2.15.so
      2b626dcac000-2b626deab000 ---p 00008000 07:00 1669134 /lib/x86_64-linux-gnu/libnss_compat-2.15.so
      2b626deab000-2b626deac000 r--p 00007000 07:00 1669134 /lib/x86_64-linux-gnu/libnss_compat-2.15.so
      2b626deac000-2b626dead000 rw-p 00008000 07:00 1669134 /lib/x86_64-linux-gnu/libnss_compat-2.15.so
      2b626dead000-2b626dec4000 r-xp 00000000 07:00 1669142 /lib/x86_64-linux-gnu/libnsl-2.15.so
      2b626dec4000-2b626e0c3000 ---p 00017000 07:00 1669142 /lib/x86_64-linux-gnu/libnsl-2.15.so
      2b626e0c3000-2b626e0c4000 r--p 00016000 07:00 1669142 /lib/x86_64-linux-gnu/libnsl-2.15.so
      2b626e0c4000-2b626e0c5000 rw-p 00017000 07:00 1669142 /lib/x86_64-linux-gnu/libnsl-2.15.so
      2b626e0c5000-2b626e0c7000 rw-p 00000000 00:00 0
      2b626e0c7000-2b626e0d1000 r-xp 00000000 07:00 1669129 /lib/x86_64-linux-gnu/libnss_nis-2.15.so
      2b626e0d1000-2b626e2d1000 ---p 0000a000 07:00 1669129 /lib/x86_64-linux-gnu/libnss_nis-2.15.so
      2b626e2d1000-2b626e2d2000 r--p 0000a000 07:00 1669129 /lib/x86_64-linux-gnu/libnss_nis-2.15.so
      2b626e2d2000-2b626e2d3000 rw-p 0000b000 07:00 1669129 /lib/x86_64-linux-gnu/libnss_nis-2.15.so
      2b626e2d3000-2b626e2df000 r-xp 00000000 07:00 1669133 /lib/x86_64-linux-gnu/libnss_files-2.15.so
      2b626e2df000-2b626e4de000 ---p 0000c000 07:00 1669133 /lib/x86_64-linux-gnu/libnss_files-2.15.so
      2b626e4de000-2b626e4df000 r--p 0000b000 07:00 1669133 /lib/x86_64-linux-gnu/libnss_files-2.15.so
      2b626e4df000-2b626e4e0000 rw-p 0000c000 07:00 1669133 /lib/x86_64-linux-gnu/libnss_files-2.15.so
      2b626e4e0000-2b626e4fa000 r-xp 00000000 07:00 3066932 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
      2b626e4fa000-2b626e6fa000 ---p 0001a000 07:00 3066932 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
      2b626e6fa000-2b626e6fb000 rw-p 0001a000 07:00 3066932 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
      2b6270000000-2b6270f89000 rw-p 00000000 00:00 0
      2b6270f89000-2b6274000000 ---p 00000000 00:00 0
      2b6274000000-2b6274ba0000 rwxp 00000000 00:00 0
      2b6274ba0000-2b6283000000 ---p 00000000 00:00 0
      2b6283000000-2b628302f000 rw-p 00000000 00:00 0
      2b628302f000-2b62833c0000 ---p 00000000 00:00 0
      2b62833c0000-2b62833e6000 rw-p 00000000 00:00 0
      2b62833e6000-2b62853c0000 ---p 00000000 00:00 0
      2b62853c0000-2b6285438000 rw-p 00000000 00:00 0
      2b6285438000-2b62863c0000 ---p 00000000 00:00 0
      2b62863c0000-2b62863e7000 rw-p 00000000 00:00 0
      2b62863e7000-2b62883c1000 ---p 00000000 00:00 0
      2b62883c1000-2b62883c2000 ---p 00000000 00:00 0
      2b62883c2000-2b62884c2000 rw-p 00000000 00:00 0
      2b62884c2000-2b62884c3000 ---p 00000000 00:00 0
      2b62884c3000-2b62885c3000 rw-p 00000000 00:00 0
      2b62885c3000-2b62885c4000 ---p 00000000 00:00 0
      2b62885c4000-2b62886c4000 rw-p 00000000 00:00 0
      2b62886c4000-2b62886c5000 ---p 00000000 00:00 0
      2b62886c5000-2b62889c5000 rw-p 00000000 00:00 0
      2b62889c5000-2b62889d0000 r--s 00116000 07:00 3030027 /usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar
      2b62889d0000-2b62889ec000 r--s 00393000 07:00 3030028 /usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar
      2b62889ec000-2b6288dec000 rw-p 00000000 00:00 0
      2b6288dec000-2b6288def000 ---p 00000000 00:00 0
      2b6288def000-2b628aded000 rw-p 00000000 00:00 0
      2b628aded000-2b628af28000 r--s 00beb000 07:00 3673105 /home/yilongli/k/k-distribution/target/release/k/lib/java/dynamic/strategoxt.jar
      2b628af28000-2b628af30000 r--s 00054000 07:00 3673106 /home/yilongli/k/k-distribution/target/release/k/lib/java/dynamic/sdf-parser.jar
      2b628af30000-2b628b930000 rw-p 00000000 00:00 0
      2b628b930000-2b628b9d2000 r-xp 00000000 07:00 3066948 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt.so
      2b628b9d2000-2b628bbd2000 ---p 000a2000 07:00 3066948 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt.so
      2b628bbd2000-2b628bbde000 rw-p 000a2000 07:00 3066948 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt.so
      2b628bbde000-2b628bc02000 rw-p 00000000 00:00 0
      2b628bc02000-2b628bc09000 r-xp 00000000 07:00 3066924 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt_headless.so
      2b628bc09000-2b628be08000 ---p 00007000 07:00 3066924 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt_headless.so
      2b628be08000-2b628be09000 rw-p 00006000 07:00 3066924 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libawt_headless.so
      2b628be09000-2b628be0b000 rw-p 00000000 00:00 0
      2b628c000000-2b628c021000 rw-p 00000000 00:00 0
      2b628c021000-2b6290000000 ---p 00000000 00:00 0
      2b6290000000-2b6290003000 ---p 00000000 00:00 0
      2b6290003000-2b6292001000 rw-p 00000000 00:00 0
      2b6294000000-2b6294021000 rw-p 00000000 00:00 0
      2b6294021000-2b6298000000 ---p 00000000 00:00 0
      2b629c000000-2b629c021000 rw-p 00000000 00:00 0
      2b629c021000-2b62a0000000 ---p 00000000 00:00 0
      2b62a0000000-2b62a0003000 ---p 00000000 00:00 0
      2b62a0003000-2b62a2001000 rw-p 00000000 00:00 0
      2b62a4000000-2b62a4021000 rw-p 00000000 00:00 0
      2b62a4021000-2b62a8000000 ---p 00000000 00:00 0
      2b62a8000000-2b62db9e0000 rw-p 00000000 00:00 0
      2b62db9e0000-2b62dbab1000 rw-p 00000000 00:00 0
      2b62dbab1000-2b62dbc87000 r--s 03cae000 07:00 2993180 /usr/lib/jvm/java-8-oracle/jre/lib/rt.jar
      2b62dbc87000-2b62dcbe5000 rw-p 00000000 00:00 0
      2b62dcbe5000-2b62dcbe6000 ---p 00000000 00:00 0
      2b62dcbe6000-2b62dcce6000 rw-p 00000000 00:00 0
      2b62dcce6000-2b62dcce9000 ---p 00000000 00:00 0
      2b62dcce9000-2b62dece7000 rw-p 00000000 00:00 0
      2b62dece7000-2b62decf8000 r-xp 00000000 07:00 3066950 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
      2b62decf8000-2b62deef7000 ---p 00011000 07:00 3066950 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
      2b62deef7000-2b62deef8000 rw-p 00010000 07:00 3066950 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
      2b62deef8000-2b62def0e000 r-xp 00000000 07:00 3066958 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
      2b62def0e000-2b62df10e000 ---p 00016000 07:00 3066958 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
      2b62df10e000-2b62df10f000 rw-p 00016000 07:00 3066958 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
      2b62df10f000-2b62df50f000 rw-p 00000000 00:00 0
      2b62df50f000-2b62df512000 ---p 00000000 00:00 0
      2b62df512000-2b62df610000 rw-p 00000000 00:00 0
      2b62df610000-2b62df613000 ---p 00000000 00:00 0
      2b62df613000-2b62df711000 rw-p 00000000 00:00 0
      2b62df711000-2b62df714000 ---p 00000000 00:00 0
      2b62df714000-2b62df812000 rw-p 00000000 00:00 0
      2b62df812000-2b62df815000 r--s 00006000 07:00 3657768 /home/yilongli/k/k-distribution/target/release/k/lib/java/jsr305-3.0.0.jar
      2b62df815000-2b62df817000 r--s 0000e000 07:00 3657769 /home/yilongli/k/k-distribution/target/release/k/lib/java/jung-graph-impl-2.0.1.jar
      2b62df817000-2b62df819000 r--s 00014000 07:00 3657770 /home/yilongli/k/k-distribution/target/release/k/lib/java/jline-0.9.94.jar
      2b62df819000-2b62df81b000 r--s 00005000 07:00 3657771 /home/yilongli/k/k-distribution/target/release/k/lib/java/stax-api-1.0.1.jar
      2b62df81b000-2b62df829000 r--s 00081000 07:00 3657772 /home/yilongli/k/k-distribution/target/release/k/lib/java/colt-1.2.0.jar
      2b62df829000-2b62df82a000 r--s 00005000 07:00 3657773 /home/yilongli/k/k-distribution/target/release/k/lib/java/cloning-1.9.0.jar
      2b62df82a000-2b62df82e000 r--s 0002a000 07:00 3657774 /home/yilongli/k/k-distribution/target/release/k/lib/java/commons-io-2.4.jar
      2b62df82e000-2b62df835000 r--s 00079000 07:00 3657775 /home/yilongli/k/k-distribution/target/release/k/lib/java/wstx-asl-3.2.6.jar
      2b62df835000-2b62df881000 r--s 003e4000 07:00 3657776 /home/yilongli/k/k-distribution/target/release/k/lib/java/scala-reflect-2.11.4.jar
      2b62df881000-2b62df883000 r--s 0000a000 07:00 3657777 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1.jar
      2b62df883000-2b62df88b000 r--s 00073000 07:00 3657778 /home/yilongli/k/k-distribution/target/release/k/lib/java/java-backend-3.6-SNAPSHOT.jar
      2b62df88b000-2b62df890000 r--s 00034000 07:00 3657779 /home/yilongli/k/k-distribution/target/release/k/lib/java/jung-algorithms-2.0.1.jar
      2b62df890000-2b62df897000 r--s 00028000 07:00 3657784 /home/yilongli/k/k-distribution/target/release/k/lib/java/concurrent-1.3.4.jar
      2b62df897000-2b62df89e000 r--s 0003f000 07:00 3657780 /home/yilongli/k/k-distribution/target/release/k/lib/java/commons-codec-1.10.jar
      2b62df89e000-2b62df8a0000 r--s 0001a000 07:00 3657781 /home/yilongli/k/k-distribution/target/release/k/lib/java/jansi-1.11.jar
      2b62df8a0000-2b62df8a2000 r--s 00007000 07:00 3657782 /home/yilongli/k/k-distribution/target/release/k/lib/java/objenesis-1.2.jar
      2b62df8a2000-2b62df8a9000 r--s 0005e000 07:00 3657783 /home/yilongli/k/k-distribution/target/release/k/lib/java/commons-lang3-3.3.2.jar
      2b62df8a9000-2b62df8ab000 r--s 00006000 07:00 3657785 /home/yilongli/k/k-distribution/target/release/k/lib/java/guice-throwingproviders-4.0-beta5.jar
      2b62df8ab000-2b62df8d6000 r--s 001fc000 07:00 3657786 /home/yilongli/k/k-distribution/target/release/k/lib/java/guava-18.0.jar
      2b62df8d6000-2b62df8d8000 r--s 00008000 07:00 3657787 /home/yilongli/k/k-distribution/target/release/k/lib/java/nailgun-server-0.9.2-k3.5.jar
      2b62df8d8000-2b62df8dc000 r--s 00094000 07:00 2993204 /usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar
      2b62df8dc000-2b62df8df000 ---p 00000000 00:00 0
      2b62df8df000-2b62df915000 rw-p 00000000 00:00 0
      2b62df915000-2b62df916000 r-xp 00000000 07:00 803876 /tmp/libjansi-64-1-6502735881591571453.11
      2b62df916000-2b62dfb15000 ---p 00001000 07:00 803876 /tmp/libjansi-64-1-6502735881591571453.11
      2b62dfb15000-2b62dfb16000 rw-p 00000000 07:00 803876 /tmp/libjansi-64-1-6502735881591571453.11
      2b62dfb16000-2b62dfb17000 r--s 00000000 07:00 3657788 /home/yilongli/k/k-distribution/target/release/k/lib/java/javax.inject-1.jar
      2b62dfb17000-2b62dfb6f000 r--s 004f0000 07:00 3657789 /home/yilongli/k/k-distribution/target/release/k/lib/java/scala-library-2.11.4.jar
      2b62dfb6f000-2b62dfb70000 r--s 00079000 07:00 3657790 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1-linux64.jar
      2b62dfb70000-2b62dfb73000 r--s 00011000 07:00 3657791 /home/yilongli/k/k-distribution/target/release/k/lib/java/jung-io-2.0.1.jar
      2b62dfb73000-2b62dfb74000 r--s 00004000 07:00 3657792 /home/yilongli/k/k-distribution/target/release/k/lib/java/hawtjni-runtime-1.10.jar
      2b62dfb74000-2b62dfb75000 r--s 00037000 07:00 3657793 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1-windows64.jar
      2b62dfb75000-2b62dfb7e000 r--s 00064000 07:00 3657794 /home/yilongli/k/k-distribution/target/release/k/lib/java/kore-3.6-SNAPSHOT.jar
      2b62dfb7e000-2b62dfb7f000 r--s 00002000 07:00 3657795 /home/yilongli/k/k-distribution/target/release/k/lib/java/coq-backend-3.6-SNAPSHOT.jar
      2b62dfb7f000-2b62dfb81000 r--s 00008000 07:00 3657796 /home/yilongli/k/k-distribution/target/release/k/lib/java/pcollections-2.1.2.jar
      2b62dfb81000-2b62dfd81000 rw-p 00000000 00:00 0
      2b62e0000000-2b62e01aa000 rw-p 00000000 00:00 0
      2b62e01aa000-2b62e4000000 ---p 00000000 00:00 0
      2b62e4000000-2b62e4045000 rw-p 00000000 00:00 0
      2b62e4045000-2b62e8000000 ---p 00000000 00:00 0
      2b62e8000000-2b62e8003000 ---p 00000000 00:00 0
      2b62e8003000-2b62ea001000 rw-p 00000000 00:00 0
      2b62ea001000-2b62ea32e000 r--p 00000000 07:00 3458049 /usr/lib/locale/locale-archive
      2b62ec000000-2b62ec03e000 rw-p 00000000 00:00 0
      2b62ec03e000-2b62f0000000 ---p 00000000 00:00 0
      2b62f0000000-2b62f0003000 ---p 00000000 00:00 0
      2b62f0003000-2b62f2001000 rw-p 00000000 00:00 0
      2b62f2001000-2b62f2092000 r--s 020c8000 07:00 2426966 /home/yilongli/Eclipse-Workspaces/rv-workspace/rv-predict/target/release/rv-predict/lib/rv-predict.jar
      2b62f4000000-2b62f403e000 rw-p 00000000 00:00 0
      2b62f403e000-2b62f8000000 ---p 00000000 00:00 0
      2b62f8000000-2b62f8003000 ---p 00000000 00:00 0
      2b62f8003000-2b62fa001000 rw-p 00000000 00:00 0
      2b62fc000000-2b62fc042000 rw-p 00000000 00:00 0
      2b62fc042000-2b6300000000 ---p 00000000 00:00 0
      2b6300000000-2b6300003000 ---p 00000000 00:00 0
      2b6300003000-2b6302001000 rw-p 00000000 00:00 0
      2b6304000000-2b6304021000 rw-p 00000000 00:00 0
      2b6304021000-2b6308000000 ---p 00000000 00:00 0
      2b6308000000-2b630a22d000 rw-p 00000000 00:00 0
      2b630a22d000-2b630c000000 ---p 00000000 00:00 0
      2b630c000000-2b630d815000 rw-p 00000000 00:00 0
      2b630d815000-2b6310000000 ---p 00000000 00:00 0
      2b6310000000-2b63107bf000 rw-p 00000000 00:00 0
      2b63107bf000-2b6314000000 ---p 00000000 00:00 0
      2b6314000000-2b6314003000 ---p 00000000 00:00 0
      2b6314003000-2b6316001000 rw-p 00000000 00:00 0
      2b6316001000-2b6316002000 ---p 00000000 00:00 0
      2b6316002000-2b6316102000 rw-p 00000000 00:00 0
      2b6318000000-2b6318021000 rw-p 00000000 00:00 0
      2b6318021000-2b631c000000 ---p 00000000 00:00 0
      2b631c000000-2b631c021000 rw-p 00000000 00:00 0
      2b631c021000-2b6320000000 ---p 00000000 00:00 0
      2b6320000000-2b6320001000 r--s 00009000 07:00 3657748 /home/yilongli/k/k-distribution/target/release/k/lib/java/guice-assistedinject-4.0-beta5.jar
      2b6320001000-2b632000d000 r--s 00076000 07:00 3657749 /home/yilongli/k/k-distribution/target/release/k/lib/java/collections-generic-4.01.jar
      2b632000d000-2b632000f000 r--s 00000000 07:00 3657750 /home/yilongli/k/k-distribution/target/release/k/lib/java/aopalliance-1.0.jar
      2b632000f000-2b6320010000 r--s 00029000 07:00 3657751 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1-windows32.jar
      2b6320010000-2b6320012000 r--s 0000d000 07:00 3657752 /home/yilongli/k/k-distribution/target/release/k/lib/java/jcommander-1.35-custom.jar
      2b6320012000-2b6320026000 r--s 00114000 07:00 3657753 /home/yilongli/k/k-distribution/target/release/k/lib/java/kernel-3.6-SNAPSHOT.jar
      2b6320026000-2b6320028000 r--s 0000c000 07:00 3657754 /home/yilongli/k/k-distribution/target/release/k/lib/java/guice-grapher-4.0-beta5.jar
      2b6320028000-2b632002b000 r--s 0001f000 07:00 3657755 /home/yilongli/k/k-distribution/target/release/k/lib/java/com.microsoft.z3-4.3.2-bb56885147e4.jar
      2b632002b000-2b632002d000 r--s 0000e000 07:00 3657756 /home/yilongli/k/k-distribution/target/release/k/lib/java/guice-multibindings-4.0-beta5.jar
      2b632002d000-2b632003a000 r--s 00088000 07:00 3657763 /home/yilongli/k/k-distribution/target/release/k/lib/java/commons-collections4-4.0.jar
      2b632003a000-2b632003d000 r--s 00008000 07:00 3657764 /home/yilongli/k/k-distribution/target/release/k/lib/java/jung-api-2.0.1.jar
      2b632003d000-2b632003e000 r--s 0008d000 07:00 3657765 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1-osx.jar
      2b632003e000-2b632003f000 r--s 00067000 07:00 3657766 /home/yilongli/k/k-distribution/target/release/k/lib/java/mpfr_java-1.0.1-linux32.jar
      2b632003f000-2b632004c000 r--s 00090000 07:00 3657767 /home/yilongli/k/k-distribution/target/release/k/lib/java/guice-4.0-beta5.jar
      2b632004c000-2b632004f000 ---p 00000000 00:00 0
      2b632004f000-2b632204d000 rw-p 00000000 00:00 0
      2b632204d000-2b6322060000 r--s 00344000 07:00 2993203 /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar
      2b6324000000-2b632427b000 rw-p 00000000 00:00 0
      2b632427b000-2b6328000000 ---p 00000000 00:00 0
      2b6328000000-2b6328216000 rw-p 00000000 00:00 0
      2b6328216000-2b632c000000 ---p 00000000 00:00 0
      2b632c000000-2b632c0b6000 rw-p 00000000 00:00 0
      2b632c0b6000-2b6330000000 ---p 00000000 00:00 0
      2b6330000000-2b63301db000 rw-p 00000000 00:00 0
      2b63301db000-2b6334000000 ---p 00000000 00:00 0
      2b6334000000-2b63341d2000 rw-p 00000000 00:00 0
      2b63341d2000-2b6338000000 ---p 00000000 00:00 0
      2b6338000000-2b633823e000 rw-p 00000000 00:00 0
      2b633823e000-2b633c000000 ---p 00000000 00:00 0
      2b633c000000-2b633c003000 ---p 00000000 00:00 0
      2b633c003000-2b633e001000 rw-p 00000000 00:00 0
      2b6340000000-2b6340021000 rw-p 00000000 00:00 0
      2b6340021000-2b6344000000 ---p 00000000 00:00 0
      2b6344000000-2b6344003000 ---p 00000000 00:00 0
      2b6344003000-2b6346001000 rw-p 00000000 00:00 0
      2b6348000000-2b6348021000 rw-p 00000000 00:00 0
      2b6348021000-2b634c000000 ---p 00000000 00:00 0
      2b634c000000-2b634c003000 ---p 00000000 00:00 0
      2b634c003000-2b634e001000 rw-p 00000000 00:00 0
      2b6350000000-2b6350291000 rw-p 00000000 00:00 0
      2b6350291000-2b6354000000 ---p 00000000 00:00 0
      2b6354000000-2b6354003000 ---p 00000000 00:00 0
      2b6354003000-2b6356001000 rw-p 00000000 00:00 0
      2b6356001000-2b6356004000 ---p 00000000 00:00 0
      2b6356004000-2b635603a000 rw-p 00000000 00:00 0
      2b6358000000-2b6358021000 rw-p 00000000 00:00 0
      2b6358021000-2b635c000000 ---p 00000000 00:00 0
      2b635c000000-2b635c021000 rw-p 00000000 00:00 0
      2b635c021000-2b6360000000 ---p 00000000 00:00 0
      2b6360000000-2b6360003000 ---p 00000000 00:00 0
      2b6360003000-2b6362001000 rw-p 00000000 00:00 0
      2b6364000000-2b6364021000 rw-p 00000000 00:00 0
      2b6364021000-2b6368000000 ---p 00000000 00:00 0
      2b6368000000-2b6368003000 ---p 00000000 00:00 0
      2b6368003000-2b636a001000 rw-p 00000000 00:00 0
      2b636c000000-2b636c021000 rw-p 00000000 00:00 0
      2b636c021000-2b6370000000 ---p 00000000 00:00 0
      2b6370000000-2b6370003000 ---p 00000000 00:00 0
      2b6370003000-2b6372001000 rw-p 00000000 00:00 0
      2b6372001000-2b6372004000 ---p 00000000 00:00 0
      2b6372004000-2b6374002000 rw-p 00000000 00:00 0
      2b6374002000-2b6374005000 ---p 00000000 00:00 0
      2b6374005000-2b637403b000 rw-p 00000000 00:00 0
      2b637403b000-2b637403e000 ---p 00000000 00:00 0
      2b637403e000-2b637603c000 rw-p 00000000 00:00 0
      2b637603c000-2b637603f000 ---p 00000000 00:00 0
      2b637603f000-2b6376075000 rw-p 00000000 00:00 0
      2b6378000000-2b6378021000 rw-p 00000000 00:00 0
      2b6378021000-2b637c000000 ---p 00000000 00:00 0
      2b637c000000-2b637c021000 rw-p 00000000 00:00 0
      2b637c021000-2b6380000000 ---p 00000000 00:00 0
      2b6380000000-2b6380003000 ---p 00000000 00:00 0
      2b6380003000-2b6382001000 rw-p 00000000 00:00 0
      2b6382001000-2b6382004000 ---p 00000000 00:00 0
      2b6382004000-2b6384002000 rw-p 00000000 00:00 0
      2b6384002000-2b6384005000 ---p 00000000 00:00 0
      2b6384005000-2b6386003000 rw-p 00000000 00:00 0
      2b639600b000-2b639600e000 ---p 00000000 00:00 0
      2b639600e000-2b639800c000 rw-p 00000000 00:00 0
      2b639800c000-2b639800f000 ---p 00000000 00:00 0
      2b639800f000-2b639a00d000 rw-p 00000000 00:00 0
      7fff26535000-7fff26557000 rw-p 00000000 00:00 0 [stack]
      7fff265d9000-7fff265da000 r-xp 00000000 00:00 0 [vdso]
      ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]

      VM Arguments:
      jvm_args: -ea -Xbootclasspath/a:/home/yilongli/Eclipse-Workspaces/rv-workspace/rv-predict/target/release/rv-predict/lib/rv-predict.jar -javaagent:/home/yilongli/Eclipse-Workspaces/rv-workspace/rv-predict/target/release/rv-predict/lib/rv-predict.jar=--profile --exclude +com/google/,org/fusesource/jansi/AnsiOutputStream,com/martiansoftware,org/kframework,java,com/,org/ --log /tmp/rv-predict8904271105693196592 -Djava.awt.headless=true -Djansi.force=true -Xms64m -Xmx24G -Xss32m -XX:+TieredCompilation -ea
      java_command: org.kframework.main.Main -kserver --debug
      java_class_path (initial): /home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/guice-assistedinject-4.0-beta5.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/collections-generic-4.01.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/aopalliance-1.0.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/mpfr_java-1.0.1-windows32.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/jcommander-1.35-custom.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/kernel-3.6-SNAPSHOT.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/guice-grapher-4.0-beta5.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/com.microsoft.z3-4.3.2-bb56885147e4.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/guice-multibindings-4.0-beta5.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/commons-collections4-4.0.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/jung-api-2.0.1.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/mpfr_java-1.0.1-osx.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/mpfr_java-1.0.1-linux32.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/guice-4.0-beta5.jar:/home/yilongli/k/k-distribution/target/release/k/bin/../lib/java/jsr305-3.0.0.jar:/home/yilongli/k/k-distribution/target/release/k
      Launcher Type: SUN_STANDARD

      Environment Variables:
      JAVA_HOME=/usr/lib/jvm/java-8-oracle
      PATH=/home/yilongli/k/k-distribution/target/release/k/lib/native/linux:/home/yilongli/k/k-distribution/target/release/k/lib/native/linux64:/home/yilongli/anaconda/bin:/usr/lib/lightdm/lightdm:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/lib/jvm/java-8-oracle/bin:/usr/lib/jvm/java-8-oracle/db/bin:/usr/lib/jvm/java-8-oracle/jre/bin:/home/yilongli/.cabal/bin:/home/yilongli/Programs/pakcs-1.11.1/bin:/home/yilongli/Programs/kics2-0.2.4/bin/:/home/yilongli/k/k-distribution/target/release/k/bin:/home/yilongli/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics:/home/yilongli/Programs/cil-1.3.7/bin:/home/yilongli/k/k-distribution/target/release/k/lib/native/linux:/home/yilongli/k/k-distribution/target/release/k/lib/native/linux64:/home/yilongli/Programs/cov-analysis-linux64-7.5.0/bin:/home/yilongli/Eclipse-Workspaces/rv-workspace/rv-predict/target/release/rv-predict/bin:/home/yilongli/Programs/btrace-bin//bin:/usr/lib/jvm/java-8-oracle
      LD_LIBRARY_PATH=:/home/yilongli/k/k-distribution/target/release/k/lib/native/linux64:/home/yilongli/k/k-distribution/target/release/k/lib/native/linux64
      SHELL=/bin/bash
      DISPLAY=:0

      Signal Handlers:
      SIGSEGV: [libjvm.so+0xa7a650], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGBUS: [libjvm.so+0xa7a650], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGFPE: [libjvm.so+0x8e28f0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGPIPE: [libjvm.so+0x8e28f0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGXFSZ: [libjvm.so+0x8e28f0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGILL: [libjvm.so+0x8e28f0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
      SIGUSR2: [libjvm.so+0x8e4120], sa_mask[0]=00100000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
      SIGHUP: [libjvm.so+0x8e54e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGINT: [libjvm.so+0x8e54e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGTERM: [libjvm.so+0x8e54e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
      SIGQUIT: [libjvm.so+0x8e54e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO


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

      OS:DISTRIB_ID=Ubuntu
      DISTRIB_RELEASE=12.04
      DISTRIB_CODENAME=precise
      DISTRIB_DESCRIPTION="Ubuntu 12.04.1 LTS"

      uname:Linux 3.2.0-29-generic #46-Ubuntu SMP Fri Jul 27 17:03:23 UTC 2012 x86_64
      libc:glibc 2.15 NPTL 2.15
      rlimit: STACK infinity, CORE 0k, NPROC 46686, NOFILE 4096, AS infinity
      load average:2.01 0.91 1.11

      /proc/meminfo:
      MemTotal: 5993444 kB
      MemFree: 428044 kB
      Buffers: 925188 kB
      Cached: 1919424 kB
      SwapCached: 96 kB
      Active: 3326380 kB
      Inactive: 1922616 kB
      Active(anon): 2039780 kB
      Inactive(anon): 698372 kB
      Active(file): 1286600 kB
      Inactive(file): 1224244 kB
      Unevictable: 2684 kB
      Mlocked: 16 kB
      SwapTotal: 262140 kB
      SwapFree: 237288 kB
      Dirty: 29644 kB
      Writeback: 0 kB
      AnonPages: 2407036 kB
      Mapped: 151220 kB
      Shmem: 331112 kB
      Slab: 165872 kB
      SReclaimable: 132532 kB
      SUnreclaim: 33340 kB
      KernelStack: 4912 kB
      PageTables: 46676 kB
      NFS_Unstable: 0 kB
      Bounce: 0 kB
      WritebackTmp: 0 kB
      CommitLimit: 3258860 kB
      Committed_AS: 7986740 kB
      VmallocTotal: 34359738367 kB
      VmallocUsed: 368152 kB
      VmallocChunk: 34359358048 kB
      HardwareCorrupted: 0 kB
      AnonHugePages: 0 kB
      HugePages_Total: 0
      HugePages_Free: 0
      HugePages_Rsvd: 0
      HugePages_Surp: 0
      Hugepagesize: 2048 kB
      DirectMap4k: 73728 kB
      DirectMap2M: 6109184 kB


      CPU:total 4 (2 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit

      /proc/cpuinfo:
      processor : 0
      vendor_id : GenuineIntel
      cpu family : 6
      model : 42
      model name : Intel(R) Core(TM) i5-2520M CPU @ 2.50GHz
      stepping : 7
      microcode : 0x25
      cpu MHz : 2501.000
      cache size : 3072 KB
      physical id : 0
      siblings : 4
      core id : 0
      cpu cores : 2
      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 nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid
      bogomips : 4983.75
      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 : 42
      model name : Intel(R) Core(TM) i5-2520M CPU @ 2.50GHz
      stepping : 7
      microcode : 0x25
      cpu MHz : 2200.000
      cache size : 3072 KB
      physical id : 0
      siblings : 4
      core id : 0
      cpu cores : 2
      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 nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid
      bogomips : 4983.63
      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 : 42
      model name : Intel(R) Core(TM) i5-2520M CPU @ 2.50GHz
      stepping : 7
      microcode : 0x25
      cpu MHz : 2200.000
      cache size : 3072 KB
      physical id : 0
      siblings : 4
      core id : 1
      cpu cores : 2
      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 nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid
      bogomips : 4983.63
      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 : 42
      model name : Intel(R) Core(TM) i5-2520M CPU @ 2.50GHz
      stepping : 7
      microcode : 0x25
      cpu MHz : 2501.000
      cache size : 3072 KB
      physical id : 0
      siblings : 4
      core id : 1
      cpu cores : 2
      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 nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid
      bogomips : 4983.64
      clflush size : 64
      cache_alignment : 64
      address sizes : 36 bits physical, 48 bits virtual
      power management:



      Memory: 4k page, physical 5993444k(428044k free), swap 262140k(237288k free)

      vm_info: Java HotSpot(TM) 64-Bit Server VM (25.31-b07) for linux-amd64 JRE (1.8.0_31-b13), built on Dec 17 2014 20:40:15 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8)

      time: Sat Feb 28 18:14:05 2015
      elapsed time: 17 seconds (0d 0h 0m 17s)


      REPRODUCIBILITY :
      This bug can be reproduced always.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              Unassigned Unassigned
              Reporter:
              webbuggrp Webbug Group
              Votes:
              0 Vote for this issue
              Watchers:
              6 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved: