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_589_e2_506.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:05:37,087 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:05:37,090 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:05:37,105 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:05:37,105 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:05:37,106 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:05:37,110 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:05:37,113 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:05:37,115 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:05:37,117 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:05:37,118 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:05:37,118 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:05:37,119 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:05:37,120 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:05:37,124 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:05:37,125 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:05:37,127 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:05:37,139 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:05:37,141 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:05:37,142 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:05:37,143 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:05:37,149 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:05:37,150 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:05:37,150 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:05:37,151 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:05:37,152 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:05:37,152 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:05:37,155 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:05:37,156 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:05:37,156 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:05:37,156 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:05:37,157 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:05:37,157 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:05:37,159 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:05:37,160 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:05:37,160 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:05:37,185 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:05:37,185 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:05:37,186 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:05:37,186 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:05:37,191 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:05:37,192 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:05:37,193 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:05:37,193 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:05:37,193 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:05:37,193 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:05:37,193 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:05:37,194 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:05:37,194 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:05:37,194 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:05:37,194 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:05:37,194 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:05:37,195 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:05:37,195 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:05:37,195 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:05:37,195 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:05:37,195 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:05:37,198 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:05:37,198 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:05:37,242 INFO ]: Repository-Root is: /tmp [2018-06-25 02:05:37,265 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:05:37,270 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:05:37,271 INFO ]: Initializing SmtParser... [2018-06-25 02:05:37,272 INFO ]: SmtParser initialized [2018-06-25 02:05:37,272 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506.smt2 [2018-06-25 02:05:37,274 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:05:37,368 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506.smt2 unknown [2018-06-25 02:05:37,729 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506.smt2 [2018-06-25 02:05:37,734 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:05:37,748 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:05:37,749 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:05:37,749 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:05:37,749 INFO ]: ChcToBoogie initialized [2018-06-25 02:05:37,752 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,865 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37 Unit [2018-06-25 02:05:37,865 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:05:37,866 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:05:37,866 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:05:37,866 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:05:37,889 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,889 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,899 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,899 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,912 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,922 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,924 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (1/1) ... [2018-06-25 02:05:37,926 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:05:37,927 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:05:37,927 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:05:37,927 INFO ]: RCFGBuilder initialized [2018-06-25 02:05:37,928 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:05:37" (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-25 02:05:37,963 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:05:37,963 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:05:37,963 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:05:37,963 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:05:37,963 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:05:37,963 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-25 02:05:38,434 INFO ]: Using library mode [2018-06-25 02:05:38,435 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:05:38 BoogieIcfgContainer [2018-06-25 02:05:38,435 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:05:38,435 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:05:38,435 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:05:38,436 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:05:38,437 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:05:38" (1/1) ... [2018-06-25 02:05:38,457 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:05:38,458 INFO ]: Using Remove infeasible edges [2018-06-25 02:05:38,459 INFO ]: Using Maximize final states [2018-06-25 02:05:38,460 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:05:38,460 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:05:38,462 INFO ]: Using Remove sink states [2018-06-25 02:05:38,466 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:05:38,466 INFO ]: Using Use SBE [2018-06-25 02:05:38,475 WARN ]: expecting exponential blowup for input size 23 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000724080000, 485490688, 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 485490688 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid12926.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 485490688 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=12926, tid=0x00007fd3dcf67700 # # 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 (0x00007fd3f40fa800): VMThread [stack: 0x00007fd3dce67000,0x00007fd3dcf68000] [id=12943] Stack: [0x00007fd3dce67000,0x00007fd3dcf68000], sp=0x00007fd3dcf66190, 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 (0x00007fd3c5b3a9e0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007fd3f4655800 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007fd39c001800 JavaThread "Worker-2" daemon [_thread_blocked, id=23383, stack(0x00007fd38dfc0000,0x00007fd38e3c1000)] 0x00007fd3981e2000 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=15822, stack(0x00007fd38e5c1000,0x00007fd38e9c2000)] 0x00007fd37c003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=15820, stack(0x00007fd38e9c2000,0x00007fd38edc3000)] 0x00007fd37c001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=15819, stack(0x00007fd38edc3000,0x00007fd38f1c4000)] 0x00007fd3981e0800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=15817, stack(0x00007fd38f1c4000,0x00007fd38f5c5000)] 0x00007fd3981dc000 JavaThread "process reaper" daemon [_thread_in_native, id=15814, stack(0x00007fd38f5c5000,0x00007fd38f5fe000)] 0x00007fd398047000 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=15233, stack(0x00007fd38f7fe000,0x00007fd38fbff000)] 0x00007fd394003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=15231, stack(0x00007fd38fbff000,0x00007fd390000000)] 0x00007fd394001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=15230, stack(0x00007fd3c401d000,0x00007fd3c441e000)] 0x00007fd398046800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=15226, stack(0x00007fd3c441e000,0x00007fd3c481f000)] 0x00007fd398043000 JavaThread "process reaper" daemon [_thread_in_native, id=15217, stack(0x00007fd3c481f000,0x00007fd3c4858000)] 0x00007fd398001000 JavaThread "Worker-1" daemon [_thread_blocked, id=14442, stack(0x00007fd3c50d2000,0x00007fd3c54d3000)] 0x00007fd3f4655800 JavaThread "Worker-0" daemon [_thread_blocked, id=14264, stack(0x00007fd3c573c000,0x00007fd3c5b3d000)] 0x00007fd3a0072800 JavaThread "Worker-JM" daemon [_thread_blocked, id=13290, stack(0x00007fd3c61c0000,0x00007fd3c65c1000)] 0x00007fd3f4325000 JavaThread "Start Level: Equinox Container: 3099f27b-0b78-0018-1424-d773a01cbc09" daemon [_thread_blocked, id=13212, stack(0x00007fd3c66d2000,0x00007fd3c6ad3000)] 0x00007fd3f4322800 JavaThread "Framework Event Dispatcher: Equinox Container: 3099f27b-0b78-0018-1424-d773a01cbc09" daemon [_thread_blocked, id=13210, stack(0x00007fd3c6ad3000,0x00007fd3c6ed4000)] 0x00007fd3f4304800 JavaThread "Active Thread: Equinox Container: 3099f27b-0b78-0018-1424-d773a01cbc09" [_thread_blocked, id=13101, stack(0x00007fd3c6ed4000,0x00007fd3c72d5000)] 0x00007fd3f4141000 JavaThread "Service Thread" daemon [_thread_blocked, id=12953, stack(0x00007fd3c77fe000,0x00007fd3c7bff000)] 0x00007fd3f413e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=12952, stack(0x00007fd3dc073000,0x00007fd3dc174000)] 0x00007fd3f413b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=12951, stack(0x00007fd3dc174000,0x00007fd3dc275000)] 0x00007fd3f413a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12950, stack(0x00007fd3c7bff000,0x00007fd3c8000000)] 0x00007fd3f4107000 JavaThread "Finalizer" daemon [_thread_blocked, id=12945, stack(0x00007fd3dc665000,0x00007fd3dca66000)] 0x00007fd3f4102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=12944, stack(0x00007fd3dca66000,0x00007fd3dce67000)] 0x00007fd3f400a000 JavaThread "main" [_thread_blocked, id=12937, stack(0x00007fd3fb3d8000,0x00007fd3fb7d9000)] Other Threads: =>0x00007fd3f40fa800 VMThread [stack: 0x00007fd3dce67000,0x00007fd3dcf68000] [id=12943] 0x00007fd3f4143800 WatcherThread [stack: 0x00007fd3c76fd000,0x00007fd3c77fe000] [id=12955] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007fd3f4005b00] ExpandHeap_lock - owner thread: 0x00007fd3f40fa800 [0x00007fd3f4006180] Threads_lock - owner thread: 0x00007fd3f40fa800 [0x00007fd3f4006680] Heap_lock - owner thread: 0x00007fd3f4655800 Heap: PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 1089068K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 80% used [0x00000006d1800000,0x0000000713f8b220,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007fd3f980b000,0x00007fd3f9f80000] byte_map_base: 0x00007fd3f617f000 Marking Bits: (ParMarkBitMap*) 0x00007fd3fcab9dc0 Begin Bits: [0x00007fd3dd8c0000, 0x00007fd3e1460000) End Bits: [0x00007fd3e1460000, 0x00007fd3e5000000) Polling page: 0x00007fd3fd6f2000 CodeCache: size=245760Kb used=8724Kb max_used=8737Kb free=237035Kb bounds [0x00007fd3e5000000, 0x00007fd3e5890000, 0x00007fd3f4000000] total_blobs=2950 nmethods=2501 adapters=362 compilation: enabled Compilation events (10 events): Event: 4.438 Thread 0x00007fd3f413b800 2506 4 java.util.ArrayDeque::pop (5 bytes) Event: 4.439 Thread 0x00007fd3f413b800 nmethod 2506 0x00007fd3e5862ad0 code [0x00007fd3e5862c20, 0x00007fd3e5862cf8] Event: 4.439 Thread 0x00007fd3f413b800 2507 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes) Event: 4.440 Thread 0x00007fd3f413b800 nmethod 2507 0x00007fd3e5862790 code [0x00007fd3e58628e0, 0x00007fd3e5862998] Event: 4.990 Thread 0x00007fd3f413e800 2508 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 4.998 Thread 0x00007fd3f413e800 nmethod 2508% 0x00007fd3e586eb10 code [0x00007fd3e586f600, 0x00007fd3e5877a78] Event: 5.001 Thread 0x00007fd3f413e800 2509 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 5.009 Thread 0x00007fd3f413e800 nmethod 2509 0x00007fd3e587cfd0 code [0x00007fd3e587db20, 0x00007fd3e5886748] Event: 6.857 Thread 0x00007fd3f413b800 2510 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 6.868 Thread 0x00007fd3f413b800 nmethod 2510% 0x00007fd3e58634d0 code [0x00007fd3e58636e0, 0x00007fd3e5863ec8] GC Heap History (10 events): Event: 20.846 GC heap after Heap after GC invocations=16 (full 4): PSYoungGen total 771072K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 336896K, 0% used [0x00000007ab700000,0x00000007ab700000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 747739K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 55% used [0x00000006d1800000,0x00000006ff236cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 21.139 GC heap before {Heap before GC invocations=17 (full 4): PSYoungGen total 771072K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 336896K, 0% used [0x00000007ab700000,0x00000007ab700000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 747739K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 55% used [0x00000006d1800000,0x00000006ff236cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 21.360 GC heap after Heap after GC invocations=17 (full 4): PSYoungGen total 868352K, used 169856K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x00000007955e0000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1352192K, used 747739K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 55% used [0x00000006d1800000,0x00000006ff236cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 21.737 GC heap before {Heap before GC invocations=18 (full 4): PSYoungGen total 868352K, used 604032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x00000007955e0000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1352192K, used 747739K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 55% used [0x00000006d1800000,0x00000006ff236cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 22.235 GC heap after Heap after GC invocations=18 (full 4): PSYoungGen total 868352K, used 173088K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x00000007a5800000,0x00000007b0108010,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 918347K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 67% used [0x00000006d1800000,0x00000007098d2cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 22.588 GC heap before {Heap before GC invocations=19 (full 4): PSYoungGen total 868352K, used 607264K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 39% used [0x00000007a5800000,0x00000007b0108010,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 918347K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 67% used [0x00000006d1800000,0x00000007098d2cb8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 23.064 GC heap after Heap after GC invocations=19 (full 4): 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 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1352192K, used 1092211K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 80% used [0x00000006d1800000,0x000000071429ccc8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 23.408 GC heap before {Heap before GC invocations=20 (full 4): PSYoungGen total 868352K, used 606208K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x0000000795800000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1352192K, used 1092211K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 80% used [0x00000006d1800000,0x000000071429ccc8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 23.891 GC heap after Heap after GC invocations=20 (full 4): PSYoungGen total 868352K, used 172032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x00000007a5800000,0x00000007b0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 1265027K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 93% used [0x00000006d1800000,0x000000071eb60cc8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 23.891 GC heap before {Heap before GC invocations=21 (full 5): PSYoungGen total 868352K, used 172032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x00000007a5800000,0x00000007b0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1352192K, used 1265027K [0x00000006d1800000, 0x0000000724080000, 0x0000000770800000) object space 1352192K, 93% used [0x00000006d1800000,0x000000071eb60cc8,0x0000000724080000) Metaspace used 26560K, capacity 29170K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 2.863 Thread 0x00007fd3f4655800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fd3e5512fa4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.863 Thread 0x00007fd3f4655800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fd3e5512fa4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.864 Thread 0x00007fd3f4655800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fd3e550cbbc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.864 Thread 0x00007fd3f4655800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fd3e550cbbc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.864 Thread 0x00007fd3f4655800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fd3e550cbbc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 3.563 Thread 0x00007fd3f4655800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fd3e571b790 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 3.580 Thread 0x00007fd3f4655800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fd3e51f52f4 method=java.util.HashMap.resize()[Ljava/util/HashMap$Node; @ 206 Event: 3.997 Thread 0x00007fd3f4655800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fd3e535c7b0 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 3.997 Thread 0x00007fd3f4655800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fd3e55b0030 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 3.997 Thread 0x00007fd3f4655800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fd3e559aac8 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Internal exceptions (10 events): Event: 2.762 Thread 0x00007fd3f400a000 Exception (0x00000007714adb68) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.763 Thread 0x00007fd3f400a000 Exception (0x00000007714b1908) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.764 Thread 0x00007fd3f400a000 Exception (0x00000007714d2af0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 2.768 Thread 0x00007fd3f400a000 Exception (0x00000007714e28f8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.769 Thread 0x00007fd3f400a000 Exception (0x00000007714e8758) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.772 Thread 0x00007fd3f400a000 Exception (0x00000007714f3270) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.773 Thread 0x00007fd3f400a000 Exception (0x00000007714f8fe8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.774 Thread 0x00007fd3f400a000 Exception (0x00000007714fbd50) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 3.068 Thread 0x00007fd3f4655800 Exception (0x0000000771e50e60) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 3.297 Thread 0x00007fd3f4655800 Exception (0x000000077273f000) thrown at [/HUDSO Events (10 events): Event: 15.155 Executing VM operation: ParallelGCFailedAllocation done Event: 15.806 Executing VM operation: ParallelGCFailedAllocation Event: 20.846 Executing VM operation: ParallelGCFailedAllocation done Event: 21.139 Executing VM operation: ParallelGCFailedAllocation Event: 21.360 Executing VM operation: ParallelGCFailedAllocation done Event: 21.737 Executing VM operation: ParallelGCFailedAllocation Event: 22.235 Executing VM operation: ParallelGCFailedAllocation done Event: 22.588 Executing VM operation: ParallelGCFailedAllocation Event: 23.064 Executing VM operation: ParallelGCFailedAllocation done Event: 23.408 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 01dab000-01dcc000 rw-p 00000000 00:00 0 [heap] 6d1800000-724080000 rw-p 00000000 00:00 0 740f80000-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 7fd368000000-7fd368021000 rw-p 00000000 00:00 0 7fd368021000-7fd36c000000 ---p 00000000 00:00 0 7fd36c000000-7fd36c021000 rw-p 00000000 00:00 0 7fd36c021000-7fd370000000 ---p 00000000 00:00 0 7fd370000000-7fd370021000 rw-p 00000000 00:00 0 7fd370021000-7fd374000000 ---p 00000000 00:00 0 7fd374000000-7fd374021000 rw-p 00000000 00:00 0 7fd374021000-7fd378000000 ---p 00000000 00:00 0 7fd378000000-7fd378021000 rw-p 00000000 00:00 0 7fd378021000-7fd37c000000 ---p 00000000 00:00 0 7fd37c000000-7fd37c021000 rw-p 00000000 00:00 0 7fd37c021000-7fd380000000 ---p 00000000 00:00 0 7fd380000000-7fd380021000 rw-p 00000000 00:00 0 7fd380021000-7fd384000000 ---p 00000000 00:00 0 7fd384000000-7fd384021000 rw-p 00000000 00:00 0 7fd384021000-7fd388000000 ---p 00000000 00:00 0 7fd388000000-7fd388021000 rw-p 00000000 00:00 0 7fd388021000-7fd38c000000 ---p 00000000 00:00 0 7fd38dfc0000-7fd38dfc3000 ---p 00000000 00:00 0 7fd38dfc3000-7fd38e4c1000 rw-p 00000000 00:00 0 7fd38e4c1000-7fd38e5c1000 ---p 00000000 00:00 0 7fd38e5c1000-7fd38e5c4000 ---p 00000000 00:00 0 7fd38e5c4000-7fd38e9c2000 rw-p 00000000 00:00 0 7fd38e9c2000-7fd38e9c5000 ---p 00000000 00:00 0 7fd38e9c5000-7fd38edc3000 rw-p 00000000 00:00 0 7fd38edc3000-7fd38edc6000 ---p 00000000 00:00 0 7fd38edc6000-7fd38f1c4000 rw-p 00000000 00:00 0 7fd38f1c4000-7fd38f1c7000 ---p 00000000 00:00 0 7fd38f1c7000-7fd38f5c5000 rw-p 00000000 00:00 0 7fd38f5c5000-7fd38f5c8000 ---p 00000000 00:00 0 7fd38f5c8000-7fd38f7fe000 rw-p 00000000 00:00 0 7fd38f7fe000-7fd38f801000 ---p 00000000 00:00 0 7fd38f801000-7fd38fbff000 rw-p 00000000 00:00 0 7fd38fbff000-7fd38fc02000 ---p 00000000 00:00 0 7fd38fc02000-7fd390000000 rw-p 00000000 00:00 0 7fd390000000-7fd390021000 rw-p 00000000 00:00 0 7fd390021000-7fd394000000 ---p 00000000 00:00 0 7fd394000000-7fd394021000 rw-p 00000000 00:00 0 7fd394021000-7fd398000000 ---p 00000000 00:00 0 7fd398000000-7fd398245000 rw-p 00000000 00:00 0 7fd398245000-7fd39c000000 ---p 00000000 00:00 0 7fd39c000000-7fd39c021000 rw-p 00000000 00:00 0 7fd39c021000-7fd3a0000000 ---p 00000000 00:00 0 7fd3a0000000-7fd3a0373000 rw-p 00000000 00:00 0 7fd3a0373000-7fd3a4000000 ---p 00000000 00:00 0 7fd3a4000000-7fd3a4021000 rw-p 00000000 00:00 0 7fd3a4021000-7fd3a8000000 ---p 00000000 00:00 0 7fd3a8000000-7fd3a8021000 rw-p 00000000 00:00 0 7fd3a8021000-7fd3ac000000 ---p 00000000 00:00 0 7fd3ac000000-7fd3ac021000 rw-p 00000000 00:00 0 7fd3ac021000-7fd3b0000000 ---p 00000000 00:00 0 7fd3b0000000-7fd3b0021000 rw-p 00000000 00:00 0 7fd3b0021000-7fd3b4000000 ---p 00000000 00:00 0 7fd3b4000000-7fd3b4021000 rw-p 00000000 00:00 0 7fd3b4021000-7fd3b8000000 ---p 00000000 00:00 0 7fd3b8000000-7fd3b90a5000 rw-p 00000000 00:00 0 7fd3b90a5000-7fd3bc000000 ---p 00000000 00:00 0 7fd3bc000000-7fd3bcb97000 rw-p 00000000 00:00 0 7fd3bcb97000-7fd3c0000000 ---p 00000000 00:00 0 7fd3c0000000-7fd3c0021000 rw-p 00000000 00:00 0 7fd3c0021000-7fd3c4000000 ---p 00000000 00:00 0 7fd3c4016000-7fd3c401b000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7fd3c401b000-7fd3c401d000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7fd3c401d000-7fd3c4020000 ---p 00000000 00:00 0 7fd3c4020000-7fd3c441e000 rw-p 00000000 00:00 0 7fd3c441e000-7fd3c4421000 ---p 00000000 00:00 0 7fd3c4421000-7fd3c481f000 rw-p 00000000 00:00 0 7fd3c481f000-7fd3c4822000 ---p 00000000 00:00 0 7fd3c4822000-7fd3c4858000 rw-p 00000000 00:00 0 7fd3c4858000-7fd3c485a000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7fd3c485a000-7fd3c4863000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fd3c4863000-7fd3c4a62000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fd3c4a62000-7fd3c4a63000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fd3c4a63000-7fd3c4c63000 rw-p 00000000 00:00 0 7fd3c4c63000-7fd3c4e63000 rw-p 00000000 00:00 0 7fd3c4e63000-7fd3c4e76000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7fd3c4e76000-7fd3c4eb7000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7fd3c4eb7000-7fd3c4eb9000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7fd3c4eb9000-7fd3c4ec5000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7fd3c4ec5000-7fd3c4eca000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7fd3c4eca000-7fd3c4ecc000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7fd3c4ecc000-7fd3c50cc000 rw-p 00000000 00:00 0 7fd3c50cc000-7fd3c50cf000 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 7fd3c50cf000-7fd3c50d2000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7fd3c50d2000-7fd3c50d5000 ---p 00000000 00:00 0 7fd3c50d5000-7fd3c54d3000 rw-p 00000000 00:00 0 7fd3c54d3000-7fd3c54d6000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7fd3c54d6000-7fd3c54db000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7fd3c54db000-7fd3c56db000 rw-p 00000000 00:00 0 7fd3c56db000-7fd3c573c000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7fd3c573c000-7fd3c573f000 ---p 00000000 00:00 0 7fd3c573f000-7fd3c5d3d000 rw-p 00000000 00:00 0 7fd3c5d3d000-7fd3c5d47000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7fd3c5d47000-7fd3c5d98000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7fd3c5d98000-7fd3c5dc0000 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 7fd3c5dc0000-7fd3c5fc0000 rw-p 00000000 00:00 0 7fd3c5fc0000-7fd3c61c0000 rw-p 00000000 00:00 0 7fd3c61c0000-7fd3c61c3000 ---p 00000000 00:00 0 7fd3c61c3000-7fd3c65c1000 rw-p 00000000 00:00 0 7fd3c65c1000-7fd3c65d1000 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 7fd3c65d1000-7fd3c66d0000 ---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 7fd3c66d0000-7fd3c66d2000 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 7fd3c66d2000-7fd3c66d5000 ---p 00000000 00:00 0 7fd3c66d5000-7fd3c6ad3000 rw-p 00000000 00:00 0 7fd3c6ad3000-7fd3c6ad6000 ---p 00000000 00:00 0 7fd3c6ad6000-7fd3c6ed4000 rw-p 00000000 00:00 0 7fd3c6ed4000-7fd3c6ed7000 ---p 00000000 00:00 0 7fd3c6ed7000-7fd3c72d5000 rw-p 00000000 00:00 0 7fd3c72d5000-7fd3c72e6000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fd3c72e6000-7fd3c74e5000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fd3c74e5000-7fd3c74e6000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fd3c74e6000-7fd3c74fc000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fd3c74fc000-7fd3c76fc000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fd3c76fc000-7fd3c76fd000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fd3c76fd000-7fd3c76fe000 ---p 00000000 00:00 0 7fd3c76fe000-7fd3c77fe000 rw-p 00000000 00:00 0 7fd3c77fe000-7fd3c7801000 ---p 00000000 00:00 0 7fd3c7801000-7fd3c7bff000 rw-p 00000000 00:00 0 7fd3c7bff000-7fd3c7c02000 ---p 00000000 00:00 0 7fd3c7c02000-7fd3c8000000 rw-p 00000000 00:00 0 7fd3c8000000-7fd3c8021000 rw-p 00000000 00:00 0 7fd3c8021000-7fd3cc000000 ---p 00000000 00:00 0 7fd3cc000000-7fd3cc021000 rw-p 00000000 00:00 0 7fd3cc021000-7fd3d0000000 ---p 00000000 00:00 0 7fd3d0000000-7fd3d0021000 rw-p 00000000 00:00 0 7fd3d0021000-7fd3d4000000 ---p 00000000 00:00 0 7fd3d4000000-7fd3d42f9000 rw-p 00000000 00:00 0 7fd3d42f9000-7fd3d8000000 ---p 00000000 00:00 0 7fd3d8000000-7fd3d809c000 rw-p 00000000 00:00 0 7fd3d809c000-7fd3dc000000 ---p 00000000 00:00 0 7fd3dc000000-7fd3dc004000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7fd3dc004000-7fd3dc006000 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 7fd3dc006000-7fd3dc008000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7fd3dc008000-7fd3dc00a000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7fd3dc00a000-7fd3dc00c000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7fd3dc00c000-7fd3dc00e000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7fd3dc00e000-7fd3dc010000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7fd3dc010000-7fd3dc012000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7fd3dc012000-7fd3dc014000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7fd3dc014000-7fd3dc01b000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7fd3dc01b000-7fd3dc01d000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7fd3dc01d000-7fd3dc020000 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 7fd3dc020000-7fd3dc022000 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 7fd3dc022000-7fd3dc024000 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 7fd3dc024000-7fd3dc034000 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 7fd3dc034000-7fd3dc05c000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7fd3dc05c000-7fd3dc05f000 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 7fd3dc05f000-7fd3dc062000 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 7fd3dc062000-7fd3dc073000 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 7fd3dc073000-7fd3dc076000 ---p 00000000 00:00 0 7fd3dc076000-7fd3dc174000 rw-p 00000000 00:00 0 7fd3dc174000-7fd3dc177000 ---p 00000000 00:00 0 7fd3dc177000-7fd3dc275000 rw-p 00000000 00:00 0 7fd3dc275000-7fd3dc665000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7fd3dc665000-7fd3dc668000 ---p 00000000 00:00 0 7fd3dc668000-7fd3dca66000 rw-p 00000000 00:00 0 7fd3dca66000-7fd3dca69000 ---p 00000000 00:00 0 7fd3dca69000-7fd3dce67000 rw-p 00000000 00:00 0 7fd3dce67000-7fd3dce68000 ---p 00000000 00:00 0 7fd3dce68000-7fd3e5000000 rw-p 00000000 00:00 0 7fd3e5000000-7fd3e5890000 rwxp 00000000 00:00 0 7fd3e5890000-7fd3f4000000 ---p 00000000 00:00 0 7fd3f4000000-7fd3f49f5000 rw-p 00000000 00:00 0 7fd3f49f5000-7fd3f8000000 ---p 00000000 00:00 0 7fd3f8000000-7fd3f8001000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7fd3f8001000-7fd3f8002000 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 7fd3f8002000-7fd3f800b000 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 7fd3f800b000-7fd3f800e000 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 7fd3f800e000-7fd3f8010000 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 7fd3f8010000-7fd3f8012000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7fd3f8012000-7fd3f8014000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7fd3f8014000-7fd3f8017000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7fd3f8017000-7fd3f8019000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7fd3f8019000-7fd3f801b000 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 7fd3f801b000-7fd3f801e000 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 7fd3f801e000-7fd3f8022000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7fd3f8022000-7fd3f8024000 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 7fd3f8024000-7fd3f8034000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7fd3f8034000-7fd3f8040000 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 7fd3f8040000-7fd3f8042000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7fd3f8042000-7fd3f8044000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7fd3f8044000-7fd3f8046000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7fd3f8046000-7fd3f804e000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7fd3f804e000-7fd3f8228000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7fd3f8228000-7fd3f9212000 rw-p 00000000 00:00 0 7fd3f9212000-7fd3f9213000 ---p 00000000 00:00 0 7fd3f9213000-7fd3f95a8000 rw-p 00000000 00:00 0 7fd3f95a8000-7fd3f980b000 ---p 00000000 00:00 0 7fd3f980b000-7fd3f9aa0000 rw-p 00000000 00:00 0 7fd3f9aa0000-7fd3f9d03000 ---p 00000000 00:00 0 7fd3f9d03000-7fd3f9f7f000 rw-p 00000000 00:00 0 7fd3f9f7f000-7fd3f9fa3000 rw-p 00000000 00:00 0 7fd3f9fa3000-7fd3fa340000 ---p 00000000 00:00 0 7fd3fa340000-7fd3fa35a000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fd3fa35a000-7fd3fa55a000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fd3fa55a000-7fd3fa55b000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fd3fa55b000-7fd3fa566000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7fd3fa566000-7fd3fa765000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fd3fa765000-7fd3fa766000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7fd3fa766000-7fd3fa767000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fd3fa767000-7fd3fa772000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fd3fa772000-7fd3fa971000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fd3fa971000-7fd3fa972000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fd3fa972000-7fd3fa973000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fd3fa973000-7fd3fa989000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7fd3fa989000-7fd3fab88000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fd3fab88000-7fd3fab89000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7fd3fab89000-7fd3fab8a000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fd3fab8a000-7fd3fab8c000 rw-p 00000000 00:00 0 7fd3fab8c000-7fd3fab93000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fd3fab93000-7fd3fad93000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fd3fad93000-7fd3fad94000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fd3fad94000-7fd3fad95000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fd3fad95000-7fd3fadc0000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fd3fadc0000-7fd3fafbf000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fd3fafbf000-7fd3fafc1000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fd3fafc1000-7fd3fafce000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fd3fafce000-7fd3fb1ce000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fd3fb1ce000-7fd3fb1d0000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fd3fb1d0000-7fd3fb1d7000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7fd3fb1d7000-7fd3fb3d6000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fd3fb3d6000-7fd3fb3d7000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7fd3fb3d7000-7fd3fb3d8000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fd3fb3d8000-7fd3fb3db000 ---p 00000000 00:00 0 7fd3fb3db000-7fd3fb7d9000 rw-p 00000000 00:00 0 7fd3fb7d9000-7fd3fb8ee000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7fd3fb8ee000-7fd3fbaee000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fd3fbaee000-7fd3fbaef000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fd3fbaef000-7fd3fbaf0000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7fd3fbaf0000-7fd3fc7c3000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fd3fc7c3000-7fd3fc9c2000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fd3fc9c2000-7fd3fca9c000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fd3fca9c000-7fd3fcae7000 rw-p 00000000 00:00 0 7fd3fcae7000-7fd3fcc8f000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7fd3fcc8f000-7fd3fce8e000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7fd3fce8e000-7fd3fce92000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7fd3fce92000-7fd3fce94000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7fd3fce94000-7fd3fce98000 rw-p 00000000 00:00 0 7fd3fce98000-7fd3fce9b000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7fd3fce9b000-7fd3fd09a000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fd3fd09a000-7fd3fd09b000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7fd3fd09b000-7fd3fd09c000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fd3fd09c000-7fd3fd0b1000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fd3fd0b1000-7fd3fd2b1000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fd3fd2b1000-7fd3fd2b2000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fd3fd2b2000-7fd3fd2cc000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7fd3fd2cc000-7fd3fd4cc000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fd3fd4cc000-7fd3fd4cd000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fd3fd4cd000-7fd3fd4ce000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7fd3fd4ce000-7fd3fd4d2000 rw-p 00000000 00:00 0 7fd3fd4d2000-7fd3fd4f5000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7fd3fd4f5000-7fd3fd4fb000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7fd3fd4fb000-7fd3fd501000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7fd3fd501000-7fd3fd505000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7fd3fd505000-7fd3fd5ab000 rw-p 00000000 00:00 0 7fd3fd5ab000-7fd3fd5ac000 ---p 00000000 00:00 0 7fd3fd5ac000-7fd3fd6ae000 rw-p 00000000 00:00 0 7fd3fd6ae000-7fd3fd6b0000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7fd3fd6b0000-7fd3fd6b4000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7fd3fd6b4000-7fd3fd6b6000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7fd3fd6b6000-7fd3fd6b9000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7fd3fd6b9000-7fd3fd6bc000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7fd3fd6bc000-7fd3fd6bf000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7fd3fd6bf000-7fd3fd6c3000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7fd3fd6c3000-7fd3fd6c5000 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 7fd3fd6c5000-7fd3fd6c7000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7fd3fd6c7000-7fd3fd6ca000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7fd3fd6ca000-7fd3fd6df000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7fd3fd6df000-7fd3fd6e2000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7fd3fd6e2000-7fd3fd6e7000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7fd3fd6e7000-7fd3fd6e9000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7fd3fd6e9000-7fd3fd6f1000 rw-s 00000000 09:01 1312087 /tmp/hsperfdata_root/12926 7fd3fd6f1000-7fd3fd6f2000 rw-p 00000000 00:00 0 7fd3fd6f2000-7fd3fd6f3000 ---p 00000000 00:00 0 7fd3fd6f3000-7fd3fd6f5000 rw-p 00000000 00:00 0 7fd3fd6f5000-7fd3fd6f6000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7fd3fd6f6000-7fd3fd6f7000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7fd3fd6f7000-7fd3fd6f8000 rw-p 00000000 00:00 0 7ffff3267000-7ffff3289000 rw-p 00000000 00:00 0 [stack] 7ffff32a3000-7ffff32a6000 r--p 00000000 00:00 0 [vvar] 7ffff32a6000-7ffff32a8000 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_589_e2_506.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:10.18 9.93 8.31 /proc/meminfo: MemTotal: 24665244 kB MemFree: 197028 kB MemAvailable: 18324 kB Buffers: 1120 kB Cached: 30348 kB SwapCached: 0 kB Active: 24172100 kB Inactive: 16072 kB Active(anon): 24161716 kB Inactive(anon): 628 kB Active(file): 10384 kB Inactive(file): 15444 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 96 kB Writeback: 220 kB AnonPages: 24168156 kB Mapped: 24936 kB Shmem: 1476 kB Slab: 107608 kB SReclaimable: 48164 kB SUnreclaim: 59444 kB KernelStack: 15848 kB PageTables: 63244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24444660 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 313344 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 : 3511.230 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 : 3553.564 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.55 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.401 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 : 3577.014 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 : 3549.414 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 : 3562.695 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.23 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.10 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: Memory: 4k page, physical 24665244k(197028k 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:06:05 2018 elapsed time: 31 seconds (0d 0h 0m 31s)