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_e1_846_e8_1253.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-62c3406-m [2018-06-27 01:54:41,679 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-27 01:54:41,681 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-27 01:54:41,696 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-27 01:54:41,696 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-27 01:54:41,697 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-27 01:54:41,701 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-27 01:54:41,703 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-27 01:54:41,705 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-27 01:54:41,705 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-27 01:54:41,706 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-27 01:54:41,706 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-27 01:54:41,707 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-27 01:54:41,708 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-27 01:54:41,709 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-27 01:54:41,710 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-27 01:54:41,710 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-27 01:54:41,712 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-27 01:54:41,714 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-27 01:54:41,715 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-27 01:54:41,716 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-27 01:54:41,717 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-27 01:54:41,719 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-27 01:54:41,719 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-27 01:54:41,720 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-27 01:54:41,720 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-27 01:54:41,721 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-27 01:54:41,722 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-27 01:54:41,723 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-27 01:54:41,724 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-27 01:54:41,724 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-27 01:54:41,724 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-27 01:54:41,725 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-06-27 01:54:41,725 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-27 01:54:41,726 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-27 01:54:41,726 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-27 01:54:41,727 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:54:41,741 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-27 01:54:41,742 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-27 01:54:41,742 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-27 01:54:41,742 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-27 01:54:41,743 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-27 01:54:41,743 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-27 01:54:41,744 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-27 01:54:41,744 INFO L133 SettingsManager]: * Use SBE=true [2018-06-27 01:54:41,744 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-27 01:54:41,744 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-27 01:54:41,745 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-27 01:54:41,745 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-27 01:54:41,745 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:54:41,745 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-27 01:54:41,745 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-27 01:54:41,746 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-27 01:54:41,746 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-27 01:54:41,746 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-27 01:54:41,746 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-27 01:54:41,746 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-27 01:54:41,747 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-27 01:54:41,748 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-27 01:54:41,748 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-27 01:54:41,796 INFO ]: Repository-Root is: /tmp [2018-06-27 01:54:41,811 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-27 01:54:41,817 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-27 01:54:41,818 INFO ]: Initializing SmtParser... [2018-06-27 01:54:41,819 INFO ]: SmtParser initialized [2018-06-27 01:54:41,819 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253.smt2 [2018-06-27 01:54:41,820 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:54:41,909 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253.smt2 unknown [2018-06-27 01:54:42,407 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253.smt2 [2018-06-27 01:54:42,412 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-27 01:54:42,418 INFO ]: Walking toolchain with 5 elements. [2018-06-27 01:54:42,419 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-27 01:54:42,419 INFO ]: Initializing ChcToBoogie... [2018-06-27 01:54:42,419 INFO ]: ChcToBoogie initialized [2018-06-27 01:54:42,422 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,481 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42 Unit [2018-06-27 01:54:42,481 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-27 01:54:42,482 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-27 01:54:42,482 INFO ]: Initializing Boogie Preprocessor... [2018-06-27 01:54:42,482 INFO ]: Boogie Preprocessor initialized [2018-06-27 01:54:42,503 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,503 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,524 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,524 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,530 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,541 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,543 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (1/1) ... [2018-06-27 01:54:42,547 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-27 01:54:42,547 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-27 01:54:42,547 INFO ]: Initializing RCFGBuilder... [2018-06-27 01:54:42,547 INFO ]: RCFGBuilder initialized [2018-06-27 01:54:42,550 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:54:42" (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) [2018-06-27 01:54:42,560 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-27 01:54:42,560 INFO ]: Found specification of procedure gotoProc [2018-06-27 01:54:42,560 INFO ]: Found implementation of procedure gotoProc [2018-06-27 01:54:42,560 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-27 01:54:42,560 INFO ]: Found specification of procedure Ultimate.START [2018-06-27 01:54:42,560 INFO ]: Found implementation of procedure Ultimate.START Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:54:43,078 INFO ]: Using library mode [2018-06-27 01:54:43,078 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:54:43 BoogieIcfgContainer [2018-06-27 01:54:43,079 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-27 01:54:43,079 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-27 01:54:43,079 INFO ]: Initializing BlockEncodingV2... [2018-06-27 01:54:43,080 INFO ]: BlockEncodingV2 initialized [2018-06-27 01:54:43,081 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:54:43" (1/1) ... [2018-06-27 01:54:43,103 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-27 01:54:43,105 INFO ]: Using Remove infeasible edges [2018-06-27 01:54:43,105 INFO ]: Using Maximize final states [2018-06-27 01:54:43,106 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-27 01:54:43,106 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-27 01:54:43,108 INFO ]: Using Remove sink states [2018-06-27 01:54:43,109 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-27 01:54:43,109 INFO ]: Using Use SBE [2018-06-27 01:54:43,124 WARN ]: aborting because of expected exponential blowup for input size 41 [2018-06-27 01:54:43,158 WARN ]: aborting because of expected exponential blowup for input size 122 [2018-06-27 01:54:43,160 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000074c380000, 490209280, 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 490209280 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid17718.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 490209280 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=17718, tid=0x00007f4d379f9700 # # 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 (0x00007f4d4c0fa800): VMThread [stack: 0x00007f4d378f9000,0x00007f4d379fa000] [id=17731] Stack: [0x00007f4d378f9000,0x00007f4d379fa000], sp=0x00007f4d379f8190, 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 (0x00007f4d288bd840): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f4d4c92b800 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f4cf8002800 JavaThread "Worker-2" daemon [_thread_blocked, id=17844, stack(0x00007f4cf13b5000,0x00007f4cf17b6000)] 0x00007f4cec174800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=17770, stack(0x00007f4cf19b6000,0x00007f4cf1db7000)] 0x00007f4cd4003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=17769, stack(0x00007f4cf1db7000,0x00007f4cf21b8000)] 0x00007f4cd4001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=17768, stack(0x00007f4cf21b8000,0x00007f4cf25b9000)] 0x00007f4cec171800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=17767, stack(0x00007f4cf25b9000,0x00007f4cf29ba000)] 0x00007f4cec16a800 JavaThread "process reaper" daemon [_thread_in_native, id=17766, stack(0x00007f4cf29ba000,0x00007f4cf29f3000)] 0x00007f4cec03f800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=17757, stack(0x00007f4cf2bf3000,0x00007f4cf2ff4000)] 0x00007f4ce0001800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=17756, stack(0x00007f4cf2ff4000,0x00007f4cf33f5000)] 0x00007f4ce0003000 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=17755, stack(0x00007f4cf33f5000,0x00007f4cf37f6000)] 0x00007f4cec011800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=17754, stack(0x00007f4cf37f6000,0x00007f4cf3bf7000)] 0x00007f4cec03a000 JavaThread "process reaper" daemon [_thread_in_native, id=17753, stack(0x00007f4d28026000,0x00007f4d2805f000)] 0x00007f4d4c92b800 JavaThread "Worker-1" daemon [_thread_blocked, id=17751, stack(0x00007f4d284bf000,0x00007f4d288c0000)] 0x00007f4d4c6ec800 JavaThread "Worker-0" daemon [_thread_blocked, id=17749, stack(0x00007f4d34273000,0x00007f4d34674000)] 0x00007f4d00070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=17746, stack(0x00007f4d34cc5000,0x00007f4d350c6000)] 0x00007f4d4c3b1000 JavaThread "Start Level: Equinox Container: 7072464a-9c79-0018-15f3-cf59fd052e73" daemon [_thread_blocked, id=17745, stack(0x00007f4d351d7000,0x00007f4d355d8000)] 0x00007f4d4c3ab800 JavaThread "Framework Event Dispatcher: Equinox Container: 7072464a-9c79-0018-15f3-cf59fd052e73" daemon [_thread_blocked, id=17743, stack(0x00007f4d355d8000,0x00007f4d359d9000)] 0x00007f4d4c38f000 JavaThread "Active Thread: Equinox Container: 7072464a-9c79-0018-15f3-cf59fd052e73" [_thread_blocked, id=17741, stack(0x00007f4d359d9000,0x00007f4d35dda000)] 0x00007f4d4c153800 JavaThread "Service Thread" daemon [_thread_blocked, id=17737, stack(0x00007f4d36303000,0x00007f4d36704000)] 0x00007f4d4c13e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=17736, stack(0x00007f4d36704000,0x00007f4d36805000)] 0x00007f4d4c13b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=17735, stack(0x00007f4d36805000,0x00007f4d36906000)] 0x00007f4d4c13a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=17734, stack(0x00007f4d36906000,0x00007f4d36d07000)] 0x00007f4d4c107000 JavaThread "Finalizer" daemon [_thread_blocked, id=17733, stack(0x00007f4d370f7000,0x00007f4d374f8000)] 0x00007f4d4c102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=17732, stack(0x00007f4d374f8000,0x00007f4d378f9000)] 0x00007f4d4c00a000 JavaThread "main" [_thread_blocked, id=17723, stack(0x00007f4d527d6000,0x00007f4d52bd7000)] Other Threads: =>0x00007f4d4c0fa800 VMThread [stack: 0x00007f4d378f9000,0x00007f4d379fa000] [id=17731] 0x00007f4d4c156000 WatcherThread [stack: 0x00007f4d36202000,0x00007f4d36303000] [id=17738] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f4d4c005b20] ExpandHeap_lock - owner thread: 0x00007f4d4c0fa800 [0x00007f4d4c0061a0] Threads_lock - owner thread: 0x00007f4d4c0fa800 [0x00007f4d4c0066a0] Heap_lock - owner thread: 0x00007f4d4c92b800 Heap: PSYoungGen total 866304K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 474112K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d700000) from space 392192K, 0% used [0x00000007a8100000,0x00000007a8100000,0x00000007c0000000) to space 414208K, 0% used [0x000000078d700000,0x000000078d700000,0x00000007a6b80000) ParOldGen total 2010624K, used 1562282K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 77% used [0x00000006d1800000,0x0000000730daa8d0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f4d50c09000,0x00007f4d5137e000] byte_map_base: 0x00007f4d4d57d000 Marking Bits: (ParMarkBitMap*) 0x00007f4d53eb7dc0 Begin Bits: [0x00007f4d288c0000, 0x00007f4d2c460000) End Bits: [0x00007f4d2c460000, 0x00007f4d30000000) Polling page: 0x00007f4d54af0000 CodeCache: size=245760Kb used=10441Kb max_used=10464Kb free=235318Kb bounds [0x00007f4d3d000000, 0x00007f4d3da50000, 0x00007f4d4c000000] total_blobs=3020 nmethods=2571 adapters=362 compilation: enabled Compilation events (10 events): Event: 4.130 Thread 0x00007f4d4c13b800 2628 4 java.util.HashMap$HashIterator::remove (77 bytes) Event: 4.140 Thread 0x00007f4d4c13b800 nmethod 2628 0x00007f4d3da22050 code [0x00007f4d3da22200, 0x00007f4d3da228d8] Event: 4.140 Thread 0x00007f4d4c13b800 2627 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 4.141 Thread 0x00007f4d4c13b800 nmethod 2627 0x00007f4d3da1f090 code [0x00007f4d3da1f200, 0x00007f4d3da1f338] Event: 4.141 Thread 0x00007f4d4c13b800 2626 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions:: (40 bytes) Event: 4.155 Thread 0x00007f4d4c13b800 nmethod 2626 0x00007f4d3da23810 code [0x00007f4d3da23a20, 0x00007f4d3da24190] Event: 6.433 Thread 0x00007f4d4c13b800 2629 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 6.524 Thread 0x00007f4d4c13b800 nmethod 2629% 0x00007f4d3da32090 code [0x00007f4d3da32440, 0x00007f4d3da346e0] Event: 6.547 Thread 0x00007f4d4c13b800 2630 ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (381 bytes) Event: 6.666 Thread 0x00007f4d4c13b800 nmethod 2630 0x00007f4d3da3b9d0 code [0x00007f4d3da3bea0, 0x00007f4d3da3ec18] GC Heap History (10 events): Event: 23.781 GC heap after Heap after GC invocations=21 (full 4): PSYoungGen total 854528K, used 196000K [0x0000000770800000, 0x00000007bea00000, 0x00000007c0000000) eden space 474624K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d780000) from space 379904K, 51% used [0x000000078d780000,0x00000007996e8000,0x00000007a4a80000) to space 365568K, 0% used [0x00000007a8500000,0x00000007a8500000,0x00000007bea00000) ParOldGen total 1536000K, used 1409021K [0x00000006d1800000, 0x000000072f400000, 0x0000000770800000) object space 1536000K, 91% used [0x00000006d1800000,0x00000007277ff478,0x000000072f400000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 23.781 GC heap before {Heap before GC invocations=22 (full 5): PSYoungGen total 854528K, used 196000K [0x0000000770800000, 0x00000007bea00000, 0x00000007c0000000) eden space 474624K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d780000) from space 379904K, 51% used [0x000000078d780000,0x00000007996e8000,0x00000007a4a80000) to space 365568K, 0% used [0x00000007a8500000,0x00000007a8500000,0x00000007bea00000) ParOldGen total 1536000K, used 1409021K [0x00000006d1800000, 0x000000072f400000, 0x0000000770800000) object space 1536000K, 91% used [0x00000006d1800000,0x00000007277ff478,0x000000072f400000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 30.164 GC heap after Heap after GC invocations=22 (full 5): PSYoungGen total 854528K, used 0K [0x0000000770800000, 0x00000007bea00000, 0x00000007c0000000) eden space 474624K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d780000) from space 379904K, 0% used [0x000000078d780000,0x000000078d780000,0x00000007a4a80000) to space 365568K, 0% used [0x00000007a8500000,0x00000007a8500000,0x00000007bea00000) ParOldGen total 2010624K, used 1232926K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 61% used [0x00000006d1800000,0x000000071cc07ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 30.560 GC heap before {Heap before GC invocations=23 (full 5): PSYoungGen total 854528K, used 474624K [0x0000000770800000, 0x00000007bea00000, 0x00000007c0000000) eden space 474624K, 100% used [0x0000000770800000,0x000000078d780000,0x000000078d780000) from space 379904K, 0% used [0x000000078d780000,0x000000078d780000,0x00000007a4a80000) to space 365568K, 0% used [0x00000007a8500000,0x00000007a8500000,0x00000007bea00000) ParOldGen total 2010624K, used 1232926K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 61% used [0x00000006d1800000,0x000000071cc07ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 30.808 GC heap after Heap after GC invocations=23 (full 5): PSYoungGen total 906240K, used 197888K [0x0000000770800000, 0x00000007bda00000, 0x00000007c0000000) eden space 557056K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000792800000) from space 349184K, 56% used [0x00000007a8500000,0x00000007b4640000,0x00000007bda00000) to space 353280K, 0% used [0x0000000792800000,0x0000000792800000,0x00000007a8100000) ParOldGen total 2010624K, used 1232926K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 61% used [0x00000006d1800000,0x000000071cc07ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 31.305 GC heap before {Heap before GC invocations=24 (full 5): PSYoungGen total 906240K, used 754944K [0x0000000770800000, 0x00000007bda00000, 0x00000007c0000000) eden space 557056K, 100% used [0x0000000770800000,0x0000000792800000,0x0000000792800000) from space 349184K, 56% used [0x00000007a8500000,0x00000007b4640000,0x00000007bda00000) to space 353280K, 0% used [0x0000000792800000,0x0000000792800000,0x00000007a8100000) ParOldGen total 2010624K, used 1232926K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 61% used [0x00000006d1800000,0x000000071cc07ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 31.825 GC heap after Heap after GC invocations=24 (full 5): PSYoungGen total 910336K, used 353280K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 557056K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000792800000) from space 353280K, 100% used [0x0000000792800000,0x00000007a8100000,0x00000007a8100000) to space 392192K, 0% used [0x00000007a8100000,0x00000007a8100000,0x00000007c0000000) ParOldGen total 2010624K, used 1310054K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 65% used [0x00000006d1800000,0x0000000721759ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 32.376 GC heap before {Heap before GC invocations=25 (full 5): PSYoungGen total 910336K, used 910336K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 557056K, 100% used [0x0000000770800000,0x0000000792800000,0x0000000792800000) from space 353280K, 100% used [0x0000000792800000,0x00000007a8100000,0x00000007a8100000) to space 392192K, 0% used [0x00000007a8100000,0x00000007a8100000,0x00000007c0000000) ParOldGen total 2010624K, used 1310054K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 65% used [0x00000006d1800000,0x0000000721759ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 33.148 GC heap after Heap after GC invocations=25 (full 5): PSYoungGen total 866304K, used 232224K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 474112K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d700000) from space 392192K, 59% used [0x00000007a8100000,0x00000007b63c8000,0x00000007c0000000) to space 414208K, 0% used [0x000000078d700000,0x000000078d700000,0x00000007a6b80000) ParOldGen total 2010624K, used 1664862K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 82% used [0x00000006d1800000,0x00000007371d7ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 33.148 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 866304K, used 232224K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 474112K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078d700000) from space 392192K, 59% used [0x00000007a8100000,0x00000007b63c8000,0x00000007c0000000) to space 414208K, 0% used [0x000000078d700000,0x000000078d700000,0x00000007a6b80000) ParOldGen total 2010624K, used 1664862K [0x00000006d1800000, 0x000000074c380000, 0x0000000770800000) object space 2010624K, 82% used [0x00000006d1800000,0x00000007371d7ad0,0x000000074c380000) Metaspace used 26546K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 2.158 Thread 0x00007f4d4c92b800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f4d3d48f3b8 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.159 Thread 0x00007f4d4c92b800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d4ce404 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.159 Thread 0x00007f4d4c92b800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d4ce404 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.159 Thread 0x00007f4d4c92b800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d4ce404 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.160 Thread 0x00007f4d4c92b800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d517d88 method=java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireShared(I)V @ 2 Event: 2.160 Thread 0x00007f4cec011800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d517d88 method=java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireShared(I)V @ 2 Event: 2.161 Thread 0x00007f4cec011800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d517d88 method=java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireShared(I)V @ 2 Event: 2.166 Thread 0x00007f4cec03f800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d4d1000 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.871 Thread 0x00007f4d4c92b800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f4d3d517d88 method=java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireShared(I)V @ 2 Event: 3.442 Thread 0x00007f4d4c92b800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f4d3d976d5c method=java.util.AbstractCollection.retainAll(Ljava/util/Collection;)Z @ 33 Internal exceptions (10 events): Event: 2.063 Thread 0x00007f4d4c00a000 Exception (0x00000007714bfd08) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.063 Thread 0x00007f4d4c00a000 Exception (0x00000007714c34d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.064 Thread 0x00007f4d4c00a000 Exception (0x00000007714e45f8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 2.066 Thread 0x00007f4d4c00a000 Exception (0x00000007714f0f80) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.067 Thread 0x00007f4d4c00a000 Exception (0x00000007714f6e30) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.067 Thread 0x00007f4d4c00a000 Exception (0x00000007714fb528) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.070 Thread 0x00007f4d4c00a000 Exception (0x0000000771507710) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.070 Thread 0x00007f4d4c00a000 Exception (0x000000077150a478) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.439 Thread 0x00007f4d4c92b800 Exception (0x0000000771ed1928) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 2.726 Thread 0x00007f4d4c92b800 Exception (0x0000000772ea0ba0) thrown at [/HUDSO Events (10 events): Event: 22.030 Executing VM operation: ParallelGCFailedAllocation done Event: 22.461 Executing VM operation: ParallelGCFailedAllocation Event: 22.943 Executing VM operation: ParallelGCFailedAllocation done Event: 23.296 Executing VM operation: ParallelGCFailedAllocation Event: 30.164 Executing VM operation: ParallelGCFailedAllocation done Event: 30.560 Executing VM operation: ParallelGCFailedAllocation Event: 30.808 Executing VM operation: ParallelGCFailedAllocation done Event: 31.305 Executing VM operation: ParallelGCFailedAllocation Event: 31.825 Executing VM operation: ParallelGCFailedAllocation done Event: 32.376 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 01971000-01992000 rw-p 00000000 00:00 0 [heap] 6d1800000-74c380000 rw-p 00000000 00:00 0 769700000-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 7f4cc0000000-7f4cc0021000 rw-p 00000000 00:00 0 7f4cc0021000-7f4cc4000000 ---p 00000000 00:00 0 7f4cc4000000-7f4cc4021000 rw-p 00000000 00:00 0 7f4cc4021000-7f4cc8000000 ---p 00000000 00:00 0 7f4cc8000000-7f4cc8021000 rw-p 00000000 00:00 0 7f4cc8021000-7f4ccc000000 ---p 00000000 00:00 0 7f4ccc000000-7f4ccc021000 rw-p 00000000 00:00 0 7f4ccc021000-7f4cd0000000 ---p 00000000 00:00 0 7f4cd0000000-7f4cd0021000 rw-p 00000000 00:00 0 7f4cd0021000-7f4cd4000000 ---p 00000000 00:00 0 7f4cd4000000-7f4cd4021000 rw-p 00000000 00:00 0 7f4cd4021000-7f4cd8000000 ---p 00000000 00:00 0 7f4cd8000000-7f4cd8021000 rw-p 00000000 00:00 0 7f4cd8021000-7f4cdc000000 ---p 00000000 00:00 0 7f4cdc000000-7f4cdc021000 rw-p 00000000 00:00 0 7f4cdc021000-7f4ce0000000 ---p 00000000 00:00 0 7f4ce0000000-7f4ce0021000 rw-p 00000000 00:00 0 7f4ce0021000-7f4ce4000000 ---p 00000000 00:00 0 7f4ce4000000-7f4ce4021000 rw-p 00000000 00:00 0 7f4ce4021000-7f4ce8000000 ---p 00000000 00:00 0 7f4ce8000000-7f4ce8021000 rw-p 00000000 00:00 0 7f4ce8021000-7f4cec000000 ---p 00000000 00:00 0 7f4cec000000-7f4cec267000 rw-p 00000000 00:00 0 7f4cec267000-7f4cf0000000 ---p 00000000 00:00 0 7f4cf13b5000-7f4cf13b8000 ---p 00000000 00:00 0 7f4cf13b8000-7f4cf1876000 rw-p 00000000 00:00 0 7f4cf1876000-7f4cf19b6000 ---p 00000000 00:00 0 7f4cf19b6000-7f4cf19b9000 ---p 00000000 00:00 0 7f4cf19b9000-7f4cf1db7000 rw-p 00000000 00:00 0 7f4cf1db7000-7f4cf1dba000 ---p 00000000 00:00 0 7f4cf1dba000-7f4cf21b8000 rw-p 00000000 00:00 0 7f4cf21b8000-7f4cf21bb000 ---p 00000000 00:00 0 7f4cf21bb000-7f4cf25b9000 rw-p 00000000 00:00 0 7f4cf25b9000-7f4cf25bc000 ---p 00000000 00:00 0 7f4cf25bc000-7f4cf29ba000 rw-p 00000000 00:00 0 7f4cf29ba000-7f4cf29bd000 ---p 00000000 00:00 0 7f4cf29bd000-7f4cf2bf3000 rw-p 00000000 00:00 0 7f4cf2bf3000-7f4cf2bf6000 ---p 00000000 00:00 0 7f4cf2bf6000-7f4cf2ff4000 rw-p 00000000 00:00 0 7f4cf2ff4000-7f4cf2ff7000 ---p 00000000 00:00 0 7f4cf2ff7000-7f4cf33f5000 rw-p 00000000 00:00 0 7f4cf33f5000-7f4cf33f8000 ---p 00000000 00:00 0 7f4cf33f8000-7f4cf37f6000 rw-p 00000000 00:00 0 7f4cf37f6000-7f4cf37f9000 ---p 00000000 00:00 0 7f4cf37f9000-7f4cf3bf7000 rw-p 00000000 00:00 0 7f4cf3bf7000-7f4cf3c00000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f4cf3c00000-7f4cf3dff000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f4cf3dff000-7f4cf3e00000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f4cf3e00000-7f4cf4000000 rw-p 00000000 00:00 0 7f4cf4000000-7f4cf4021000 rw-p 00000000 00:00 0 7f4cf4021000-7f4cf8000000 ---p 00000000 00:00 0 7f4cf8000000-7f4cf8021000 rw-p 00000000 00:00 0 7f4cf8021000-7f4cfc000000 ---p 00000000 00:00 0 7f4cfc000000-7f4cfc021000 rw-p 00000000 00:00 0 7f4cfc021000-7f4d00000000 ---p 00000000 00:00 0 7f4d00000000-7f4d000ed000 rw-p 00000000 00:00 0 7f4d000ed000-7f4d04000000 ---p 00000000 00:00 0 7f4d04000000-7f4d04021000 rw-p 00000000 00:00 0 7f4d04021000-7f4d08000000 ---p 00000000 00:00 0 7f4d08000000-7f4d08021000 rw-p 00000000 00:00 0 7f4d08021000-7f4d0c000000 ---p 00000000 00:00 0 7f4d0c000000-7f4d0ce61000 rw-p 00000000 00:00 0 7f4d0ce61000-7f4d10000000 ---p 00000000 00:00 0 7f4d10000000-7f4d10021000 rw-p 00000000 00:00 0 7f4d10021000-7f4d14000000 ---p 00000000 00:00 0 7f4d14000000-7f4d14021000 rw-p 00000000 00:00 0 7f4d14021000-7f4d18000000 ---p 00000000 00:00 0 7f4d18000000-7f4d18c4d000 rw-p 00000000 00:00 0 7f4d18c4d000-7f4d1c000000 ---p 00000000 00:00 0 7f4d1c000000-7f4d1c021000 rw-p 00000000 00:00 0 7f4d1c021000-7f4d20000000 ---p 00000000 00:00 0 7f4d20000000-7f4d20021000 rw-p 00000000 00:00 0 7f4d20021000-7f4d24000000 ---p 00000000 00:00 0 7f4d24000000-7f4d242f7000 rw-p 00000000 00:00 0 7f4d242f7000-7f4d28000000 ---p 00000000 00:00 0 7f4d2801f000-7f4d28024000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f4d28024000-7f4d28026000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f4d28026000-7f4d28029000 ---p 00000000 00:00 0 7f4d28029000-7f4d2825f000 rw-p 00000000 00:00 0 7f4d2825f000-7f4d28272000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f4d28272000-7f4d282b3000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f4d282b3000-7f4d284b3000 rw-p 00000000 00:00 0 7f4d284b3000-7f4d284bf000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f4d284bf000-7f4d284c2000 ---p 00000000 00:00 0 7f4d284c2000-7f4d30000000 rw-p 00000000 00:00 0 7f4d30000000-7f4d3013d000 rw-p 00000000 00:00 0 7f4d3013d000-7f4d34000000 ---p 00000000 00:00 0 7f4d34001000-7f4d34003000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f4d34003000-7f4d34005000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f4d34005000-7f4d3400a000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f4d3400a000-7f4d3400c000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f4d3400c000-7f4d3400f000 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 7f4d3400f000-7f4d34012000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f4d34012000-7f4d34212000 rw-p 00000000 00:00 0 7f4d34212000-7f4d34273000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f4d34273000-7f4d34276000 ---p 00000000 00:00 0 7f4d34276000-7f4d34874000 rw-p 00000000 00:00 0 7f4d34874000-7f4d348c5000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f4d348c5000-7f4d34ac5000 rw-p 00000000 00:00 0 7f4d34ac5000-7f4d34cc5000 rw-p 00000000 00:00 0 7f4d34cc5000-7f4d34cc8000 ---p 00000000 00:00 0 7f4d34cc8000-7f4d350c6000 rw-p 00000000 00:00 0 7f4d350c6000-7f4d350d6000 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 7f4d350d6000-7f4d351d5000 ---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 7f4d351d5000-7f4d351d7000 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 7f4d351d7000-7f4d351da000 ---p 00000000 00:00 0 7f4d351da000-7f4d355d8000 rw-p 00000000 00:00 0 7f4d355d8000-7f4d355db000 ---p 00000000 00:00 0 7f4d355db000-7f4d359d9000 rw-p 00000000 00:00 0 7f4d359d9000-7f4d359dc000 ---p 00000000 00:00 0 7f4d359dc000-7f4d35dda000 rw-p 00000000 00:00 0 7f4d35dda000-7f4d35deb000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f4d35deb000-7f4d35fea000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f4d35fea000-7f4d35feb000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f4d35feb000-7f4d36001000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f4d36001000-7f4d36201000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f4d36201000-7f4d36202000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f4d36202000-7f4d36203000 ---p 00000000 00:00 0 7f4d36203000-7f4d36303000 rw-p 00000000 00:00 0 7f4d36303000-7f4d36306000 ---p 00000000 00:00 0 7f4d36306000-7f4d36704000 rw-p 00000000 00:00 0 7f4d36704000-7f4d36707000 ---p 00000000 00:00 0 7f4d36707000-7f4d36805000 rw-p 00000000 00:00 0 7f4d36805000-7f4d36808000 ---p 00000000 00:00 0 7f4d36808000-7f4d36906000 rw-p 00000000 00:00 0 7f4d36906000-7f4d36909000 ---p 00000000 00:00 0 7f4d36909000-7f4d36d07000 rw-p 00000000 00:00 0 7f4d36d07000-7f4d370f7000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f4d370f7000-7f4d370fa000 ---p 00000000 00:00 0 7f4d370fa000-7f4d374f8000 rw-p 00000000 00:00 0 7f4d374f8000-7f4d374fb000 ---p 00000000 00:00 0 7f4d374fb000-7f4d378f9000 rw-p 00000000 00:00 0 7f4d378f9000-7f4d378fa000 ---p 00000000 00:00 0 7f4d378fa000-7f4d38000000 rw-p 00000000 00:00 0 7f4d38000000-7f4d38137000 rw-p 00000000 00:00 0 7f4d38137000-7f4d3c000000 ---p 00000000 00:00 0 7f4d3c000000-7f4d3c001000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7f4d3c001000-7f4d3c006000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f4d3c006000-7f4d3c00a000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f4d3c00a000-7f4d3c014000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f4d3c014000-7f4d3c016000 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 7f4d3c016000-7f4d3c018000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f4d3c018000-7f4d3c01a000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f4d3c01a000-7f4d3c01c000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f4d3c01c000-7f4d3c01e000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f4d3c01e000-7f4d3c020000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f4d3c020000-7f4d3c022000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f4d3c022000-7f4d3c024000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f4d3c024000-7f4d3c02a000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f4d3c02a000-7f4d3c02c000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f4d3c02c000-7f4d3c054000 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 7f4d3c054000-7f4d3c064000 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 7f4d3c064000-7f4d3c08c000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f4d3c08c000-7f4d3d000000 rw-p 00000000 00:00 0 7f4d3d000000-7f4d3da50000 rwxp 00000000 00:00 0 7f4d3da50000-7f4d4c000000 ---p 00000000 00:00 0 7f4d4c000000-7f4d4ca86000 rw-p 00000000 00:00 0 7f4d4ca86000-7f4d50000000 ---p 00000000 00:00 0 7f4d50000000-7f4d50001000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f4d50001000-7f4d50004000 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 7f4d50004000-7f4d50006000 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 7f4d50006000-7f4d50008000 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 7f4d50008000-7f4d5000b000 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 7f4d5000b000-7f4d5000c000 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 7f4d5000c000-7f4d5000f000 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 7f4d5000f000-7f4d50018000 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 7f4d50018000-7f4d50029000 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 7f4d50029000-7f4d5002c000 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 7f4d5002c000-7f4d5002e000 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 7f4d5002e000-7f4d50030000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f4d50030000-7f4d50032000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f4d50032000-7f4d50034000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f4d50034000-7f4d50037000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f4d50037000-7f4d50039000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f4d50039000-7f4d5003b000 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 7f4d5003b000-7f4d5003e000 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 7f4d5003e000-7f4d50042000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f4d50042000-7f4d50044000 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 7f4d50044000-7f4d50054000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f4d50054000-7f4d50060000 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 7f4d50060000-7f4d50062000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f4d50062000-7f4d50064000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f4d50064000-7f4d50066000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f4d50066000-7f4d5006e000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f4d5006e000-7f4d503c0000 rw-p 00000000 00:00 0 7f4d503c0000-7f4d5059a000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f4d5059a000-7f4d50610000 rw-p 00000000 00:00 0 7f4d50610000-7f4d50611000 ---p 00000000 00:00 0 7f4d50611000-7f4d50ae7000 rw-p 00000000 00:00 0 7f4d50ae7000-7f4d50c09000 ---p 00000000 00:00 0 7f4d50c09000-7f4d50fdf000 rw-p 00000000 00:00 0 7f4d50fdf000-7f4d51101000 ---p 00000000 00:00 0 7f4d51101000-7f4d5137d000 rw-p 00000000 00:00 0 7f4d5137d000-7f4d513a8000 rw-p 00000000 00:00 0 7f4d513a8000-7f4d5173e000 ---p 00000000 00:00 0 7f4d5173e000-7f4d51758000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f4d51758000-7f4d51958000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f4d51958000-7f4d51959000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f4d51959000-7f4d51964000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f4d51964000-7f4d51b63000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f4d51b63000-7f4d51b64000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f4d51b64000-7f4d51b65000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f4d51b65000-7f4d51b70000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f4d51b70000-7f4d51d6f000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f4d51d6f000-7f4d51d70000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f4d51d70000-7f4d51d71000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f4d51d71000-7f4d51d87000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f4d51d87000-7f4d51f86000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f4d51f86000-7f4d51f87000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f4d51f87000-7f4d51f88000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f4d51f88000-7f4d51f8a000 rw-p 00000000 00:00 0 7f4d51f8a000-7f4d51f91000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f4d51f91000-7f4d52191000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f4d52191000-7f4d52192000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f4d52192000-7f4d52193000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f4d52193000-7f4d521be000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f4d521be000-7f4d523bd000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f4d523bd000-7f4d523bf000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f4d523bf000-7f4d523cc000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f4d523cc000-7f4d525cc000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f4d525cc000-7f4d525ce000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f4d525ce000-7f4d525d5000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f4d525d5000-7f4d527d4000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f4d527d4000-7f4d527d5000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f4d527d5000-7f4d527d6000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f4d527d6000-7f4d527d9000 ---p 00000000 00:00 0 7f4d527d9000-7f4d52bd7000 rw-p 00000000 00:00 0 7f4d52bd7000-7f4d52cec000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f4d52cec000-7f4d52eec000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f4d52eec000-7f4d52eed000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f4d52eed000-7f4d52eee000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f4d52eee000-7f4d53bc1000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f4d53bc1000-7f4d53dc0000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f4d53dc0000-7f4d53e9a000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f4d53e9a000-7f4d53ee5000 rw-p 00000000 00:00 0 7f4d53ee5000-7f4d5408d000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f4d5408d000-7f4d5428c000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f4d5428c000-7f4d54290000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f4d54290000-7f4d54292000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f4d54292000-7f4d54296000 rw-p 00000000 00:00 0 7f4d54296000-7f4d54299000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f4d54299000-7f4d54498000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f4d54498000-7f4d54499000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f4d54499000-7f4d5449a000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f4d5449a000-7f4d544af000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f4d544af000-7f4d546af000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f4d546af000-7f4d546b0000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f4d546b0000-7f4d546ca000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f4d546ca000-7f4d548ca000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f4d548ca000-7f4d548cb000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f4d548cb000-7f4d548cc000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f4d548cc000-7f4d548d0000 rw-p 00000000 00:00 0 7f4d548d0000-7f4d548f3000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f4d548f3000-7f4d548f9000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f4d548f9000-7f4d548ff000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f4d548ff000-7f4d54903000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f4d54903000-7f4d549a9000 rw-p 00000000 00:00 0 7f4d549a9000-7f4d549aa000 ---p 00000000 00:00 0 7f4d549aa000-7f4d54aac000 rw-p 00000000 00:00 0 7f4d54aac000-7f4d54aae000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f4d54aae000-7f4d54ab2000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f4d54ab2000-7f4d54ab4000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f4d54ab4000-7f4d54ab7000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f4d54ab7000-7f4d54aba000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f4d54aba000-7f4d54abd000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f4d54abd000-7f4d54ac1000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f4d54ac1000-7f4d54ac3000 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 7f4d54ac3000-7f4d54ac5000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f4d54ac5000-7f4d54ac8000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f4d54ac8000-7f4d54add000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f4d54add000-7f4d54ae0000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f4d54ae0000-7f4d54ae5000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f4d54ae5000-7f4d54ae7000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f4d54ae7000-7f4d54aef000 rw-s 00000000 09:01 1317731 /tmp/hsperfdata_root/17718 7f4d54aef000-7f4d54af0000 rw-p 00000000 00:00 0 7f4d54af0000-7f4d54af1000 ---p 00000000 00:00 0 7f4d54af1000-7f4d54af3000 rw-p 00000000 00:00 0 7f4d54af3000-7f4d54af4000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f4d54af4000-7f4d54af5000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f4d54af5000-7f4d54af6000 rw-p 00000000 00:00 0 7ffce488e000-7ffce48b0000 rw-p 00000000 00:00 0 [stack] 7ffce48da000-7ffce48dd000 r--p 00000000 00:00 0 [vvar] 7ffce48dd000-7ffce48df000 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/metros_1_e1_846_e8_1253.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.77 8.17 6.97 /proc/meminfo: MemTotal: 24665244 kB MemFree: 215028 kB MemAvailable: 141752 kB Buffers: 46724 kB Cached: 164804 kB SwapCached: 0 kB Active: 24042280 kB Inactive: 117028 kB Active(anon): 23952520 kB Inactive(anon): 628 kB Active(file): 89760 kB Inactive(file): 116400 kB Unevictable: 11100 kB Mlocked: 11100 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 704 kB Writeback: 0 kB AnonPages: 23959396 kB Mapped: 57916 kB Shmem: 1476 kB Slab: 116088 kB SReclaimable: 56864 kB SUnreclaim: 59224 kB KernelStack: 16700 kB PageTables: 64084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24789652 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 : 3500.231 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 : 3500.024 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 : 3500.231 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 : 3500.024 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 : 3500.231 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(215028k 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:55:20 2018 elapsed time: 40 seconds (0d 0h 0m 40s)