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_e3_294_e3_47.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:07:43,602 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:07:43,609 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:07:43,625 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:07:43,625 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:07:43,626 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:07:43,630 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:07:43,632 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:07:43,634 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:07:43,636 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:07:43,637 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:07:43,637 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:07:43,638 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:07:43,643 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:07:43,643 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:07:43,644 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:07:43,657 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:07:43,659 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:07:43,660 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:07:43,664 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:07:43,665 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:07:43,668 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:07:43,669 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:07:43,669 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:07:43,670 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:07:43,674 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:07:43,675 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:07:43,676 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:07:43,677 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:07:43,677 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:07:43,682 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:07:43,683 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:07:43,683 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:07:43,684 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:07:43,685 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:07:43,685 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:07:43,713 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:07:43,713 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:07:43,714 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:07:43,714 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:07:43,715 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:07:43,716 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:07:43,716 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:07:43,716 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:07:43,716 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:07:43,716 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:07:43,717 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:07:43,717 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:07:43,717 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:07:43,717 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:07:43,717 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:07:43,718 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:07:43,718 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:07:43,718 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:07:43,718 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:07:43,718 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:07:43,719 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:07:43,720 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:07:43,720 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:07:43,784 INFO ]: Repository-Root is: /tmp [2018-06-25 02:07:43,856 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:07:43,892 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:07:43,930 INFO ]: Initializing SmtParser... [2018-06-25 02:07:43,931 INFO ]: SmtParser initialized [2018-06-25 02:07:43,932 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47.smt2 [2018-06-25 02:07:43,941 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:07:44,419 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47.smt2 unknown [2018-06-25 02:07:46,857 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47.smt2 [2018-06-25 02:07:46,862 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:07:46,874 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:07:46,882 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:07:46,882 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:07:46,882 INFO ]: ChcToBoogie initialized [2018-06-25 02:07:46,902 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:07:46" (1/1) ... [2018-06-25 02:07:47,320 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47 Unit [2018-06-25 02:07:47,321 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:07:47,321 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:07:47,321 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:07:47,321 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:07:47,340 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,340 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,347 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,347 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,356 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,358 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,365 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (1/1) ... [2018-06-25 02:07:47,367 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:07:47,368 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:07:47,368 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:07:47,368 INFO ]: RCFGBuilder initialized [2018-06-25 02:07:47,369 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:07:47" (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:07:47,389 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:07:47,389 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:07:47,389 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:07:47,389 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:07:47,389 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:07:47,389 INFO ]: Found implementation of procedure Ultimate.START [2018-06-25 02:07:48,000 INFO ]: Using library mode [2018-06-25 02:07:48,002 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:07:48 BoogieIcfgContainer [2018-06-25 02:07:48,002 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:07:48,002 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:07:48,002 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:07:48,004 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:07:48,005 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:07:48" (1/1) ... [2018-06-25 02:07:48,029 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:07:48,030 INFO ]: Using Remove infeasible edges [2018-06-25 02:07:48,031 INFO ]: Using Maximize final states [2018-06-25 02:07:48,032 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:07:48,032 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:07:48,036 INFO ]: Using Remove sink states [2018-06-25 02:07:48,037 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:07:48,037 INFO ]: Using Use SBE [2018-06-25 02:07:48,047 WARN ]: expecting exponential blowup for input size 23 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000716980000, 427819008, 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 427819008 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid11463.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 427819008 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=11463, tid=0x00007f07bfbfb700 # # 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 (0x00007f07d40fa800): VMThread [stack: 0x00007f07bfafb000,0x00007f07bfbfc000] [id=11489] Stack: [0x00007f07bfafb000,0x00007f07bfbfc000], sp=0x00007f07bfbfa110, 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 (0x00007f07b06bd950): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f0780006800 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f077414b800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=4582, stack(0x00007f07793ee000,0x00007f07797ef000)] 0x00007f0750002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=4581, stack(0x00007f07797ef000,0x00007f0779bf0000)] 0x00007f0750001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=4580, stack(0x00007f0779bf0000,0x00007f0779ff1000)] 0x00007f077414a000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=4575, stack(0x00007f0779ff1000,0x00007f077a3f2000)] 0x00007f0774145000 JavaThread "process reaper" daemon [_thread_in_native, id=4573, stack(0x00007f07bc0b8000,0x00007f07bc0f1000)] 0x00007f078000a000 JavaThread "Worker-2" daemon [_thread_blocked, id=4254, stack(0x00007f077a5f2000,0x00007f077a9f3000)] 0x00007f077403e800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=32685, stack(0x00007f077abf3000,0x00007f077aff4000)] 0x00007f0768003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=32628, stack(0x00007f077aff4000,0x00007f077b3f5000)] 0x00007f0768001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=32627, stack(0x00007f077b3f5000,0x00007f077b7f6000)] 0x00007f0774032800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=32625, stack(0x00007f077b7f6000,0x00007f077bbf7000)] 0x00007f077403a800 JavaThread "process reaper" daemon [_thread_in_native, id=32595, stack(0x00007f07bc0f8000,0x00007f07bc131000)] 0x00007f0780006800 JavaThread "Worker-1" daemon [_thread_blocked, id=25239, stack(0x00007f07b02bf000,0x00007f07b06c0000)] 0x00007f07d4668000 JavaThread "Worker-0" daemon [_thread_blocked, id=23388, stack(0x00007f07bc40f000,0x00007f07bc810000)] 0x00007f07880a0800 JavaThread "Worker-JM" daemon [_thread_blocked, id=17662, stack(0x00007f07bcec7000,0x00007f07bd2c8000)] 0x00007f07d4399000 JavaThread "Start Level: Equinox Container: a08db6c1-0b78-0018-1cc5-e7280207a7ec" daemon [_thread_blocked, id=16057, stack(0x00007f07bd3d9000,0x00007f07bd7da000)] 0x00007f07d4394800 JavaThread "Framework Event Dispatcher: Equinox Container: a08db6c1-0b78-0018-1cc5-e7280207a7ec" daemon [_thread_blocked, id=16037, stack(0x00007f07bd7da000,0x00007f07bdbdb000)] 0x00007f07d4377000 JavaThread "Active Thread: Equinox Container: a08db6c1-0b78-0018-1cc5-e7280207a7ec" [_thread_blocked, id=14926, stack(0x00007f07bdbdb000,0x00007f07bdfdc000)] 0x00007f07d4141800 JavaThread "Service Thread" daemon [_thread_blocked, id=11648, stack(0x00007f07be505000,0x00007f07be906000)] 0x00007f07d413e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=11645, stack(0x00007f07be906000,0x00007f07bea07000)] 0x00007f07d413b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=11643, stack(0x00007f07bea07000,0x00007f07beb08000)] 0x00007f07d413a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=11641, stack(0x00007f07beb08000,0x00007f07bef09000)] 0x00007f07d4107000 JavaThread "Finalizer" daemon [_thread_blocked, id=11638, stack(0x00007f07bf2f9000,0x00007f07bf6fa000)] 0x00007f07d4102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11493, stack(0x00007f07bf6fa000,0x00007f07bfafb000)] 0x00007f07d400a000 JavaThread "main" [_thread_blocked, id=11479, stack(0x00007f07da967000,0x00007f07dad68000)] Other Threads: =>0x00007f07d40fa800 VMThread [stack: 0x00007f07bfafb000,0x00007f07bfbfc000] [id=11489] 0x00007f07d4144000 WatcherThread [stack: 0x00007f07be404000,0x00007f07be505000] [id=11649] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f07d4005b00] ExpandHeap_lock - owner thread: 0x00007f07d40fa800 [0x00007f07d4006180] Threads_lock - owner thread: 0x00007f07d40fa800 [0x00007f07d4006680] Heap_lock - owner thread: 0x00007f0780006800 Heap: PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1132032K, used 969644K [0x00000006d1800000, 0x0000000716980000, 0x0000000770800000) object space 1132032K, 85% used [0x00000006d1800000,0x000000070caeb198,0x0000000716980000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f07d8d9a000,0x00007f07d950f000] byte_map_base: 0x00007f07d570e000 Marking Bits: (ParMarkBitMap*) 0x00007f07dc048dc0 Begin Bits: [0x00007f07b08c0000, 0x00007f07b4460000) End Bits: [0x00007f07b4460000, 0x00007f07b8000000) Polling page: 0x00007f07dcc81000 CodeCache: size=245760Kb used=9084Kb max_used=9097Kb free=236675Kb bounds [0x00007f07c5000000, 0x00007f07c58f0000, 0x00007f07d4000000] total_blobs=2810 nmethods=2361 adapters=362 compilation: enabled Compilation events (10 events): Event: 23.982 Thread 0x00007f07d413b800 2608 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 23.983 Thread 0x00007f07d413b800 nmethod 2608 0x00007f07c58ba790 code [0x00007f07c58ba900, 0x00007f07c58baa38] Event: 23.983 Thread 0x00007f07d413b800 2611 4 java.util.ArrayDeque::pop (5 bytes) Event: 23.985 Thread 0x00007f07d413b800 nmethod 2611 0x00007f07c58ba450 code [0x00007f07c58ba5a0, 0x00007f07c58ba678] Event: 25.199 Thread 0x00007f07d413e800 2613 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 25.206 Thread 0x00007f07d413e800 nmethod 2613% 0x00007f07c58cfb90 code [0x00007f07c58d0680, 0x00007f07c58d8af8] Event: 25.209 Thread 0x00007f07d413e800 2614 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 25.217 Thread 0x00007f07d413e800 nmethod 2614 0x00007f07c58de050 code [0x00007f07c58deba0, 0x00007f07c58e77c8] Event: 25.639 Thread 0x00007f07d413b800 2615 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 25.650 Thread 0x00007f07d413b800 nmethod 2615% 0x00007f07c58c41d0 code [0x00007f07c58c43e0, 0x00007f07c58c4bc8] GC Heap History (10 events): Event: 36.206 GC heap after Heap after GC invocations=16 (full 5): PSYoungGen total 940544K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 645632K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000797e80000) from space 294912K, 0% used [0x0000000797e80000,0x0000000797e80000,0x00000007a9e80000) to space 361984K, 0% used [0x00000007a9e80000,0x00000007a9e80000,0x00000007c0000000) ParOldGen total 987136K, used 579591K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 58% used [0x00000006d1800000,0x00000006f4e01e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 36.756 GC heap before {Heap before GC invocations=17 (full 5): PSYoungGen total 940544K, used 645632K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 645632K, 100% used [0x0000000770800000,0x0000000797e80000,0x0000000797e80000) from space 294912K, 0% used [0x0000000797e80000,0x0000000797e80000,0x00000007a9e80000) to space 361984K, 0% used [0x00000007a9e80000,0x00000007a9e80000,0x00000007c0000000) ParOldGen total 987136K, used 579591K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 58% used [0x00000006d1800000,0x00000006f4e01e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 37.138 GC heap after Heap after GC invocations=17 (full 5): PSYoungGen total 819712K, used 252544K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 457728K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078c700000) from space 361984K, 69% used [0x00000007a9e80000,0x00000007b9520000,0x00000007c0000000) to space 422400K, 0% used [0x000000078c700000,0x000000078c700000,0x00000007a6380000) ParOldGen total 987136K, used 579591K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 58% used [0x00000006d1800000,0x00000006f4e01e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 37.497 GC heap before {Heap before GC invocations=18 (full 5): PSYoungGen total 819712K, used 710272K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 457728K, 100% used [0x0000000770800000,0x000000078c700000,0x000000078c700000) from space 361984K, 69% used [0x00000007a9e80000,0x00000007b9520000,0x00000007c0000000) to space 422400K, 0% used [0x000000078c700000,0x000000078c700000,0x00000007a6380000) ParOldGen total 987136K, used 579591K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 58% used [0x00000006d1800000,0x00000006f4e01e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 38.038 GC heap after Heap after GC invocations=18 (full 5): PSYoungGen total 880128K, used 422400K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 457728K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078c700000) from space 422400K, 100% used [0x000000078c700000,0x00000007a6380000,0x00000007a6380000) to space 422400K, 0% used [0x00000007a6380000,0x00000007a6380000,0x00000007c0000000) ParOldGen total 987136K, used 588767K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 59% used [0x00000006d1800000,0x00000006f56f7e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 38.381 GC heap before {Heap before GC invocations=19 (full 5): PSYoungGen total 880128K, used 880128K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 457728K, 100% used [0x0000000770800000,0x000000078c700000,0x000000078c700000) from space 422400K, 100% used [0x000000078c700000,0x00000007a6380000,0x00000007a6380000) to space 422400K, 0% used [0x00000007a6380000,0x00000007a6380000,0x00000007c0000000) ParOldGen total 987136K, used 588767K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 59% used [0x00000006d1800000,0x00000006f56f7e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 39.215 GC heap after Heap after GC invocations=19 (full 5): PSYoungGen total 856576K, used 422400K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 422400K, 100% used [0x00000007a6380000,0x00000007c0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 987136K, used 768543K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 77% used [0x00000006d1800000,0x0000000700687e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 39.615 GC heap before {Heap before GC invocations=20 (full 5): PSYoungGen total 856576K, used 856576K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 422400K, 100% used [0x00000007a6380000,0x00000007c0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 987136K, used 768543K [0x00000006d1800000, 0x000000070dc00000, 0x0000000770800000) object space 987136K, 77% used [0x00000006d1800000,0x0000000700687e48,0x000000070dc00000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 40.430 GC heap after Heap after GC invocations=20 (full 5): PSYoungGen total 868352K, used 235392K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 54% used [0x000000078b000000,0x00000007995e0010,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1132032K, used 1131527K [0x00000006d1800000, 0x0000000716980000, 0x0000000770800000) object space 1132032K, 99% used [0x00000006d1800000,0x0000000716901e48,0x0000000716980000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 40.430 GC heap before {Heap before GC invocations=21 (full 6): PSYoungGen total 868352K, used 235392K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 54% used [0x000000078b000000,0x00000007995e0010,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1132032K, used 1131527K [0x00000006d1800000, 0x0000000716980000, 0x0000000770800000) object space 1132032K, 99% used [0x00000006d1800000,0x0000000716901e48,0x0000000716980000) Metaspace used 26589K, capacity 29304K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 22.845 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5482424 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 22.845 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5641d60 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 162 Event: 22.857 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c51f93bc method=java.util.HashMap.resize()[Ljava/util/HashMap$Node; @ 206 Event: 23.416 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5317b70 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 23.417 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5512f28 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 23.417 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c550f980 method=java.util.HashMap.getNode(ILjava/lang/Object;)Ljava/util/HashMap$Node; @ 84 Event: 23.417 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c58699a0 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 109 Event: 23.437 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5875cb8 method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 109 Event: 23.437 Thread 0x00007f0780006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5806acc method=java.util.HashMap.putVal(ILjava/lang/Object;Ljava/lang/Object;ZZ)Ljava/lang/Object; @ 109 Event: 23.670 Thread 0x00007f07d4107000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f07c5226a7c method=java.lang.ref.ReferenceQueue.poll()Ljava/lang/ref/Reference; @ 4 Internal exceptions (10 events): Event: 19.103 Thread 0x00007f07d400a000 Exception (0x000000077124e480) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.134 Thread 0x00007f07d400a000 Exception (0x00000007713c93a8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.134 Thread 0x00007f07d400a000 Exception (0x00000007713cd198) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.138 Thread 0x00007f07d400a000 Exception (0x00000007714ac9d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.138 Thread 0x00007f07d400a000 Exception (0x00000007714b0968) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.139 Thread 0x00007f07d400a000 Exception (0x00000007714b44f0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.139 Thread 0x00007f07d400a000 Exception (0x00000007714b8290) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 19.140 Thread 0x00007f07d400a000 Exception (0x00000007714d9478) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 20.277 Thread 0x00007f0780006800 Exception (0x0000000771e2a910) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 22.279 Thread 0x00007f0780006800 Exception (0x0000000772721560) thrown at [/HUDSO Events (10 events): Event: 31.632 Executing VM operation: ParallelGCFailedAllocation done Event: 32.201 Executing VM operation: ParallelGCFailedAllocation Event: 36.206 Executing VM operation: ParallelGCFailedAllocation done Event: 36.756 Executing VM operation: ParallelGCFailedAllocation Event: 37.138 Executing VM operation: ParallelGCFailedAllocation done Event: 37.497 Executing VM operation: ParallelGCFailedAllocation Event: 38.038 Executing VM operation: ParallelGCFailedAllocation done Event: 38.381 Executing VM operation: ParallelGCFailedAllocation Event: 39.215 Executing VM operation: ParallelGCFailedAllocation done Event: 39.615 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 00a3f000-00a60000 rw-p 00000000 00:00 0 [heap] 6d1800000-716980000 rw-p 00000000 00:00 0 730180000-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 7f0748000000-7f0748021000 rw-p 00000000 00:00 0 7f0748021000-7f074c000000 ---p 00000000 00:00 0 7f074c000000-7f074c021000 rw-p 00000000 00:00 0 7f074c021000-7f0750000000 ---p 00000000 00:00 0 7f0750000000-7f0750021000 rw-p 00000000 00:00 0 7f0750021000-7f0754000000 ---p 00000000 00:00 0 7f0754000000-7f0754021000 rw-p 00000000 00:00 0 7f0754021000-7f0758000000 ---p 00000000 00:00 0 7f0758000000-7f0758021000 rw-p 00000000 00:00 0 7f0758021000-7f075c000000 ---p 00000000 00:00 0 7f075c000000-7f075c021000 rw-p 00000000 00:00 0 7f075c021000-7f0760000000 ---p 00000000 00:00 0 7f0760000000-7f0760021000 rw-p 00000000 00:00 0 7f0760021000-7f0764000000 ---p 00000000 00:00 0 7f0764000000-7f0764021000 rw-p 00000000 00:00 0 7f0764021000-7f0768000000 ---p 00000000 00:00 0 7f0768000000-7f0768021000 rw-p 00000000 00:00 0 7f0768021000-7f076c000000 ---p 00000000 00:00 0 7f076c000000-7f076c021000 rw-p 00000000 00:00 0 7f076c021000-7f0770000000 ---p 00000000 00:00 0 7f0770000000-7f0770021000 rw-p 00000000 00:00 0 7f0770021000-7f0774000000 ---p 00000000 00:00 0 7f0774000000-7f07741ac000 rw-p 00000000 00:00 0 7f07741ac000-7f0778000000 ---p 00000000 00:00 0 7f07793ee000-7f07793f1000 ---p 00000000 00:00 0 7f07793f1000-7f07797ef000 rw-p 00000000 00:00 0 7f07797ef000-7f07797f2000 ---p 00000000 00:00 0 7f07797f2000-7f0779bf0000 rw-p 00000000 00:00 0 7f0779bf0000-7f0779bf3000 ---p 00000000 00:00 0 7f0779bf3000-7f0779ff1000 rw-p 00000000 00:00 0 7f0779ff1000-7f0779ff4000 ---p 00000000 00:00 0 7f0779ff4000-7f077a4f2000 rw-p 00000000 00:00 0 7f077a4f2000-7f077a5f2000 ---p 00000000 00:00 0 7f077a5f2000-7f077a5f5000 ---p 00000000 00:00 0 7f077a5f5000-7f077abf3000 rw-p 00000000 00:00 0 7f077abf3000-7f077abf6000 ---p 00000000 00:00 0 7f077abf6000-7f077aff4000 rw-p 00000000 00:00 0 7f077aff4000-7f077aff7000 ---p 00000000 00:00 0 7f077aff7000-7f077b3f5000 rw-p 00000000 00:00 0 7f077b3f5000-7f077b3f8000 ---p 00000000 00:00 0 7f077b3f8000-7f077b7f6000 rw-p 00000000 00:00 0 7f077b7f6000-7f077b7f9000 ---p 00000000 00:00 0 7f077b7f9000-7f077bbf7000 rw-p 00000000 00:00 0 7f077bbf7000-7f077bc00000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f077bc00000-7f077bdff000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f077bdff000-7f077be00000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f077be00000-7f077c000000 rw-p 00000000 00:00 0 7f077c000000-7f077c021000 rw-p 00000000 00:00 0 7f077c021000-7f0780000000 ---p 00000000 00:00 0 7f0780000000-7f0780021000 rw-p 00000000 00:00 0 7f0780021000-7f0784000000 ---p 00000000 00:00 0 7f0784000000-7f0784021000 rw-p 00000000 00:00 0 7f0784021000-7f0788000000 ---p 00000000 00:00 0 7f0788000000-7f078811c000 rw-p 00000000 00:00 0 7f078811c000-7f078c000000 ---p 00000000 00:00 0 7f078c000000-7f078c021000 rw-p 00000000 00:00 0 7f078c021000-7f0790000000 ---p 00000000 00:00 0 7f0790000000-7f0790021000 rw-p 00000000 00:00 0 7f0790021000-7f0794000000 ---p 00000000 00:00 0 7f0794000000-7f079499d000 rw-p 00000000 00:00 0 7f079499d000-7f0798000000 ---p 00000000 00:00 0 7f0798000000-7f0798021000 rw-p 00000000 00:00 0 7f0798021000-7f079c000000 ---p 00000000 00:00 0 7f079c000000-7f079c021000 rw-p 00000000 00:00 0 7f079c021000-7f07a0000000 ---p 00000000 00:00 0 7f07a0000000-7f07a1023000 rw-p 00000000 00:00 0 7f07a1023000-7f07a4000000 ---p 00000000 00:00 0 7f07a4000000-7f07a4021000 rw-p 00000000 00:00 0 7f07a4021000-7f07a8000000 ---p 00000000 00:00 0 7f07a8000000-7f07a8021000 rw-p 00000000 00:00 0 7f07a8021000-7f07ac000000 ---p 00000000 00:00 0 7f07ac000000-7f07ac307000 rw-p 00000000 00:00 0 7f07ac307000-7f07b0000000 ---p 00000000 00:00 0 7f07b00bf000-7f07b02bf000 rw-p 00000000 00:00 0 7f07b02bf000-7f07b02c2000 ---p 00000000 00:00 0 7f07b02c2000-7f07b8000000 rw-p 00000000 00:00 0 7f07b8000000-7f07b81ce000 rw-p 00000000 00:00 0 7f07b81ce000-7f07bc000000 ---p 00000000 00:00 0 7f07bc0b8000-7f07bc0bb000 ---p 00000000 00:00 0 7f07bc0bb000-7f07bc0f1000 rw-p 00000000 00:00 0 7f07bc0f1000-7f07bc0f6000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f07bc0f6000-7f07bc0f8000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f07bc0f8000-7f07bc0fb000 ---p 00000000 00:00 0 7f07bc0fb000-7f07bc131000 rw-p 00000000 00:00 0 7f07bc131000-7f07bc133000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f07bc133000-7f07bc146000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f07bc146000-7f07bc187000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f07bc187000-7f07bc189000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f07bc189000-7f07bc195000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f07bc195000-7f07bc19a000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f07bc19a000-7f07bc19c000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f07bc19c000-7f07bc19f000 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 7f07bc19f000-7f07bc1a2000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f07bc1a2000-7f07bc1a5000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f07bc1a5000-7f07bc1aa000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f07bc1aa000-7f07bc1ae000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f07bc1ae000-7f07bc3ae000 rw-p 00000000 00:00 0 7f07bc3ae000-7f07bc40f000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f07bc40f000-7f07bc412000 ---p 00000000 00:00 0 7f07bc412000-7f07bca10000 rw-p 00000000 00:00 0 7f07bca10000-7f07bca1a000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f07bca1a000-7f07bca1c000 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 7f07bca1c000-7f07bca1e000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f07bca1e000-7f07bca20000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f07bca20000-7f07bca71000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f07bca71000-7f07bca73000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f07bca73000-7f07bca75000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f07bca75000-7f07bca77000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f07bca77000-7f07bca9f000 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 7f07bca9f000-7f07bcac7000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f07bcac7000-7f07bccc7000 rw-p 00000000 00:00 0 7f07bccc7000-7f07bcec7000 rw-p 00000000 00:00 0 7f07bcec7000-7f07bceca000 ---p 00000000 00:00 0 7f07bceca000-7f07bd2c8000 rw-p 00000000 00:00 0 7f07bd2c8000-7f07bd2d8000 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 7f07bd2d8000-7f07bd3d7000 ---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 7f07bd3d7000-7f07bd3d9000 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 7f07bd3d9000-7f07bd3dc000 ---p 00000000 00:00 0 7f07bd3dc000-7f07bd7da000 rw-p 00000000 00:00 0 7f07bd7da000-7f07bd7dd000 ---p 00000000 00:00 0 7f07bd7dd000-7f07bdbdb000 rw-p 00000000 00:00 0 7f07bdbdb000-7f07bdbde000 ---p 00000000 00:00 0 7f07bdbde000-7f07bdfdc000 rw-p 00000000 00:00 0 7f07bdfdc000-7f07bdfed000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f07bdfed000-7f07be1ec000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f07be1ec000-7f07be1ed000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f07be1ed000-7f07be203000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f07be203000-7f07be403000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f07be403000-7f07be404000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f07be404000-7f07be405000 ---p 00000000 00:00 0 7f07be405000-7f07be505000 rw-p 00000000 00:00 0 7f07be505000-7f07be508000 ---p 00000000 00:00 0 7f07be508000-7f07be906000 rw-p 00000000 00:00 0 7f07be906000-7f07be909000 ---p 00000000 00:00 0 7f07be909000-7f07bea07000 rw-p 00000000 00:00 0 7f07bea07000-7f07bea0a000 ---p 00000000 00:00 0 7f07bea0a000-7f07beb08000 rw-p 00000000 00:00 0 7f07beb08000-7f07beb0b000 ---p 00000000 00:00 0 7f07beb0b000-7f07bef09000 rw-p 00000000 00:00 0 7f07bef09000-7f07bf2f9000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f07bf2f9000-7f07bf2fc000 ---p 00000000 00:00 0 7f07bf2fc000-7f07bf6fa000 rw-p 00000000 00:00 0 7f07bf6fa000-7f07bf6fd000 ---p 00000000 00:00 0 7f07bf6fd000-7f07bfafb000 rw-p 00000000 00:00 0 7f07bfafb000-7f07bfafc000 ---p 00000000 00:00 0 7f07bfafc000-7f07c0000000 rw-p 00000000 00:00 0 7f07c0000000-7f07c0117000 rw-p 00000000 00:00 0 7f07c0117000-7f07c4000000 ---p 00000000 00:00 0 7f07c4000000-7f07c4002000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f07c4002000-7f07c4003000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f07c4003000-7f07c4005000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f07c4005000-7f07c400c000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f07c400c000-7f07c400e000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f07c400e000-7f07c4011000 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 7f07c4011000-7f07c4013000 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 7f07c4013000-7f07c4015000 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 7f07c4015000-7f07c4025000 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 7f07c4025000-7f07c4028000 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 7f07c4028000-7f07c402b000 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 7f07c402b000-7f07c4034000 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 7f07c4034000-7f07c4045000 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 7f07c4045000-7f07c4048000 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 7f07c4048000-7f07c404a000 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 7f07c404a000-7f07c404c000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f07c404c000-7f07c404e000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f07c404e000-7f07c4051000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f07c4051000-7f07c4053000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f07c4053000-7f07c4055000 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 7f07c4055000-7f07c4058000 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 7f07c4058000-7f07c405c000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f07c405c000-7f07c45b0000 rw-p 00000000 00:00 0 7f07c45b0000-7f07c478a000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f07c478a000-7f07c5000000 rw-p 00000000 00:00 0 7f07c5000000-7f07c58f0000 rwxp 00000000 00:00 0 7f07c58f0000-7f07d4000000 ---p 00000000 00:00 0 7f07d4000000-7f07d49cc000 rw-p 00000000 00:00 0 7f07d49cc000-7f07d8000000 ---p 00000000 00:00 0 7f07d8000000-7f07d8001000 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 7f07d8001000-7f07d8003000 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 7f07d8003000-7f07d8013000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f07d8013000-7f07d801f000 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 7f07d801f000-7f07d8021000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f07d8021000-7f07d8023000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f07d8023000-7f07d8025000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f07d8025000-7f07d802d000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f07d802d000-7f07d87a1000 rw-p 00000000 00:00 0 7f07d87a1000-7f07d87a2000 ---p 00000000 00:00 0 7f07d87a2000-7f07d8acb000 rw-p 00000000 00:00 0 7f07d8acb000-7f07d8d9a000 ---p 00000000 00:00 0 7f07d8d9a000-7f07d8fc3000 rw-p 00000000 00:00 0 7f07d8fc3000-7f07d9292000 ---p 00000000 00:00 0 7f07d9292000-7f07d950e000 rw-p 00000000 00:00 0 7f07d950e000-7f07d9533000 rw-p 00000000 00:00 0 7f07d9533000-7f07d98cf000 ---p 00000000 00:00 0 7f07d98cf000-7f07d98e9000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f07d98e9000-7f07d9ae9000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f07d9ae9000-7f07d9aea000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f07d9aea000-7f07d9af5000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f07d9af5000-7f07d9cf4000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f07d9cf4000-7f07d9cf5000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f07d9cf5000-7f07d9cf6000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f07d9cf6000-7f07d9d01000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f07d9d01000-7f07d9f00000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f07d9f00000-7f07d9f01000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f07d9f01000-7f07d9f02000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f07d9f02000-7f07d9f18000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f07d9f18000-7f07da117000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f07da117000-7f07da118000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f07da118000-7f07da119000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f07da119000-7f07da11b000 rw-p 00000000 00:00 0 7f07da11b000-7f07da122000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f07da122000-7f07da322000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f07da322000-7f07da323000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f07da323000-7f07da324000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f07da324000-7f07da34f000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f07da34f000-7f07da54e000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f07da54e000-7f07da550000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f07da550000-7f07da55d000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f07da55d000-7f07da75d000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f07da75d000-7f07da75f000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f07da75f000-7f07da766000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f07da766000-7f07da965000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f07da965000-7f07da966000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f07da966000-7f07da967000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f07da967000-7f07da96a000 ---p 00000000 00:00 0 7f07da96a000-7f07dad68000 rw-p 00000000 00:00 0 7f07dad68000-7f07dae7d000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f07dae7d000-7f07db07d000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f07db07d000-7f07db07e000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f07db07e000-7f07db07f000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f07db07f000-7f07dbd52000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f07dbd52000-7f07dbf51000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f07dbf51000-7f07dc02b000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f07dc02b000-7f07dc076000 rw-p 00000000 00:00 0 7f07dc076000-7f07dc21e000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f07dc21e000-7f07dc41d000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f07dc41d000-7f07dc421000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f07dc421000-7f07dc423000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f07dc423000-7f07dc427000 rw-p 00000000 00:00 0 7f07dc427000-7f07dc42a000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f07dc42a000-7f07dc629000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f07dc629000-7f07dc62a000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f07dc62a000-7f07dc62b000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f07dc62b000-7f07dc640000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f07dc640000-7f07dc840000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f07dc840000-7f07dc841000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f07dc841000-7f07dc85b000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f07dc85b000-7f07dca5b000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f07dca5b000-7f07dca5c000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f07dca5c000-7f07dca5d000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f07dca5d000-7f07dca61000 rw-p 00000000 00:00 0 7f07dca61000-7f07dca84000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f07dca84000-7f07dca8a000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f07dca8a000-7f07dca90000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f07dca90000-7f07dca94000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f07dca94000-7f07dcb3a000 rw-p 00000000 00:00 0 7f07dcb3a000-7f07dcb3b000 ---p 00000000 00:00 0 7f07dcb3b000-7f07dcc3d000 rw-p 00000000 00:00 0 7f07dcc3d000-7f07dcc3f000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f07dcc3f000-7f07dcc43000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f07dcc43000-7f07dcc45000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f07dcc45000-7f07dcc48000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f07dcc48000-7f07dcc4b000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f07dcc4b000-7f07dcc4e000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f07dcc4e000-7f07dcc52000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f07dcc52000-7f07dcc54000 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 7f07dcc54000-7f07dcc56000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f07dcc56000-7f07dcc59000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f07dcc59000-7f07dcc6e000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f07dcc6e000-7f07dcc71000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f07dcc71000-7f07dcc76000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f07dcc76000-7f07dcc78000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f07dcc78000-7f07dcc80000 rw-s 00000000 09:01 1312087 /tmp/hsperfdata_root/11463 7f07dcc80000-7f07dcc81000 rw-p 00000000 00:00 0 7f07dcc81000-7f07dcc82000 ---p 00000000 00:00 0 7f07dcc82000-7f07dcc84000 rw-p 00000000 00:00 0 7f07dcc84000-7f07dcc85000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f07dcc85000-7f07dcc86000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f07dcc86000-7f07dcc87000 rw-p 00000000 00:00 0 7ffc595e8000-7ffc5960a000 rw-p 00000000 00:00 0 [stack] 7ffc596bb000-7ffc596be000 r--p 00000000 00:00 0 [vvar] 7ffc596be000-7ffc596c0000 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_e3_294_e3_47.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:13.50 11.60 9.13 /proc/meminfo: MemTotal: 24665244 kB MemFree: 366120 kB MemAvailable: 263024 kB Buffers: 30364 kB Cached: 151516 kB SwapCached: 0 kB Active: 23936276 kB Inactive: 83712 kB Active(anon): 23842744 kB Inactive(anon): 628 kB Active(file): 93532 kB Inactive(file): 83084 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 3024 kB Writeback: 0 kB AnonPages: 23849256 kB Mapped: 68736 kB Shmem: 1476 kB Slab: 108032 kB SReclaimable: 48600 kB SUnreclaim: 59432 kB KernelStack: 15840 kB PageTables: 62632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24134776 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 317440 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 : 3595.898 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 : 3680.981 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 : 3660.852 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 : 3596.105 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 : 3652.758 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 : 3508.325 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(366120k 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:08:10 2018 elapsed time: 46 seconds (0d 0h 0m 46s)