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/car_6_e2_893.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:06:28,800 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:06:28,808 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:06:28,829 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:06:28,830 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:06:28,831 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:06:28,834 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:06:28,837 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:06:28,839 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:06:28,841 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:06:28,842 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:06:28,843 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:06:28,846 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:06:28,851 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:06:28,853 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:06:28,854 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:06:28,860 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:06:28,863 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:06:28,875 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:06:28,877 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:06:28,879 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:06:28,885 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:06:28,885 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:06:28,885 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:06:28,886 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:06:28,893 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:06:28,894 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:06:28,895 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:06:28,896 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:06:28,896 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:06:28,897 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:06:28,899 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:06:28,899 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:06:28,900 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:06:28,901 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:06:28,902 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf [2018-06-25 02:06:28,953 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:06:28,954 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:06:28,954 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:06:28,954 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:06:28,955 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:06:28,959 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:06:28,959 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:06:28,960 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:06:28,960 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:06:28,960 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:06:28,960 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:06:28,961 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:06:28,961 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:06:28,961 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:06:28,961 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:06:28,961 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:06:28,962 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:06:28,962 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:06:28,962 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:06:28,962 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:06:28,963 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:06:28,965 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:06:28,965 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:06:29,026 INFO ]: Repository-Root is: /tmp [2018-06-25 02:06:29,092 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:06:29,262 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:06:29,264 INFO ]: Initializing SmtParser... [2018-06-25 02:06:29,264 INFO ]: SmtParser initialized [2018-06-25 02:06:29,265 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_893.smt2 [2018-06-25 02:06:29,278 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-25 02:06:29,971 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_893.smt2 unknown [2018-06-25 02:06:33,607 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_893.smt2 [2018-06-25 02:06:33,612 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:06:33,617 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:06:33,618 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:06:33,618 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:06:33,618 INFO ]: ChcToBoogie initialized [2018-06-25 02:06:33,672 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,965 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33 Unit [2018-06-25 02:06:33,965 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:06:33,966 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:06:33,966 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:06:33,966 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:06:33,987 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,987 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,995 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,995 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:34,000 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:34,002 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:34,004 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:34,006 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:06:34,007 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:06:34,007 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:06:34,007 INFO ]: RCFGBuilder initialized [2018-06-25 02:06:34,008 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (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-25 02:06:34,034 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:06:34,034 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:06:34,034 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:06:34,034 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:06:34,034 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:06:34,034 INFO ]: Found implementation of procedure Ultimate.START [2018-06-25 02:06:34,846 INFO ]: Using library mode [2018-06-25 02:06:34,847 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:06:34 BoogieIcfgContainer [2018-06-25 02:06:34,847 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:06:34,849 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:06:34,849 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:06:34,851 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:06:34,852 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:06:34" (1/1) ... [2018-06-25 02:06:34,878 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:06:34,879 INFO ]: Using Remove infeasible edges [2018-06-25 02:06:34,880 INFO ]: Using Maximize final states [2018-06-25 02:06:34,882 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:06:34,882 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:06:34,884 INFO ]: Using Remove sink states [2018-06-25 02:06:34,885 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:06:34,885 INFO ]: Using Use SBE [2018-06-25 02:06:34,897 WARN ]: expecting exponential blowup for input size 23 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000734600000, 453509120, 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 453509120 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid10934.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 453509120 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=10934, tid=0x00007fb7f2a85700 # # 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 (0x00007fb8080fa800): VMThread [stack: 0x00007fb7f2985000,0x00007fb7f2a86000] [id=10942] Stack: [0x00007fb7f2985000,0x00007fb7f2a86000], sp=0x00007fb7f2a84190, 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 (0x00007fb7b77fc910): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007fb7ac001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007fb7ac004800 JavaThread "Worker-2" daemon [_thread_blocked, id=10988, stack(0x00007fb7b43ec000,0x00007fb7b47ed000)] 0x00007fb7a4159800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=10987, stack(0x00007fb7b47ed000,0x00007fb7b4bee000)] 0x00007fb790003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=10986, stack(0x00007fb7b4bee000,0x00007fb7b4fef000)] 0x00007fb790001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=10985, stack(0x00007fb7b4fef000,0x00007fb7b53f0000)] 0x00007fb7a4157800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=10984, stack(0x00007fb7b53f0000,0x00007fb7b57f1000)] 0x00007fb7a4153000 JavaThread "process reaper" daemon [_thread_in_native, id=10983, stack(0x00007fb7e4086000,0x00007fb7e40bf000)] 0x00007fb7a4070800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=10969, stack(0x00007fb7b5bf1000,0x00007fb7b5ff2000)] 0x00007fb79c004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=10968, stack(0x00007fb7b5ff2000,0x00007fb7b63f3000)] 0x00007fb79c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=10967, stack(0x00007fb7b63f3000,0x00007fb7b67f4000)] 0x00007fb7a4070000 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=10963, stack(0x00007fb7b67f4000,0x00007fb7b6bf5000)] 0x00007fb7a406c800 JavaThread "process reaper" daemon [_thread_in_native, id=10961, stack(0x00007fb7f003a000,0x00007fb7f0073000)] 0x00007fb7ac001000 JavaThread "Worker-1" daemon [_thread_blocked, id=10956, stack(0x00007fb7b73fe000,0x00007fb7b77ff000)] 0x00007fb80874f800 JavaThread "Worker-0" daemon [_thread_blocked, id=10955, stack(0x00007fb7b79ff000,0x00007fb7b7e00000)] 0x00007fb7bc070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=10954, stack(0x00007fb7e44bf000,0x00007fb7e48c0000)] 0x00007fb808409800 JavaThread "Start Level: Equinox Container: 00029d98-0b78-0018-1852-a5a49e9937a8" daemon [_thread_blocked, id=10953, stack(0x00007fb7f0263000,0x00007fb7f0664000)] 0x00007fb808403000 JavaThread "Framework Event Dispatcher: Equinox Container: 00029d98-0b78-0018-1852-a5a49e9937a8" daemon [_thread_blocked, id=10952, stack(0x00007fb7f0664000,0x00007fb7f0a65000)] 0x00007fb8083e7000 JavaThread "Active Thread: Equinox Container: 00029d98-0b78-0018-1852-a5a49e9937a8" [_thread_blocked, id=10951, stack(0x00007fb7f0a65000,0x00007fb7f0e66000)] 0x00007fb808163800 JavaThread "Service Thread" daemon [_thread_blocked, id=10948, stack(0x00007fb7f138f000,0x00007fb7f1790000)] 0x00007fb80813e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=10947, stack(0x00007fb7f1790000,0x00007fb7f1891000)] 0x00007fb80813b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=10946, stack(0x00007fb7f1891000,0x00007fb7f1992000)] 0x00007fb80813a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=10945, stack(0x00007fb7f1992000,0x00007fb7f1d93000)] 0x00007fb808107000 JavaThread "Finalizer" daemon [_thread_blocked, id=10944, stack(0x00007fb7f2183000,0x00007fb7f2584000)] 0x00007fb808102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=10943, stack(0x00007fb7f2584000,0x00007fb7f2985000)] 0x00007fb80800a000 JavaThread "main" [_thread_blocked, id=10939, stack(0x00007fb80d8a7000,0x00007fb80dca8000)] Other Threads: =>0x00007fb8080fa800 VMThread [stack: 0x00007fb7f2985000,0x00007fb7f2a86000] [id=10942] 0x00007fb808166000 WatcherThread [stack: 0x00007fb7f128e000,0x00007fb7f138f000] [id=10949] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007fb808005b00] ExpandHeap_lock - owner thread: 0x00007fb8080fa800 [0x00007fb808006180] Threads_lock - owner thread: 0x00007fb8080fa800 [0x00007fb808006680] Heap_lock - owner thread: 0x00007fb7ac001000 Heap: PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) to space 430080K, 0% used [0x00000007a5c00000,0x00000007a5c00000,0x00000007c0000000) ParOldGen total 1619968K, used 1270011K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 78% used [0x00000006d1800000,0x000000071f03ec78,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007fb7f888b000,0x00007fb7f9000000] byte_map_base: 0x00007fb7f51ff000 Marking Bits: (ParMarkBitMap*) 0x00007fb80ef88dc0 Begin Bits: [0x00007fb7e48c0000, 0x00007fb7e8460000) End Bits: [0x00007fb7e8460000, 0x00007fb7ec000000) Polling page: 0x00007fb80fbc1000 CodeCache: size=245760Kb used=9604Kb max_used=9617Kb free=236155Kb bounds [0x00007fb7f9000000, 0x00007fb7f9980000, 0x00007fb808000000] total_blobs=2990 nmethods=2541 adapters=362 compilation: enabled Compilation events (10 events): Event: 12.443 Thread 0x00007fb80813b800 2601 4 java.util.ArrayDeque::pop (5 bytes) Event: 12.444 Thread 0x00007fb80813b800 nmethod 2601 0x00007fb7f9166050 code [0x00007fb7f91661a0, 0x00007fb7f9166278] Event: 12.444 Thread 0x00007fb80813b800 2600 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes) Event: 12.445 Thread 0x00007fb80813b800 nmethod 2600 0x00007fb7f9138750 code [0x00007fb7f91388a0, 0x00007fb7f9138958] Event: 13.012 Thread 0x00007fb80813e800 2603 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 13.019 Thread 0x00007fb80813e800 nmethod 2603% 0x00007fb7f995ca90 code [0x00007fb7f995d580, 0x00007fb7f99659f8] Event: 14.077 Thread 0x00007fb80813e800 2604 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 14.085 Thread 0x00007fb80813e800 nmethod 2604 0x00007fb7f996af50 code [0x00007fb7f996baa0, 0x00007fb7f99746c8] Event: 14.440 Thread 0x00007fb80813b800 2605 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 14.452 Thread 0x00007fb80813b800 nmethod 2605% 0x00007fb7f9154c90 code [0x00007fb7f9154ea0, 0x00007fb7f9155688] GC Heap History (10 events): Event: 27.685 GC heap after Heap after GC invocations=18 (full 4): PSYoungGen total 917504K, used 215744K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 541184K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791880000) from space 376320K, 57% used [0x00000007a8d00000,0x00000007b5fb0010,0x00000007bfc80000) to space 378880K, 0% used [0x0000000791880000,0x0000000791880000,0x00000007a8a80000) ParOldGen total 1167360K, used 1084298K [0x00000006d1800000, 0x0000000718c00000, 0x0000000770800000) object space 1167360K, 92% used [0x00000006d1800000,0x0000000713ae2b38,0x0000000718c00000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 27.685 GC heap before {Heap before GC invocations=19 (full 5): PSYoungGen total 917504K, used 215744K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 541184K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791880000) from space 376320K, 57% used [0x00000007a8d00000,0x00000007b5fb0010,0x00000007bfc80000) to space 378880K, 0% used [0x0000000791880000,0x0000000791880000,0x00000007a8a80000) ParOldGen total 1167360K, used 1084298K [0x00000006d1800000, 0x0000000718c00000, 0x0000000770800000) object space 1167360K, 92% used [0x00000006d1800000,0x0000000713ae2b38,0x0000000718c00000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 32.597 GC heap after Heap after GC invocations=19 (full 5): PSYoungGen total 917504K, used 0K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 541184K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791880000) from space 376320K, 0% used [0x00000007a8d00000,0x00000007a8d00000,0x00000007bfc80000) to space 378880K, 0% used [0x0000000791880000,0x0000000791880000,0x00000007a8a80000) ParOldGen total 1619968K, used 971469K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 59% used [0x00000006d1800000,0x000000070ccb3428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 33.061 GC heap before {Heap before GC invocations=20 (full 5): PSYoungGen total 917504K, used 541184K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 541184K, 100% used [0x0000000770800000,0x0000000791880000,0x0000000791880000) from space 376320K, 0% used [0x00000007a8d00000,0x00000007a8d00000,0x00000007bfc80000) to space 378880K, 0% used [0x0000000791880000,0x0000000791880000,0x00000007a8a80000) ParOldGen total 1619968K, used 971469K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 59% used [0x00000006d1800000,0x000000070ccb3428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 33.351 GC heap after Heap after GC invocations=20 (full 5): PSYoungGen total 920064K, used 214432K [0x0000000770800000, 0x00000007bfd80000, 0x00000007c0000000) eden space 541184K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791880000) from space 378880K, 56% used [0x0000000791880000,0x000000079e9e8000,0x00000007a8a80000) to space 376320K, 0% used [0x00000007a8e00000,0x00000007a8e00000,0x00000007bfd80000) ParOldGen total 1619968K, used 971469K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 59% used [0x00000006d1800000,0x000000070ccb3428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 33.916 GC heap before {Heap before GC invocations=21 (full 5): PSYoungGen total 920064K, used 755616K [0x0000000770800000, 0x00000007bfd80000, 0x00000007c0000000) eden space 541184K, 100% used [0x0000000770800000,0x0000000791880000,0x0000000791880000) from space 378880K, 56% used [0x0000000791880000,0x000000079e9e8000,0x00000007a8a80000) to space 376320K, 0% used [0x00000007a8e00000,0x00000007a8e00000,0x00000007bfd80000) ParOldGen total 1619968K, used 971469K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 59% used [0x00000006d1800000,0x000000070ccb3428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 34.493 GC heap after Heap after GC invocations=21 (full 5): PSYoungGen total 810496K, used 376320K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 376320K, 100% used [0x00000007a8e00000,0x00000007bfd80000,0x00000007bfd80000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1619968K, used 1024173K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 63% used [0x00000006d1800000,0x000000071002b428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 34.922 GC heap before {Heap before GC invocations=22 (full 5): PSYoungGen total 810496K, used 810496K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 376320K, 100% used [0x00000007a8e00000,0x00000007bfd80000,0x00000007bfd80000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1619968K, used 1024173K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 63% used [0x00000006d1800000,0x000000071002b428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 35.736 GC heap after Heap after GC invocations=22 (full 5): PSYoungGen total 868352K, used 172032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x0000000795800000,0x00000007a5800000) to space 430080K, 0% used [0x00000007a5c00000,0x00000007a5c00000,0x00000007c0000000) ParOldGen total 1619968K, used 1402277K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 86% used [0x00000006d1800000,0x0000000727169428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 35.736 GC heap before {Heap before GC invocations=23 (full 6): PSYoungGen total 868352K, used 172032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x0000000795800000,0x00000007a5800000) to space 430080K, 0% used [0x00000007a5c00000,0x00000007a5c00000,0x00000007c0000000) ParOldGen total 1619968K, used 1402277K [0x00000006d1800000, 0x0000000734600000, 0x0000000770800000) object space 1619968K, 86% used [0x00000006d1800000,0x0000000727169428,0x0000000734600000) Metaspace used 26575K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 11.100 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f975d070 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Event: 11.228 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f968e5d4 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 11.228 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f96a94e0 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 11.236 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f92288b8 method=java.util.HashMap.resize()[Ljava/util/HashMap$Node; @ 206 Event: 11.911 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f9373b74 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 11.911 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f95f9cb0 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 11.911 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f95ecc08 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 11.912 Thread 0x00007fb7ac001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f98ce370 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 109 Event: 32.597 Thread 0x00007fb8083e7000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f951f280 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60 Event: 32.597 Thread 0x00007fb8083e7000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fb7f95f85d0 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 6.034 Thread 0x00007fb80800a000 Exception (0x00000007714b2118) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 6.034 Thread 0x00007fb80800a000 Exception (0x00000007714b5eb8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 6.035 Thread 0x00007fb80800a000 Exception (0x00000007714d70a0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 6.040 Thread 0x00007fb80800a000 Exception (0x00000007714e3a28) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 6.041 Thread 0x00007fb80800a000 Exception (0x00000007714e98d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 6.047 Thread 0x00007fb80800a000 Exception (0x00000007714f8150) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 6.048 Thread 0x00007fb80800a000 Exception (0x00000007714faeb8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 6.048 Thread 0x00007fb80800a000 Exception (0x00000007714fd370) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 7.977 Thread 0x00007fb7ac001000 Exception (0x0000000771e4a668) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 10.680 Thread 0x00007fb7ac001000 Exception (0x000000077273f3c8) thrown at [/HUDSO Events (10 events): Event: 32.597 Thread 0x00007fb8083e7000 DEOPT PACKING pc=0x00007fb7f951f280 sp=0x00007fb7f0e642f0 Event: 32.597 Thread 0x00007fb8083e7000 DEOPT UNPACKING pc=0x00007fb7f9005229 sp=0x00007fb7f0e64298 mode 2 Event: 32.597 Thread 0x00007fb8083e7000 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007fb7f95f85d0 Event: 32.597 Thread 0x00007fb8083e7000 DEOPT PACKING pc=0x00007fb7f95f85d0 sp=0x00007fb7f0e642f0 Event: 32.597 Thread 0x00007fb8083e7000 DEOPT UNPACKING pc=0x00007fb7f9005229 sp=0x00007fb7f0e64298 mode 2 Event: 33.061 Executing VM operation: ParallelGCFailedAllocation Event: 33.351 Executing VM operation: ParallelGCFailedAllocation done Event: 33.916 Executing VM operation: ParallelGCFailedAllocation Event: 34.493 Executing VM operation: ParallelGCFailedAllocation done Event: 34.922 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 017d3000-017f4000 rw-p 00000000 00:00 0 [heap] 6d1800000-734600000 rw-p 00000000 00:00 0 74f680000-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 7fb77c000000-7fb77c021000 rw-p 00000000 00:00 0 7fb77c021000-7fb780000000 ---p 00000000 00:00 0 7fb780000000-7fb780021000 rw-p 00000000 00:00 0 7fb780021000-7fb784000000 ---p 00000000 00:00 0 7fb784000000-7fb784021000 rw-p 00000000 00:00 0 7fb784021000-7fb788000000 ---p 00000000 00:00 0 7fb788000000-7fb788021000 rw-p 00000000 00:00 0 7fb788021000-7fb78c000000 ---p 00000000 00:00 0 7fb78c000000-7fb78c021000 rw-p 00000000 00:00 0 7fb78c021000-7fb790000000 ---p 00000000 00:00 0 7fb790000000-7fb790021000 rw-p 00000000 00:00 0 7fb790021000-7fb794000000 ---p 00000000 00:00 0 7fb794000000-7fb794021000 rw-p 00000000 00:00 0 7fb794021000-7fb798000000 ---p 00000000 00:00 0 7fb798000000-7fb798021000 rw-p 00000000 00:00 0 7fb798021000-7fb79c000000 ---p 00000000 00:00 0 7fb79c000000-7fb79c021000 rw-p 00000000 00:00 0 7fb79c021000-7fb7a0000000 ---p 00000000 00:00 0 7fb7a0000000-7fb7a0021000 rw-p 00000000 00:00 0 7fb7a0021000-7fb7a4000000 ---p 00000000 00:00 0 7fb7a4000000-7fb7a41e4000 rw-p 00000000 00:00 0 7fb7a41e4000-7fb7a8000000 ---p 00000000 00:00 0 7fb7a8000000-7fb7a8021000 rw-p 00000000 00:00 0 7fb7a8021000-7fb7ac000000 ---p 00000000 00:00 0 7fb7ac000000-7fb7ac021000 rw-p 00000000 00:00 0 7fb7ac021000-7fb7b0000000 ---p 00000000 00:00 0 7fb7b0000000-7fb7b0021000 rw-p 00000000 00:00 0 7fb7b0021000-7fb7b4000000 ---p 00000000 00:00 0 7fb7b43ec000-7fb7b43ef000 ---p 00000000 00:00 0 7fb7b43ef000-7fb7b47ed000 rw-p 00000000 00:00 0 7fb7b47ed000-7fb7b47f0000 ---p 00000000 00:00 0 7fb7b47f0000-7fb7b4bee000 rw-p 00000000 00:00 0 7fb7b4bee000-7fb7b4bf1000 ---p 00000000 00:00 0 7fb7b4bf1000-7fb7b4fef000 rw-p 00000000 00:00 0 7fb7b4fef000-7fb7b4ff2000 ---p 00000000 00:00 0 7fb7b4ff2000-7fb7b53f0000 rw-p 00000000 00:00 0 7fb7b53f0000-7fb7b53f3000 ---p 00000000 00:00 0 7fb7b53f3000-7fb7b58f1000 rw-p 00000000 00:00 0 7fb7b58f1000-7fb7b59f1000 ---p 00000000 00:00 0 7fb7b59f1000-7fb7b5bf1000 rw-p 00000000 00:00 0 7fb7b5bf1000-7fb7b5bf4000 ---p 00000000 00:00 0 7fb7b5bf4000-7fb7b5ff2000 rw-p 00000000 00:00 0 7fb7b5ff2000-7fb7b5ff5000 ---p 00000000 00:00 0 7fb7b5ff5000-7fb7b63f3000 rw-p 00000000 00:00 0 7fb7b63f3000-7fb7b63f6000 ---p 00000000 00:00 0 7fb7b63f6000-7fb7b67f4000 rw-p 00000000 00:00 0 7fb7b67f4000-7fb7b67f7000 ---p 00000000 00:00 0 7fb7b67f7000-7fb7b6bf5000 rw-p 00000000 00:00 0 7fb7b6bf5000-7fb7b6bfe000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fb7b6bfe000-7fb7b6dfd000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fb7b6dfd000-7fb7b6dfe000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fb7b6dfe000-7fb7b6ffe000 rw-p 00000000 00:00 0 7fb7b6ffe000-7fb7b71fe000 rw-p 00000000 00:00 0 7fb7b71fe000-7fb7b73fe000 rw-p 00000000 00:00 0 7fb7b73fe000-7fb7b7401000 ---p 00000000 00:00 0 7fb7b7401000-7fb7b79ff000 rw-p 00000000 00:00 0 7fb7b79ff000-7fb7b7a02000 ---p 00000000 00:00 0 7fb7b7a02000-7fb7b8000000 rw-p 00000000 00:00 0 7fb7b8000000-7fb7b8021000 rw-p 00000000 00:00 0 7fb7b8021000-7fb7bc000000 ---p 00000000 00:00 0 7fb7bc000000-7fb7bc0ed000 rw-p 00000000 00:00 0 7fb7bc0ed000-7fb7c0000000 ---p 00000000 00:00 0 7fb7c0000000-7fb7c0021000 rw-p 00000000 00:00 0 7fb7c0021000-7fb7c4000000 ---p 00000000 00:00 0 7fb7c4000000-7fb7c4021000 rw-p 00000000 00:00 0 7fb7c4021000-7fb7c8000000 ---p 00000000 00:00 0 7fb7c8000000-7fb7c9164000 rw-p 00000000 00:00 0 7fb7c9164000-7fb7cc000000 ---p 00000000 00:00 0 7fb7cc000000-7fb7cc021000 rw-p 00000000 00:00 0 7fb7cc021000-7fb7d0000000 ---p 00000000 00:00 0 7fb7d0000000-7fb7d0021000 rw-p 00000000 00:00 0 7fb7d0021000-7fb7d4000000 ---p 00000000 00:00 0 7fb7d4000000-7fb7d4c0d000 rw-p 00000000 00:00 0 7fb7d4c0d000-7fb7d8000000 ---p 00000000 00:00 0 7fb7d8000000-7fb7d8021000 rw-p 00000000 00:00 0 7fb7d8021000-7fb7dc000000 ---p 00000000 00:00 0 7fb7dc000000-7fb7dc021000 rw-p 00000000 00:00 0 7fb7dc021000-7fb7e0000000 ---p 00000000 00:00 0 7fb7e0000000-7fb7e02ff000 rw-p 00000000 00:00 0 7fb7e02ff000-7fb7e4000000 ---p 00000000 00:00 0 7fb7e4086000-7fb7e4089000 ---p 00000000 00:00 0 7fb7e4089000-7fb7e42bf000 rw-p 00000000 00:00 0 7fb7e42bf000-7fb7e44bf000 rw-p 00000000 00:00 0 7fb7e44bf000-7fb7e44c2000 ---p 00000000 00:00 0 7fb7e44c2000-7fb7ec000000 rw-p 00000000 00:00 0 7fb7ec000000-7fb7ec03a000 rw-p 00000000 00:00 0 7fb7ec03a000-7fb7f0000000 ---p 00000000 00:00 0 7fb7f0033000-7fb7f0038000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7fb7f0038000-7fb7f003a000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7fb7f003a000-7fb7f003d000 ---p 00000000 00:00 0 7fb7f003d000-7fb7f0073000 rw-p 00000000 00:00 0 7fb7f0073000-7fb7f0075000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7fb7f0075000-7fb7f0088000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7fb7f0088000-7fb7f00c9000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7fb7f00c9000-7fb7f00cb000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7fb7f00cb000-7fb7f00d7000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7fb7f00d7000-7fb7f00dc000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7fb7f00dc000-7fb7f00de000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7fb7f00de000-7fb7f00e1000 r--s 0001f000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar 7fb7f00e1000-7fb7f00e4000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7fb7f00e4000-7fb7f00e7000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7fb7f00e7000-7fb7f0148000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7fb7f0148000-7fb7f0152000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7fb7f0152000-7fb7f0162000 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 7fb7f0162000-7fb7f0261000 ---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 7fb7f0261000-7fb7f0263000 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 7fb7f0263000-7fb7f0266000 ---p 00000000 00:00 0 7fb7f0266000-7fb7f0664000 rw-p 00000000 00:00 0 7fb7f0664000-7fb7f0667000 ---p 00000000 00:00 0 7fb7f0667000-7fb7f0a65000 rw-p 00000000 00:00 0 7fb7f0a65000-7fb7f0a68000 ---p 00000000 00:00 0 7fb7f0a68000-7fb7f0e66000 rw-p 00000000 00:00 0 7fb7f0e66000-7fb7f0e77000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fb7f0e77000-7fb7f1076000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fb7f1076000-7fb7f1077000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fb7f1077000-7fb7f108d000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fb7f108d000-7fb7f128d000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fb7f128d000-7fb7f128e000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fb7f128e000-7fb7f128f000 ---p 00000000 00:00 0 7fb7f128f000-7fb7f138f000 rw-p 00000000 00:00 0 7fb7f138f000-7fb7f1392000 ---p 00000000 00:00 0 7fb7f1392000-7fb7f1790000 rw-p 00000000 00:00 0 7fb7f1790000-7fb7f1793000 ---p 00000000 00:00 0 7fb7f1793000-7fb7f1891000 rw-p 00000000 00:00 0 7fb7f1891000-7fb7f1894000 ---p 00000000 00:00 0 7fb7f1894000-7fb7f1992000 rw-p 00000000 00:00 0 7fb7f1992000-7fb7f1995000 ---p 00000000 00:00 0 7fb7f1995000-7fb7f1d93000 rw-p 00000000 00:00 0 7fb7f1d93000-7fb7f2183000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7fb7f2183000-7fb7f2186000 ---p 00000000 00:00 0 7fb7f2186000-7fb7f2584000 rw-p 00000000 00:00 0 7fb7f2584000-7fb7f2587000 ---p 00000000 00:00 0 7fb7f2587000-7fb7f2985000 rw-p 00000000 00:00 0 7fb7f2985000-7fb7f2986000 ---p 00000000 00:00 0 7fb7f2986000-7fb7f4000000 rw-p 00000000 00:00 0 7fb7f4000000-7fb7f418f000 rw-p 00000000 00:00 0 7fb7f418f000-7fb7f8000000 ---p 00000000 00:00 0 7fb7f8000000-7fb7f8005000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7fb7f8005000-7fb7f8009000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7fb7f8009000-7fb7f800b000 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 7fb7f800b000-7fb7f800d000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7fb7f800d000-7fb7f800f000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7fb7f800f000-7fb7f8060000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7fb7f8060000-7fb7f8062000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7fb7f8062000-7fb7f8064000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7fb7f8064000-7fb7f8066000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7fb7f8066000-7fb7f8068000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7fb7f8068000-7fb7f8090000 r--s 00241000 09:02 30019462 /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 7fb7f8090000-7fb7f86aa000 rw-p 00000000 00:00 0 7fb7f86aa000-7fb7f888b000 ---p 00000000 00:00 0 7fb7f888b000-7fb7f8ba2000 rw-p 00000000 00:00 0 7fb7f8ba2000-7fb7f8d83000 ---p 00000000 00:00 0 7fb7f8d83000-7fb7f8fff000 rw-p 00000000 00:00 0 7fb7f8fff000-7fb7f9000000 rw-p 00000000 00:00 0 7fb7f9000000-7fb7f9980000 rwxp 00000000 00:00 0 7fb7f9980000-7fb808000000 ---p 00000000 00:00 0 7fb808000000-7fb808ad4000 rw-p 00000000 00:00 0 7fb808ad4000-7fb80c000000 ---p 00000000 00:00 0 7fb80c000000-7fb80c001000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7fb80c001000-7fb80c003000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7fb80c003000-7fb80c00a000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7fb80c00a000-7fb80c00c000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7fb80c00c000-7fb80c00f000 r--s 00010000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar 7fb80c00f000-7fb80c011000 r--s 00006000 09:02 30015888 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar 7fb80c011000-7fb80c013000 r--s 00009000 09:02 30015854 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar 7fb80c013000-7fb80c023000 r--s 001c1000 09:02 30019458 /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 7fb80c023000-7fb80c04b000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7fb80c04b000-7fb80c04e000 r--s 00018000 09:02 30015886 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar 7fb80c04e000-7fb80c04f000 r--s 00005000 09:02 30015885 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar 7fb80c04f000-7fb80c052000 r--s 00014000 09:02 30015884 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar 7fb80c052000-7fb80c05b000 r--s 00089000 09:02 30015883 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar 7fb80c05b000-7fb80c06c000 r--s 000f0000 09:02 30015887 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar 7fb80c06c000-7fb80c06f000 r--s 00021000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar 7fb80c06f000-7fb80c071000 r--s 0000d000 09:02 30015882 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar 7fb80c071000-7fb80c073000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7fb80c073000-7fb80c075000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7fb80c075000-7fb80c078000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7fb80c078000-7fb80c07a000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7fb80c07a000-7fb80c07c000 r--s 00002000 09:02 30015881 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar 7fb80c07c000-7fb80c07f000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar 7fb80c07f000-7fb80c083000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7fb80c083000-7fb80c085000 r--s 00007000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar 7fb80c085000-7fb80c095000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7fb80c095000-7fb80c0a1000 r--s 0009b000 09:02 30015879 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar 7fb80c0a1000-7fb80c0a3000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7fb80c0a3000-7fb80c0a5000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7fb80c0a5000-7fb80c0a7000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7fb80c0a7000-7fb80c0af000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7fb80c0af000-7fb80c0fe000 rw-p 00000000 00:00 0 7fb80c0fe000-7fb80c2d8000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7fb80c2d8000-7fb80c34e000 rw-p 00000000 00:00 0 7fb80c34e000-7fb80c34f000 ---p 00000000 00:00 0 7fb80c34f000-7fb80c475000 rw-p 00000000 00:00 0 7fb80c475000-7fb80c80f000 ---p 00000000 00:00 0 7fb80c80f000-7fb80c829000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fb80c829000-7fb80ca29000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fb80ca29000-7fb80ca2a000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fb80ca2a000-7fb80ca35000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7fb80ca35000-7fb80cc34000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fb80cc34000-7fb80cc35000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7fb80cc35000-7fb80cc36000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fb80cc36000-7fb80cc41000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fb80cc41000-7fb80ce40000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fb80ce40000-7fb80ce41000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fb80ce41000-7fb80ce42000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fb80ce42000-7fb80ce58000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7fb80ce58000-7fb80d057000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fb80d057000-7fb80d058000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7fb80d058000-7fb80d059000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fb80d059000-7fb80d05b000 rw-p 00000000 00:00 0 7fb80d05b000-7fb80d062000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fb80d062000-7fb80d262000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fb80d262000-7fb80d263000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fb80d263000-7fb80d264000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fb80d264000-7fb80d28f000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fb80d28f000-7fb80d48e000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fb80d48e000-7fb80d490000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fb80d490000-7fb80d49d000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fb80d49d000-7fb80d69d000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fb80d69d000-7fb80d69f000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fb80d69f000-7fb80d6a6000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7fb80d6a6000-7fb80d8a5000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fb80d8a5000-7fb80d8a6000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7fb80d8a6000-7fb80d8a7000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fb80d8a7000-7fb80d8aa000 ---p 00000000 00:00 0 7fb80d8aa000-7fb80dca8000 rw-p 00000000 00:00 0 7fb80dca8000-7fb80ddbd000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7fb80ddbd000-7fb80dfbd000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fb80dfbd000-7fb80dfbe000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fb80dfbe000-7fb80dfbf000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7fb80dfbf000-7fb80ec92000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fb80ec92000-7fb80ee91000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fb80ee91000-7fb80ef6b000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fb80ef6b000-7fb80efb6000 rw-p 00000000 00:00 0 7fb80efb6000-7fb80f15e000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7fb80f15e000-7fb80f35d000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7fb80f35d000-7fb80f361000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7fb80f361000-7fb80f363000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7fb80f363000-7fb80f367000 rw-p 00000000 00:00 0 7fb80f367000-7fb80f36a000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7fb80f36a000-7fb80f569000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fb80f569000-7fb80f56a000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7fb80f56a000-7fb80f56b000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fb80f56b000-7fb80f580000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fb80f580000-7fb80f780000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fb80f780000-7fb80f781000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fb80f781000-7fb80f79b000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7fb80f79b000-7fb80f99b000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fb80f99b000-7fb80f99c000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fb80f99c000-7fb80f99d000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7fb80f99d000-7fb80f9a1000 rw-p 00000000 00:00 0 7fb80f9a1000-7fb80f9c4000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7fb80f9c4000-7fb80f9ca000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7fb80f9ca000-7fb80f9d0000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7fb80f9d0000-7fb80f9d4000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7fb80f9d4000-7fb80fa7a000 rw-p 00000000 00:00 0 7fb80fa7a000-7fb80fa7b000 ---p 00000000 00:00 0 7fb80fa7b000-7fb80fb7d000 rw-p 00000000 00:00 0 7fb80fb7d000-7fb80fb7f000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7fb80fb7f000-7fb80fb83000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7fb80fb83000-7fb80fb85000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7fb80fb85000-7fb80fb88000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7fb80fb88000-7fb80fb8b000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7fb80fb8b000-7fb80fb8e000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7fb80fb8e000-7fb80fb92000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7fb80fb92000-7fb80fb94000 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 7fb80fb94000-7fb80fb96000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7fb80fb96000-7fb80fb99000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7fb80fb99000-7fb80fbae000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7fb80fbae000-7fb80fbb1000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7fb80fbb1000-7fb80fbb6000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7fb80fbb6000-7fb80fbb8000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7fb80fbb8000-7fb80fbc0000 rw-s 00000000 09:01 1312180 /tmp/hsperfdata_root/10934 7fb80fbc0000-7fb80fbc1000 rw-p 00000000 00:00 0 7fb80fbc1000-7fb80fbc2000 ---p 00000000 00:00 0 7fb80fbc2000-7fb80fbc4000 rw-p 00000000 00:00 0 7fb80fbc4000-7fb80fbc5000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7fb80fbc5000-7fb80fbc6000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7fb80fbc6000-7fb80fbc7000 rw-p 00000000 00:00 0 7ffef27e7000-7ffef2809000 rw-p 00000000 00:00 0 [stack] 7ffef29de000-7ffef29e1000 r--p 00000000 00:00 0 [vvar] 7ffef29e1000-7ffef29e3000 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/car_6_e2_893.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:20.70 12.20 9.16 /proc/meminfo: MemTotal: 24665244 kB MemFree: 165788 kB MemAvailable: 0 kB Buffers: 1484 kB Cached: 23332 kB SwapCached: 0 kB Active: 24214044 kB Inactive: 12436 kB Active(anon): 24207232 kB Inactive(anon): 628 kB Active(file): 6812 kB Inactive(file): 11808 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 316 kB Writeback: 80 kB AnonPages: 24213668 kB Mapped: 15448 kB Shmem: 1476 kB Slab: 106624 kB SReclaimable: 47396 kB SUnreclaim: 59228 kB KernelStack: 15744 kB PageTables: 63188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24463644 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 311296 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 3352016 kB DirectMap2M: 21770240 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 : 1782.385 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 : 1703.735 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 : 1694.189 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 : 1599.768 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 : 1768.688 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 : 1787.158 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 : 1599.768 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 : 1599.768 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(165788k 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: Mon Jun 25 02:07:13 2018 elapsed time: 50 seconds (0d 0h 0m 50s)