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/metros_1_e2_1102_e3_961.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-62c3406-m [2018-06-27 01:56:21,186 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-27 01:56:21,188 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-27 01:56:21,207 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-27 01:56:21,207 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-27 01:56:21,208 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-27 01:56:21,209 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-27 01:56:21,216 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-27 01:56:21,217 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-27 01:56:21,220 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-27 01:56:21,223 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-27 01:56:21,223 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-27 01:56:21,224 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-27 01:56:21,225 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-27 01:56:21,226 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-27 01:56:21,229 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-27 01:56:21,230 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-27 01:56:21,243 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-27 01:56:21,245 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-27 01:56:21,246 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-27 01:56:21,247 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-27 01:56:21,251 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-27 01:56:21,253 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-27 01:56:21,253 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-27 01:56:21,253 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-27 01:56:21,254 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-27 01:56:21,255 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-27 01:56:21,256 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-27 01:56:21,258 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-27 01:56:21,259 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-27 01:56:21,260 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-27 01:56:21,260 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-27 01:56:21,260 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-06-27 01:56:21,261 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-27 01:56:21,266 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-27 01:56:21,266 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-27 01:56:21,267 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:56:21,288 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-27 01:56:21,291 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-27 01:56:21,291 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-27 01:56:21,292 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-27 01:56:21,293 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-27 01:56:21,293 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-27 01:56:21,293 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-27 01:56:21,293 INFO L133 SettingsManager]: * Use SBE=true [2018-06-27 01:56:21,294 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-27 01:56:21,294 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-27 01:56:21,294 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-27 01:56:21,294 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-27 01:56:21,294 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:56:21,295 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-27 01:56:21,295 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-27 01:56:21,295 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-27 01:56:21,295 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-27 01:56:21,295 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-27 01:56:21,295 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-27 01:56:21,296 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-27 01:56:21,297 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-27 01:56:21,299 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-27 01:56:21,299 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-27 01:56:21,350 INFO ]: Repository-Root is: /tmp [2018-06-27 01:56:21,371 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-27 01:56:21,374 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-27 01:56:21,375 INFO ]: Initializing SmtParser... [2018-06-27 01:56:21,376 INFO ]: SmtParser initialized [2018-06-27 01:56:21,376 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961.smt2 [2018-06-27 01:56:21,395 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:56:21,654 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961.smt2 unknown [2018-06-27 01:56:22,230 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961.smt2 [2018-06-27 01:56:22,234 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-27 01:56:22,968 INFO ]: Walking toolchain with 5 elements. [2018-06-27 01:56:22,974 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-27 01:56:22,974 INFO ]: Initializing ChcToBoogie... [2018-06-27 01:56:22,974 INFO ]: ChcToBoogie initialized [2018-06-27 01:56:22,998 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:56:22" (1/1) ... [2018-06-27 01:56:23,098 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23 Unit [2018-06-27 01:56:23,098 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-27 01:56:23,099 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-27 01:56:23,099 INFO ]: Initializing Boogie Preprocessor... [2018-06-27 01:56:23,099 INFO ]: Boogie Preprocessor initialized [2018-06-27 01:56:23,115 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,115 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,126 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,128 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,134 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,135 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,138 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,143 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-27 01:56:23,144 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-27 01:56:23,144 INFO ]: Initializing RCFGBuilder... [2018-06-27 01:56:23,144 INFO ]: RCFGBuilder initialized [2018-06-27 01:56:23,145 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:56:23" (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:56:23,161 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-27 01:56:23,161 INFO ]: Found specification of procedure gotoProc [2018-06-27 01:56:23,161 INFO ]: Found implementation of procedure gotoProc [2018-06-27 01:56:23,161 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-27 01:56:23,161 INFO ]: Found specification of procedure Ultimate.START [2018-06-27 01:56:23,161 INFO ]: Found implementation of procedure Ultimate.START [2018-06-27 01:56:23,705 INFO ]: Using library mode [2018-06-27 01:56:23,707 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:56:23 BoogieIcfgContainer [2018-06-27 01:56:23,707 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-27 01:56:23,708 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-27 01:56:23,708 INFO ]: Initializing BlockEncodingV2... [2018-06-27 01:56:23,709 INFO ]: BlockEncodingV2 initialized [2018-06-27 01:56:23,709 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:56:23" (1/1) ... [2018-06-27 01:56:23,729 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-27 01:56:23,731 INFO ]: Using Remove infeasible edges [2018-06-27 01:56:23,731 INFO ]: Using Maximize final states [2018-06-27 01:56:23,732 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-27 01:56:23,732 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-27 01:56:23,737 INFO ]: Using Remove sink states [2018-06-27 01:56:23,739 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-27 01:56:23,739 INFO ]: Using Use SBE [2018-06-27 01:56:23,750 WARN ]: aborting because of expected exponential blowup for input size 41 [2018-06-27 01:56:23,766 WARN ]: aborting because of expected exponential blowup for input size 122 [2018-06-27 01:56:23,768 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000753c00000, 475004928, 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 475004928 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid2218.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 475004928 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=2218, tid=0x00007fc8a3bfb700 # # 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 (0x00007fc8b80fa800): VMThread [stack: 0x00007fc8a3afb000,0x00007fc8a3bfc000] [id=2226] Stack: [0x00007fc8a3afb000,0x00007fc8a3bfc000], sp=0x00007fc8a3bfa390, 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 (0x00007fc8a084a6e0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007fc8b8702000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007fc858001800 JavaThread "Worker-2" daemon [_thread_blocked, id=4345, stack(0x00007fc85d3ee000,0x00007fc85d7ef000)] 0x00007fc864192800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=3689, stack(0x00007fc85d7ef000,0x00007fc85dbf0000)] 0x00007fc840002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=3688, stack(0x00007fc85dbf0000,0x00007fc85dff1000)] 0x00007fc840001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=3685, stack(0x00007fc85dff1000,0x00007fc85e3f2000)] 0x00007fc864191000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=3681, stack(0x00007fc85e3f2000,0x00007fc85e7f3000)] 0x00007fc86418a000 JavaThread "process reaper" daemon [_thread_in_native, id=3680, stack(0x00007fc8a00f7000,0x00007fc8a0130000)] 0x00007fc864047000 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=2245, stack(0x00007fc85ebf3000,0x00007fc85eff4000)] 0x00007fc84c004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=2244, stack(0x00007fc85eff4000,0x00007fc85f3f5000)] 0x00007fc84c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=2243, stack(0x00007fc85f3f5000,0x00007fc85f7f6000)] 0x00007fc86403e800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=2242, stack(0x00007fc85f7f6000,0x00007fc85fbf7000)] 0x00007fc864041000 JavaThread "process reaper" daemon [_thread_in_native, id=2241, stack(0x00007fc8a0137000,0x00007fc8a0170000)] 0x00007fc864001000 JavaThread "Worker-1" daemon [_thread_blocked, id=2239, stack(0x00007fc8942bf000,0x00007fc8946c0000)] 0x00007fc8b8702000 JavaThread "Worker-0" daemon [_thread_blocked, id=2238, stack(0x00007fc8a044c000,0x00007fc8a084d000)] 0x00007fc86c070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=2237, stack(0x00007fc8a0ec7000,0x00007fc8a12c8000)] 0x00007fc8b83c4800 JavaThread "Start Level: Equinox Container: 50b87284-9c79-0018-119d-c18d26444a16" daemon [_thread_blocked, id=2236, stack(0x00007fc8a13d9000,0x00007fc8a17da000)] 0x00007fc8b83c1800 JavaThread "Framework Event Dispatcher: Equinox Container: 50b87284-9c79-0018-119d-c18d26444a16" daemon [_thread_blocked, id=2235, stack(0x00007fc8a17da000,0x00007fc8a1bdb000)] 0x00007fc8b83a5000 JavaThread "Active Thread: Equinox Container: 50b87284-9c79-0018-119d-c18d26444a16" [_thread_blocked, id=2234, stack(0x00007fc8a1bdb000,0x00007fc8a1fdc000)] 0x00007fc8b8141000 JavaThread "Service Thread" daemon [_thread_blocked, id=2232, stack(0x00007fc8a2505000,0x00007fc8a2906000)] 0x00007fc8b813e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=2231, stack(0x00007fc8a2906000,0x00007fc8a2a07000)] 0x00007fc8b813b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=2230, stack(0x00007fc8a2a07000,0x00007fc8a2b08000)] 0x00007fc8b813a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=2229, stack(0x00007fc8a2b08000,0x00007fc8a2f09000)] 0x00007fc8b8107000 JavaThread "Finalizer" daemon [_thread_blocked, id=2228, stack(0x00007fc8a32f9000,0x00007fc8a36fa000)] 0x00007fc8b8102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=2227, stack(0x00007fc8a36fa000,0x00007fc8a3afb000)] 0x00007fc8b800a000 JavaThread "main" [_thread_blocked, id=2223, stack(0x00007fc8be9aa000,0x00007fc8bedab000)] Other Threads: =>0x00007fc8b80fa800 VMThread [stack: 0x00007fc8a3afb000,0x00007fc8a3bfc000] [id=2226] 0x00007fc8b8143800 WatcherThread [stack: 0x00007fc8a2404000,0x00007fc8a2505000] [id=2233] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007fc8b8005b20] ExpandHeap_lock - owner thread: 0x00007fc8b80fa800 [0x00007fc8b80061a0] Threads_lock - owner thread: 0x00007fc8b80fa800 [0x00007fc8b80066a0] Heap_lock - owner thread: 0x00007fc8b8702000 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 2134016K, used 1725093K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 80% used [0x00000006d1800000,0x000000073aca95e0,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007fc8bcddd000,0x00007fc8bd552000] byte_map_base: 0x00007fc8b9751000 Marking Bits: (ParMarkBitMap*) 0x00007fc8c008bdc0 Begin Bits: [0x00007fc8948c0000, 0x00007fc898460000) End Bits: [0x00007fc898460000, 0x00007fc89c000000) Polling page: 0x00007fc8c0cbf000 CodeCache: size=245760Kb used=9613Kb max_used=9636Kb free=236146Kb bounds [0x00007fc8a9000000, 0x00007fc8a9990000, 0x00007fc8b8000000] total_blobs=3058 nmethods=2609 adapters=362 compilation: enabled Compilation events (10 events): Event: 7.613 Thread 0x00007fc8b813b800 2689 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ToolchainStorage::getProgressMonitorService (5 bytes) Event: 7.622 Thread 0x00007fc8b813b800 nmethod 2689 0x00007fc8a91ec190 code [0x00007fc8a91ec340, 0x00007fc8a91ecb48] Event: 7.622 Thread 0x00007fc8b813b800 2687 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 7.624 Thread 0x00007fc8b813b800 nmethod 2687 0x00007fc8a911a450 code [0x00007fc8a911a5c0, 0x00007fc8a911a6f8] Event: 7.624 Thread 0x00007fc8b813b800 2690 4 java.util.ArrayDeque::pop (5 bytes) Event: 7.625 Thread 0x00007fc8b813b800 nmethod 2690 0x00007fc8a91eb110 code [0x00007fc8a91eb260, 0x00007fc8a91eb338] Event: 9.864 Thread 0x00007fc8b813b800 2692 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 10.075 Thread 0x00007fc8b813b800 nmethod 2692% 0x00007fc8a9975710 code [0x00007fc8a9975ac0, 0x00007fc8a9977d40] Event: 10.078 Thread 0x00007fc8b813b800 2693 ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (381 bytes) Event: 10.190 Thread 0x00007fc8b813b800 nmethod 2693 0x00007fc8a997ef10 code [0x00007fc8a997f400, 0x00007fc8a9982248] GC Heap History (10 events): Event: 37.928 GC heap after Heap after GC invocations=24 (full 6): 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 2134016K, used 1373169K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 64% used [0x00000006d1800000,0x00000007254fc648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 38.251 GC heap before {Heap before GC invocations=25 (full 6): PSYoungGen total 868352K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2134016K, used 1373169K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 64% used [0x00000006d1800000,0x00000007254fc648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 38.475 GC heap after Heap after GC invocations=25 (full 6): PSYoungGen total 868352K, used 176960K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795cd0000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2134016K, used 1373169K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 64% used [0x00000006d1800000,0x00000007254fc648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 38.872 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 868352K, used 611136K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795cd0000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2134016K, used 1373169K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 64% used [0x00000006d1800000,0x00000007254fc648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 39.346 GC heap after Heap after GC invocations=26 (full 6): PSYoungGen total 868352K, used 176928K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b04c8000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2134016K, used 1550873K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 72% used [0x00000006d1800000,0x0000000730286648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 39.774 GC heap before {Heap before GC invocations=27 (full 6): PSYoungGen total 868352K, used 611104K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b04c8000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2134016K, used 1550873K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 72% used [0x00000006d1800000,0x0000000730286648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 40.270 GC heap after Heap after GC invocations=27 (full 6): PSYoungGen total 868352K, used 176928K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795cc8000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2134016K, used 1728577K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 81% used [0x00000006d1800000,0x000000073b010648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 40.714 GC heap before {Heap before GC invocations=28 (full 6): PSYoungGen total 868352K, used 611104K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795cc8000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2134016K, used 1728577K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 81% used [0x00000006d1800000,0x000000073b010648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 41.191 GC heap after Heap after GC invocations=28 (full 6): PSYoungGen total 868352K, used 176960K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b04d0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2134016K, used 1906225K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 89% used [0x00000006d1800000,0x0000000745d8c648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 41.191 GC heap before {Heap before GC invocations=29 (full 7): PSYoungGen total 868352K, used 176960K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b04d0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2134016K, used 1906225K [0x00000006d1800000, 0x0000000753c00000, 0x0000000770800000) object space 2134016K, 89% used [0x00000006d1800000,0x0000000745d8c648,0x0000000753c00000) Metaspace used 26636K, capacity 29248K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 4.744 Thread 0x00007fc8b8702000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fc8a95156e4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 4.745 Thread 0x00007fc8b8702000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fc8a950e800 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.745 Thread 0x00007fc8b8702000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fc8a950e800 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.745 Thread 0x00007fc8b8702000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fc8a950e800 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.752 Thread 0x00007fc864047000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fc8a951a640 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 5.490 Thread 0x00007fc8b8702000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fc8a97918f8 method=de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Lexer.next_token()Lcom/github/jhoenicke/javacup/runtime/Symbol; @ 513 Event: 6.419 Thread 0x00007fc8b8702000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fc8a97ff840 method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 6.419 Thread 0x00007fc8b8702000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fc8a96bdfbc method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 6.420 Thread 0x00007fc8b8702000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fc8a978e070 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Event: 6.684 Thread 0x00007fc8b8702000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fc8a988c738 method=sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(Ljava/nio/CharBuffer;Ljava/nio/ByteBuffer;)Ljava/nio/charset/CoderResult; @ 113 Internal exceptions (10 events): Event: 4.553 Thread 0x00007fc8b800a000 Exception (0x00000007713d48a8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.558 Thread 0x00007fc8b800a000 Exception (0x00000007714b4148) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.559 Thread 0x00007fc8b800a000 Exception (0x00000007714b80d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.559 Thread 0x00007fc8b800a000 Exception (0x00000007714bbc60) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.559 Thread 0x00007fc8b800a000 Exception (0x00000007714bf9a0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.559 Thread 0x00007fc8b800a000 Exception (0x00000007714c3170) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.560 Thread 0x00007fc8b800a000 Exception (0x00000007714e4290) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 4.614 Thread 0x00007fc8b8702000 Implicit null exception at 0x00007fc8a92c0b83 to 0x00007fc8a92c13b9 Event: 5.047 Thread 0x00007fc8b8702000 Exception (0x0000000771eaf088) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 5.494 Thread 0x00007fc8b8702000 Exception (0x0000000772e7ee48) thrown at [/HUDSO Events (10 events): Event: 30.655 Executing VM operation: ParallelGCFailedAllocation done Event: 31.014 Executing VM operation: ParallelGCFailedAllocation Event: 37.928 Executing VM operation: ParallelGCFailedAllocation done Event: 38.251 Executing VM operation: ParallelGCFailedAllocation Event: 38.475 Executing VM operation: ParallelGCFailedAllocation done Event: 38.872 Executing VM operation: ParallelGCFailedAllocation Event: 39.346 Executing VM operation: ParallelGCFailedAllocation done Event: 39.774 Executing VM operation: ParallelGCFailedAllocation Event: 40.270 Executing VM operation: ParallelGCFailedAllocation done Event: 40.714 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 02041000-02062000 rw-p 00000000 00:00 0 [heap] 6d1800000-753c00000 rw-p 00000000 00:00 0 770100000-770800000 ---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 7fc82c000000-7fc82c021000 rw-p 00000000 00:00 0 7fc82c021000-7fc830000000 ---p 00000000 00:00 0 7fc830000000-7fc830021000 rw-p 00000000 00:00 0 7fc830021000-7fc834000000 ---p 00000000 00:00 0 7fc834000000-7fc834021000 rw-p 00000000 00:00 0 7fc834021000-7fc838000000 ---p 00000000 00:00 0 7fc838000000-7fc838021000 rw-p 00000000 00:00 0 7fc838021000-7fc83c000000 ---p 00000000 00:00 0 7fc83c000000-7fc83c021000 rw-p 00000000 00:00 0 7fc83c021000-7fc840000000 ---p 00000000 00:00 0 7fc840000000-7fc840021000 rw-p 00000000 00:00 0 7fc840021000-7fc844000000 ---p 00000000 00:00 0 7fc844000000-7fc844021000 rw-p 00000000 00:00 0 7fc844021000-7fc848000000 ---p 00000000 00:00 0 7fc848000000-7fc848021000 rw-p 00000000 00:00 0 7fc848021000-7fc84c000000 ---p 00000000 00:00 0 7fc84c000000-7fc84c021000 rw-p 00000000 00:00 0 7fc84c021000-7fc850000000 ---p 00000000 00:00 0 7fc850000000-7fc850021000 rw-p 00000000 00:00 0 7fc850021000-7fc854000000 ---p 00000000 00:00 0 7fc854000000-7fc854021000 rw-p 00000000 00:00 0 7fc854021000-7fc858000000 ---p 00000000 00:00 0 7fc858000000-7fc858021000 rw-p 00000000 00:00 0 7fc858021000-7fc85c000000 ---p 00000000 00:00 0 7fc85d3ee000-7fc85d3f1000 ---p 00000000 00:00 0 7fc85d3f1000-7fc85d7ef000 rw-p 00000000 00:00 0 7fc85d7ef000-7fc85d7f2000 ---p 00000000 00:00 0 7fc85d7f2000-7fc85dbf0000 rw-p 00000000 00:00 0 7fc85dbf0000-7fc85dbf3000 ---p 00000000 00:00 0 7fc85dbf3000-7fc85dff1000 rw-p 00000000 00:00 0 7fc85dff1000-7fc85dff4000 ---p 00000000 00:00 0 7fc85dff4000-7fc85e3f2000 rw-p 00000000 00:00 0 7fc85e3f2000-7fc85e3f5000 ---p 00000000 00:00 0 7fc85e3f5000-7fc85e8f3000 rw-p 00000000 00:00 0 7fc85e8f3000-7fc85e9f3000 ---p 00000000 00:00 0 7fc85e9f3000-7fc85ebf3000 rw-p 00000000 00:00 0 7fc85ebf3000-7fc85ebf6000 ---p 00000000 00:00 0 7fc85ebf6000-7fc85eff4000 rw-p 00000000 00:00 0 7fc85eff4000-7fc85eff7000 ---p 00000000 00:00 0 7fc85eff7000-7fc85f3f5000 rw-p 00000000 00:00 0 7fc85f3f5000-7fc85f3f8000 ---p 00000000 00:00 0 7fc85f3f8000-7fc85f7f6000 rw-p 00000000 00:00 0 7fc85f7f6000-7fc85f7f9000 ---p 00000000 00:00 0 7fc85f7f9000-7fc85fbf7000 rw-p 00000000 00:00 0 7fc85fbf7000-7fc85fc00000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fc85fc00000-7fc85fdff000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fc85fdff000-7fc85fe00000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fc85fe00000-7fc860000000 rw-p 00000000 00:00 0 7fc860000000-7fc860021000 rw-p 00000000 00:00 0 7fc860021000-7fc864000000 ---p 00000000 00:00 0 7fc864000000-7fc8641f3000 rw-p 00000000 00:00 0 7fc8641f3000-7fc868000000 ---p 00000000 00:00 0 7fc868000000-7fc868021000 rw-p 00000000 00:00 0 7fc868021000-7fc86c000000 ---p 00000000 00:00 0 7fc86c000000-7fc86c0f5000 rw-p 00000000 00:00 0 7fc86c0f5000-7fc870000000 ---p 00000000 00:00 0 7fc870000000-7fc870021000 rw-p 00000000 00:00 0 7fc870021000-7fc874000000 ---p 00000000 00:00 0 7fc874000000-7fc874021000 rw-p 00000000 00:00 0 7fc874021000-7fc878000000 ---p 00000000 00:00 0 7fc878000000-7fc878abf000 rw-p 00000000 00:00 0 7fc878abf000-7fc87c000000 ---p 00000000 00:00 0 7fc87c000000-7fc87c021000 rw-p 00000000 00:00 0 7fc87c021000-7fc880000000 ---p 00000000 00:00 0 7fc880000000-7fc880021000 rw-p 00000000 00:00 0 7fc880021000-7fc884000000 ---p 00000000 00:00 0 7fc884000000-7fc88503c000 rw-p 00000000 00:00 0 7fc88503c000-7fc888000000 ---p 00000000 00:00 0 7fc888000000-7fc888021000 rw-p 00000000 00:00 0 7fc888021000-7fc88c000000 ---p 00000000 00:00 0 7fc88c000000-7fc88c021000 rw-p 00000000 00:00 0 7fc88c021000-7fc890000000 ---p 00000000 00:00 0 7fc890000000-7fc8902ff000 rw-p 00000000 00:00 0 7fc8902ff000-7fc894000000 ---p 00000000 00:00 0 7fc8940bf000-7fc8942bf000 rw-p 00000000 00:00 0 7fc8942bf000-7fc8942c2000 ---p 00000000 00:00 0 7fc8942c2000-7fc89c000000 rw-p 00000000 00:00 0 7fc89c000000-7fc89c064000 rw-p 00000000 00:00 0 7fc89c064000-7fc8a0000000 ---p 00000000 00:00 0 7fc8a00f7000-7fc8a00fa000 ---p 00000000 00:00 0 7fc8a00fa000-7fc8a0130000 rw-p 00000000 00:00 0 7fc8a0130000-7fc8a0135000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7fc8a0135000-7fc8a0137000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7fc8a0137000-7fc8a013a000 ---p 00000000 00:00 0 7fc8a013a000-7fc8a0170000 rw-p 00000000 00:00 0 7fc8a0170000-7fc8a0172000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7fc8a0172000-7fc8a0185000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7fc8a0185000-7fc8a01c6000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7fc8a01c6000-7fc8a01c8000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7fc8a01c8000-7fc8a01d4000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7fc8a01d4000-7fc8a01d9000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7fc8a01d9000-7fc8a01db000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7fc8a01db000-7fc8a01dc000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7fc8a01dc000-7fc8a01df000 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 7fc8a01df000-7fc8a01e2000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7fc8a01e2000-7fc8a01e7000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7fc8a01e7000-7fc8a01eb000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7fc8a01eb000-7fc8a03eb000 rw-p 00000000 00:00 0 7fc8a03eb000-7fc8a044c000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7fc8a044c000-7fc8a044f000 ---p 00000000 00:00 0 7fc8a044f000-7fc8a0a4d000 rw-p 00000000 00:00 0 7fc8a0a4d000-7fc8a0a57000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7fc8a0a57000-7fc8a0a59000 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 7fc8a0a59000-7fc8a0a5b000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7fc8a0a5b000-7fc8a0a5d000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7fc8a0a5d000-7fc8a0aae000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7fc8a0aae000-7fc8a0ab0000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7fc8a0ab0000-7fc8a0ab2000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7fc8a0ab2000-7fc8a0ab4000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7fc8a0ab4000-7fc8a0ab6000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7fc8a0ab6000-7fc8a0ab8000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7fc8a0ab8000-7fc8a0abe000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7fc8a0abe000-7fc8a0ac0000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7fc8a0ac0000-7fc8a0ac3000 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 7fc8a0ac3000-7fc8a0ac5000 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 7fc8a0ac5000-7fc8a0ac7000 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 7fc8a0ac7000-7fc8a0cc7000 rw-p 00000000 00:00 0 7fc8a0cc7000-7fc8a0ec7000 rw-p 00000000 00:00 0 7fc8a0ec7000-7fc8a0eca000 ---p 00000000 00:00 0 7fc8a0eca000-7fc8a12c8000 rw-p 00000000 00:00 0 7fc8a12c8000-7fc8a12d8000 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 7fc8a12d8000-7fc8a13d7000 ---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 7fc8a13d7000-7fc8a13d9000 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 7fc8a13d9000-7fc8a13dc000 ---p 00000000 00:00 0 7fc8a13dc000-7fc8a17da000 rw-p 00000000 00:00 0 7fc8a17da000-7fc8a17dd000 ---p 00000000 00:00 0 7fc8a17dd000-7fc8a1bdb000 rw-p 00000000 00:00 0 7fc8a1bdb000-7fc8a1bde000 ---p 00000000 00:00 0 7fc8a1bde000-7fc8a1fdc000 rw-p 00000000 00:00 0 7fc8a1fdc000-7fc8a1fed000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fc8a1fed000-7fc8a21ec000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fc8a21ec000-7fc8a21ed000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fc8a21ed000-7fc8a2203000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fc8a2203000-7fc8a2403000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fc8a2403000-7fc8a2404000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fc8a2404000-7fc8a2405000 ---p 00000000 00:00 0 7fc8a2405000-7fc8a2505000 rw-p 00000000 00:00 0 7fc8a2505000-7fc8a2508000 ---p 00000000 00:00 0 7fc8a2508000-7fc8a2906000 rw-p 00000000 00:00 0 7fc8a2906000-7fc8a2909000 ---p 00000000 00:00 0 7fc8a2909000-7fc8a2a07000 rw-p 00000000 00:00 0 7fc8a2a07000-7fc8a2a0a000 ---p 00000000 00:00 0 7fc8a2a0a000-7fc8a2b08000 rw-p 00000000 00:00 0 7fc8a2b08000-7fc8a2b0b000 ---p 00000000 00:00 0 7fc8a2b0b000-7fc8a2f09000 rw-p 00000000 00:00 0 7fc8a2f09000-7fc8a32f9000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7fc8a32f9000-7fc8a32fc000 ---p 00000000 00:00 0 7fc8a32fc000-7fc8a36fa000 rw-p 00000000 00:00 0 7fc8a36fa000-7fc8a36fd000 ---p 00000000 00:00 0 7fc8a36fd000-7fc8a3afb000 rw-p 00000000 00:00 0 7fc8a3afb000-7fc8a3afc000 ---p 00000000 00:00 0 7fc8a3afc000-7fc8a4000000 rw-p 00000000 00:00 0 7fc8a4000000-7fc8a405d000 rw-p 00000000 00:00 0 7fc8a405d000-7fc8a8000000 ---p 00000000 00:00 0 7fc8a8000000-7fc8a8028000 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 7fc8a8028000-7fc8a8038000 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 7fc8a8038000-7fc8a8060000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7fc8a8060000-7fc8a8063000 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 7fc8a8063000-7fc8a8066000 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 7fc8a8066000-7fc8a806f000 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 7fc8a806f000-7fc8a8080000 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 7fc8a8080000-7fc8a8083000 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 7fc8a8083000-7fc8a8085000 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 7fc8a8085000-7fc8a8087000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7fc8a8087000-7fc8a8089000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7fc8a8089000-7fc8a808b000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7fc8a808b000-7fc8a808e000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7fc8a808e000-7fc8a8090000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7fc8a8090000-7fc8a8092000 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 7fc8a8092000-7fc8a8095000 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 7fc8a8095000-7fc8a8099000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7fc8a8099000-7fc8a809b000 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 7fc8a809b000-7fc8a80ab000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7fc8a80ab000-7fc8a85b0000 rw-p 00000000 00:00 0 7fc8a85b0000-7fc8a878a000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7fc8a878a000-7fc8a9000000 rw-p 00000000 00:00 0 7fc8a9000000-7fc8a9990000 rwxp 00000000 00:00 0 7fc8a9990000-7fc8b8000000 ---p 00000000 00:00 0 7fc8b8000000-7fc8b8c39000 rw-p 00000000 00:00 0 7fc8b8c39000-7fc8bc000000 ---p 00000000 00:00 0 7fc8bc000000-7fc8bc001000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7fc8bc001000-7fc8bc00d000 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 7fc8bc00d000-7fc8bc00f000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7fc8bc00f000-7fc8bc011000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7fc8bc011000-7fc8bc013000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7fc8bc013000-7fc8bc019000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7fc8bc019000-7fc8bc021000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7fc8bc021000-7fc8bc7e4000 rw-p 00000000 00:00 0 7fc8bc7e4000-7fc8bc7e5000 ---p 00000000 00:00 0 7fc8bc7e5000-7fc8bccf7000 rw-p 00000000 00:00 0 7fc8bccf7000-7fc8bcddd000 ---p 00000000 00:00 0 7fc8bcddd000-7fc8bd1ef000 rw-p 00000000 00:00 0 7fc8bd1ef000-7fc8bd2d5000 ---p 00000000 00:00 0 7fc8bd2d5000-7fc8bd551000 rw-p 00000000 00:00 0 7fc8bd551000-7fc8bd579000 rw-p 00000000 00:00 0 7fc8bd579000-7fc8bd912000 ---p 00000000 00:00 0 7fc8bd912000-7fc8bd92c000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fc8bd92c000-7fc8bdb2c000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fc8bdb2c000-7fc8bdb2d000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fc8bdb2d000-7fc8bdb38000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7fc8bdb38000-7fc8bdd37000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fc8bdd37000-7fc8bdd38000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7fc8bdd38000-7fc8bdd39000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fc8bdd39000-7fc8bdd44000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fc8bdd44000-7fc8bdf43000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fc8bdf43000-7fc8bdf44000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fc8bdf44000-7fc8bdf45000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fc8bdf45000-7fc8bdf5b000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7fc8bdf5b000-7fc8be15a000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fc8be15a000-7fc8be15b000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7fc8be15b000-7fc8be15c000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fc8be15c000-7fc8be15e000 rw-p 00000000 00:00 0 7fc8be15e000-7fc8be165000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fc8be165000-7fc8be365000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fc8be365000-7fc8be366000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fc8be366000-7fc8be367000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fc8be367000-7fc8be392000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fc8be392000-7fc8be591000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fc8be591000-7fc8be593000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fc8be593000-7fc8be5a0000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fc8be5a0000-7fc8be7a0000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fc8be7a0000-7fc8be7a2000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fc8be7a2000-7fc8be7a9000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7fc8be7a9000-7fc8be9a8000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fc8be9a8000-7fc8be9a9000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7fc8be9a9000-7fc8be9aa000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fc8be9aa000-7fc8be9ad000 ---p 00000000 00:00 0 7fc8be9ad000-7fc8bedab000 rw-p 00000000 00:00 0 7fc8bedab000-7fc8beec0000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7fc8beec0000-7fc8bf0c0000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fc8bf0c0000-7fc8bf0c1000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fc8bf0c1000-7fc8bf0c2000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7fc8bf0c2000-7fc8bfd95000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fc8bfd95000-7fc8bff94000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fc8bff94000-7fc8c006e000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fc8c006e000-7fc8c00b9000 rw-p 00000000 00:00 0 7fc8c00b9000-7fc8c0261000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7fc8c0261000-7fc8c0460000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7fc8c0460000-7fc8c0464000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7fc8c0464000-7fc8c0466000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7fc8c0466000-7fc8c046a000 rw-p 00000000 00:00 0 7fc8c046a000-7fc8c046d000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7fc8c046d000-7fc8c066c000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fc8c066c000-7fc8c066d000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7fc8c066d000-7fc8c066e000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fc8c066e000-7fc8c0683000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fc8c0683000-7fc8c0883000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fc8c0883000-7fc8c0884000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fc8c0884000-7fc8c089e000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7fc8c089e000-7fc8c0a9e000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fc8c0a9e000-7fc8c0a9f000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fc8c0a9f000-7fc8c0aa0000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7fc8c0aa0000-7fc8c0aa4000 rw-p 00000000 00:00 0 7fc8c0aa4000-7fc8c0ac7000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7fc8c0ac7000-7fc8c0ac8000 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 7fc8c0ac8000-7fc8c0ace000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7fc8c0ace000-7fc8c0ad2000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7fc8c0ad2000-7fc8c0b78000 rw-p 00000000 00:00 0 7fc8c0b78000-7fc8c0b79000 ---p 00000000 00:00 0 7fc8c0b79000-7fc8c0c7b000 rw-p 00000000 00:00 0 7fc8c0c7b000-7fc8c0c7d000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7fc8c0c7d000-7fc8c0c81000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7fc8c0c81000-7fc8c0c83000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7fc8c0c83000-7fc8c0c86000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7fc8c0c86000-7fc8c0c89000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7fc8c0c89000-7fc8c0c8c000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7fc8c0c8c000-7fc8c0c90000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7fc8c0c90000-7fc8c0c92000 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 7fc8c0c92000-7fc8c0c94000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7fc8c0c94000-7fc8c0c97000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7fc8c0c97000-7fc8c0cac000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7fc8c0cac000-7fc8c0caf000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7fc8c0caf000-7fc8c0cb4000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7fc8c0cb4000-7fc8c0cb6000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7fc8c0cb6000-7fc8c0cbe000 rw-s 00000000 09:01 1317713 /tmp/hsperfdata_root/2218 7fc8c0cbe000-7fc8c0cbf000 rw-p 00000000 00:00 0 7fc8c0cbf000-7fc8c0cc0000 ---p 00000000 00:00 0 7fc8c0cc0000-7fc8c0cc2000 rw-p 00000000 00:00 0 7fc8c0cc2000-7fc8c0cc5000 r--p 00000000 00:00 0 [vvar] 7fc8c0cc5000-7fc8c0cc7000 r-xp 00000000 00:00 0 [vdso] 7fc8c0cc7000-7fc8c0cc8000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7fc8c0cc8000-7fc8c0cc9000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7fc8c0cc9000-7fc8c0cca000 rw-p 00000000 00:00 0 7fff43bf7000-7fff43c19000 rw-p 00000000 00:00 0 [stack] 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/metros_1_e2_1102_e3_961.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:6.44 7.49 6.85 /proc/meminfo: MemTotal: 24665244 kB MemFree: 188212 kB MemAvailable: 11348 kB Buffers: 5392 kB Cached: 28032 kB SwapCached: 0 kB Active: 24182100 kB Inactive: 15696 kB Active(anon): 24168900 kB Inactive(anon): 628 kB Active(file): 13200 kB Inactive(file): 15068 kB Unevictable: 11100 kB Mlocked: 11100 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 108 kB Writeback: 0 kB AnonPages: 24175460 kB Mapped: 22392 kB Shmem: 1476 kB Slab: 108352 kB SReclaimable: 49408 kB SUnreclaim: 58944 kB KernelStack: 16240 kB PageTables: 64404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24718444 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 315392 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 : 3796.569 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 : 3699.450 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 : 3665.832 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 : 3569.543 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 : 3796.362 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 : 3619.555 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 : 3580.334 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 : 3625.366 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(188212k 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:57:07 2018 elapsed time: 50 seconds (0d 0h 0m 50s)