java -Xss4m -Xmx4000000000 -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2
--------------------------------------------------------------------------------
This is Ultimate 0.1.23-62c3406-m
[2018-06-27 01:06:47,011 INFO L170 SettingsManager]: Resetting all preferences to default values...
[2018-06-27 01:06:47,013 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values
[2018-06-27 01:06:47,029 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2018-06-27 01:06:47,029 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2018-06-27 01:06:47,030 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2018-06-27 01:06:47,031 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2018-06-27 01:06:47,035 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values
[2018-06-27 01:06:47,037 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values
[2018-06-27 01:06:47,038 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values
[2018-06-27 01:06:47,039 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2018-06-27 01:06:47,039 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values
[2018-06-27 01:06:47,040 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values
[2018-06-27 01:06:47,043 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2018-06-27 01:06:47,044 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values
[2018-06-27 01:06:47,045 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2018-06-27 01:06:47,048 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2018-06-27 01:06:47,050 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2018-06-27 01:06:47,064 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values
[2018-06-27 01:06:47,065 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2018-06-27 01:06:47,066 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values
[2018-06-27 01:06:47,067 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values
[2018-06-27 01:06:47,069 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2018-06-27 01:06:47,070 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2018-06-27 01:06:47,070 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values
[2018-06-27 01:06:47,071 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values
[2018-06-27 01:06:47,071 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values
[2018-06-27 01:06:47,072 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values
[2018-06-27 01:06:47,073 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values
[2018-06-27 01:06:47,077 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2018-06-27 01:06:47,077 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values
[2018-06-27 01:06:47,078 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2018-06-27 01:06:47,078 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring...
[2018-06-27 01:06:47,078 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values
[2018-06-27 01:06:47,079 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values
[2018-06-27 01:06:47,081 INFO L181 SettingsManager]: Finished resetting all preferences to default values...
[2018-06-27 01:06:47,082 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf
[2018-06-27 01:06:47,104 INFO L110 SettingsManager]: Loading preferences was successful
[2018-06-27 01:06:47,105 INFO L112 SettingsManager]: Preferences different from defaults after loading the file:
[2018-06-27 01:06:47,105 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2018-06-27 01:06:47,105 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n
[2018-06-27 01:06:47,109 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2018-06-27 01:06:47,109 INFO L133 SettingsManager]: * Create parallel compositions if possible=false
[2018-06-27 01:06:47,109 INFO L133 SettingsManager]: * Create interprocedural compositions=false
[2018-06-27 01:06:47,109 INFO L133 SettingsManager]: * Use SBE=true
[2018-06-27 01:06:47,109 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2018-06-27 01:06:47,110 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements
[2018-06-27 01:06:47,110 INFO L133 SettingsManager]: * To the following directory=./dump/
[2018-06-27 01:06:47,110 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode
[2018-06-27 01:06:47,110 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2018-06-27 01:06:47,110 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode
[2018-06-27 01:06:47,111 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2018-06-27 01:06:47,112 INFO L133 SettingsManager]: * Compute trace for counterexample result=false
[2018-06-27 01:06:47,114 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults:
[2018-06-27 01:06:47,115 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true
[2018-06-27 01:06:47,176 INFO ]: Repository-Root is: /tmp
[2018-06-27 01:06:47,190 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2018-06-27 01:06:47,195 INFO ]: [Toolchain 1]: Toolchain data selected.
[2018-06-27 01:06:47,196 INFO ]: Initializing SmtParser...
[2018-06-27 01:06:47,197 INFO ]: SmtParser initialized
[2018-06-27 01:06:47,197 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2
[2018-06-27 01:06:47,199 INFO ]: Parsing .smt2 file as a set of Horn Clauses
No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3
Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 (exit command is (exit), workingDir is null)
Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000
[2018-06-27 01:06:47,307 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2
unknown
[2018-06-27 01:06:47,814 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2
[2018-06-27 01:06:47,819 INFO ]: ####################### [Toolchain 1] #######################
[2018-06-27 01:06:47,827 INFO ]: Walking toolchain with 5 elements.
[2018-06-27 01:06:47,828 INFO ]: ------------------------ChcToBoogie----------------------------
[2018-06-27 01:06:47,828 INFO ]: Initializing ChcToBoogie...
[2018-06-27 01:06:47,828 INFO ]: ChcToBoogie initialized
[2018-06-27 01:06:47,832 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,932 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47 Unit
[2018-06-27 01:06:47,932 INFO ]: ------------------------ END ChcToBoogie----------------------------
[2018-06-27 01:06:47,933 INFO ]: ------------------------Boogie Preprocessor----------------------------
[2018-06-27 01:06:47,933 INFO ]: Initializing Boogie Preprocessor...
[2018-06-27 01:06:47,933 INFO ]: Boogie Preprocessor initialized
[2018-06-27 01:06:47,954 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,954 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,967 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,967 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,981 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,983 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,988 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
[2018-06-27 01:06:47,998 INFO ]: ------------------------ END Boogie Preprocessor----------------------------
[2018-06-27 01:06:47,998 INFO ]: ------------------------RCFGBuilder----------------------------
[2018-06-27 01:06:47,998 INFO ]: Initializing RCFGBuilder...
[2018-06-27 01:06:47,998 INFO ]: RCFGBuilder initialized
[2018-06-27 01:06:47,999 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:06:47" (1/1) ...
No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3
Starting monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null)
Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2018-06-27 01:06:48,013 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration
[2018-06-27 01:06:48,013 INFO ]: Found specification of procedure gotoProc
[2018-06-27 01:06:48,013 INFO ]: Found implementation of procedure gotoProc
[2018-06-27 01:06:48,013 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration
[2018-06-27 01:06:48,013 INFO ]: Found specification of procedure Ultimate.START
[2018-06-27 01:06:48,013 INFO ]: Found implementation of procedure Ultimate.START
[2018-06-27 01:06:48,550 INFO ]: Using library mode
[2018-06-27 01:06:48,551 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:06:48 BoogieIcfgContainer
[2018-06-27 01:06:48,551 INFO ]: ------------------------ END RCFGBuilder----------------------------
[2018-06-27 01:06:48,552 INFO ]: ------------------------BlockEncodingV2----------------------------
[2018-06-27 01:06:48,552 INFO ]: Initializing BlockEncodingV2...
[2018-06-27 01:06:48,554 INFO ]: BlockEncodingV2 initialized
[2018-06-27 01:06:48,555 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:06:48" (1/1) ...
[2018-06-27 01:06:48,578 INFO ]: Initial Icfg 10 locations, 10 edges
[2018-06-27 01:06:48,581 INFO ]: Using Remove infeasible edges
[2018-06-27 01:06:48,582 INFO ]: Using Maximize final states
[2018-06-27 01:06:48,582 INFO ]: Using Minimize states even if more edges are added than removed.=false
[2018-06-27 01:06:48,582 INFO ]: Using Minimize states using LBE with the strategy=MULTI
[2018-06-27 01:06:48,586 INFO ]: Using Remove sink states
[2018-06-27 01:06:48,587 INFO ]: Using Apply optimizations until nothing changes=true
[2018-06-27 01:06:48,587 INFO ]: Using Use SBE
[2018-06-27 01:06:48,597 WARN ]: expecting exponential blowup for input size 21
Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000075f400000, 289406976, 0) failed; error='Cannot allocate memory' (errno=12)
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 289406976 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid31615.log
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 289406976 bytes for committing reserved memory.
# Possible reasons:
# The system is out of physical RAM or swap space
# In 32 bit mode, the process size limit was hit
# Possible solutions:
# Reduce memory load on the system
# Increase physical memory or swap space
# Check if swap backing store is full
# Use 64 bit Java on a 64 bit OS
# Decrease Java heap size (-Xmx/-Xms)
# Decrease number of Java threads
# Decrease Java thread stack sizes (-Xss)
# Set larger code cache with -XX:ReservedCodeCacheSize=
# This output file may be truncated or incomplete.
#
# Out of Memory Error (os_linux.cpp:2640), pid=31615, tid=0x00007f0aeb4d6700
#
# 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)
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
--------------- T H R E A D ---------------
Current thread (0x00007f0b040fa800): VMThread [stack: 0x00007f0aeb3d6000,0x00007f0aeb4d7000] [id=31624]
Stack: [0x00007f0aeb3d6000,0x00007f0aeb4d7000], sp=0x00007f0aeb4d5110, free space=1020k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0xacb18a] VMError::report_and_die()+0x2ba
V [libjvm.so+0x4ff4db] report_vm_out_of_memory(char const*, int, unsigned long, VMErrorType, char const*)+0x8b
V [libjvm.so+0x927d23] os::Linux::commit_memory_impl(char*, unsigned long, bool)+0x103
V [libjvm.so+0x928279] os::pd_commit_memory(char*, unsigned long, unsigned long, bool)+0x29
V [libjvm.so+0x92249a] os::commit_memory(char*, unsigned long, unsigned long, bool)+0x2a
V [libjvm.so+0x996ff3] PSVirtualSpace::expand_by(unsigned long)+0x53
V [libjvm.so+0x9878b0] PSOldGen::expand(unsigned long)+0x170
V [libjvm.so+0x987abb] PSOldGen::resize(unsigned long)+0x1cb
V [libjvm.so+0x98f7c1] PSParallelCompact::invoke_no_policy(bool)+0x991
V [libjvm.so+0x99511d] PSScavenge::invoke()+0x1ad
V [libjvm.so+0x94bce0] ParallelScavengeHeap::failed_mem_allocate(unsigned long)+0x70
V [libjvm.so+0xaccba7] VM_ParallelGCFailedAllocation::doit()+0x97
V [libjvm.so+0xad4685] VM_Operation::evaluate()+0x55
V [libjvm.so+0xad2a5a] VMThread::evaluate_operation(VM_Operation*)+0xba
V [libjvm.so+0xad2dde] VMThread::loop()+0x1ce
V [libjvm.so+0xad3250] VMThread::run()+0x70
V [libjvm.so+0x92a338] java_start(Thread*)+0x108
VM_Operation (0x00007f0ab3ffd8f0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f0b04744000
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007f0aa81a5000 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=31666, stack(0x00007f0ab0721000,0x00007f0ab0b22000)]
0x00007f0a80003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=31665, stack(0x00007f0ab0b22000,0x00007f0ab0f23000)]
0x00007f0a80001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=31664, stack(0x00007f0ab0f23000,0x00007f0ab1324000)]
0x00007f0aa81a3000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=31663, stack(0x00007f0ab1324000,0x00007f0ab1725000)]
0x00007f0aa819c800 JavaThread "process reaper" daemon [_thread_in_native, id=31662, stack(0x00007f0ab1725000,0x00007f0ab175e000)]
0x00007f0aa803e800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=31660, stack(0x00007f0ab1963000,0x00007f0ab1d64000)]
0x00007f0a9c003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=31659, stack(0x00007f0ab1d64000,0x00007f0ab2165000)]
0x00007f0a9c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=31658, stack(0x00007f0ab2165000,0x00007f0ab2566000)]
0x00007f0aa8036000 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=31657, stack(0x00007f0ab2566000,0x00007f0ab2967000)]
0x00007f0aa8038000 JavaThread "process reaper" daemon [_thread_in_native, id=31656, stack(0x00007f0ab2967000,0x00007f0ab29a0000)]
0x00007f0aa0001000 JavaThread "Worker-2" daemon [_thread_blocked, id=31654, stack(0x00007f0ab31fd000,0x00007f0ab35fe000)]
0x00007f0b04993800 JavaThread "Worker-1" daemon [_thread_blocked, id=31653, stack(0x00007f0ab35fe000,0x00007f0ab39ff000)]
0x00007f0b04744000 JavaThread "Worker-0" daemon [_thread_blocked, id=31652, stack(0x00007f0ab3bff000,0x00007f0ab4000000)]
0x00007f0ab8070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=31642, stack(0x00007f0ae87a2000,0x00007f0ae8ba3000)]
0x00007f0b04408800 JavaThread "Start Level: Equinox Container: a0cbc098-9579-0018-1be9-cb4b56164c06" daemon [_thread_blocked, id=31641, stack(0x00007f0ae8cb4000,0x00007f0ae90b5000)]
0x00007f0b04403000 JavaThread "Framework Event Dispatcher: Equinox Container: a0cbc098-9579-0018-1be9-cb4b56164c06" daemon [_thread_blocked, id=31640, stack(0x00007f0ae90b5000,0x00007f0ae94b6000)]
0x00007f0b043e6800 JavaThread "Active Thread: Equinox Container: a0cbc098-9579-0018-1be9-cb4b56164c06" [_thread_blocked, id=31633, stack(0x00007f0ae94b6000,0x00007f0ae98b7000)]
0x00007f0b04141000 JavaThread "Service Thread" daemon [_thread_blocked, id=31631, stack(0x00007f0ae9de0000,0x00007f0aea1e1000)]
0x00007f0b0413e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=31630, stack(0x00007f0aea1e1000,0x00007f0aea2e2000)]
0x00007f0b0413b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=31629, stack(0x00007f0aea2e2000,0x00007f0aea3e3000)]
0x00007f0b0413a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=31628, stack(0x00007f0aea3e3000,0x00007f0aea7e4000)]
0x00007f0b04107000 JavaThread "Finalizer" daemon [_thread_blocked, id=31627, stack(0x00007f0aeabd4000,0x00007f0aeafd5000)]
0x00007f0b04102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=31625, stack(0x00007f0aeafd5000,0x00007f0aeb3d6000)]
0x00007f0b0400a000 JavaThread "main" [_thread_blocked, id=31620, stack(0x00007f0b09926000,0x00007f0b09d27000)]
Other Threads:
=>0x00007f0b040fa800 VMThread [stack: 0x00007f0aeb3d6000,0x00007f0aeb4d7000] [id=31624]
0x00007f0b04143800 WatcherThread [stack: 0x00007f0ae9cdf000,0x00007f0ae9de0000] [id=31632]
VM state:at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event])
[0x00007f0b04005b20] ExpandHeap_lock - owner thread: 0x00007f0b040fa800
[0x00007f0b040061a0] Threads_lock - owner thread: 0x00007f0b040fa800
[0x00007f0b040066a0] Heap_lock - owner thread: 0x00007f0b04744000
Heap:
PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 1813478K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 78% used [0x00000006d1800000,0x00000007402f9b00,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Card table byte_map: [0x00007f0af488b000,0x00007f0af5000000] byte_map_base: 0x00007f0af11ff000
Marking Bits: (ParMarkBitMap*) 0x00007f0b0b007dc0
Begin Bits: [0x00007f0aecc53000, 0x00007f0af07f3000)
End Bits: [0x00007f0af07f3000, 0x00007f0af4393000)
Polling page: 0x00007f0b0bc40000
CodeCache: size=245760Kb used=10421Kb max_used=10437Kb free=235338Kb
bounds [0x00007f0af5000000, 0x00007f0af5a40000, 0x00007f0b04000000]
total_blobs=3073 nmethods=2624 adapters=362
compilation: enabled
Compilation events (10 events):
Event: 4.483 Thread 0x00007f0b0413b800 2698 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes)
Event: 4.484 Thread 0x00007f0b0413b800 nmethod 2698 0x00007f0af5a13690 code [0x00007f0af5a13800, 0x00007f0af5a13938]
Event: 4.484 Thread 0x00007f0b0413b800 2700 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes)
Event: 4.485 Thread 0x00007f0b0413b800 nmethod 2700 0x00007f0af5a15b10 code [0x00007f0af5a15c60, 0x00007f0af5a15d18]
Event: 6.479 Thread 0x00007f0b0413e800 2701 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes)
Event: 6.483 Thread 0x00007f0b0413e800 nmethod 2701% 0x00007f0af5a21c90 code [0x00007f0af5a222c0, 0x00007f0af5a267e8]
Event: 6.502 Thread 0x00007f0b0413e800 2702 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (381 bytes)
Event: 6.507 Thread 0x00007f0b0413e800 nmethod 2702 0x00007f0af5a29450 code [0x00007f0af5a29ae0, 0x00007f0af5a2e638]
Event: 7.650 Thread 0x00007f0b0413b800 2703 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes)
Event: 7.682 Thread 0x00007f0b0413b800 nmethod 2703% 0x00007f0af5a34110 code [0x00007f0af5a34380, 0x00007f0af5a35558]
GC Heap History (10 events):
Event: 34.996 GC heap after
Heap after GC invocations=24 (full 6):
PSYoungGen total 838656K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 404480K, 0% used [0x00000007a7500000,0x00000007a7500000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26584K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
}
Event: 35.464 GC heap before
{Heap before GC invocations=25 (full 6):
PSYoungGen total 838656K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000)
from space 404480K, 0% used [0x00000007a7500000,0x00000007a7500000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Event: 35.716 GC heap after
Heap after GC invocations=25 (full 6):
PSYoungGen total 868352K, used 196928K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 434176K, 45% used [0x000000078b000000,0x0000000797050000,0x00000007a5800000)
to space 430592K, 0% used [0x00000007a5b80000,0x00000007a5b80000,0x00000007c0000000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
}
Event: 36.167 GC heap before
{Heap before GC invocations=26 (full 6):
PSYoungGen total 868352K, used 631104K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000)
from space 434176K, 45% used [0x000000078b000000,0x0000000797050000,0x00000007a5800000)
to space 430592K, 0% used [0x00000007a5b80000,0x00000007a5b80000,0x00000007c0000000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Event: 36.671 GC heap after
Heap after GC invocations=26 (full 6):
PSYoungGen total 864768K, used 393792K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 430592K, 91% used [0x00000007a5b80000,0x00000007bdc10000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
}
Event: 36.954 GC heap before
{Heap before GC invocations=27 (full 6):
PSYoungGen total 864768K, used 827968K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000)
from space 430592K, 91% used [0x00000007a5b80000,0x00000007bdc10000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 1422902K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 61% used [0x00000006d1800000,0x000000072858d9a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Event: 37.701 GC heap after
Heap after GC invocations=27 (full 6):
PSYoungGen total 868352K, used 199776K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 434176K, 46% used [0x000000078b000000,0x0000000797318010,0x00000007a5800000)
to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000)
ParOldGen total 2322432K, used 1816662K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 78% used [0x00000006d1800000,0x00000007406159a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
}
Event: 38.125 GC heap before
{Heap before GC invocations=28 (full 6):
PSYoungGen total 868352K, used 633952K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000)
from space 434176K, 46% used [0x000000078b000000,0x0000000797318010,0x00000007a5800000)
to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000)
ParOldGen total 2322432K, used 1816662K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 78% used [0x00000006d1800000,0x00000007406159a0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Event: 38.740 GC heap after
Heap after GC invocations=28 (full 6):
PSYoungGen total 868352K, used 198432K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 434176K, 45% used [0x00000007a5800000,0x00000007b19c8000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 2016406K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 86% used [0x00000006d1800000,0x000000074c9259b0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
}
Event: 38.740 GC heap before
{Heap before GC invocations=29 (full 7):
PSYoungGen total 868352K, used 198432K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000)
eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000)
from space 434176K, 45% used [0x00000007a5800000,0x00000007b19c8000,0x00000007c0000000)
to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000)
ParOldGen total 2322432K, used 2016406K [0x00000006d1800000, 0x000000075f400000, 0x0000000770800000)
object space 2322432K, 86% used [0x00000006d1800000,0x000000074c9259b0,0x000000075f400000)
Metaspace used 26585K, capacity 29188K, committed 29440K, reserved 1075200K
class space used 3038K, capacity 3809K, committed 3840K, reserved 1048576K
Deoptimization events (10 events):
Event: 2.488 Thread 0x00007f0b04744000 Uncommon trap: reason=predicate action=maybe_recompile pc=0x00007f0af54c8f00 method=java.util.regex.Pattern$Curly.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 12
Event: 2.488 Thread 0x00007f0b04744000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0af54b6974 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16
Event: 2.488 Thread 0x00007f0b04744000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0af54b6974 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16
Event: 2.488 Thread 0x00007f0b04744000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0af54b6974 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16
Event: 2.488 Thread 0x00007f0b04744000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0af54b6974 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16
Event: 2.489 Thread 0x00007f0b04744000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0af54d47fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31
Event: 2.490 Thread 0x00007f0b04744000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0af54d47fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31
Event: 2.490 Thread 0x00007f0b04744000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0af54d47fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31
Event: 3.267 Thread 0x00007f0b04744000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f0af57377f0 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70
Event: 34.997 Thread 0x00007f0b043e6800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f0af57dac00 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60
Internal exceptions (10 events):
Event: 2.367 Thread 0x00007f0b0400a000 Exception (0x00000007713cff48) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.368 Thread 0x00007f0b0400a000 Exception (0x00000007713d3bf0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.373 Thread 0x00007f0b0400a000 Exception (0x00000007714b3490) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.373 Thread 0x00007f0b0400a000 Exception (0x00000007714b7420) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.373 Thread 0x00007f0b0400a000 Exception (0x00000007714bafa8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.373 Thread 0x00007f0b0400a000 Exception (0x00000007714bece8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.374 Thread 0x00007f0b0400a000 Exception (0x00000007714c24b8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 2.375 Thread 0x00007f0b0400a000 Exception (0x00000007714e35e8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line
Event: 2.717 Thread 0x00007f0b04744000 Exception (0x0000000771eedf28) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr
Event: 3.077 Thread 0x00007f0b04744000 Exception (0x00000007732aeea8) thrown at [/HUDSO
Events (10 events):
Event: 34.997 Thread 0x00007f0b043e6800 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f0af57dac00
Event: 34.997 Thread 0x00007f0b043e6800 DEOPT PACKING pc=0x00007f0af57dac00 sp=0x00007f0ae98b5270
Event: 34.997 Thread 0x00007f0b043e6800 DEOPT UNPACKING pc=0x00007f0af5005229 sp=0x00007f0ae98b5218 mode 2
Event: 35.464 Executing VM operation: ParallelGCFailedAllocation
Event: 35.716 Executing VM operation: ParallelGCFailedAllocation done
Event: 36.167 Executing VM operation: ParallelGCFailedAllocation
Event: 36.672 Executing VM operation: ParallelGCFailedAllocation done
Event: 36.954 Executing VM operation: ParallelGCFailedAllocation
Event: 37.701 Executing VM operation: ParallelGCFailedAllocation done
Event: 38.125 Executing VM operation: ParallelGCFailedAllocation
Dynamic libraries:
00400000-00401000 r-xp 00000000 09:01 4874160 /opt/oracle-jdk-bin-1.8.0.144/bin/java
00600000-00601000 rw-p 00000000 09:01 4874160 /opt/oracle-jdk-bin-1.8.0.144/bin/java
00a04000-00a25000 rw-p 00000000 00:00 0 [heap]
6d1800000-75f400000 rw-p 00000000 00:00 0
770800000-7c0000000 rw-p 00000000 00:00 0
7c0000000-7c03c0000 rw-p 00000000 00:00 0
7c03c0000-800000000 ---p 00000000 00:00 0
7f0a78000000-7f0a78021000 rw-p 00000000 00:00 0
7f0a78021000-7f0a7c000000 ---p 00000000 00:00 0
7f0a7c000000-7f0a7c021000 rw-p 00000000 00:00 0
7f0a7c021000-7f0a80000000 ---p 00000000 00:00 0
7f0a80000000-7f0a80021000 rw-p 00000000 00:00 0
7f0a80021000-7f0a84000000 ---p 00000000 00:00 0
7f0a84000000-7f0a84021000 rw-p 00000000 00:00 0
7f0a84021000-7f0a88000000 ---p 00000000 00:00 0
7f0a88000000-7f0a88021000 rw-p 00000000 00:00 0
7f0a88021000-7f0a8c000000 ---p 00000000 00:00 0
7f0a8c000000-7f0a8c021000 rw-p 00000000 00:00 0
7f0a8c021000-7f0a90000000 ---p 00000000 00:00 0
7f0a90000000-7f0a90021000 rw-p 00000000 00:00 0
7f0a90021000-7f0a94000000 ---p 00000000 00:00 0
7f0a94000000-7f0a94021000 rw-p 00000000 00:00 0
7f0a94021000-7f0a98000000 ---p 00000000 00:00 0
7f0a98000000-7f0a98021000 rw-p 00000000 00:00 0
7f0a98021000-7f0a9c000000 ---p 00000000 00:00 0
7f0a9c000000-7f0a9c021000 rw-p 00000000 00:00 0
7f0a9c021000-7f0aa0000000 ---p 00000000 00:00 0
7f0aa0000000-7f0aa0021000 rw-p 00000000 00:00 0
7f0aa0021000-7f0aa4000000 ---p 00000000 00:00 0
7f0aa4000000-7f0aa4021000 rw-p 00000000 00:00 0
7f0aa4021000-7f0aa8000000 ---p 00000000 00:00 0
7f0aa8000000-7f0aa8208000 rw-p 00000000 00:00 0
7f0aa8208000-7f0aac000000 ---p 00000000 00:00 0
7f0aac000000-7f0aac021000 rw-p 00000000 00:00 0
7f0aac021000-7f0ab0000000 ---p 00000000 00:00 0
7f0ab0521000-7f0ab0621000 rw-p 00000000 00:00 0
7f0ab0621000-7f0ab0721000 ---p 00000000 00:00 0
7f0ab0721000-7f0ab0724000 ---p 00000000 00:00 0
7f0ab0724000-7f0ab0b22000 rw-p 00000000 00:00 0
7f0ab0b22000-7f0ab0b25000 ---p 00000000 00:00 0
7f0ab0b25000-7f0ab0f23000 rw-p 00000000 00:00 0
7f0ab0f23000-7f0ab0f26000 ---p 00000000 00:00 0
7f0ab0f26000-7f0ab1324000 rw-p 00000000 00:00 0
7f0ab1324000-7f0ab1327000 ---p 00000000 00:00 0
7f0ab1327000-7f0ab1725000 rw-p 00000000 00:00 0
7f0ab1725000-7f0ab1728000 ---p 00000000 00:00 0
7f0ab1728000-7f0ab175e000 rw-p 00000000 00:00 0
7f0ab175e000-7f0ab1763000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar
7f0ab1763000-7f0ab1963000 rw-p 00000000 00:00 0
7f0ab1963000-7f0ab1966000 ---p 00000000 00:00 0
7f0ab1966000-7f0ab1d64000 rw-p 00000000 00:00 0
7f0ab1d64000-7f0ab1d67000 ---p 00000000 00:00 0
7f0ab1d67000-7f0ab2165000 rw-p 00000000 00:00 0
7f0ab2165000-7f0ab2168000 ---p 00000000 00:00 0
7f0ab2168000-7f0ab2566000 rw-p 00000000 00:00 0
7f0ab2566000-7f0ab2569000 ---p 00000000 00:00 0
7f0ab2569000-7f0ab2967000 rw-p 00000000 00:00 0
7f0ab2967000-7f0ab296a000 ---p 00000000 00:00 0
7f0ab296a000-7f0ab29a0000 rw-p 00000000 00:00 0
7f0ab29a0000-7f0ab29a9000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f0ab29a9000-7f0ab2ba8000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f0ab2ba8000-7f0ab2ba9000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f0ab2ba9000-7f0ab2da9000 rw-p 00000000 00:00 0
7f0ab2da9000-7f0ab2fa9000 rw-p 00000000 00:00 0
7f0ab2fa9000-7f0ab2fbc000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar
7f0ab2fbc000-7f0ab2ffd000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar
7f0ab2ffd000-7f0ab31fd000 rw-p 00000000 00:00 0
7f0ab31fd000-7f0ab3200000 ---p 00000000 00:00 0
7f0ab3200000-7f0ab35fe000 rw-p 00000000 00:00 0
7f0ab35fe000-7f0ab3601000 ---p 00000000 00:00 0
7f0ab3601000-7f0ab3bff000 rw-p 00000000 00:00 0
7f0ab3bff000-7f0ab3c02000 ---p 00000000 00:00 0
7f0ab3c02000-7f0ab4000000 rw-p 00000000 00:00 0
7f0ab4000000-7f0ab4021000 rw-p 00000000 00:00 0
7f0ab4021000-7f0ab8000000 ---p 00000000 00:00 0
7f0ab8000000-7f0ab80ed000 rw-p 00000000 00:00 0
7f0ab80ed000-7f0abc000000 ---p 00000000 00:00 0
7f0abc000000-7f0abc021000 rw-p 00000000 00:00 0
7f0abc021000-7f0ac0000000 ---p 00000000 00:00 0
7f0ac0000000-7f0ac0021000 rw-p 00000000 00:00 0
7f0ac0021000-7f0ac4000000 ---p 00000000 00:00 0
7f0ac4000000-7f0ac4d5d000 rw-p 00000000 00:00 0
7f0ac4d5d000-7f0ac8000000 ---p 00000000 00:00 0
7f0ac8000000-7f0ac8021000 rw-p 00000000 00:00 0
7f0ac8021000-7f0acc000000 ---p 00000000 00:00 0
7f0acc000000-7f0acc021000 rw-p 00000000 00:00 0
7f0acc021000-7f0ad0000000 ---p 00000000 00:00 0
7f0ad0000000-7f0ad0dc3000 rw-p 00000000 00:00 0
7f0ad0dc3000-7f0ad4000000 ---p 00000000 00:00 0
7f0ad4000000-7f0ad4021000 rw-p 00000000 00:00 0
7f0ad4021000-7f0ad8000000 ---p 00000000 00:00 0
7f0ad8000000-7f0ad8021000 rw-p 00000000 00:00 0
7f0ad8021000-7f0adc000000 ---p 00000000 00:00 0
7f0adc000000-7f0adc02a000 rw-p 00000000 00:00 0
7f0adc02a000-7f0ae0000000 ---p 00000000 00:00 0
7f0ae0000000-7f0ae0301000 rw-p 00000000 00:00 0
7f0ae0301000-7f0ae4000000 ---p 00000000 00:00 0
7f0ae4000000-7f0ae408a000 rw-p 00000000 00:00 0
7f0ae408a000-7f0ae8000000 ---p 00000000 00:00 0
7f0ae8004000-7f0ae8006000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar
7f0ae8006000-7f0ae8008000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar
7f0ae8008000-7f0ae800a000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar
7f0ae800a000-7f0ae8016000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar
7f0ae8016000-7f0ae801b000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar
7f0ae801b000-7f0ae801d000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar
7f0ae801d000-7f0ae801e000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar
7f0ae801e000-7f0ae8021000 r--s 0001f000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar
7f0ae8021000-7f0ae8024000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar
7f0ae8024000-7f0ae8029000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar
7f0ae8029000-7f0ae802d000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar
7f0ae802d000-7f0ae808e000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar
7f0ae808e000-7f0ae828e000 rw-p 00000000 00:00 0
7f0ae828e000-7f0ae8298000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar
7f0ae8298000-7f0ae829a000 r--s 00004000 09:02 30015913 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux.x86_64_5.3.0.201602051005.jar
7f0ae829a000-7f0ae829c000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar
7f0ae829c000-7f0ae829e000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar
7f0ae829e000-7f0ae82ef000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar
7f0ae82ef000-7f0ae82f1000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar
7f0ae82f1000-7f0ae82f3000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar
7f0ae82f3000-7f0ae82f5000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar
7f0ae82f5000-7f0ae82f7000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar
7f0ae82f7000-7f0ae82f8000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar
7f0ae82f8000-7f0ae82fa000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar
7f0ae82fa000-7f0ae8300000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar
7f0ae8300000-7f0ae8302000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar
7f0ae8302000-7f0ae8305000 r--s 00010000 09:02 30015888 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar
7f0ae8305000-7f0ae8307000 r--s 00006000 09:02 30015887 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar
7f0ae8307000-7f0ae8309000 r--s 00009000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar
7f0ae8309000-7f0ae8331000 r--s 00241000 09:02 30019484 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/nestedword/operations/optncsb/trove-3.0.3.jar
7f0ae8331000-7f0ae8341000 r--s 001c1000 09:02 30019479 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/julian/petruchio/petruchio.jar
7f0ae8341000-7f0ae8369000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar
7f0ae8369000-7f0ae836c000 r--s 00018000 09:02 30015885 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar
7f0ae836c000-7f0ae836f000 r--s 00014000 09:02 30015883 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar
7f0ae836f000-7f0ae8378000 r--s 00089000 09:02 30015882 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar
7f0ae8378000-7f0ae8389000 r--s 000f0000 09:02 30015886 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar
7f0ae8389000-7f0ae838c000 r--s 00021000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar
7f0ae838c000-7f0ae838e000 r--s 0000d000 09:02 30015881 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar
7f0ae838e000-7f0ae8390000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar
7f0ae8390000-7f0ae8392000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar
7f0ae8392000-7f0ae8394000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar
7f0ae8394000-7f0ae8397000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar
7f0ae8397000-7f0ae8399000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar
7f0ae8399000-7f0ae839b000 r--s 00002000 09:02 30015880 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar
7f0ae839b000-7f0ae839e000 r--s 00012000 09:02 30015837 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar
7f0ae839e000-7f0ae83a2000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar
7f0ae83a2000-7f0ae85a2000 rw-p 00000000 00:00 0
7f0ae85a2000-7f0ae87a2000 rw-p 00000000 00:00 0
7f0ae87a2000-7f0ae87a5000 ---p 00000000 00:00 0
7f0ae87a5000-7f0ae8ba3000 rw-p 00000000 00:00 0
7f0ae8ba3000-7f0ae8bb3000 r-xp 00000000 09:02 30015958 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f0ae8bb3000-7f0ae8cb2000 ---p 00010000 09:02 30015958 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f0ae8cb2000-7f0ae8cb4000 rw-p 0000f000 09:02 30015958 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f0ae8cb4000-7f0ae8cb7000 ---p 00000000 00:00 0
7f0ae8cb7000-7f0ae90b5000 rw-p 00000000 00:00 0
7f0ae90b5000-7f0ae90b8000 ---p 00000000 00:00 0
7f0ae90b8000-7f0ae94b6000 rw-p 00000000 00:00 0
7f0ae94b6000-7f0ae94b9000 ---p 00000000 00:00 0
7f0ae94b9000-7f0ae98b7000 rw-p 00000000 00:00 0
7f0ae98b7000-7f0ae98c8000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f0ae98c8000-7f0ae9ac7000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f0ae9ac7000-7f0ae9ac8000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f0ae9ac8000-7f0ae9ade000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f0ae9ade000-7f0ae9cde000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f0ae9cde000-7f0ae9cdf000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f0ae9cdf000-7f0ae9ce0000 ---p 00000000 00:00 0
7f0ae9ce0000-7f0ae9de0000 rw-p 00000000 00:00 0
7f0ae9de0000-7f0ae9de3000 ---p 00000000 00:00 0
7f0ae9de3000-7f0aea1e1000 rw-p 00000000 00:00 0
7f0aea1e1000-7f0aea1e4000 ---p 00000000 00:00 0
7f0aea1e4000-7f0aea2e2000 rw-p 00000000 00:00 0
7f0aea2e2000-7f0aea2e5000 ---p 00000000 00:00 0
7f0aea2e5000-7f0aea3e3000 rw-p 00000000 00:00 0
7f0aea3e3000-7f0aea3e6000 ---p 00000000 00:00 0
7f0aea3e6000-7f0aea7e4000 rw-p 00000000 00:00 0
7f0aea7e4000-7f0aeabd4000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive
7f0aeabd4000-7f0aeabd7000 ---p 00000000 00:00 0
7f0aeabd7000-7f0aeafd5000 rw-p 00000000 00:00 0
7f0aeafd5000-7f0aeafd8000 ---p 00000000 00:00 0
7f0aeafd8000-7f0aeb3d6000 rw-p 00000000 00:00 0
7f0aeb3d6000-7f0aeb3d7000 ---p 00000000 00:00 0
7f0aeb3d7000-7f0aec4df000 rw-p 00000000 00:00 0
7f0aec4df000-7f0af4801000 rw-p 00000000 00:00 0
7f0af4801000-7f0af488b000 ---p 00000000 00:00 0
7f0af488b000-7f0af4cf9000 rw-p 00000000 00:00 0
7f0af4cf9000-7f0af4d83000 ---p 00000000 00:00 0
7f0af4d83000-7f0af4fff000 rw-p 00000000 00:00 0
7f0af4fff000-7f0af5000000 rw-p 00000000 00:00 0
7f0af5000000-7f0af5a40000 rwxp 00000000 00:00 0
7f0af5a40000-7f0b04000000 ---p 00000000 00:00 0
7f0b04000000-7f0b04ab7000 rw-p 00000000 00:00 0
7f0b04ab7000-7f0b08000000 ---p 00000000 00:00 0
7f0b08000000-7f0b08001000 r--s 00005000 09:02 30015884 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar
7f0b08001000-7f0b08003000 r--s 00007000 09:02 30015854 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar
7f0b08003000-7f0b08013000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar
7f0b08013000-7f0b0801f000 r--s 0009b000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar
7f0b0801f000-7f0b08021000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar
7f0b08021000-7f0b08023000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar
7f0b08023000-7f0b08025000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar
7f0b08025000-7f0b0802d000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar
7f0b0802d000-7f0b0817d000 rw-p 00000000 00:00 0
7f0b0817d000-7f0b08357000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar
7f0b08357000-7f0b083cd000 rw-p 00000000 00:00 0
7f0b083cd000-7f0b083ce000 ---p 00000000 00:00 0
7f0b083ce000-7f0b084f7000 rw-p 00000000 00:00 0
7f0b084f7000-7f0b0888e000 ---p 00000000 00:00 0
7f0b0888e000-7f0b088a8000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f0b088a8000-7f0b08aa8000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f0b08aa8000-7f0b08aa9000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f0b08aa9000-7f0b08ab4000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so
7f0b08ab4000-7f0b08cb3000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so
7f0b08cb3000-7f0b08cb4000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so
7f0b08cb4000-7f0b08cb5000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so
7f0b08cb5000-7f0b08cc0000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f0b08cc0000-7f0b08ebf000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f0b08ebf000-7f0b08ec0000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f0b08ec0000-7f0b08ec1000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f0b08ec1000-7f0b08ed7000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so
7f0b08ed7000-7f0b090d6000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so
7f0b090d6000-7f0b090d7000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so
7f0b090d7000-7f0b090d8000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so
7f0b090d8000-7f0b090da000 rw-p 00000000 00:00 0
7f0b090da000-7f0b090e1000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f0b090e1000-7f0b092e1000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f0b092e1000-7f0b092e2000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f0b092e2000-7f0b092e3000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f0b092e3000-7f0b0930e000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f0b0930e000-7f0b0950d000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f0b0950d000-7f0b0950f000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f0b0950f000-7f0b0951c000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f0b0951c000-7f0b0971c000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f0b0971c000-7f0b0971e000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f0b0971e000-7f0b09725000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so
7f0b09725000-7f0b09924000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so
7f0b09924000-7f0b09925000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so
7f0b09925000-7f0b09926000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so
7f0b09926000-7f0b09929000 ---p 00000000 00:00 0
7f0b09929000-7f0b09d27000 rw-p 00000000 00:00 0
7f0b09d27000-7f0b09e3c000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so
7f0b09e3c000-7f0b0a03c000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so
7f0b0a03c000-7f0b0a03d000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so
7f0b0a03d000-7f0b0a03e000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so
7f0b0a03e000-7f0b0ad11000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f0b0ad11000-7f0b0af10000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f0b0af10000-7f0b0afea000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f0b0afea000-7f0b0b035000 rw-p 00000000 00:00 0
7f0b0b035000-7f0b0b1dd000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so
7f0b0b1dd000-7f0b0b3dc000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so
7f0b0b3dc000-7f0b0b3e0000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so
7f0b0b3e0000-7f0b0b3e2000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so
7f0b0b3e2000-7f0b0b3e6000 rw-p 00000000 00:00 0
7f0b0b3e6000-7f0b0b3e9000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so
7f0b0b3e9000-7f0b0b5e8000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so
7f0b0b5e8000-7f0b0b5e9000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so
7f0b0b5e9000-7f0b0b5ea000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so
7f0b0b5ea000-7f0b0b5ff000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f0b0b5ff000-7f0b0b7ff000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f0b0b7ff000-7f0b0b800000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f0b0b800000-7f0b0b81a000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so
7f0b0b81a000-7f0b0ba1a000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so
7f0b0ba1a000-7f0b0ba1b000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so
7f0b0ba1b000-7f0b0ba1c000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so
7f0b0ba1c000-7f0b0ba20000 rw-p 00000000 00:00 0
7f0b0ba20000-7f0b0ba43000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so
7f0b0ba43000-7f0b0ba49000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar
7f0b0ba49000-7f0b0ba4f000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar
7f0b0ba4f000-7f0b0ba53000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar
7f0b0ba53000-7f0b0baf9000 rw-p 00000000 00:00 0
7f0b0baf9000-7f0b0bafa000 ---p 00000000 00:00 0
7f0b0bafa000-7f0b0bbfc000 rw-p 00000000 00:00 0
7f0b0bbfc000-7f0b0bbfe000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar
7f0b0bbfe000-7f0b0bc02000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar
7f0b0bc02000-7f0b0bc04000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar
7f0b0bc04000-7f0b0bc07000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar
7f0b0bc07000-7f0b0bc0a000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar
7f0b0bc0a000-7f0b0bc0d000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar
7f0b0bc0d000-7f0b0bc11000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar
7f0b0bc11000-7f0b0bc13000 r--s 00002000 09:02 30015933 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime.compatibility.registry_3.6.0.v20150318-1505/runtime_registry_compatibility.jar
7f0b0bc13000-7f0b0bc15000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar
7f0b0bc15000-7f0b0bc18000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar
7f0b0bc18000-7f0b0bc2d000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar
7f0b0bc2d000-7f0b0bc30000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar
7f0b0bc30000-7f0b0bc35000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar
7f0b0bc35000-7f0b0bc37000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar
7f0b0bc37000-7f0b0bc3f000 rw-s 00000000 09:01 1317713 /tmp/hsperfdata_root/31615
7f0b0bc3f000-7f0b0bc40000 rw-p 00000000 00:00 0
7f0b0bc40000-7f0b0bc41000 ---p 00000000 00:00 0
7f0b0bc41000-7f0b0bc43000 rw-p 00000000 00:00 0
7f0b0bc43000-7f0b0bc44000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so
7f0b0bc44000-7f0b0bc45000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so
7f0b0bc45000-7f0b0bc46000 rw-p 00000000 00:00 0
7fff3b1ab000-7fff3b1cd000 rw-p 00000000 00:00 0 [stack]
7fff3b1f8000-7fff3b1fb000 r--p 00000000 00:00 0 [vvar]
7fff3b1fb000-7fff3b1fd000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
VM Arguments:
jvm_args: -Xss4m -Xmx4000000000
java_command: ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2
java_class_path (initial): ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar
Launcher Type: SUN_STANDARD
Environment Variables:
JAVA_HOME=/etc/java-config-2/current-system-vm
PATH=/usr/x86_64-pc-linux-gnu/gcc-bin/6.4.0:/usr/lib/llvm/5/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/storage/ltl2ba/ltl2ba-1.2b1:/storage/solver/z3/build:/storage/solver/mathsat/bin:/storage/solver/princess:/storage/solver/cvc4-2015-12-05-x86_64-linux-opt-proofs:/storage/solver/smtinterpol
SHELL=/bin/bash
DISPLAY=localhost:10.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:DISTRIB_ID="Gentoo"
uname:Linux 4.12.12-gentoo #1 SMP Mon Oct 16 11:39:14 CEST 2017 x86_64
libc:glibc 2.25 NPTL 2.25
rlimit: STACK 8192k, CORE 0k, NPROC 96076, NOFILE 4096, AS infinity
load average:7.78 6.56 5.22
/proc/meminfo:
MemTotal: 24665244 kB
MemFree: 204244 kB
MemAvailable: 94068 kB
Buffers: 37292 kB
Cached: 132592 kB
SwapCached: 0 kB
Active: 24088452 kB
Inactive: 98876 kB
Active(anon): 24021920 kB
Inactive(anon): 628 kB
Active(file): 66532 kB
Inactive(file): 98248 kB
Unevictable: 11100 kB
Mlocked: 11100 kB
SwapTotal: 0 kB
SwapFree: 0 kB
Dirty: 100 kB
Writeback: 0 kB
AnonPages: 24028616 kB
Mapped: 63084 kB
Shmem: 1476 kB
Slab: 105616 kB
SReclaimable: 46272 kB
SUnreclaim: 59344 kB
KernelStack: 15504 kB
PageTables: 63172 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 12332620 kB
Committed_AS: 24423308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
AnonHugePages: 311296 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 3401168 kB
DirectMap2M: 21721088 kB
CPU:total 8 (initial active 2) (4 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) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6784.86
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) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.55
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) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.69
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) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.73
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6791.08
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.23
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.08
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 3499.816
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid 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 epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.10
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
Memory: 4k page, physical 24665244k(204244k 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: Wed Jun 27 01:07:32 2018
elapsed time: 47 seconds (0d 0h 0m 47s)