java -Xss4m -Xmx4000000000 -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-62c3406-m [2018-06-27 01:07:39,665 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-27 01:07:39,685 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-27 01:07:39,723 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-27 01:07:39,723 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-27 01:07:39,724 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-27 01:07:39,727 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-27 01:07:39,737 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-27 01:07:39,739 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-27 01:07:39,741 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-27 01:07:39,742 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-27 01:07:39,743 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-27 01:07:39,744 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-27 01:07:39,744 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-27 01:07:39,757 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-27 01:07:39,758 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-27 01:07:39,759 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-27 01:07:39,768 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-27 01:07:39,778 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-27 01:07:39,779 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-27 01:07:39,780 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-27 01:07:39,791 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-27 01:07:39,794 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-27 01:07:39,794 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-27 01:07:39,794 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-27 01:07:39,795 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-27 01:07:39,796 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-27 01:07:39,797 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-27 01:07:39,798 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-27 01:07:39,804 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-27 01:07:39,804 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-27 01:07:39,805 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-27 01:07:39,805 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-06-27 01:07:39,806 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-27 01:07:39,806 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-27 01:07:39,807 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-27 01:07:39,807 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf [2018-06-27 01:07:39,845 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-27 01:07:39,855 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-27 01:07:39,855 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-27 01:07:39,856 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-27 01:07:39,863 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-27 01:07:39,864 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-27 01:07:39,864 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-27 01:07:39,864 INFO L133 SettingsManager]: * Use SBE=true [2018-06-27 01:07:39,864 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-27 01:07:39,865 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-27 01:07:39,865 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-27 01:07:39,865 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-27 01:07:39,865 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:07:39,865 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-27 01:07:39,866 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-27 01:07:39,867 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-27 01:07:39,870 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-27 01:07:39,870 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-27 01:07:39,930 INFO ]: Repository-Root is: /tmp [2018-06-27 01:07:39,954 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-27 01:07:39,962 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-27 01:07:39,964 INFO ]: Initializing SmtParser... [2018-06-27 01:07:39,964 INFO ]: SmtParser initialized [2018-06-27 01:07:39,965 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.smt2 [2018-06-27 01:07:39,967 INFO ]: Parsing .smt2 file as a set of Horn Clauses No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 [2018-06-27 01:07:40,078 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.smt2 unknown [2018-06-27 01:07:40,829 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.smt2 [2018-06-27 01:07:40,835 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-27 01:07:40,938 INFO ]: Walking toolchain with 5 elements. [2018-06-27 01:07:40,938 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-27 01:07:40,938 INFO ]: Initializing ChcToBoogie... [2018-06-27 01:07:40,939 INFO ]: ChcToBoogie initialized [2018-06-27 01:07:40,941 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:07:40" (1/1) ... [2018-06-27 01:07:41,036 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41 Unit [2018-06-27 01:07:41,036 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-27 01:07:41,037 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-27 01:07:41,037 INFO ]: Initializing Boogie Preprocessor... [2018-06-27 01:07:41,037 INFO ]: Boogie Preprocessor initialized [2018-06-27 01:07:41,062 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,062 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,083 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,104 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,131 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,133 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,145 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,156 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-27 01:07:41,156 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-27 01:07:41,156 INFO ]: Initializing RCFGBuilder... [2018-06-27 01:07:41,156 INFO ]: RCFGBuilder initialized [2018-06-27 01:07:41,157 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:07:41" (1/1) ... No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2018-06-27 01:07:41,185 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-27 01:07:41,185 INFO ]: Found specification of procedure gotoProc [2018-06-27 01:07:41,185 INFO ]: Found implementation of procedure gotoProc [2018-06-27 01:07:41,185 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-27 01:07:41,185 INFO ]: Found specification of procedure Ultimate.START [2018-06-27 01:07:41,185 INFO ]: Found implementation of procedure Ultimate.START Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:07:41,758 INFO ]: Using library mode [2018-06-27 01:07:41,759 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:07:41 BoogieIcfgContainer [2018-06-27 01:07:41,759 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-27 01:07:41,760 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-27 01:07:41,760 INFO ]: Initializing BlockEncodingV2... [2018-06-27 01:07:41,761 INFO ]: BlockEncodingV2 initialized [2018-06-27 01:07:41,762 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:07:41" (1/1) ... [2018-06-27 01:07:41,790 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-27 01:07:41,792 INFO ]: Using Remove infeasible edges [2018-06-27 01:07:41,793 INFO ]: Using Maximize final states [2018-06-27 01:07:41,793 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-27 01:07:41,793 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-27 01:07:41,799 INFO ]: Using Remove sink states [2018-06-27 01:07:41,802 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-27 01:07:41,802 INFO ]: Using Use SBE [2018-06-27 01:07:41,825 WARN ]: expecting exponential blowup for input size 21 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000075b080000, 360185856, 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 360185856 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid31680.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 360185856 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=31680, tid=0x00007f89a2ef6700 # # 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 (0x00007f89b80fa800): VMThread [stack: 0x00007f89a2df6000,0x00007f89a2ef7000] [id=31688] Stack: [0x00007f89a2df6000,0x00007f89a2ef7000], sp=0x00007f89a2ef5290, 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 (0x00007f89679fc650): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f895c001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f895c004800 JavaThread "Worker-2" daemon [_thread_blocked, id=31771, stack(0x00007f89647ec000,0x00007f8964bed000)] 0x00007f895420c800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=31718, stack(0x00007f8964bed000,0x00007f8964fee000)] 0x00007f8940002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=31717, stack(0x00007f8964fee000,0x00007f89653ef000)] 0x00007f8940001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=31716, stack(0x00007f89653ef000,0x00007f89657f0000)] 0x00007f895420b000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=31715, stack(0x00007f89657f0000,0x00007f8965bf1000)] 0x00007f8954204000 JavaThread "process reaper" daemon [_thread_in_native, id=31714, stack(0x00007f89a0054000,0x00007f89a008d000)] 0x00007f8954078800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=31707, stack(0x00007f8965ff1000,0x00007f89663f2000)] 0x00007f894c004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=31706, stack(0x00007f89663f2000,0x00007f89667f3000)] 0x00007f894c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=31705, stack(0x00007f89667f3000,0x00007f8966bf4000)] 0x00007f8954038000 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=31704, stack(0x00007f8966bf4000,0x00007f8966ff5000)] 0x00007f895404a000 JavaThread "process reaper" daemon [_thread_in_native, id=31703, stack(0x00007f89a0094000,0x00007f89a00cd000)] 0x00007f895c001000 JavaThread "Worker-1" daemon [_thread_blocked, id=31701, stack(0x00007f89675fe000,0x00007f89679ff000)] 0x00007f89b866c800 JavaThread "Worker-0" daemon [_thread_blocked, id=31700, stack(0x00007f8967bff000,0x00007f8968000000)] 0x00007f896c070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=31699, stack(0x00007f89a01c2000,0x00007f89a05c3000)] 0x00007f89b8320800 JavaThread "Start Level: Equinox Container: 00038db7-9579-0018-148a-9745c3ec1ae5" daemon [_thread_blocked, id=31698, stack(0x00007f89a06d4000,0x00007f89a0ad5000)] 0x00007f89b831c000 JavaThread "Framework Event Dispatcher: Equinox Container: 00038db7-9579-0018-148a-9745c3ec1ae5" daemon [_thread_blocked, id=31697, stack(0x00007f89a0ad5000,0x00007f89a0ed6000)] 0x00007f89b82ff000 JavaThread "Active Thread: Equinox Container: 00038db7-9579-0018-148a-9745c3ec1ae5" [_thread_blocked, id=31696, stack(0x00007f89a0ed6000,0x00007f89a12d7000)] 0x00007f89b8141000 JavaThread "Service Thread" daemon [_thread_blocked, id=31694, stack(0x00007f89a1800000,0x00007f89a1c01000)] 0x00007f89b813e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=31693, stack(0x00007f89a1c01000,0x00007f89a1d02000)] 0x00007f89b813b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=31692, stack(0x00007f89a1d02000,0x00007f89a1e03000)] 0x00007f89b813a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=31691, stack(0x00007f89a1e03000,0x00007f89a2204000)] 0x00007f89b8107000 JavaThread "Finalizer" daemon [_thread_blocked, id=31690, stack(0x00007f89a25f4000,0x00007f89a29f5000)] 0x00007f89b8102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=31689, stack(0x00007f89a29f5000,0x00007f89a2df6000)] 0x00007f89b800a000 JavaThread "main" [_thread_blocked, id=31685, stack(0x00007f89bdd01000,0x00007f89be102000)] Other Threads: =>0x00007f89b80fa800 VMThread [stack: 0x00007f89a2df6000,0x00007f89a2ef7000] [id=31688] 0x00007f89b8143800 WatcherThread [stack: 0x00007f89a16ff000,0x00007f89a1800000] [id=31695] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f89b8005b20] ExpandHeap_lock - owner thread: 0x00007f89b80fa800 [0x00007f89b80061a0] Threads_lock - owner thread: 0x00007f89b80fa800 [0x00007f89b80066a0] Heap_lock - owner thread: 0x00007f895c001000 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 2253312K, used 1776134K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 78% used [0x00000006d1800000,0x000000073de818a0,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f89bc134000,0x00007f89bc8a9000] byte_map_base: 0x00007f89b8aa8000 Marking Bits: (ParMarkBitMap*) 0x00007f89bf3e2dc0 Begin Bits: [0x00007f89948c0000, 0x00007f8998460000) End Bits: [0x00007f8998460000, 0x00007f899c000000) Polling page: 0x00007f89c001b000 CodeCache: size=245760Kb used=9257Kb max_used=9725Kb free=236502Kb bounds [0x00007f89a9000000, 0x00007f89a9990000, 0x00007f89b8000000] total_blobs=2926 nmethods=2477 adapters=362 compilation: enabled Compilation events (10 events): Event: 8.187 Thread 0x00007f89b813b800 2683 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 8.188 Thread 0x00007f89b813b800 nmethod 2683 0x00007f89a91a4490 code [0x00007f89a91a4600, 0x00007f89a91a4738] Event: 8.188 Thread 0x00007f89b813b800 2684 4 java.util.ArrayDeque::pop (5 bytes) Event: 8.189 Thread 0x00007f89b813b800 nmethod 2684 0x00007f89a9150810 code [0x00007f89a9150960, 0x00007f89a9150a38] Event: 10.307 Thread 0x00007f89b813e800 2686 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 10.311 Thread 0x00007f89b813e800 nmethod 2686% 0x00007f89a91c4d90 code [0x00007f89a91c53c0, 0x00007f89a91c98e8] Event: 10.325 Thread 0x00007f89b813e800 2687 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (381 bytes) Event: 10.330 Thread 0x00007f89b813e800 nmethod 2687 0x00007f89a9270550 code [0x00007f89a9270c00, 0x00007f89a9275798] Event: 11.218 Thread 0x00007f89b813b800 2688 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 11.255 Thread 0x00007f89b813b800 nmethod 2688% 0x00007f89a93f7a50 code [0x00007f89a93f7cc0, 0x00007f89a93f8e98] GC Heap History (10 events): Event: 38.684 GC heap after Heap after GC invocations=24 (full 6): PSYoungGen total 835584K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 401408K, 0% used [0x00000007a7800000,0x00000007a7800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26647K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 39.114 GC heap before {Heap before GC invocations=25 (full 6): PSYoungGen total 835584K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 401408K, 0% used [0x00000007a7800000,0x00000007a7800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 39.443 GC heap after Heap after GC invocations=25 (full 6): PSYoungGen total 868352K, used 194208K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 44% used [0x000000078b000000,0x0000000796da8000,0x00000007a5800000) to space 432640K, 0% used [0x00000007a5980000,0x00000007a5980000,0x00000007c0000000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 39.751 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 868352K, used 628384K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 44% used [0x000000078b000000,0x0000000796da8000,0x00000007a5800000) to space 432640K, 0% used [0x00000007a5980000,0x00000007a5980000,0x00000007c0000000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 40.231 GC heap after Heap after GC invocations=26 (full 6): PSYoungGen total 866816K, used 388416K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 432640K, 89% used [0x00000007a5980000,0x00000007bd4d0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 40.524 GC heap before {Heap before GC invocations=27 (full 6): PSYoungGen total 866816K, used 822592K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 432640K, 89% used [0x00000007a5980000,0x00000007bd4d0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1391135K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 61% used [0x00000006d1800000,0x0000000726687ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 41.255 GC heap after Heap after GC invocations=27 (full 6): PSYoungGen total 868352K, used 196544K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 45% used [0x000000078b000000,0x0000000796ff0010,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2253312K, used 1779535K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 78% used [0x00000006d1800000,0x000000073e1d3ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 41.550 GC heap before {Heap before GC invocations=28 (full 6): PSYoungGen total 868352K, used 630720K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 45% used [0x000000078b000000,0x0000000796ff0010,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2253312K, used 1779535K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 78% used [0x00000006d1800000,0x000000073e1d3ce8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 42.057 GC heap after Heap after GC invocations=28 (full 6): PSYoungGen total 868352K, used 195712K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 45% used [0x00000007a5800000,0x00000007b1720000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1976055K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 87% used [0x00000006d1800000,0x000000074a1bdcf8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 42.057 GC heap before {Heap before GC invocations=29 (full 7): PSYoungGen total 868352K, used 195712K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 45% used [0x00000007a5800000,0x00000007b1720000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2253312K, used 1976055K [0x00000006d1800000, 0x000000075b080000, 0x0000000770800000) object space 2253312K, 87% used [0x00000006d1800000,0x000000074a1bdcf8,0x000000075b080000) Metaspace used 26648K, capacity 29256K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 5.941 Thread 0x00007f895c001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f89a94c6c78 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 5.942 Thread 0x00007f895c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f89a94f344c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 5.942 Thread 0x00007f895c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f89a94f344c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 5.942 Thread 0x00007f895c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f89a94f344c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 5.950 Thread 0x00007f8954078800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f89a95231ac method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 6.777 Thread 0x00007f895c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f89a9753f3c method=de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Lexer.next_token()Lcom/github/jhoenicke/javacup/runtime/Symbol; @ 513 Event: 7.124 Thread 0x00007f895c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f89a97e9740 method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 7.124 Thread 0x00007f895c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f89a974df3c method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 7.131 Thread 0x00007f895c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f89a97521b0 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Event: 38.684 Thread 0x00007f89b82ff000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f89a957d0d0 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 5.818 Thread 0x00007f89b800a000 Exception (0x00000007714c3ea8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 5.818 Thread 0x00007f89b800a000 Exception (0x00000007714c7678) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 5.819 Thread 0x00007f89b800a000 Exception (0x00000007714e8798) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 5.825 Thread 0x00007f89b800a000 Exception (0x00000007714f5120) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 5.827 Thread 0x00007f89b800a000 Exception (0x00000007714fafd0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 5.832 Thread 0x00007f89b800a000 Exception (0x0000000771509ac8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 5.833 Thread 0x00007f89b800a000 Exception (0x000000077150c830) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 5.834 Thread 0x00007f89b800a000 Exception (0x0000000771514328) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 6.241 Thread 0x00007f895c001000 Exception (0x0000000771fa7080) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 6.782 Thread 0x00007f895c001000 Exception (0x0000000773369838) thrown at [/HUDSO Events (10 events): Event: 38.684 Thread 0x00007f89b82ff000 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f89a957d0d0 Event: 38.684 Thread 0x00007f89b82ff000 DEOPT PACKING pc=0x00007f89a957d0d0 sp=0x00007f89a12d53f0 Event: 38.684 Thread 0x00007f89b82ff000 DEOPT UNPACKING pc=0x00007f89a9005229 sp=0x00007f89a12d5398 mode 2 Event: 39.114 Executing VM operation: ParallelGCFailedAllocation Event: 39.443 Executing VM operation: ParallelGCFailedAllocation done Event: 39.751 Executing VM operation: ParallelGCFailedAllocation Event: 40.231 Executing VM operation: ParallelGCFailedAllocation done Event: 40.524 Executing VM operation: ParallelGCFailedAllocation Event: 41.255 Executing VM operation: ParallelGCFailedAllocation done Event: 41.550 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 011f3000-01214000 rw-p 00000000 00:00 0 [heap] 6d1800000-75b080000 rw-p 00000000 00:00 0 770800000-7c0000000 rw-p 00000000 00:00 0 7c0000000-7c03c0000 rw-p 00000000 00:00 0 7c03c0000-800000000 ---p 00000000 00:00 0 7f892c000000-7f892c021000 rw-p 00000000 00:00 0 7f892c021000-7f8930000000 ---p 00000000 00:00 0 7f8930000000-7f8930021000 rw-p 00000000 00:00 0 7f8930021000-7f8934000000 ---p 00000000 00:00 0 7f8934000000-7f8934021000 rw-p 00000000 00:00 0 7f8934021000-7f8938000000 ---p 00000000 00:00 0 7f8938000000-7f8938021000 rw-p 00000000 00:00 0 7f8938021000-7f893c000000 ---p 00000000 00:00 0 7f893c000000-7f893c021000 rw-p 00000000 00:00 0 7f893c021000-7f8940000000 ---p 00000000 00:00 0 7f8940000000-7f8940021000 rw-p 00000000 00:00 0 7f8940021000-7f8944000000 ---p 00000000 00:00 0 7f8944000000-7f8944021000 rw-p 00000000 00:00 0 7f8944021000-7f8948000000 ---p 00000000 00:00 0 7f8948000000-7f8948021000 rw-p 00000000 00:00 0 7f8948021000-7f894c000000 ---p 00000000 00:00 0 7f894c000000-7f894c021000 rw-p 00000000 00:00 0 7f894c021000-7f8950000000 ---p 00000000 00:00 0 7f8950000000-7f8950021000 rw-p 00000000 00:00 0 7f8950021000-7f8954000000 ---p 00000000 00:00 0 7f8954000000-7f89542a5000 rw-p 00000000 00:00 0 7f89542a5000-7f8958000000 ---p 00000000 00:00 0 7f8958000000-7f8958021000 rw-p 00000000 00:00 0 7f8958021000-7f895c000000 ---p 00000000 00:00 0 7f895c000000-7f895c021000 rw-p 00000000 00:00 0 7f895c021000-7f8960000000 ---p 00000000 00:00 0 7f8960000000-7f8960021000 rw-p 00000000 00:00 0 7f8960021000-7f8964000000 ---p 00000000 00:00 0 7f89647ec000-7f89647ef000 ---p 00000000 00:00 0 7f89647ef000-7f8964bed000 rw-p 00000000 00:00 0 7f8964bed000-7f8964bf0000 ---p 00000000 00:00 0 7f8964bf0000-7f8964fee000 rw-p 00000000 00:00 0 7f8964fee000-7f8964ff1000 ---p 00000000 00:00 0 7f8964ff1000-7f89653ef000 rw-p 00000000 00:00 0 7f89653ef000-7f89653f2000 ---p 00000000 00:00 0 7f89653f2000-7f89657f0000 rw-p 00000000 00:00 0 7f89657f0000-7f89657f3000 ---p 00000000 00:00 0 7f89657f3000-7f8965cf1000 rw-p 00000000 00:00 0 7f8965cf1000-7f8965df1000 ---p 00000000 00:00 0 7f8965df1000-7f8965ff1000 rw-p 00000000 00:00 0 7f8965ff1000-7f8965ff4000 ---p 00000000 00:00 0 7f8965ff4000-7f89663f2000 rw-p 00000000 00:00 0 7f89663f2000-7f89663f5000 ---p 00000000 00:00 0 7f89663f5000-7f89667f3000 rw-p 00000000 00:00 0 7f89667f3000-7f89667f6000 ---p 00000000 00:00 0 7f89667f6000-7f8966bf4000 rw-p 00000000 00:00 0 7f8966bf4000-7f8966bf7000 ---p 00000000 00:00 0 7f8966bf7000-7f8966ff5000 rw-p 00000000 00:00 0 7f8966ff5000-7f8966ffe000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f8966ffe000-7f89671fd000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f89671fd000-7f89671fe000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f89671fe000-7f89673fe000 rw-p 00000000 00:00 0 7f89673fe000-7f89675fe000 rw-p 00000000 00:00 0 7f89675fe000-7f8967601000 ---p 00000000 00:00 0 7f8967601000-7f8967bff000 rw-p 00000000 00:00 0 7f8967bff000-7f8967c02000 ---p 00000000 00:00 0 7f8967c02000-7f8968000000 rw-p 00000000 00:00 0 7f8968000000-7f8968021000 rw-p 00000000 00:00 0 7f8968021000-7f896c000000 ---p 00000000 00:00 0 7f896c000000-7f896c0ec000 rw-p 00000000 00:00 0 7f896c0ec000-7f8970000000 ---p 00000000 00:00 0 7f8970000000-7f8970021000 rw-p 00000000 00:00 0 7f8970021000-7f8974000000 ---p 00000000 00:00 0 7f8974000000-7f8974021000 rw-p 00000000 00:00 0 7f8974021000-7f8978000000 ---p 00000000 00:00 0 7f8978000000-7f8978a2a000 rw-p 00000000 00:00 0 7f8978a2a000-7f897c000000 ---p 00000000 00:00 0 7f897c000000-7f897c021000 rw-p 00000000 00:00 0 7f897c021000-7f8980000000 ---p 00000000 00:00 0 7f8980000000-7f8980021000 rw-p 00000000 00:00 0 7f8980021000-7f8984000000 ---p 00000000 00:00 0 7f8984000000-7f8984ced000 rw-p 00000000 00:00 0 7f8984ced000-7f8988000000 ---p 00000000 00:00 0 7f8988000000-7f8988021000 rw-p 00000000 00:00 0 7f8988021000-7f898c000000 ---p 00000000 00:00 0 7f898c000000-7f898c021000 rw-p 00000000 00:00 0 7f898c021000-7f8990000000 ---p 00000000 00:00 0 7f8990000000-7f89902ff000 rw-p 00000000 00:00 0 7f89902ff000-7f8994000000 ---p 00000000 00:00 0 7f89940c0000-7f89942c0000 rw-p 00000000 00:00 0 7f89942c0000-7f89944c0000 rw-p 00000000 00:00 0 7f89944c0000-7f89946c0000 rw-p 00000000 00:00 0 7f89946c0000-7f899c000000 rw-p 00000000 00:00 0 7f899c000000-7f899c07e000 rw-p 00000000 00:00 0 7f899c07e000-7f89a0000000 ---p 00000000 00:00 0 7f89a0054000-7f89a0057000 ---p 00000000 00:00 0 7f89a0057000-7f89a008d000 rw-p 00000000 00:00 0 7f89a008d000-7f89a0092000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f89a0092000-7f89a0094000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f89a0094000-7f89a0097000 ---p 00000000 00:00 0 7f89a0097000-7f89a00cd000 rw-p 00000000 00:00 0 7f89a00cd000-7f89a00cf000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f89a00cf000-7f89a0110000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f89a0110000-7f89a0171000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f89a0171000-7f89a01c2000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f89a01c2000-7f89a01c5000 ---p 00000000 00:00 0 7f89a01c5000-7f89a05c3000 rw-p 00000000 00:00 0 7f89a05c3000-7f89a05d3000 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 7f89a05d3000-7f89a06d2000 ---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 7f89a06d2000-7f89a06d4000 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 7f89a06d4000-7f89a06d7000 ---p 00000000 00:00 0 7f89a06d7000-7f89a0ad5000 rw-p 00000000 00:00 0 7f89a0ad5000-7f89a0ad8000 ---p 00000000 00:00 0 7f89a0ad8000-7f89a0ed6000 rw-p 00000000 00:00 0 7f89a0ed6000-7f89a0ed9000 ---p 00000000 00:00 0 7f89a0ed9000-7f89a12d7000 rw-p 00000000 00:00 0 7f89a12d7000-7f89a12e8000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f89a12e8000-7f89a14e7000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f89a14e7000-7f89a14e8000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f89a14e8000-7f89a14fe000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f89a14fe000-7f89a16fe000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f89a16fe000-7f89a16ff000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f89a16ff000-7f89a1700000 ---p 00000000 00:00 0 7f89a1700000-7f89a1800000 rw-p 00000000 00:00 0 7f89a1800000-7f89a1803000 ---p 00000000 00:00 0 7f89a1803000-7f89a1c01000 rw-p 00000000 00:00 0 7f89a1c01000-7f89a1c04000 ---p 00000000 00:00 0 7f89a1c04000-7f89a1d02000 rw-p 00000000 00:00 0 7f89a1d02000-7f89a1d05000 ---p 00000000 00:00 0 7f89a1d05000-7f89a1e03000 rw-p 00000000 00:00 0 7f89a1e03000-7f89a1e06000 ---p 00000000 00:00 0 7f89a1e06000-7f89a2204000 rw-p 00000000 00:00 0 7f89a2204000-7f89a25f4000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f89a25f4000-7f89a25f7000 ---p 00000000 00:00 0 7f89a25f7000-7f89a29f5000 rw-p 00000000 00:00 0 7f89a29f5000-7f89a29f8000 ---p 00000000 00:00 0 7f89a29f8000-7f89a2df6000 rw-p 00000000 00:00 0 7f89a2df6000-7f89a2df7000 ---p 00000000 00:00 0 7f89a2df7000-7f89a4000000 rw-p 00000000 00:00 0 7f89a4000000-7f89a405b000 rw-p 00000000 00:00 0 7f89a405b000-7f89a8000000 ---p 00000000 00:00 0 7f89a8000000-7f89a8013000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f89a8013000-7f89a8015000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f89a8015000-7f89a8021000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f89a8021000-7f89a8026000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f89a8026000-7f89a8028000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f89a8028000-7f89a8029000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7f89a8029000-7f89a802c000 r--s 0001f000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar 7f89a802c000-7f89a802f000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f89a802f000-7f89a8034000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f89a8034000-7f89a8038000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f89a8038000-7f89a8042000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f89a8042000-7f89a8044000 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 7f89a8044000-7f89a8046000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f89a8046000-7f89a8048000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f89a8048000-7f89a804a000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f89a804a000-7f89a804c000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f89a804c000-7f89a804e000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f89a804e000-7f89a8050000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f89a8050000-7f89a8051000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f89a8051000-7f89a8053000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f89a8053000-7f89a8059000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f89a8059000-7f89a805b000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f89a805b000-7f89a805e000 r--s 00010000 09:02 30015888 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar 7f89a805e000-7f89a8060000 r--s 00006000 09:02 30015887 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar 7f89a8060000-7f89a8062000 r--s 00009000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar 7f89a8062000-7f89a808a000 r--s 00241000 09:02 30019484 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/nestedword/operations/optncsb/trove-3.0.3.jar 7f89a808a000-7f89a809a000 r--s 001c1000 09:02 30019479 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/julian/petruchio/petruchio.jar 7f89a809a000-7f89a80c2000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f89a80c2000-7f89a80c5000 r--s 00018000 09:02 30015885 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar 7f89a80c5000-7f89a80c6000 r--s 00005000 09:02 30015884 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar 7f89a80c6000-7f89a80c9000 r--s 00014000 09:02 30015883 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar 7f89a80c9000-7f89a80d2000 r--s 00089000 09:02 30015882 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar 7f89a80d2000-7f89a80e3000 r--s 000f0000 09:02 30015886 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar 7f89a80e3000-7f89a80e6000 r--s 00021000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar 7f89a80e6000-7f89a80e8000 r--s 0000d000 09:02 30015881 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar 7f89a80e8000-7f89a80ea000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f89a80ea000-7f89a80ec000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f89a80ec000-7f89a80ee000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f89a80ee000-7f89a80f1000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f89a80f1000-7f89a80f3000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f89a80f3000-7f89a80f5000 r--s 00002000 09:02 30015880 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar 7f89a80f5000-7f89a8144000 rw-p 00000000 00:00 0 7f89a8144000-7f89a831e000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f89a831e000-7f89a8f55000 rw-p 00000000 00:00 0 7f89a8f55000-7f89a9000000 ---p 00000000 00:00 0 7f89a9000000-7f89a9990000 rwxp 00000000 00:00 0 7f89a9990000-7f89b8000000 ---p 00000000 00:00 0 7f89b8000000-7f89b8a34000 rw-p 00000000 00:00 0 7f89b8a34000-7f89bc000000 ---p 00000000 00:00 0 7f89bc000000-7f89bc003000 r--s 00012000 09:02 30015837 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar 7f89bc003000-7f89bc007000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f89bc007000-7f89bc009000 r--s 00007000 09:02 30015854 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar 7f89bc009000-7f89bc019000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f89bc019000-7f89bc025000 r--s 0009b000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar 7f89bc025000-7f89bc027000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f89bc027000-7f89bc029000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f89bc029000-7f89bc02b000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f89bc02b000-7f89bc033000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f89bc033000-7f89bc034000 ---p 00000000 00:00 0 7f89bc034000-7f89bc581000 rw-p 00000000 00:00 0 7f89bc581000-7f89bc62c000 ---p 00000000 00:00 0 7f89bc62c000-7f89bc8a8000 rw-p 00000000 00:00 0 7f89bc8a8000-7f89bc8d0000 rw-p 00000000 00:00 0 7f89bc8d0000-7f89bcc69000 ---p 00000000 00:00 0 7f89bcc69000-7f89bcc83000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f89bcc83000-7f89bce83000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f89bce83000-7f89bce84000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f89bce84000-7f89bce8f000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f89bce8f000-7f89bd08e000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f89bd08e000-7f89bd08f000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f89bd08f000-7f89bd090000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f89bd090000-7f89bd09b000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f89bd09b000-7f89bd29a000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f89bd29a000-7f89bd29b000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f89bd29b000-7f89bd29c000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f89bd29c000-7f89bd2b2000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f89bd2b2000-7f89bd4b1000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f89bd4b1000-7f89bd4b2000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f89bd4b2000-7f89bd4b3000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f89bd4b3000-7f89bd4b5000 rw-p 00000000 00:00 0 7f89bd4b5000-7f89bd4bc000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f89bd4bc000-7f89bd6bc000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f89bd6bc000-7f89bd6bd000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f89bd6bd000-7f89bd6be000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f89bd6be000-7f89bd6e9000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f89bd6e9000-7f89bd8e8000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f89bd8e8000-7f89bd8ea000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f89bd8ea000-7f89bd8f7000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f89bd8f7000-7f89bdaf7000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f89bdaf7000-7f89bdaf9000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f89bdaf9000-7f89bdb00000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f89bdb00000-7f89bdcff000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f89bdcff000-7f89bdd00000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f89bdd00000-7f89bdd01000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f89bdd01000-7f89bdd04000 ---p 00000000 00:00 0 7f89bdd04000-7f89be102000 rw-p 00000000 00:00 0 7f89be102000-7f89be217000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f89be217000-7f89be417000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f89be417000-7f89be418000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f89be418000-7f89be419000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f89be419000-7f89bf0ec000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f89bf0ec000-7f89bf2eb000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f89bf2eb000-7f89bf3c5000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f89bf3c5000-7f89bf410000 rw-p 00000000 00:00 0 7f89bf410000-7f89bf5b8000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f89bf5b8000-7f89bf7b7000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f89bf7b7000-7f89bf7bb000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f89bf7bb000-7f89bf7bd000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f89bf7bd000-7f89bf7c1000 rw-p 00000000 00:00 0 7f89bf7c1000-7f89bf7c4000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f89bf7c4000-7f89bf9c3000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f89bf9c3000-7f89bf9c4000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f89bf9c4000-7f89bf9c5000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f89bf9c5000-7f89bf9da000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f89bf9da000-7f89bfbda000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f89bfbda000-7f89bfbdb000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f89bfbdb000-7f89bfbf5000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f89bfbf5000-7f89bfdf5000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f89bfdf5000-7f89bfdf6000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f89bfdf6000-7f89bfdf7000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f89bfdf7000-7f89bfdfb000 rw-p 00000000 00:00 0 7f89bfdfb000-7f89bfe1e000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f89bfe1e000-7f89bfe24000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f89bfe24000-7f89bfe2a000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f89bfe2a000-7f89bfe2e000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f89bfe2e000-7f89bfed4000 rw-p 00000000 00:00 0 7f89bfed4000-7f89bfed5000 ---p 00000000 00:00 0 7f89bfed5000-7f89bffd7000 rw-p 00000000 00:00 0 7f89bffd7000-7f89bffd9000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f89bffd9000-7f89bffdd000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f89bffdd000-7f89bffdf000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f89bffdf000-7f89bffe2000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f89bffe2000-7f89bffe5000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f89bffe5000-7f89bffe8000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f89bffe8000-7f89bffec000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f89bffec000-7f89bffee000 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 7f89bffee000-7f89bfff0000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f89bfff0000-7f89bfff3000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f89bfff3000-7f89c0008000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f89c0008000-7f89c000b000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f89c000b000-7f89c0010000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f89c0010000-7f89c0012000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f89c0012000-7f89c001a000 rw-s 00000000 09:01 1317713 /tmp/hsperfdata_root/31680 7f89c001a000-7f89c001b000 rw-p 00000000 00:00 0 7f89c001b000-7f89c001c000 ---p 00000000 00:00 0 7f89c001c000-7f89c001e000 rw-p 00000000 00:00 0 7f89c001e000-7f89c001f000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f89c001f000-7f89c0020000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f89c0020000-7f89c0021000 rw-p 00000000 00:00 0 7ffe49882000-7ffe498a4000 rw-p 00000000 00:00 0 [stack] 7ffe49951000-7ffe49954000 r--p 00000000 00:00 0 [vvar] 7ffe49954000-7ffe49956000 r-xp 00000000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] VM Arguments: jvm_args: -Xss4m -Xmx4000000000 java_command: ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.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:8.08 6.85 5.39 /proc/meminfo: MemTotal: 24665244 kB MemFree: 261380 kB MemAvailable: 160596 kB Buffers: 39876 kB Cached: 148512 kB SwapCached: 0 kB Active: 24047260 kB Inactive: 83400 kB Active(anon): 23946856 kB Inactive(anon): 628 kB Active(file): 100404 kB Inactive(file): 82772 kB Unevictable: 11100 kB Mlocked: 11100 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 408 kB Writeback: 0 kB AnonPages: 23953576 kB Mapped: 63616 kB Shmem: 1476 kB Slab: 105836 kB SReclaimable: 46660 kB SUnreclaim: 59176 kB KernelStack: 15472 kB PageTables: 62996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24106184 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: 3401168 kB DirectMap2M: 21721088 kB CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3500.024 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 : 3529.492 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 : 3530.114 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 : 3549.414 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 : 3500.024 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 : 3534.057 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 : 3530.114 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 : 3529.492 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(261380k free), swap 0k(0k free) vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8) time: Wed Jun 27 01:08:24 2018 elapsed time: 50 seconds (0d 0h 0m 50s)