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_5_e7_244_e1_823.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:03:16,979 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:03:16,981 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:03:16,994 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:03:16,995 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:03:16,996 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:03:16,999 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:03:17,002 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:03:17,004 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:03:17,006 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:03:17,007 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:03:17,008 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:03:17,009 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:03:17,012 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:03:17,013 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:03:17,025 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:03:17,027 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:03:17,029 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:03:17,030 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:03:17,031 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:03:17,033 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:03:17,039 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:03:17,040 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:03:17,040 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:03:17,041 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:03:17,042 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:03:17,043 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:03:17,043 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:03:17,048 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:03:17,048 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:03:17,049 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:03:17,049 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:03:17,054 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:03:17,055 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:03:17,056 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:03:17,056 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:03:17,070 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:03:17,070 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:03:17,071 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:03:17,071 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:03:17,072 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:03:17,072 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:03:17,072 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:03:17,073 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:03:17,073 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:03:17,073 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:03:17,073 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:03:17,074 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:03:17,075 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:03:17,075 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:03:17,076 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:03:17,077 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:03:17,078 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:03:17,079 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:03:17,118 INFO ]: Repository-Root is: /tmp [2018-06-25 02:03:17,141 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:03:17,149 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:03:17,151 INFO ]: Initializing SmtParser... [2018-06-25 02:03:17,151 INFO ]: SmtParser initialized [2018-06-25 02:03:17,152 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823.smt2 [2018-06-25 02:03:17,153 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:03:17,280 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823.smt2 unknown [2018-06-25 02:03:17,729 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823.smt2 [2018-06-25 02:03:17,734 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:03:17,741 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:03:17,742 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:03:17,742 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:03:17,742 INFO ]: ChcToBoogie initialized [2018-06-25 02:03:17,746 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,839 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17 Unit [2018-06-25 02:03:17,839 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:03:17,840 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:03:17,840 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:03:17,840 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:03:17,864 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,865 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,885 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,885 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,895 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,897 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,899 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... [2018-06-25 02:03:17,901 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:03:17,902 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:03:17,902 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:03:17,902 INFO ]: RCFGBuilder initialized [2018-06-25 02:03:17,903 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:03:17" (1/1) ... No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2018-06-25 02:03:17,923 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:03:17,923 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:03:17,924 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:03:17,924 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:03:17,924 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:03:17,924 INFO ]: Found implementation of procedure Ultimate.START Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:03:18,256 INFO ]: Using library mode [2018-06-25 02:03:18,277 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:03:18 BoogieIcfgContainer [2018-06-25 02:03:18,277 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:03:18,278 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:03:18,278 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:03:18,279 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:03:18,279 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:03:18" (1/1) ... [2018-06-25 02:03:18,298 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:03:18,301 INFO ]: Using Remove infeasible edges [2018-06-25 02:03:18,301 INFO ]: Using Maximize final states [2018-06-25 02:03:18,302 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:03:18,302 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:03:18,305 INFO ]: Using Remove sink states [2018-06-25 02:03:18,306 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:03:18,306 INFO ]: Using Use SBE [2018-06-25 02:03:18,315 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000075b400000, 356515840, 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 356515840 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid1027.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 356515840 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=1027, tid=0x00007f73902a8700 # # 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 (0x00007f738c0fa800): VMThread [stack: 0x00007f73901a8000,0x00007f73902a9000] [id=1051] Stack: [0x00007f73901a8000,0x00007f73902a9000], sp=0x00007f73902a7310, 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 (0x00007f734e0757b0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f7338001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f7338004800 JavaThread "Worker-2" daemon [_thread_blocked, id=8474, stack(0x00007f731a9fb000,0x00007f731adfc000)] 0x00007f732c149800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=4488, stack(0x00007f731affc000,0x00007f731b3fd000)] 0x00007f730c002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=4487, stack(0x00007f731b3fd000,0x00007f731b7fe000)] 0x00007f730c001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=4485, stack(0x00007f731b7fe000,0x00007f731bbff000)] 0x00007f732c147800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=4484, stack(0x00007f731bbff000,0x00007f731c000000)] 0x00007f732c143000 JavaThread "process reaper" daemon [_thread_in_native, id=4482, stack(0x00007f734c18d000,0x00007f734c1c6000)] 0x00007f732c040800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=4231, stack(0x00007f734c3cd000,0x00007f734c7ce000)] 0x00007f7324004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=4228, stack(0x00007f734c7ce000,0x00007f734cbcf000)] 0x00007f7324001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=4227, stack(0x00007f734cbcf000,0x00007f734cfd0000)] 0x00007f732c040000 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=4226, stack(0x00007f734cfd0000,0x00007f734d3d1000)] 0x00007f732c03c800 JavaThread "process reaper" daemon [_thread_in_native, id=4224, stack(0x00007f734d3d1000,0x00007f734d40a000)] 0x00007f7338001000 JavaThread "Worker-1" daemon [_thread_blocked, id=3750, stack(0x00007f734dc77000,0x00007f734e078000)] 0x00007f738c7a9800 JavaThread "Worker-0" daemon [_thread_blocked, id=3353, stack(0x00007f734e2d9000,0x00007f734e6da000)] 0x00007f7340070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=2232, stack(0x00007f734ecda000,0x00007f734f0db000)] 0x00007f738c417800 JavaThread "Start Level: Equinox Container: b0838128-0b78-0018-1de6-8bbc614108b1" daemon [_thread_blocked, id=2129, stack(0x00007f734f1ec000,0x00007f734f5ed000)] 0x00007f738c413800 JavaThread "Framework Event Dispatcher: Equinox Container: b0838128-0b78-0018-1de6-8bbc614108b1" daemon [_thread_blocked, id=2110, stack(0x00007f734f5ed000,0x00007f734f9ee000)] 0x00007f738c3f5800 JavaThread "Active Thread: Equinox Container: b0838128-0b78-0018-1de6-8bbc614108b1" [_thread_blocked, id=1973, stack(0x00007f734f9ee000,0x00007f734fdef000)] 0x00007f738c153800 JavaThread "Service Thread" daemon [_thread_blocked, id=1105, stack(0x00007f73743cb000,0x00007f73747cc000)] 0x00007f738c13e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=1101, stack(0x00007f73747cc000,0x00007f73748cd000)] 0x00007f738c13b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=1099, stack(0x00007f73900a7000,0x00007f73901a8000)] 0x00007f738c13a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=1098, stack(0x00007f73748cd000,0x00007f7374cce000)] 0x00007f738c107000 JavaThread "Finalizer" daemon [_thread_blocked, id=1059, stack(0x00007f73750be000,0x00007f73754bf000)] 0x00007f738c102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=1055, stack(0x00007f73754bf000,0x00007f73758c0000)] 0x00007f738c00a000 JavaThread "main" [_thread_blocked, id=1037, stack(0x00007f7393f8b000,0x00007f739438c000)] Other Threads: =>0x00007f738c0fa800 VMThread [stack: 0x00007f73901a8000,0x00007f73902a9000] [id=1051] 0x00007f738c156000 WatcherThread [stack: 0x00007f73742ca000,0x00007f73743cb000] [id=1106] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f738c005b00] ExpandHeap_lock - owner thread: 0x00007f738c0fa800 [0x00007f738c006180] Threads_lock - owner thread: 0x00007f738c0fa800 [0x00007f738c006680] Heap_lock - owner thread: 0x00007f7338001000 Heap: PSYoungGen total 835584K, used 0K [0x0000000770800000, 0x00000007be000000, 0x00000007c0000000) eden space 436224K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b200000) from space 399360K, 0% used [0x00000007a5a00000,0x00000007a5a00000,0x00000007be000000) to space 416768K, 0% used [0x000000078b200000,0x000000078b200000,0x00000007a4900000) ParOldGen total 2256896K, used 1719147K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 76% used [0x00000006d1800000,0x000000073a6dad58,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f73923be000,0x00007f7392b33000] byte_map_base: 0x00007f738ed32000 Marking Bits: (ParMarkBitMap*) 0x00007f739566cdc0 Begin Bits: [0x00007f73758c0000, 0x00007f7379460000) End Bits: [0x00007f7379460000, 0x00007f737d000000) Polling page: 0x00007f73962a5000 CodeCache: size=245760Kb used=9486Kb max_used=9499Kb free=236273Kb bounds [0x00007f737d000000, 0x00007f737d950000, 0x00007f738c000000] total_blobs=2944 nmethods=2495 adapters=362 compilation: enabled Compilation events (10 events): Event: 4.122 Thread 0x00007f738c13b800 2494 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions:: (40 bytes) Event: 4.140 Thread 0x00007f738c13b800 nmethod 2494 0x00007f737d91ffd0 code [0x00007f737d9201e0, 0x00007f737d920970] Event: 4.140 Thread 0x00007f738c13b800 2403 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.Substitution::convert (85 bytes) Event: 4.151 Thread 0x00007f738c13b800 nmethod 2403 0x00007f737d92b1d0 code [0x00007f737d92b3e0, 0x00007f737d92bcb8] Event: 4.539 Thread 0x00007f738c13e800 2500 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 4.546 Thread 0x00007f738c13e800 nmethod 2500% 0x00007f737d92e850 code [0x00007f737d92f340, 0x00007f737d9377b8] Event: 4.551 Thread 0x00007f738c13e800 2501 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 4.559 Thread 0x00007f738c13e800 nmethod 2501 0x00007f737d93cd10 code [0x00007f737d93d860, 0x00007f737d946488] Event: 6.146 Thread 0x00007f738c13b800 2502 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 6.154 Thread 0x00007f738c13b800 nmethod 2502% 0x00007f737d94bf10 code [0x00007f737d94c0e0, 0x00007f737d94c608] GC Heap History (10 events): Event: 36.427 GC heap after Heap after GC invocations=24 (full 6): PSYoungGen total 823808K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 440320K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b600000) from space 383488K, 0% used [0x00000007a8980000,0x00000007a8980000,0x00000007c0000000) to space 431104K, 0% used [0x000000078b600000,0x000000078b600000,0x00000007a5b00000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26526K, capacity 29166K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 36.785 GC heap before {Heap before GC invocations=25 (full 6): PSYoungGen total 823808K, used 440320K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 440320K, 100% used [0x0000000770800000,0x000000078b600000,0x000000078b600000) from space 383488K, 0% used [0x00000007a8980000,0x00000007a8980000,0x00000007c0000000) to space 431104K, 0% used [0x000000078b600000,0x000000078b600000,0x00000007a5b00000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 37.020 GC heap after Heap after GC invocations=25 (full 6): PSYoungGen total 871424K, used 176736K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 440320K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b600000) from space 431104K, 40% used [0x000000078b600000,0x0000000796298000,0x00000007a5b00000) to space 413184K, 0% used [0x00000007a6c80000,0x00000007a6c80000,0x00000007c0000000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 37.385 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 871424K, used 617056K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 440320K, 100% used [0x0000000770800000,0x000000078b600000,0x000000078b600000) from space 431104K, 40% used [0x000000078b600000,0x0000000796298000,0x00000007a5b00000) to space 413184K, 0% used [0x00000007a6c80000,0x00000007a6c80000,0x00000007c0000000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 37.836 GC heap after Heap after GC invocations=26 (full 6): PSYoungGen total 847360K, used 353472K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 413184K, 85% used [0x00000007a6c80000,0x00000007bc5b0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 38.286 GC heap before {Heap before GC invocations=27 (full 6): PSYoungGen total 847360K, used 787648K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 413184K, 85% used [0x00000007a6c80000,0x00000007bc5b0000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2256896K, used 1370351K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 60% used [0x00000006d1800000,0x000000072523bc70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 38.978 GC heap after Heap after GC invocations=27 (full 6): PSYoungGen total 868352K, used 174304K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a38000,0x00000007a5800000) to space 432128K, 0% used [0x00000007a5a00000,0x00000007a5a00000,0x00000007c0000000) ParOldGen total 2256896K, used 1725191K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 76% used [0x00000006d1800000,0x000000073acc1c70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 39.390 GC heap before {Heap before GC invocations=28 (full 6): PSYoungGen total 868352K, used 608480K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a38000,0x00000007a5800000) to space 432128K, 0% used [0x00000007a5a00000,0x00000007a5a00000,0x00000007c0000000) ParOldGen total 2256896K, used 1725191K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 76% used [0x00000006d1800000,0x000000073acc1c70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Event: 39.899 GC heap after Heap after GC invocations=28 (full 6): PSYoungGen total 835584K, used 174304K [0x0000000770800000, 0x00000007be000000, 0x00000007c0000000) eden space 436224K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b200000) from space 399360K, 43% used [0x00000007a5a00000,0x00000007b0438000,0x00000007be000000) to space 416768K, 0% used [0x000000078b200000,0x000000078b200000,0x00000007a4900000) ParOldGen total 2256896K, used 1900071K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 84% used [0x00000006d1800000,0x0000000745789c70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 39.899 GC heap before {Heap before GC invocations=29 (full 7): PSYoungGen total 835584K, used 174304K [0x0000000770800000, 0x00000007be000000, 0x00000007c0000000) eden space 436224K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b200000) from space 399360K, 43% used [0x00000007a5a00000,0x00000007b0438000,0x00000007be000000) to space 416768K, 0% used [0x000000078b200000,0x000000078b200000,0x00000007a4900000) ParOldGen total 2256896K, used 1900071K [0x00000006d1800000, 0x000000075b400000, 0x0000000770800000) object space 2256896K, 84% used [0x00000006d1800000,0x0000000745789c70,0x000000075b400000) Metaspace used 26527K, capacity 29230K, committed 29440K, reserved 1075200K class space used 3036K, capacity 3807K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 2.351 Thread 0x00007f7338001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f737d4f7764 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.351 Thread 0x00007f7338001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f737d4f7764 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.351 Thread 0x00007f7338001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f737d4f7764 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.351 Thread 0x00007f7338001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f737d4f7764 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.352 Thread 0x00007f7338001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f737d4e5b3c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.352 Thread 0x00007f7338001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f737d4e5b3c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.352 Thread 0x00007f7338001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f737d4e5b3c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 3.091 Thread 0x00007f7338001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f737d65d33c method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 3.091 Thread 0x00007f7338001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f737d6e3a80 method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 3.092 Thread 0x00007f7338001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f737d6d32b0 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Internal exceptions (10 events): Event: 2.248 Thread 0x00007f738c00a000 Exception (0x00000007714ad830) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.249 Thread 0x00007f738c00a000 Exception (0x00000007714b15d0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.250 Thread 0x00007f738c00a000 Exception (0x00000007714d27b8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 2.252 Thread 0x00007f738c00a000 Exception (0x00000007714df140) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.253 Thread 0x00007f738c00a000 Exception (0x00000007714e4ff0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.256 Thread 0x00007f738c00a000 Exception (0x00000007714f6ec8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.257 Thread 0x00007f738c00a000 Exception (0x00000007714f9c30) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.257 Thread 0x00007f738c00a000 Exception (0x00000007714fdd50) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.587 Thread 0x00007f7338001000 Exception (0x0000000771e58988) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 2.903 Thread 0x00007f7338001000 Exception (0x0000000772746758) thrown at [/HUDSO Events (10 events): Event: 28.721 Executing VM operation: ParallelGCFailedAllocation done Event: 29.254 Executing VM operation: ParallelGCFailedAllocation Event: 36.427 Executing VM operation: ParallelGCFailedAllocation done Event: 36.785 Executing VM operation: ParallelGCFailedAllocation Event: 37.020 Executing VM operation: ParallelGCFailedAllocation done Event: 37.385 Executing VM operation: ParallelGCFailedAllocation Event: 37.836 Executing VM operation: ParallelGCFailedAllocation done Event: 38.286 Executing VM operation: ParallelGCFailedAllocation Event: 38.978 Executing VM operation: ParallelGCFailedAllocation done Event: 39.390 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 01166000-01187000 rw-p 00000000 00:00 0 [heap] 6d1800000-75b400000 rw-p 00000000 00:00 0 770800000-7be000000 rw-p 00000000 00:00 0 7be000000-7c0000000 ---p 00000000 00:00 0 7c0000000-7c03c0000 rw-p 00000000 00:00 0 7c03c0000-800000000 ---p 00000000 00:00 0 7f72fc000000-7f72fc021000 rw-p 00000000 00:00 0 7f72fc021000-7f7300000000 ---p 00000000 00:00 0 7f7304000000-7f7304021000 rw-p 00000000 00:00 0 7f7304021000-7f7308000000 ---p 00000000 00:00 0 7f7308000000-7f7308021000 rw-p 00000000 00:00 0 7f7308021000-7f730c000000 ---p 00000000 00:00 0 7f730c000000-7f730c021000 rw-p 00000000 00:00 0 7f730c021000-7f7310000000 ---p 00000000 00:00 0 7f7310000000-7f7310021000 rw-p 00000000 00:00 0 7f7310021000-7f7314000000 ---p 00000000 00:00 0 7f7314000000-7f7314021000 rw-p 00000000 00:00 0 7f7314021000-7f7318000000 ---p 00000000 00:00 0 7f731a9fb000-7f731a9fe000 ---p 00000000 00:00 0 7f731a9fe000-7f731aefc000 rw-p 00000000 00:00 0 7f731aefc000-7f731affc000 ---p 00000000 00:00 0 7f731affc000-7f731afff000 ---p 00000000 00:00 0 7f731afff000-7f731b3fd000 rw-p 00000000 00:00 0 7f731b3fd000-7f731b400000 ---p 00000000 00:00 0 7f731b400000-7f731b7fe000 rw-p 00000000 00:00 0 7f731b7fe000-7f731b801000 ---p 00000000 00:00 0 7f731b801000-7f731bbff000 rw-p 00000000 00:00 0 7f731bbff000-7f731bc02000 ---p 00000000 00:00 0 7f731bc02000-7f731c000000 rw-p 00000000 00:00 0 7f731c000000-7f731c021000 rw-p 00000000 00:00 0 7f731c021000-7f7320000000 ---p 00000000 00:00 0 7f7320000000-7f7320021000 rw-p 00000000 00:00 0 7f7320021000-7f7324000000 ---p 00000000 00:00 0 7f7324000000-7f7324021000 rw-p 00000000 00:00 0 7f7324021000-7f7328000000 ---p 00000000 00:00 0 7f7328000000-7f7328021000 rw-p 00000000 00:00 0 7f7328021000-7f732c000000 ---p 00000000 00:00 0 7f732c000000-7f732c1d3000 rw-p 00000000 00:00 0 7f732c1d3000-7f7330000000 ---p 00000000 00:00 0 7f7330000000-7f7330021000 rw-p 00000000 00:00 0 7f7330021000-7f7334000000 ---p 00000000 00:00 0 7f7334000000-7f7334021000 rw-p 00000000 00:00 0 7f7334021000-7f7338000000 ---p 00000000 00:00 0 7f7338000000-7f7338021000 rw-p 00000000 00:00 0 7f7338021000-7f733c000000 ---p 00000000 00:00 0 7f733c000000-7f733c021000 rw-p 00000000 00:00 0 7f733c021000-7f7340000000 ---p 00000000 00:00 0 7f7340000000-7f73400ec000 rw-p 00000000 00:00 0 7f73400ec000-7f7344000000 ---p 00000000 00:00 0 7f7344000000-7f7344021000 rw-p 00000000 00:00 0 7f7344021000-7f7348000000 ---p 00000000 00:00 0 7f7348000000-7f7348021000 rw-p 00000000 00:00 0 7f7348021000-7f734c000000 ---p 00000000 00:00 0 7f734c18d000-7f734c190000 ---p 00000000 00:00 0 7f734c190000-7f734c1c6000 rw-p 00000000 00:00 0 7f734c1c6000-7f734c1cb000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f734c1cb000-7f734c3cb000 rw-p 00000000 00:00 0 7f734c3cb000-7f734c3cd000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f734c3cd000-7f734c3d0000 ---p 00000000 00:00 0 7f734c3d0000-7f734c7ce000 rw-p 00000000 00:00 0 7f734c7ce000-7f734c7d1000 ---p 00000000 00:00 0 7f734c7d1000-7f734cbcf000 rw-p 00000000 00:00 0 7f734cbcf000-7f734cbd2000 ---p 00000000 00:00 0 7f734cbd2000-7f734cfd0000 rw-p 00000000 00:00 0 7f734cfd0000-7f734cfd3000 ---p 00000000 00:00 0 7f734cfd3000-7f734d3d1000 rw-p 00000000 00:00 0 7f734d3d1000-7f734d3d4000 ---p 00000000 00:00 0 7f734d3d4000-7f734d40a000 rw-p 00000000 00:00 0 7f734d40a000-7f734d40c000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f734d40c000-7f734d415000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f734d415000-7f734d614000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f734d614000-7f734d615000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f734d615000-7f734d815000 rw-p 00000000 00:00 0 7f734d815000-7f734da15000 rw-p 00000000 00:00 0 7f734da15000-7f734da28000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f734da28000-7f734da69000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f734da69000-7f734da6b000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f734da6b000-7f734da77000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f734da77000-7f734dc77000 rw-p 00000000 00:00 0 7f734dc77000-7f734dc7a000 ---p 00000000 00:00 0 7f734dc7a000-7f734e278000 rw-p 00000000 00:00 0 7f734e278000-7f734e2d9000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f734e2d9000-7f734e2dc000 ---p 00000000 00:00 0 7f734e2dc000-7f734e8da000 rw-p 00000000 00:00 0 7f734e8da000-7f734eada000 rw-p 00000000 00:00 0 7f734eada000-7f734ecda000 rw-p 00000000 00:00 0 7f734ecda000-7f734ecdd000 ---p 00000000 00:00 0 7f734ecdd000-7f734f0db000 rw-p 00000000 00:00 0 7f734f0db000-7f734f0eb000 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 7f734f0eb000-7f734f1ea000 ---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 7f734f1ea000-7f734f1ec000 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 7f734f1ec000-7f734f1ef000 ---p 00000000 00:00 0 7f734f1ef000-7f734f5ed000 rw-p 00000000 00:00 0 7f734f5ed000-7f734f5f0000 ---p 00000000 00:00 0 7f734f5f0000-7f734f9ee000 rw-p 00000000 00:00 0 7f734f9ee000-7f734f9f1000 ---p 00000000 00:00 0 7f734f9f1000-7f734fdef000 rw-p 00000000 00:00 0 7f734fdef000-7f734fe00000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f734fe00000-7f734ffff000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f734ffff000-7f7350000000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f7350000000-7f7350ebc000 rw-p 00000000 00:00 0 7f7350ebc000-7f7354000000 ---p 00000000 00:00 0 7f7354000000-7f7354021000 rw-p 00000000 00:00 0 7f7354021000-7f7358000000 ---p 00000000 00:00 0 7f7358000000-7f7358021000 rw-p 00000000 00:00 0 7f7358021000-7f735c000000 ---p 00000000 00:00 0 7f735c000000-7f735cbc3000 rw-p 00000000 00:00 0 7f735cbc3000-7f7360000000 ---p 00000000 00:00 0 7f7360000000-7f7360021000 rw-p 00000000 00:00 0 7f7360021000-7f7364000000 ---p 00000000 00:00 0 7f7364000000-7f7364021000 rw-p 00000000 00:00 0 7f7364021000-7f7368000000 ---p 00000000 00:00 0 7f7368000000-7f73681dc000 rw-p 00000000 00:00 0 7f73681dc000-7f736c000000 ---p 00000000 00:00 0 7f736c000000-7f736c2f7000 rw-p 00000000 00:00 0 7f736c2f7000-7f7370000000 ---p 00000000 00:00 0 7f7370000000-7f737010d000 rw-p 00000000 00:00 0 7f737010d000-7f7374000000 ---p 00000000 00:00 0 7f7374001000-7f7374006000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f7374006000-7f7374008000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f7374008000-7f737400b000 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 7f737400b000-7f737400e000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f737400e000-7f7374011000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f7374011000-7f7374016000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f7374016000-7f737401a000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f737401a000-7f7374024000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f7374024000-7f7374026000 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 7f7374026000-7f7374028000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f7374028000-7f737402a000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f737402a000-7f737407b000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f737407b000-7f737407d000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f737407d000-7f737407f000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f737407f000-7f7374081000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f7374081000-7f7374083000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f7374083000-7f7374084000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f7374084000-7f737408b000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f737408b000-7f73740b3000 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 7f73740b3000-7f73740c9000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f73740c9000-7f73742c9000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f73742c9000-7f73742ca000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f73742ca000-7f73742cb000 ---p 00000000 00:00 0 7f73742cb000-7f73743cb000 rw-p 00000000 00:00 0 7f73743cb000-7f73743ce000 ---p 00000000 00:00 0 7f73743ce000-7f73747cc000 rw-p 00000000 00:00 0 7f73747cc000-7f73747cf000 ---p 00000000 00:00 0 7f73747cf000-7f73748cd000 rw-p 00000000 00:00 0 7f73748cd000-7f73748d0000 ---p 00000000 00:00 0 7f73748d0000-7f7374cce000 rw-p 00000000 00:00 0 7f7374cce000-7f73750be000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f73750be000-7f73750c1000 ---p 00000000 00:00 0 7f73750c1000-7f73754bf000 rw-p 00000000 00:00 0 7f73754bf000-7f73754c2000 ---p 00000000 00:00 0 7f73754c2000-7f737d000000 rw-p 00000000 00:00 0 7f737d000000-7f737d950000 rwxp 00000000 00:00 0 7f737d950000-7f738c000000 ---p 00000000 00:00 0 7f738c000000-7f738cc33000 rw-p 00000000 00:00 0 7f738cc33000-7f7390000000 ---p 00000000 00:00 0 7f7390000000-7f7390002000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f7390002000-7f7390004000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f7390004000-7f7390007000 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 7f7390007000-7f7390009000 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 7f7390009000-7f739000b000 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 7f739000b000-7f739001b000 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 7f739001b000-7f7390043000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f7390043000-7f7390046000 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 7f7390046000-7f7390047000 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 7f7390047000-7f739004a000 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 7f739004a000-7f7390053000 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 7f7390053000-7f7390064000 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 7f7390064000-7f7390067000 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 7f7390067000-7f7390069000 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 7f7390069000-7f739006b000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f739006b000-7f739006d000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f739006d000-7f7390070000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f7390070000-7f7390072000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f7390072000-7f7390074000 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 7f7390074000-7f7390077000 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 7f7390077000-7f739007b000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f739007b000-7f739007d000 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 7f739007d000-7f739008d000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f739008d000-7f7390099000 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 7f7390099000-7f739009b000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f739009b000-7f739009d000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f739009d000-7f739009f000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f739009f000-7f73900a7000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f73900a7000-7f73900aa000 ---p 00000000 00:00 0 7f73900aa000-7f73901a8000 rw-p 00000000 00:00 0 7f73901a8000-7f73901a9000 ---p 00000000 00:00 0 7f73901a9000-7f7390c01000 rw-p 00000000 00:00 0 7f7390c01000-7f7390ddb000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f7390ddb000-7f7391dc5000 rw-p 00000000 00:00 0 7f7391dc5000-7f7391dc6000 ---p 00000000 00:00 0 7f7391dc6000-7f7392314000 rw-p 00000000 00:00 0 7f7392314000-7f73923be000 ---p 00000000 00:00 0 7f73923be000-7f739280c000 rw-p 00000000 00:00 0 7f739280c000-7f73928b6000 ---p 00000000 00:00 0 7f73928b6000-7f7392b22000 rw-p 00000000 00:00 0 7f7392b22000-7f7392b32000 ---p 00000000 00:00 0 7f7392b32000-7f7392b59000 rw-p 00000000 00:00 0 7f7392b59000-7f7392ef3000 ---p 00000000 00:00 0 7f7392ef3000-7f7392f0d000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f7392f0d000-7f739310d000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f739310d000-7f739310e000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f739310e000-7f7393119000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7393119000-7f7393318000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7393318000-7f7393319000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7393319000-7f739331a000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f739331a000-7f7393325000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7393325000-7f7393524000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7393524000-7f7393525000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7393525000-7f7393526000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7393526000-7f739353c000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f739353c000-7f739373b000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f739373b000-7f739373c000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f739373c000-7f739373d000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f739373d000-7f739373f000 rw-p 00000000 00:00 0 7f739373f000-7f7393746000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f7393746000-7f7393946000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f7393946000-7f7393947000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f7393947000-7f7393948000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f7393948000-7f7393973000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f7393973000-7f7393b72000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f7393b72000-7f7393b74000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f7393b74000-7f7393b81000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f7393b81000-7f7393d81000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f7393d81000-7f7393d83000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f7393d83000-7f7393d8a000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f7393d8a000-7f7393f89000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f7393f89000-7f7393f8a000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f7393f8a000-7f7393f8b000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f7393f8b000-7f7393f8e000 ---p 00000000 00:00 0 7f7393f8e000-7f739438c000 rw-p 00000000 00:00 0 7f739438c000-7f73944a1000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f73944a1000-7f73946a1000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f73946a1000-7f73946a2000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f73946a2000-7f73946a3000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f73946a3000-7f7395376000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f7395376000-7f7395575000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f7395575000-7f739564f000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f739564f000-7f739569a000 rw-p 00000000 00:00 0 7f739569a000-7f7395842000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f7395842000-7f7395a41000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f7395a41000-7f7395a45000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f7395a45000-7f7395a47000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f7395a47000-7f7395a4b000 rw-p 00000000 00:00 0 7f7395a4b000-7f7395a4e000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f7395a4e000-7f7395c4d000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f7395c4d000-7f7395c4e000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f7395c4e000-7f7395c4f000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f7395c4f000-7f7395c64000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f7395c64000-7f7395e64000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f7395e64000-7f7395e65000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f7395e65000-7f7395e7f000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f7395e7f000-7f739607f000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f739607f000-7f7396080000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f7396080000-7f7396081000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f7396081000-7f7396085000 rw-p 00000000 00:00 0 7f7396085000-7f73960a8000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f73960a8000-7f73960ae000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f73960ae000-7f73960b4000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f73960b4000-7f73960b8000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f73960b8000-7f739615e000 rw-p 00000000 00:00 0 7f739615e000-7f739615f000 ---p 00000000 00:00 0 7f739615f000-7f7396261000 rw-p 00000000 00:00 0 7f7396261000-7f7396263000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f7396263000-7f7396267000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f7396267000-7f7396269000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f7396269000-7f739626c000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f739626c000-7f739626f000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f739626f000-7f7396272000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f7396272000-7f7396276000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f7396276000-7f7396278000 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 7f7396278000-7f739627a000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f739627a000-7f739627d000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f739627d000-7f7396292000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f7396292000-7f7396295000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f7396295000-7f739629a000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f739629a000-7f739629c000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f739629c000-7f73962a4000 rw-s 00000000 09:01 1312180 /tmp/hsperfdata_root/1027 7f73962a4000-7f73962a5000 rw-p 00000000 00:00 0 7f73962a5000-7f73962a6000 ---p 00000000 00:00 0 7f73962a6000-7f73962a8000 rw-p 00000000 00:00 0 7f73962a8000-7f73962a9000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f73962a9000-7f73962aa000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f73962aa000-7f73962ab000 rw-p 00000000 00:00 0 7ffcd138d000-7ffcd13af000 rw-p 00000000 00:00 0 [stack] 7ffcd13f4000-7ffcd13f7000 r--p 00000000 00:00 0 [vvar] 7ffcd13f7000-7ffcd13f9000 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_5_e7_244_e1_823.smt2 java_class_path (initial): ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar Launcher Type: SUN_STANDARD Environment Variables: JAVA_HOME=/etc/java-config-2/current-system-vm PATH=/usr/x86_64-pc-linux-gnu/gcc-bin/6.4.0:/usr/lib/llvm/5/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/storage/ltl2ba/ltl2ba-1.2b1:/storage/solver/z3/build:/storage/solver/mathsat/bin:/storage/solver/princess:/storage/solver/cvc4-2015-12-05-x86_64-linux-opt-proofs:/storage/solver/smtinterpol SHELL=/bin/bash DISPLAY=localhost:10.0 Signal Handlers: SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO --------------- S Y S T E M --------------- OS:DISTRIB_ID="Gentoo" uname:Linux 4.12.12-gentoo #1 SMP Mon Oct 16 11:39:14 CEST 2017 x86_64 libc:glibc 2.25 NPTL 2.25 rlimit: STACK 8192k, CORE 0k, NPROC 96076, NOFILE 4096, AS infinity load average:10.81 9.92 8.07 /proc/meminfo: MemTotal: 24665244 kB MemFree: 205244 kB MemAvailable: 46116 kB Buffers: 4140 kB Cached: 63356 kB SwapCached: 0 kB Active: 24140600 kB Inactive: 38976 kB Active(anon): 24117112 kB Inactive(anon): 628 kB Active(file): 23488 kB Inactive(file): 38348 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 292 kB Writeback: 0 kB AnonPages: 24123716 kB Mapped: 46012 kB Shmem: 1476 kB Slab: 110812 kB SReclaimable: 51308 kB SUnreclaim: 59504 kB KernelStack: 15944 kB PageTables: 62956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24855340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 315392 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 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 : 3499.816 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 : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.55 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.69 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.73 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6791.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.23 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.10 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: Memory: 4k page, physical 24665244k(205244k 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:04:02 2018 elapsed time: 48 seconds (0d 0h 0m 48s)