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_e3_349.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:06:28,800 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:06:28,808 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:06:28,830 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:06:28,831 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:06:28,833 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:06:28,835 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:06:28,841 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:06:28,844 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:06:28,849 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:06:28,850 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:06:28,851 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:06:28,852 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:06:28,859 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:06:28,860 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:06:28,872 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:06:28,875 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:06:28,878 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:06:28,880 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:06:28,889 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:06:28,890 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:06:28,893 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:06:28,893 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:06:28,894 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:06:28,895 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:06:28,899 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:06:28,900 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:06:28,901 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:06:28,906 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:06:28,906 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:06:28,907 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:06:28,908 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:06:28,909 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:06:28,910 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:06:28,910 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:06:28,913 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf [2018-06-25 02:06:28,941 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:06:28,942 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:06:28,942 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:06:28,942 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:06:28,943 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:06:28,944 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:06:28,944 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:06:28,944 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:06:28,944 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:06:28,945 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:06:28,945 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:06:28,945 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:06:28,945 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:06:28,946 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:06:28,946 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:06:28,946 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:06:28,946 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:06:28,947 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:06:28,947 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:06:28,947 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:06:28,947 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:06:28,949 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:06:28,949 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:06:29,026 INFO ]: Repository-Root is: /tmp [2018-06-25 02:06:29,097 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:06:29,262 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:06:29,264 INFO ]: Initializing SmtParser... [2018-06-25 02:06:29,265 INFO ]: SmtParser initialized [2018-06-25 02:06:29,266 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349.smt2 [2018-06-25 02:06:29,278 INFO ]: Parsing .smt2 file as a set of Horn Clauses No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 [2018-06-25 02:06:29,971 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349.smt2 unknown [2018-06-25 02:06:33,543 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349.smt2 [2018-06-25 02:06:33,612 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:06:33,620 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:06:33,620 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:06:33,620 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:06:33,621 INFO ]: ChcToBoogie initialized [2018-06-25 02:06:33,672 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,958 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33 Unit [2018-06-25 02:06:33,958 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:06:33,960 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:06:33,960 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:06:33,960 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:06:33,981 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,981 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,988 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,988 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,994 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,995 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:33,997 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... [2018-06-25 02:06:34,000 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:06:34,000 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:06:34,000 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:06:34,000 INFO ]: RCFGBuilder initialized [2018-06-25 02:06:34,001 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:06:33" (1/1) ... No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:06:34,021 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:06:34,021 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:06:34,021 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:06:34,021 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:06:34,021 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:06:34,021 INFO ]: Found implementation of procedure Ultimate.START [2018-06-25 02:06:34,835 INFO ]: Using library mode [2018-06-25 02:06:34,836 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:06:34 BoogieIcfgContainer [2018-06-25 02:06:34,836 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:06:34,836 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:06:34,837 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:06:34,838 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:06:34,839 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:06:34" (1/1) ... [2018-06-25 02:06:34,865 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:06:34,866 INFO ]: Using Remove infeasible edges [2018-06-25 02:06:34,867 INFO ]: Using Maximize final states [2018-06-25 02:06:34,867 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:06:34,868 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:06:34,869 INFO ]: Using Remove sink states [2018-06-25 02:06:34,872 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:06:34,872 INFO ]: Using Use SBE [2018-06-25 02:06:34,881 WARN ]: expecting exponential blowup for input size 23 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000072b680000, 471334912, 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 471334912 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid3795.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 471334912 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=3795, tid=0x00007fe98569c700 # # 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 (0x00007fe9980fa800): VMThread [stack: 0x00007fe98559c000,0x00007fe98569d000] [id=5624] Stack: [0x00007fe98559c000,0x00007fe98569d000], sp=0x00007fe98569b310, 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 (0x00007fe97dbe57a0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007fe940001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007fe934161800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=10981, stack(0x00007fe922ffc000,0x00007fe9233fd000)] 0x00007fe910002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=10980, stack(0x00007fe9233fd000,0x00007fe9237fe000)] 0x00007fe910001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=10979, stack(0x00007fe9237fe000,0x00007fe923bff000)] 0x00007fe934160000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=10978, stack(0x00007fe923bff000,0x00007fe924000000)] 0x00007fe93415b000 JavaThread "process reaper" daemon [_thread_in_native, id=10977, stack(0x00007fe97c0f1000,0x00007fe97c12a000)] 0x00007fe94000a000 JavaThread "Worker-2" daemon [_thread_blocked, id=10970, stack(0x00007fe9700be000,0x00007fe9704bf000)] 0x00007fe93403e800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=10966, stack(0x00007fe9704bf000,0x00007fe9708c0000)] 0x00007fe92c003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=10965, stack(0x00007fe97c331000,0x00007fe97c732000)] 0x00007fe92c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=10964, stack(0x00007fe97c732000,0x00007fe97cb33000)] 0x00007fe934032800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=10962, stack(0x00007fe97cb33000,0x00007fe97cf34000)] 0x00007fe93403a800 JavaThread "process reaper" daemon [_thread_in_native, id=10960, stack(0x00007fe97cf34000,0x00007fe97cf6d000)] 0x00007fe940001000 JavaThread "Worker-1" daemon [_thread_blocked, id=10924, stack(0x00007fe97d7e7000,0x00007fe97dbe8000)] 0x00007fe998660800 JavaThread "Worker-0" daemon [_thread_blocked, id=10451, stack(0x00007fe97de55000,0x00007fe97e256000)] 0x00007fe948098800 JavaThread "Worker-JM" daemon [_thread_blocked, id=9251, stack(0x00007fe97e8d9000,0x00007fe97ecda000)] 0x00007fe998272000 JavaThread "Start Level: Equinox Container: a0dd1694-0b78-0018-1ca0-c68a2bf50baf" daemon [_thread_blocked, id=8789, stack(0x00007fe97edeb000,0x00007fe97f1ec000)] 0x00007fe99826d000 JavaThread "Framework Event Dispatcher: Equinox Container: a0dd1694-0b78-0018-1ca0-c68a2bf50baf" daemon [_thread_blocked, id=8787, stack(0x00007fe97f1ec000,0x00007fe97f5ed000)] 0x00007fe998142000 JavaThread "Active Thread: Equinox Container: a0dd1694-0b78-0018-1ca0-c68a2bf50baf" [_thread_blocked, id=8779, stack(0x00007fe97f5ed000,0x00007fe97f9ee000)] 0x00007fe99814b800 JavaThread "Service Thread" daemon [_thread_blocked, id=5658, stack(0x00007fe97fbff000,0x00007fe980000000)] 0x00007fe99813e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=5657, stack(0x00007fe9843a7000,0x00007fe9844a8000)] 0x00007fe99813b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=5656, stack(0x00007fe9844a8000,0x00007fe9845a9000)] 0x00007fe99813a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=5655, stack(0x00007fe9845a9000,0x00007fe9849aa000)] 0x00007fe998107000 JavaThread "Finalizer" daemon [_thread_blocked, id=5628, stack(0x00007fe984d9a000,0x00007fe98519b000)] 0x00007fe998102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=5625, stack(0x00007fe98519b000,0x00007fe98559c000)] 0x00007fe99800a000 JavaThread "main" [_thread_blocked, id=5058, stack(0x00007fe99c3ae000,0x00007fe99c7af000)] Other Threads: =>0x00007fe9980fa800 VMThread [stack: 0x00007fe98559c000,0x00007fe98569d000] [id=5624] 0x00007fe99814e000 WatcherThread [stack: 0x00007fe9842a6000,0x00007fe9843a7000] [id=5659] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007fe998005b00] ExpandHeap_lock - owner thread: 0x00007fe9980fa800 [0x00007fe998006180] Threads_lock - owner thread: 0x00007fe9980fa800 [0x00007fe998006680] Heap_lock - owner thread: 0x00007fe940001000 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 1473024K, used 1240248K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 84% used [0x00000006d1800000,0x000000071d32e2b8,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007fe98763b000,0x00007fe987db0000] byte_map_base: 0x00007fe983faf000 Marking Bits: (ParMarkBitMap*) 0x00007fe99da8fdc0 Begin Bits: [0x00007fe9708c0000, 0x00007fe974460000) End Bits: [0x00007fe974460000, 0x00007fe978000000) Polling page: 0x00007fe99e6c8000 CodeCache: size=245760Kb used=9237Kb max_used=9250Kb free=236522Kb bounds [0x00007fe988170000, 0x00007fe988a90000, 0x00007fe997170000] total_blobs=2784 nmethods=2335 adapters=362 compilation: enabled Compilation events (10 events): Event: 25.551 Thread 0x00007fe99813b800 2584 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes) Event: 25.552 Thread 0x00007fe99813b800 nmethod 2584 0x00007fe988761c50 code [0x00007fe988761da0, 0x00007fe988761e58] Event: 25.560 Thread 0x00007fe99813b800 2585 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ToolchainStorage::getProgressMonitorService (5 bytes) Event: 25.578 Thread 0x00007fe99813b800 nmethod 2585 0x00007fe988762790 code [0x00007fe988762940, 0x00007fe988763178] Event: 26.875 Thread 0x00007fe99813e800 2586 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 26.882 Thread 0x00007fe99813e800 nmethod 2586% 0x00007fe988a68490 code [0x00007fe988a68f80, 0x00007fe988a713f8] Event: 26.885 Thread 0x00007fe99813e800 2587 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 26.892 Thread 0x00007fe99813e800 nmethod 2587 0x00007fe988a76950 code [0x00007fe988a774a0, 0x00007fe988a800c8] Event: 27.258 Thread 0x00007fe99813b800 2588 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 27.269 Thread 0x00007fe99813b800 nmethod 2588% 0x00007fe988a60ad0 code [0x00007fe988a60ce0, 0x00007fe988a614c8] GC Heap History (10 events): Event: 46.093 GC heap after Heap after GC invocations=20 (full 6): PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1473024K, used 898367K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 60% used [0x00000006d1800000,0x000000070854fec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 46.492 GC heap before {Heap before GC invocations=21 (full 6): PSYoungGen total 868352K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1473024K, used 898367K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 60% used [0x00000006d1800000,0x000000070854fec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 46.738 GC heap after Heap after GC invocations=21 (full 6): PSYoungGen total 868352K, used 172032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 39% used [0x000000078b000000,0x0000000795800000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1473024K, used 898367K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 60% used [0x00000006d1800000,0x000000070854fec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 47.166 GC heap before {Heap before GC invocations=22 (full 6): 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 1473024K, used 898367K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 60% used [0x00000006d1800000,0x000000070854fec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 47.673 GC heap after Heap after GC invocations=22 (full 6): PSYoungGen total 861184K, used 172000K [0x0000000770800000, 0x00000007bf900000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 427008K, 40% used [0x00000007a5800000,0x00000007afff8000,0x00000007bf900000) to space 430592K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5480000) ParOldGen total 1473024K, used 1071183K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 72% used [0x00000006d1800000,0x0000000712e13ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 48.158 GC heap before {Heap before GC invocations=23 (full 6): PSYoungGen total 861184K, used 606176K [0x0000000770800000, 0x00000007bf900000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 427008K, 40% used [0x00000007a5800000,0x00000007afff8000,0x00000007bf900000) to space 430592K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5480000) ParOldGen total 1473024K, used 1071183K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 72% used [0x00000006d1800000,0x0000000712e13ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 48.650 GC heap after Heap after GC invocations=23 (full 6): PSYoungGen total 864768K, used 344032K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 430592K, 79% used [0x000000078b000000,0x000000079fff8000,0x00000007a5480000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1473024K, used 1071183K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 72% used [0x00000006d1800000,0x0000000712e13ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 49.085 GC heap before {Heap before GC invocations=24 (full 6): PSYoungGen total 864768K, used 778208K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 430592K, 79% used [0x000000078b000000,0x000000079fff8000,0x00000007a5480000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1473024K, used 1071183K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 72% used [0x00000006d1800000,0x0000000712e13ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 50.855 GC heap after Heap after GC invocations=24 (full 6): 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 1473024K, used 1416711K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 96% used [0x00000006d1800000,0x0000000727f81ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 50.913 GC heap before {Heap before GC invocations=25 (full 7): 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 1473024K, used 1416711K [0x00000006d1800000, 0x000000072b680000, 0x0000000770800000) object space 1473024K, 96% used [0x00000006d1800000,0x0000000727f81ec0,0x000000072b680000) Metaspace used 26593K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 24.212 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe9882f5ebc method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 24.348 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe98878de84 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 24.348 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe9885eb7e4 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 24.354 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe98836eb7c method=java.util.HashMap.resize()[Ljava/util/HashMap$Node; @ 206 Event: 25.027 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe9884800a8 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 25.027 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe988680968 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 25.027 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe988674b40 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 25.027 Thread 0x00007fe940001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe9889e380c method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 109 Event: 38.342 Thread 0x00007fe998142000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe988766500 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60 Event: 38.342 Thread 0x00007fe998142000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fe9885e1b90 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 19.104 Thread 0x00007fe99800a000 Exception (0x000000077124e3d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.137 Thread 0x00007fe99800a000 Exception (0x00000007713c92e8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.137 Thread 0x00007fe99800a000 Exception (0x00000007713ccf90) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.142 Thread 0x00007fe99800a000 Exception (0x00000007714ac7d0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.143 Thread 0x00007fe99800a000 Exception (0x00000007714b0760) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.143 Thread 0x00007fe99800a000 Exception (0x00000007714b42e8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.143 Thread 0x00007fe99800a000 Exception (0x00000007714b8088) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.144 Thread 0x00007fe99800a000 Exception (0x00000007714d9270) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 21.104 Thread 0x00007fe940001000 Exception (0x0000000771f1db30) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 23.805 Thread 0x00007fe940001000 Exception (0x0000000772810088) thrown at [/HUDSO Events (10 events): Event: 40.069 Executing VM operation: ParallelGCFailedAllocation done Event: 40.548 Executing VM operation: ParallelGCFailedAllocation Event: 46.093 Executing VM operation: ParallelGCFailedAllocation done Event: 46.492 Executing VM operation: ParallelGCFailedAllocation Event: 46.738 Executing VM operation: ParallelGCFailedAllocation done Event: 47.166 Executing VM operation: ParallelGCFailedAllocation Event: 47.673 Executing VM operation: ParallelGCFailedAllocation done Event: 48.157 Executing VM operation: ParallelGCFailedAllocation Event: 48.650 Executing VM operation: ParallelGCFailedAllocation done Event: 49.085 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 01c03000-01c24000 rw-p 00000000 00:00 0 [heap] 6d1800000-72b680000 rw-p 00000000 00:00 0 747800000-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 7fe908000000-7fe908021000 rw-p 00000000 00:00 0 7fe908021000-7fe90c000000 ---p 00000000 00:00 0 7fe90c000000-7fe90c021000 rw-p 00000000 00:00 0 7fe90c021000-7fe910000000 ---p 00000000 00:00 0 7fe910000000-7fe910021000 rw-p 00000000 00:00 0 7fe910021000-7fe914000000 ---p 00000000 00:00 0 7fe914000000-7fe914021000 rw-p 00000000 00:00 0 7fe914021000-7fe918000000 ---p 00000000 00:00 0 7fe918000000-7fe918021000 rw-p 00000000 00:00 0 7fe918021000-7fe91c000000 ---p 00000000 00:00 0 7fe91c000000-7fe91c021000 rw-p 00000000 00:00 0 7fe91c021000-7fe920000000 ---p 00000000 00:00 0 7fe922dfc000-7fe922efc000 rw-p 00000000 00:00 0 7fe922efc000-7fe922ffc000 ---p 00000000 00:00 0 7fe922ffc000-7fe922fff000 ---p 00000000 00:00 0 7fe922fff000-7fe9233fd000 rw-p 00000000 00:00 0 7fe9233fd000-7fe923400000 ---p 00000000 00:00 0 7fe923400000-7fe9237fe000 rw-p 00000000 00:00 0 7fe9237fe000-7fe923801000 ---p 00000000 00:00 0 7fe923801000-7fe923bff000 rw-p 00000000 00:00 0 7fe923bff000-7fe923c02000 ---p 00000000 00:00 0 7fe923c02000-7fe924000000 rw-p 00000000 00:00 0 7fe924000000-7fe924021000 rw-p 00000000 00:00 0 7fe924021000-7fe928000000 ---p 00000000 00:00 0 7fe928000000-7fe928021000 rw-p 00000000 00:00 0 7fe928021000-7fe92c000000 ---p 00000000 00:00 0 7fe92c000000-7fe92c021000 rw-p 00000000 00:00 0 7fe92c021000-7fe930000000 ---p 00000000 00:00 0 7fe930000000-7fe930021000 rw-p 00000000 00:00 0 7fe930021000-7fe934000000 ---p 00000000 00:00 0 7fe934000000-7fe93422c000 rw-p 00000000 00:00 0 7fe93422c000-7fe938000000 ---p 00000000 00:00 0 7fe938000000-7fe938021000 rw-p 00000000 00:00 0 7fe938021000-7fe93c000000 ---p 00000000 00:00 0 7fe93c000000-7fe93c021000 rw-p 00000000 00:00 0 7fe93c021000-7fe940000000 ---p 00000000 00:00 0 7fe940000000-7fe940021000 rw-p 00000000 00:00 0 7fe940021000-7fe944000000 ---p 00000000 00:00 0 7fe944000000-7fe944021000 rw-p 00000000 00:00 0 7fe944021000-7fe948000000 ---p 00000000 00:00 0 7fe948000000-7fe948116000 rw-p 00000000 00:00 0 7fe948116000-7fe94c000000 ---p 00000000 00:00 0 7fe94c000000-7fe94c021000 rw-p 00000000 00:00 0 7fe94c021000-7fe950000000 ---p 00000000 00:00 0 7fe950000000-7fe950021000 rw-p 00000000 00:00 0 7fe950021000-7fe954000000 ---p 00000000 00:00 0 7fe954000000-7fe95505c000 rw-p 00000000 00:00 0 7fe95505c000-7fe958000000 ---p 00000000 00:00 0 7fe958000000-7fe958021000 rw-p 00000000 00:00 0 7fe958021000-7fe95c000000 ---p 00000000 00:00 0 7fe95c000000-7fe95c021000 rw-p 00000000 00:00 0 7fe95c021000-7fe960000000 ---p 00000000 00:00 0 7fe960000000-7fe96112f000 rw-p 00000000 00:00 0 7fe96112f000-7fe964000000 ---p 00000000 00:00 0 7fe964000000-7fe964021000 rw-p 00000000 00:00 0 7fe964021000-7fe968000000 ---p 00000000 00:00 0 7fe968000000-7fe968021000 rw-p 00000000 00:00 0 7fe968021000-7fe96c000000 ---p 00000000 00:00 0 7fe96c000000-7fe96c301000 rw-p 00000000 00:00 0 7fe96c301000-7fe970000000 ---p 00000000 00:00 0 7fe9700be000-7fe9700c1000 ---p 00000000 00:00 0 7fe9700c1000-7fe9704bf000 rw-p 00000000 00:00 0 7fe9704bf000-7fe9704c2000 ---p 00000000 00:00 0 7fe9704c2000-7fe978000000 rw-p 00000000 00:00 0 7fe978000000-7fe9781b4000 rw-p 00000000 00:00 0 7fe9781b4000-7fe97c000000 ---p 00000000 00:00 0 7fe97c0f1000-7fe97c0f4000 ---p 00000000 00:00 0 7fe97c0f4000-7fe97c12a000 rw-p 00000000 00:00 0 7fe97c12a000-7fe97c12f000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7fe97c12f000-7fe97c32f000 rw-p 00000000 00:00 0 7fe97c32f000-7fe97c331000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7fe97c331000-7fe97c334000 ---p 00000000 00:00 0 7fe97c334000-7fe97c732000 rw-p 00000000 00:00 0 7fe97c732000-7fe97c735000 ---p 00000000 00:00 0 7fe97c735000-7fe97cb33000 rw-p 00000000 00:00 0 7fe97cb33000-7fe97cb36000 ---p 00000000 00:00 0 7fe97cb36000-7fe97cf34000 rw-p 00000000 00:00 0 7fe97cf34000-7fe97cf37000 ---p 00000000 00:00 0 7fe97cf37000-7fe97cf6d000 rw-p 00000000 00:00 0 7fe97cf6d000-7fe97cf6f000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7fe97cf6f000-7fe97cf78000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fe97cf78000-7fe97d177000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fe97d177000-7fe97d178000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fe97d178000-7fe97d378000 rw-p 00000000 00:00 0 7fe97d378000-7fe97d578000 rw-p 00000000 00:00 0 7fe97d578000-7fe97d58b000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7fe97d58b000-7fe97d5cc000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7fe97d5cc000-7fe97d5ce000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7fe97d5ce000-7fe97d5da000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7fe97d5da000-7fe97d5df000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7fe97d5df000-7fe97d5e1000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7fe97d5e1000-7fe97d5e4000 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 7fe97d5e4000-7fe97d7e4000 rw-p 00000000 00:00 0 7fe97d7e4000-7fe97d7e7000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7fe97d7e7000-7fe97d7ea000 ---p 00000000 00:00 0 7fe97d7ea000-7fe97dbe8000 rw-p 00000000 00:00 0 7fe97dbe8000-7fe97dbeb000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7fe97dbeb000-7fe97dbf0000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7fe97dbf0000-7fe97dbf4000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7fe97dbf4000-7fe97ddf4000 rw-p 00000000 00:00 0 7fe97ddf4000-7fe97de55000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7fe97de55000-7fe97de58000 ---p 00000000 00:00 0 7fe97de58000-7fe97e456000 rw-p 00000000 00:00 0 7fe97e456000-7fe97e460000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7fe97e460000-7fe97e4b1000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7fe97e4b1000-7fe97e4d9000 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 7fe97e4d9000-7fe97e6d9000 rw-p 00000000 00:00 0 7fe97e6d9000-7fe97e8d9000 rw-p 00000000 00:00 0 7fe97e8d9000-7fe97e8dc000 ---p 00000000 00:00 0 7fe97e8dc000-7fe97ecda000 rw-p 00000000 00:00 0 7fe97ecda000-7fe97ecea000 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 7fe97ecea000-7fe97ede9000 ---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 7fe97ede9000-7fe97edeb000 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 7fe97edeb000-7fe97edee000 ---p 00000000 00:00 0 7fe97edee000-7fe97f1ec000 rw-p 00000000 00:00 0 7fe97f1ec000-7fe97f1ef000 ---p 00000000 00:00 0 7fe97f1ef000-7fe97f5ed000 rw-p 00000000 00:00 0 7fe97f5ed000-7fe97f5f0000 ---p 00000000 00:00 0 7fe97f5f0000-7fe97f9ee000 rw-p 00000000 00:00 0 7fe97f9ee000-7fe97f9ff000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fe97f9ff000-7fe97fbfe000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fe97fbfe000-7fe97fbff000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fe97fbff000-7fe97fc02000 ---p 00000000 00:00 0 7fe97fc02000-7fe980000000 rw-p 00000000 00:00 0 7fe980000000-7fe980107000 rw-p 00000000 00:00 0 7fe980107000-7fe984000000 ---p 00000000 00:00 0 7fe984001000-7fe984003000 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 7fe984003000-7fe984005000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7fe984005000-7fe984007000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7fe984007000-7fe984009000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7fe984009000-7fe98400b000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7fe98400b000-7fe98400d000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7fe98400d000-7fe98400f000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7fe98400f000-7fe984010000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7fe984010000-7fe984012000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7fe984012000-7fe984019000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7fe984019000-7fe98401b000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7fe98401b000-7fe98401e000 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 7fe98401e000-7fe984020000 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 7fe984020000-7fe984022000 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 7fe984022000-7fe984032000 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 7fe984032000-7fe98405a000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7fe98405a000-7fe98405d000 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 7fe98405d000-7fe98405e000 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 7fe98405e000-7fe984061000 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 7fe984061000-7fe98406a000 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 7fe98406a000-7fe98407b000 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 7fe98407b000-7fe98407e000 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 7fe98407e000-7fe984080000 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 7fe984080000-7fe984082000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7fe984082000-7fe984084000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7fe984084000-7fe984087000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7fe984087000-7fe984089000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7fe984089000-7fe98408b000 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 7fe98408b000-7fe98408f000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7fe98408f000-7fe9840a5000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fe9840a5000-7fe9842a5000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fe9842a5000-7fe9842a6000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fe9842a6000-7fe9842a7000 ---p 00000000 00:00 0 7fe9842a7000-7fe9843a7000 rw-p 00000000 00:00 0 7fe9843a7000-7fe9843aa000 ---p 00000000 00:00 0 7fe9843aa000-7fe9844a8000 rw-p 00000000 00:00 0 7fe9844a8000-7fe9844ab000 ---p 00000000 00:00 0 7fe9844ab000-7fe9845a9000 rw-p 00000000 00:00 0 7fe9845a9000-7fe9845ac000 ---p 00000000 00:00 0 7fe9845ac000-7fe9849aa000 rw-p 00000000 00:00 0 7fe9849aa000-7fe984d9a000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7fe984d9a000-7fe984d9d000 ---p 00000000 00:00 0 7fe984d9d000-7fe98519b000 rw-p 00000000 00:00 0 7fe98519b000-7fe98519e000 ---p 00000000 00:00 0 7fe98519e000-7fe98559c000 rw-p 00000000 00:00 0 7fe98559c000-7fe98559d000 ---p 00000000 00:00 0 7fe98559d000-7fe985ff5000 rw-p 00000000 00:00 0 7fe985ff5000-7fe9861cf000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7fe9861cf000-7fe9869cf000 rw-p 00000000 00:00 0 7fe9869cf000-7fe987413000 rw-p 00000000 00:00 0 7fe987413000-7fe98763b000 ---p 00000000 00:00 0 7fe98763b000-7fe98790b000 rw-p 00000000 00:00 0 7fe98790b000-7fe987b33000 ---p 00000000 00:00 0 7fe987b33000-7fe987daf000 rw-p 00000000 00:00 0 7fe987daf000-7fe987dd5000 rw-p 00000000 00:00 0 7fe987dd5000-7fe988170000 ---p 00000000 00:00 0 7fe988170000-7fe988a90000 rwxp 00000000 00:00 0 7fe988a90000-7fe997170000 ---p 00000000 00:00 0 7fe997170000-7fe99718a000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fe99718a000-7fe99738a000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fe99738a000-7fe99738b000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fe99738b000-7fe997396000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7fe997396000-7fe997595000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fe997595000-7fe997596000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7fe997596000-7fe997597000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fe997597000-7fe9975a2000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fe9975a2000-7fe9977a1000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fe9977a1000-7fe9977a2000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fe9977a2000-7fe9977a3000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fe9977a3000-7fe9977b9000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7fe9977b9000-7fe9979b8000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fe9979b8000-7fe9979b9000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7fe9979b9000-7fe9979ba000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fe9979ba000-7fe9979bc000 rw-p 00000000 00:00 0 7fe9979bc000-7fe9979c3000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fe9979c3000-7fe997bc3000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fe997bc3000-7fe997bc4000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fe997bc4000-7fe997bc5000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fe997bc5000-7fe997bf0000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fe997bf0000-7fe997def000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fe997def000-7fe997df1000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fe997df1000-7fe997dfe000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fe997dfe000-7fe997ffe000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fe997ffe000-7fe998000000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fe998000000-7fe998974000 rw-p 00000000 00:00 0 7fe998974000-7fe99c000000 ---p 00000000 00:00 0 7fe99c000000-7fe99c003000 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 7fe99c003000-7fe99c005000 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 7fe99c005000-7fe99c015000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7fe99c015000-7fe99c021000 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 7fe99c021000-7fe99c023000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7fe99c023000-7fe99c025000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7fe99c025000-7fe99c027000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7fe99c027000-7fe99c02f000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7fe99c02f000-7fe99c0a5000 rw-p 00000000 00:00 0 7fe99c0a5000-7fe99c0a6000 ---p 00000000 00:00 0 7fe99c0a6000-7fe99c1a6000 rw-p 00000000 00:00 0 7fe99c1a6000-7fe99c1ad000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7fe99c1ad000-7fe99c3ac000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fe99c3ac000-7fe99c3ad000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7fe99c3ad000-7fe99c3ae000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fe99c3ae000-7fe99c3b1000 ---p 00000000 00:00 0 7fe99c3b1000-7fe99c7af000 rw-p 00000000 00:00 0 7fe99c7af000-7fe99c8c4000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7fe99c8c4000-7fe99cac4000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fe99cac4000-7fe99cac5000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fe99cac5000-7fe99cac6000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7fe99cac6000-7fe99d799000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fe99d799000-7fe99d998000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fe99d998000-7fe99da72000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fe99da72000-7fe99dabd000 rw-p 00000000 00:00 0 7fe99dabd000-7fe99dc65000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7fe99dc65000-7fe99de64000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7fe99de64000-7fe99de68000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7fe99de68000-7fe99de6a000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7fe99de6a000-7fe99de6e000 rw-p 00000000 00:00 0 7fe99de6e000-7fe99de71000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7fe99de71000-7fe99e070000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fe99e070000-7fe99e071000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7fe99e071000-7fe99e072000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fe99e072000-7fe99e087000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fe99e087000-7fe99e287000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fe99e287000-7fe99e288000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fe99e288000-7fe99e2a2000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7fe99e2a2000-7fe99e4a2000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fe99e4a2000-7fe99e4a3000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fe99e4a3000-7fe99e4a4000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7fe99e4a4000-7fe99e4a8000 rw-p 00000000 00:00 0 7fe99e4a8000-7fe99e4cb000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7fe99e4cb000-7fe99e4d1000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7fe99e4d1000-7fe99e4d7000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7fe99e4d7000-7fe99e4db000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7fe99e4db000-7fe99e581000 rw-p 00000000 00:00 0 7fe99e581000-7fe99e582000 ---p 00000000 00:00 0 7fe99e582000-7fe99e684000 rw-p 00000000 00:00 0 7fe99e684000-7fe99e686000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7fe99e686000-7fe99e68a000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7fe99e68a000-7fe99e68c000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7fe99e68c000-7fe99e68f000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7fe99e68f000-7fe99e692000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7fe99e692000-7fe99e695000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7fe99e695000-7fe99e699000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7fe99e699000-7fe99e69b000 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 7fe99e69b000-7fe99e69d000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7fe99e69d000-7fe99e6a0000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7fe99e6a0000-7fe99e6b5000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7fe99e6b5000-7fe99e6b8000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7fe99e6b8000-7fe99e6bd000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7fe99e6bd000-7fe99e6bf000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7fe99e6bf000-7fe99e6c7000 rw-s 00000000 09:01 1312087 /tmp/hsperfdata_root/3795 7fe99e6c7000-7fe99e6c8000 rw-p 00000000 00:00 0 7fe99e6c8000-7fe99e6c9000 ---p 00000000 00:00 0 7fe99e6c9000-7fe99e6cb000 rw-p 00000000 00:00 0 7fe99e6cb000-7fe99e6cc000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7fe99e6cc000-7fe99e6cd000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7fe99e6cd000-7fe99e6ce000 rw-p 00000000 00:00 0 7ffede562000-7ffede584000 rw-p 00000000 00:00 0 [stack] 7ffede5ef000-7ffede5f2000 r--p 00000000 00:00 0 [vvar] 7ffede5f2000-7ffede5f4000 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_e3_349.smt2 java_class_path (initial): ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar Launcher Type: SUN_STANDARD Environment Variables: JAVA_HOME=/etc/java-config-2/current-system-vm PATH=/usr/x86_64-pc-linux-gnu/gcc-bin/6.4.0:/usr/lib/llvm/5/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/storage/ltl2ba/ltl2ba-1.2b1:/storage/solver/z3/build:/storage/solver/mathsat/bin:/storage/solver/princess:/storage/solver/cvc4-2015-12-05-x86_64-linux-opt-proofs:/storage/solver/smtinterpol SHELL=/bin/bash DISPLAY=localhost:10.0 Signal Handlers: SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO --------------- S Y S T E M --------------- OS:DISTRIB_ID="Gentoo" uname:Linux 4.12.12-gentoo #1 SMP Mon Oct 16 11:39:14 CEST 2017 x86_64 libc:glibc 2.25 NPTL 2.25 rlimit: STACK 8192k, CORE 0k, NPROC 96076, NOFILE 4096, AS infinity load average:20.70 12.20 9.16 /proc/meminfo: MemTotal: 24665244 kB MemFree: 165788 kB MemAvailable: 0 kB Buffers: 1484 kB Cached: 23332 kB SwapCached: 0 kB Active: 24214044 kB Inactive: 12436 kB Active(anon): 24207232 kB Inactive(anon): 628 kB Active(file): 6812 kB Inactive(file): 11808 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 316 kB Writeback: 80 kB AnonPages: 24213668 kB Mapped: 15448 kB Shmem: 1476 kB Slab: 106624 kB SReclaimable: 47396 kB SUnreclaim: 59228 kB KernelStack: 15744 kB PageTables: 63188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24463644 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 311296 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 3352016 kB DirectMap2M: 21770240 kB CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1782.385 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6784.86 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1703.735 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.55 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1694.189 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.69 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1599.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.73 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1768.688 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6791.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1787.158 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.23 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1599.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 1599.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.10 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: Memory: 4k page, physical 24665244k(165788k free), swap 0k(0k free) vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8) time: Mon Jun 25 02:07:13 2018 elapsed time: 63 seconds (0d 0h 1m 3s)