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/metros_1_e2_1102.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-62c3406-m [2018-06-27 01:57:34,293 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-27 01:57:34,295 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-27 01:57:34,309 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-27 01:57:34,309 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-27 01:57:34,310 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-27 01:57:34,311 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-27 01:57:34,316 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-27 01:57:34,317 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-27 01:57:34,318 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-27 01:57:34,319 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-27 01:57:34,319 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-27 01:57:34,320 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-27 01:57:34,321 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-27 01:57:34,322 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-27 01:57:34,323 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-27 01:57:34,323 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-27 01:57:34,325 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-27 01:57:34,327 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-27 01:57:34,329 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-27 01:57:34,330 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-27 01:57:34,331 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-27 01:57:34,334 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-27 01:57:34,334 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-27 01:57:34,334 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-27 01:57:34,335 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-27 01:57:34,336 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-27 01:57:34,337 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-27 01:57:34,337 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-27 01:57:34,338 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-27 01:57:34,339 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-27 01:57:34,339 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-27 01:57:34,340 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-06-27 01:57:34,340 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-27 01:57:34,341 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-27 01:57:34,341 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-27 01:57:34,342 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf [2018-06-27 01:57:34,355 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-27 01:57:34,356 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-27 01:57:34,356 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-27 01:57:34,356 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-27 01:57:34,357 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-27 01:57:34,357 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-27 01:57:34,358 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-27 01:57:34,358 INFO L133 SettingsManager]: * Use SBE=true [2018-06-27 01:57:34,358 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-27 01:57:34,358 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-27 01:57:34,359 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-27 01:57:34,359 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-27 01:57:34,359 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:57:34,359 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-27 01:57:34,360 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-27 01:57:34,360 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-27 01:57:34,360 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-27 01:57:34,360 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-27 01:57:34,361 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-27 01:57:34,361 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-27 01:57:34,361 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-27 01:57:34,363 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-27 01:57:34,363 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-27 01:57:34,399 INFO ]: Repository-Root is: /tmp [2018-06-27 01:57:34,416 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-27 01:57:34,421 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-27 01:57:34,423 INFO ]: Initializing SmtParser... [2018-06-27 01:57:34,423 INFO ]: SmtParser initialized [2018-06-27 01:57:34,424 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102.smt2 [2018-06-27 01:57:34,425 INFO ]: Parsing .smt2 file as a set of Horn Clauses No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000 [2018-06-27 01:57:34,492 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102.smt2 unknown [2018-06-27 01:57:35,009 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102.smt2 [2018-06-27 01:57:35,014 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-27 01:57:35,020 INFO ]: Walking toolchain with 5 elements. [2018-06-27 01:57:35,020 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-27 01:57:35,020 INFO ]: Initializing ChcToBoogie... [2018-06-27 01:57:35,021 INFO ]: ChcToBoogie initialized [2018-06-27 01:57:35,024 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,107 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35 Unit [2018-06-27 01:57:35,107 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-27 01:57:35,108 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-27 01:57:35,108 INFO ]: Initializing Boogie Preprocessor... [2018-06-27 01:57:35,108 INFO ]: Boogie Preprocessor initialized [2018-06-27 01:57:35,139 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,139 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,149 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,149 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,159 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,160 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,163 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,167 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-27 01:57:35,167 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-27 01:57:35,167 INFO ]: Initializing RCFGBuilder... [2018-06-27 01:57:35,167 INFO ]: RCFGBuilder initialized [2018-06-27 01:57:35,168 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:57:35" (1/1) ... No working directory specified, using /storage/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2018-06-27 01:57:35,181 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-27 01:57:35,181 INFO ]: Found specification of procedure gotoProc [2018-06-27 01:57:35,181 INFO ]: Found implementation of procedure gotoProc [2018-06-27 01:57:35,181 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-27 01:57:35,181 INFO ]: Found specification of procedure Ultimate.START [2018-06-27 01:57:35,181 INFO ]: Found implementation of procedure Ultimate.START Waiting until toolchain timeout for monitored process 2 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:57:35,614 INFO ]: Using library mode [2018-06-27 01:57:35,615 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:57:35 BoogieIcfgContainer [2018-06-27 01:57:35,615 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-27 01:57:35,618 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-27 01:57:35,618 INFO ]: Initializing BlockEncodingV2... [2018-06-27 01:57:35,619 INFO ]: BlockEncodingV2 initialized [2018-06-27 01:57:35,620 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:57:35" (1/1) ... [2018-06-27 01:57:35,642 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-27 01:57:35,644 INFO ]: Using Remove infeasible edges [2018-06-27 01:57:35,644 INFO ]: Using Maximize final states [2018-06-27 01:57:35,645 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-27 01:57:35,646 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-27 01:57:35,647 INFO ]: Using Remove sink states [2018-06-27 01:57:35,648 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-27 01:57:35,648 INFO ]: Using Use SBE [2018-06-27 01:57:35,662 WARN ]: aborting because of expected exponential blowup for input size 41 [2018-06-27 01:57:35,681 WARN ]: aborting because of expected exponential blowup for input size 122 [2018-06-27 01:57:35,684 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000074ad00000, 499646464, 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 499646464 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid27290.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 499646464 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=27290, tid=0x00007f683d69c700 # # 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 (0x00007f68500fa800): VMThread [stack: 0x00007f683d59c000,0x00007f683d69d000] [id=27298] Stack: [0x00007f683d59c000,0x00007f683d69d000], sp=0x00007f683d69b390, 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 (0x00007f6835bc7660): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f67f8001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f67f8006800 JavaThread "Worker-2" daemon [_thread_blocked, id=2351, stack(0x00007f67d2dfc000,0x00007f67d31fd000)] 0x00007f67ec149800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=27335, stack(0x00007f67d33fd000,0x00007f67d37fe000)] 0x00007f67d8003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=27334, stack(0x00007f67d37fe000,0x00007f67d3bff000)] 0x00007f67d8001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=27333, stack(0x00007f67d3bff000,0x00007f67d4000000)] 0x00007f67ec147800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=27332, stack(0x00007f68280be000,0x00007f68284bf000)] 0x00007f67ec141000 JavaThread "process reaper" daemon [_thread_in_native, id=27331, stack(0x00007f68340d5000,0x00007f683410e000)] 0x00007f67ec03e800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=27326, stack(0x00007f68284bf000,0x00007f68288c0000)] 0x00007f67e4004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=27325, stack(0x00007f6834315000,0x00007f6834716000)] 0x00007f67e4001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=27324, stack(0x00007f6834716000,0x00007f6834b17000)] 0x00007f67ec00f800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=27323, stack(0x00007f6834b17000,0x00007f6834f18000)] 0x00007f67ec038000 JavaThread "process reaper" daemon [_thread_in_native, id=27322, stack(0x00007f6834f18000,0x00007f6834f51000)] 0x00007f67f8001000 JavaThread "Worker-1" daemon [_thread_blocked, id=27320, stack(0x00007f68357c9000,0x00007f6835bca000)] 0x00007f6850723000 JavaThread "Worker-0" daemon [_thread_blocked, id=27319, stack(0x00007f6835e37000,0x00007f6836238000)] 0x00007f6800070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=27318, stack(0x00007f68368d9000,0x00007f6836cda000)] 0x00007f68503c7800 JavaThread "Start Level: Equinox Container: 403b19b1-9c79-0018-13a6-bfbced92307b" daemon [_thread_blocked, id=27315, stack(0x00007f6836deb000,0x00007f68371ec000)] 0x00007f68503c1000 JavaThread "Framework Event Dispatcher: Equinox Container: 403b19b1-9c79-0018-13a6-bfbced92307b" daemon [_thread_blocked, id=27314, stack(0x00007f68371ec000,0x00007f68375ed000)] 0x00007f68503a5800 JavaThread "Active Thread: Equinox Container: 403b19b1-9c79-0018-13a6-bfbced92307b" [_thread_blocked, id=27309, stack(0x00007f68375ed000,0x00007f68379ee000)] 0x00007f6850141800 JavaThread "Service Thread" daemon [_thread_blocked, id=27304, stack(0x00007f6837bff000,0x00007f6838000000)] 0x00007f685013e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=27303, stack(0x00007f683c3a7000,0x00007f683c4a8000)] 0x00007f685013b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=27302, stack(0x00007f683c4a8000,0x00007f683c5a9000)] 0x00007f685013a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=27301, stack(0x00007f683c5a9000,0x00007f683c9aa000)] 0x00007f6850107000 JavaThread "Finalizer" daemon [_thread_blocked, id=27300, stack(0x00007f683cd9a000,0x00007f683d19b000)] 0x00007f6850102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=27299, stack(0x00007f683d19b000,0x00007f683d59c000)] 0x00007f685000a000 JavaThread "main" [_thread_blocked, id=27295, stack(0x00007f6854390000,0x00007f6854791000)] Other Threads: =>0x00007f68500fa800 VMThread [stack: 0x00007f683d59c000,0x00007f683d69d000] [id=27298] 0x00007f6850144000 WatcherThread [stack: 0x00007f683c2a6000,0x00007f683c3a7000] [id=27305] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f6850005b00] ExpandHeap_lock - owner thread: 0x00007f68500fa800 [0x00007f6850006180] Threads_lock - owner thread: 0x00007f68500fa800 [0x00007f6850006680] Heap_lock - owner thread: 0x00007f67f8001000 Heap: PSYoungGen total 834560K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 462848K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078cc00000) from space 371712K, 0% used [0x00000007a9500000,0x00000007a9500000,0x00000007c0000000) to space 419840K, 0% used [0x000000078cc00000,0x000000078cc00000,0x00000007a6600000) ParOldGen total 1987584K, used 1543395K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 77% used [0x00000006d1800000,0x000000072fb38e88,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f683f63b000,0x00007f683fdb0000] byte_map_base: 0x00007f683bfaf000 Marking Bits: (ParMarkBitMap*) 0x00007f6855a71dc0 Begin Bits: [0x00007f68288c0000, 0x00007f682c460000) End Bits: [0x00007f682c460000, 0x00007f6830000000) Polling page: 0x00007f68566aa000 CodeCache: size=245760Kb used=9596Kb max_used=9621Kb free=236163Kb bounds [0x00007f6840170000, 0x00007f6840ae0000, 0x00007f684f170000] total_blobs=3015 nmethods=2566 adapters=362 compilation: enabled Compilation events (10 events): Event: 4.062 Thread 0x00007f685013b800 2580 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 4.063 Thread 0x00007f685013b800 nmethod 2580 0x00007f6840ab9150 code [0x00007f6840ab92c0, 0x00007f6840ab93f8] Event: 4.063 Thread 0x00007f685013b800 2581 4 java.util.ArrayDeque::pop (5 bytes) Event: 4.064 Thread 0x00007f685013b800 nmethod 2581 0x00007f6840ac78d0 code [0x00007f6840ac7a20, 0x00007f6840ac7af8] Event: 4.064 Thread 0x00007f685013b800 2583 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes) Event: 4.065 Thread 0x00007f685013b800 nmethod 2583 0x00007f6840ab8e50 code [0x00007f6840ab8fa0, 0x00007f6840ab9058] Event: 6.381 Thread 0x00007f685013b800 2584 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 6.492 Thread 0x00007f685013b800 nmethod 2584% 0x00007f6840acd050 code [0x00007f6840acd480, 0x00007f6840acfb20] Event: 6.507 Thread 0x00007f685013b800 2585 ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (381 bytes) Event: 6.636 Thread 0x00007f685013b800 nmethod 2585 0x00007f6840ad30d0 code [0x00007f6840ad3640, 0x00007f6840ad6c98] GC Heap History (10 events): Event: 23.799 GC heap after Heap after GC invocations=21 (full 4): PSYoungGen total 876032K, used 206016K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 510976K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078fb00000) from space 365056K, 56% used [0x000000078fb00000,0x000000079c430000,0x00000007a5f80000) to space 357376K, 0% used [0x00000007aa300000,0x00000007aa300000,0x00000007c0000000) ParOldGen total 1506304K, used 1370822K [0x00000006d1800000, 0x000000072d700000, 0x0000000770800000) object space 1506304K, 91% used [0x00000006d1800000,0x00000007252b1ad0,0x000000072d700000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 23.799 GC heap before {Heap before GC invocations=22 (full 5): PSYoungGen total 876032K, used 206016K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 510976K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078fb00000) from space 365056K, 56% used [0x000000078fb00000,0x000000079c430000,0x00000007a5f80000) to space 357376K, 0% used [0x00000007aa300000,0x00000007aa300000,0x00000007c0000000) ParOldGen total 1506304K, used 1370822K [0x00000006d1800000, 0x000000072d700000, 0x0000000770800000) object space 1506304K, 91% used [0x00000006d1800000,0x00000007252b1ad0,0x000000072d700000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 29.925 GC heap after Heap after GC invocations=22 (full 5): PSYoungGen total 876032K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 510976K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078fb00000) from space 365056K, 0% used [0x000000078fb00000,0x000000078fb00000,0x00000007a5f80000) to space 357376K, 0% used [0x00000007aa300000,0x00000007aa300000,0x00000007c0000000) ParOldGen total 1987584K, used 1204909K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 60% used [0x00000006d1800000,0x000000071b0ab750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 30.309 GC heap before {Heap before GC invocations=23 (full 5): PSYoungGen total 876032K, used 510976K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 510976K, 100% used [0x0000000770800000,0x000000078fb00000,0x000000078fb00000) from space 365056K, 0% used [0x000000078fb00000,0x000000078fb00000,0x00000007a5f80000) to space 357376K, 0% used [0x00000007aa300000,0x00000007aa300000,0x00000007c0000000) ParOldGen total 1987584K, used 1204909K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 60% used [0x00000006d1800000,0x000000071b0ab750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 30.569 GC heap after Heap after GC invocations=23 (full 5): PSYoungGen total 916480K, used 207936K [0x0000000770800000, 0x00000007beb80000, 0x00000007c0000000) eden space 580096K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000793e80000) from space 336384K, 61% used [0x00000007aa300000,0x00000007b6e10000,0x00000007beb80000) to space 350720K, 0% used [0x0000000793e80000,0x0000000793e80000,0x00000007a9500000) ParOldGen total 1987584K, used 1204909K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 60% used [0x00000006d1800000,0x000000071b0ab750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 31.000 GC heap before {Heap before GC invocations=24 (full 5): PSYoungGen total 916480K, used 788032K [0x0000000770800000, 0x00000007beb80000, 0x00000007c0000000) eden space 580096K, 100% used [0x0000000770800000,0x0000000793e80000,0x0000000793e80000) from space 336384K, 61% used [0x00000007aa300000,0x00000007b6e10000,0x00000007beb80000) to space 350720K, 0% used [0x0000000793e80000,0x0000000793e80000,0x00000007a9500000) ParOldGen total 1987584K, used 1204909K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 60% used [0x00000006d1800000,0x000000071b0ab750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 31.544 GC heap after Heap after GC invocations=24 (full 5): PSYoungGen total 930816K, used 350720K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 580096K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000793e80000) from space 350720K, 100% used [0x0000000793e80000,0x00000007a9500000,0x00000007a9500000) to space 371712K, 0% used [0x00000007a9500000,0x00000007a9500000,0x00000007c0000000) ParOldGen total 1987584K, used 1298869K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 65% used [0x00000006d1800000,0x0000000720c6d750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 31.976 GC heap before {Heap before GC invocations=25 (full 5): PSYoungGen total 930816K, used 930816K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 580096K, 100% used [0x0000000770800000,0x0000000793e80000,0x0000000793e80000) from space 350720K, 100% used [0x0000000793e80000,0x00000007a9500000,0x00000007a9500000) to space 371712K, 0% used [0x00000007a9500000,0x00000007a9500000,0x00000007c0000000) ParOldGen total 1987584K, used 1298869K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 65% used [0x00000006d1800000,0x0000000720c6d750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 32.730 GC heap after Heap after GC invocations=25 (full 5): PSYoungGen total 834560K, used 236352K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 462848K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078cc00000) from space 371712K, 63% used [0x00000007a9500000,0x00000007b7bd0000,0x00000007c0000000) to space 419840K, 0% used [0x000000078cc00000,0x000000078cc00000,0x00000007a6600000) ParOldGen total 1987584K, used 1651093K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 83% used [0x00000006d1800000,0x0000000736465750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 32.730 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 834560K, used 236352K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 462848K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078cc00000) from space 371712K, 63% used [0x00000007a9500000,0x00000007b7bd0000,0x00000007c0000000) to space 419840K, 0% used [0x000000078cc00000,0x000000078cc00000,0x00000007a6600000) ParOldGen total 1987584K, used 1651093K [0x00000006d1800000, 0x000000074ad00000, 0x0000000770800000) object space 1987584K, 83% used [0x00000006d1800000,0x0000000736465750,0x000000074ad00000) Metaspace used 26583K, capacity 29124K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 2.229 Thread 0x00007f67f8001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f6840633178 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.229 Thread 0x00007f67f8001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f684065a4c4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.229 Thread 0x00007f67f8001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f684065a4c4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.229 Thread 0x00007f67f8001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f684065a4c4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.233 Thread 0x00007f67ec03e800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f6840678dc0 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.795 Thread 0x00007f67f8001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f6840879400 method=de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Lexer.next_token()Lcom/github/jhoenicke/javacup/runtime/Symbol; @ 355 Event: 2.964 Thread 0x00007f67f8001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f684089e83c method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 2.964 Thread 0x00007f67f8001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f684089fcb0 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Event: 30.592 Thread 0x00007f68503a5800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f68407568c0 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60 Event: 30.592 Thread 0x00007f68503a5800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f684075d9d0 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 2.148 Thread 0x00007f685000a000 Exception (0x00000007714bfcd0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.148 Thread 0x00007f685000a000 Exception (0x00000007714c34a0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.149 Thread 0x00007f685000a000 Exception (0x00000007714e45c0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 2.151 Thread 0x00007f685000a000 Exception (0x00000007714f0f48) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.152 Thread 0x00007f685000a000 Exception (0x00000007714f6df8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.155 Thread 0x00007f685000a000 Exception (0x0000000771502300) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.155 Thread 0x00007f685000a000 Exception (0x0000000771505068) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.156 Thread 0x00007f685000a000 Exception (0x0000000771507520) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.486 Thread 0x00007f67f8001000 Exception (0x00000007720b80b0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 2.798 Thread 0x00007f67f8001000 Exception (0x000000077307ff58) thrown at [/HUDSO Events (10 events): Event: 30.569 Executing VM operation: ParallelGCFailedAllocation done Event: 30.592 Thread 0x00007f68503a5800 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f68407568c0 Event: 30.592 Thread 0x00007f68503a5800 DEOPT PACKING pc=0x00007f68407568c0 sp=0x00007f68379ec4f0 Event: 30.592 Thread 0x00007f68503a5800 DEOPT UNPACKING pc=0x00007f6840175229 sp=0x00007f68379ec498 mode 2 Event: 30.592 Thread 0x00007f68503a5800 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f684075d9d0 Event: 30.592 Thread 0x00007f68503a5800 DEOPT PACKING pc=0x00007f684075d9d0 sp=0x00007f68379ec4f0 Event: 30.592 Thread 0x00007f68503a5800 DEOPT UNPACKING pc=0x00007f6840175229 sp=0x00007f68379ec498 mode 2 Event: 31.000 Executing VM operation: ParallelGCFailedAllocation Event: 31.544 Executing VM operation: ParallelGCFailedAllocation done Event: 31.976 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 01068000-01089000 rw-p 00000000 00:00 0 [heap] 6d1800000-74ad00000 rw-p 00000000 00:00 0 768980000-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 7f67bc000000-7f67bc021000 rw-p 00000000 00:00 0 7f67bc021000-7f67c0000000 ---p 00000000 00:00 0 7f67c4000000-7f67c4021000 rw-p 00000000 00:00 0 7f67c4021000-7f67c8000000 ---p 00000000 00:00 0 7f67c8000000-7f67c8021000 rw-p 00000000 00:00 0 7f67c8021000-7f67cc000000 ---p 00000000 00:00 0 7f67cc000000-7f67cc021000 rw-p 00000000 00:00 0 7f67cc021000-7f67d0000000 ---p 00000000 00:00 0 7f67d2dfc000-7f67d2dff000 ---p 00000000 00:00 0 7f67d2dff000-7f67d32bd000 rw-p 00000000 00:00 0 7f67d32bd000-7f67d33fd000 ---p 00000000 00:00 0 7f67d33fd000-7f67d3400000 ---p 00000000 00:00 0 7f67d3400000-7f67d37fe000 rw-p 00000000 00:00 0 7f67d37fe000-7f67d3801000 ---p 00000000 00:00 0 7f67d3801000-7f67d3bff000 rw-p 00000000 00:00 0 7f67d3bff000-7f67d3c02000 ---p 00000000 00:00 0 7f67d3c02000-7f67d4000000 rw-p 00000000 00:00 0 7f67d4000000-7f67d4021000 rw-p 00000000 00:00 0 7f67d4021000-7f67d8000000 ---p 00000000 00:00 0 7f67d8000000-7f67d8021000 rw-p 00000000 00:00 0 7f67d8021000-7f67dc000000 ---p 00000000 00:00 0 7f67dc000000-7f67dc021000 rw-p 00000000 00:00 0 7f67dc021000-7f67e0000000 ---p 00000000 00:00 0 7f67e0000000-7f67e0021000 rw-p 00000000 00:00 0 7f67e0021000-7f67e4000000 ---p 00000000 00:00 0 7f67e4000000-7f67e4021000 rw-p 00000000 00:00 0 7f67e4021000-7f67e8000000 ---p 00000000 00:00 0 7f67e8000000-7f67e8021000 rw-p 00000000 00:00 0 7f67e8021000-7f67ec000000 ---p 00000000 00:00 0 7f67ec000000-7f67ec1ab000 rw-p 00000000 00:00 0 7f67ec1ab000-7f67f0000000 ---p 00000000 00:00 0 7f67f0000000-7f67f0021000 rw-p 00000000 00:00 0 7f67f0021000-7f67f4000000 ---p 00000000 00:00 0 7f67f4000000-7f67f4021000 rw-p 00000000 00:00 0 7f67f4021000-7f67f8000000 ---p 00000000 00:00 0 7f67f8000000-7f67f8021000 rw-p 00000000 00:00 0 7f67f8021000-7f67fc000000 ---p 00000000 00:00 0 7f67fc000000-7f67fc021000 rw-p 00000000 00:00 0 7f67fc021000-7f6800000000 ---p 00000000 00:00 0 7f6800000000-7f68000ed000 rw-p 00000000 00:00 0 7f68000ed000-7f6804000000 ---p 00000000 00:00 0 7f6804000000-7f6804021000 rw-p 00000000 00:00 0 7f6804021000-7f6808000000 ---p 00000000 00:00 0 7f6808000000-7f6808021000 rw-p 00000000 00:00 0 7f6808021000-7f680c000000 ---p 00000000 00:00 0 7f680c000000-7f680c890000 rw-p 00000000 00:00 0 7f680c890000-7f6810000000 ---p 00000000 00:00 0 7f6810000000-7f6810021000 rw-p 00000000 00:00 0 7f6810021000-7f6814000000 ---p 00000000 00:00 0 7f6814000000-7f6814021000 rw-p 00000000 00:00 0 7f6814021000-7f6818000000 ---p 00000000 00:00 0 7f6818000000-7f6818cba000 rw-p 00000000 00:00 0 7f6818cba000-7f681c000000 ---p 00000000 00:00 0 7f681c000000-7f681c021000 rw-p 00000000 00:00 0 7f681c021000-7f6820000000 ---p 00000000 00:00 0 7f6820000000-7f6820021000 rw-p 00000000 00:00 0 7f6820021000-7f6824000000 ---p 00000000 00:00 0 7f6824000000-7f68242ff000 rw-p 00000000 00:00 0 7f68242ff000-7f6828000000 ---p 00000000 00:00 0 7f68280be000-7f68280c1000 ---p 00000000 00:00 0 7f68280c1000-7f68284bf000 rw-p 00000000 00:00 0 7f68284bf000-7f68284c2000 ---p 00000000 00:00 0 7f68284c2000-7f6830000000 rw-p 00000000 00:00 0 7f6830000000-7f6830145000 rw-p 00000000 00:00 0 7f6830145000-7f6834000000 ---p 00000000 00:00 0 7f68340d5000-7f68340d8000 ---p 00000000 00:00 0 7f68340d8000-7f683410e000 rw-p 00000000 00:00 0 7f683410e000-7f6834113000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f6834113000-7f6834313000 rw-p 00000000 00:00 0 7f6834313000-7f6834315000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f6834315000-7f6834318000 ---p 00000000 00:00 0 7f6834318000-7f6834716000 rw-p 00000000 00:00 0 7f6834716000-7f6834719000 ---p 00000000 00:00 0 7f6834719000-7f6834b17000 rw-p 00000000 00:00 0 7f6834b17000-7f6834b1a000 ---p 00000000 00:00 0 7f6834b1a000-7f6834f18000 rw-p 00000000 00:00 0 7f6834f18000-7f6834f1b000 ---p 00000000 00:00 0 7f6834f1b000-7f6834f51000 rw-p 00000000 00:00 0 7f6834f51000-7f6834f53000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f6834f53000-7f6834f5c000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f6834f5c000-7f683515b000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f683515b000-7f683515c000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f683515c000-7f683535c000 rw-p 00000000 00:00 0 7f683535c000-7f683555c000 rw-p 00000000 00:00 0 7f683555c000-7f683556f000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f683556f000-7f68355b0000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f68355b0000-7f68355b2000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f68355b2000-7f68357b2000 rw-p 00000000 00:00 0 7f68357b2000-7f68357be000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f68357be000-7f68357c3000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f68357c3000-7f68357c5000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f68357c5000-7f68357c6000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7f68357c6000-7f68357c9000 r--s 0001f000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar 7f68357c9000-7f68357cc000 ---p 00000000 00:00 0 7f68357cc000-7f6835bca000 rw-p 00000000 00:00 0 7f6835bca000-7f6835bcd000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f6835bcd000-7f6835bd2000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f6835bd2000-7f6835bd6000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f6835bd6000-7f6835dd6000 rw-p 00000000 00:00 0 7f6835dd6000-7f6835e37000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f6835e37000-7f6835e3a000 ---p 00000000 00:00 0 7f6835e3a000-7f6836438000 rw-p 00000000 00:00 0 7f6836438000-7f6836442000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f6836442000-7f6836444000 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 7f6836444000-7f6836446000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f6836446000-7f6836448000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f6836448000-7f6836499000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f6836499000-7f683649b000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f683649b000-7f683649d000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f683649d000-7f683649f000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f683649f000-7f68364a1000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f68364a1000-7f68364a2000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f68364a2000-7f68364a4000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f68364a4000-7f68364aa000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f68364aa000-7f68364ac000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f68364ac000-7f68364af000 r--s 00010000 09:02 30015888 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar 7f68364af000-7f68364b1000 r--s 00006000 09:02 30015887 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar 7f68364b1000-7f68364d9000 r--s 00241000 09:02 30019484 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/nestedword/operations/optncsb/trove-3.0.3.jar 7f68364d9000-7f68366d9000 rw-p 00000000 00:00 0 7f68366d9000-7f68368d9000 rw-p 00000000 00:00 0 7f68368d9000-7f68368dc000 ---p 00000000 00:00 0 7f68368dc000-7f6836cda000 rw-p 00000000 00:00 0 7f6836cda000-7f6836cea000 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 7f6836cea000-7f6836de9000 ---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 7f6836de9000-7f6836deb000 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 7f6836deb000-7f6836dee000 ---p 00000000 00:00 0 7f6836dee000-7f68371ec000 rw-p 00000000 00:00 0 7f68371ec000-7f68371ef000 ---p 00000000 00:00 0 7f68371ef000-7f68375ed000 rw-p 00000000 00:00 0 7f68375ed000-7f68375f0000 ---p 00000000 00:00 0 7f68375f0000-7f68379ee000 rw-p 00000000 00:00 0 7f68379ee000-7f68379ff000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f68379ff000-7f6837bfe000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f6837bfe000-7f6837bff000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f6837bff000-7f6837c02000 ---p 00000000 00:00 0 7f6837c02000-7f6838000000 rw-p 00000000 00:00 0 7f6838000000-7f6838036000 rw-p 00000000 00:00 0 7f6838036000-7f683c000000 ---p 00000000 00:00 0 7f683c000000-7f683c002000 r--s 00009000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar 7f683c002000-7f683c012000 r--s 001c1000 09:02 30019479 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/julian/petruchio/petruchio.jar 7f683c012000-7f683c03a000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f683c03a000-7f683c03d000 r--s 00018000 09:02 30015885 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar 7f683c03d000-7f683c040000 r--s 00014000 09:02 30015883 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar 7f683c040000-7f683c049000 r--s 00089000 09:02 30015882 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar 7f683c049000-7f683c05a000 r--s 000f0000 09:02 30015886 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar 7f683c05a000-7f683c05d000 r--s 00021000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar 7f683c05d000-7f683c05f000 r--s 0000d000 09:02 30015881 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar 7f683c05f000-7f683c061000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f683c061000-7f683c063000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f683c063000-7f683c065000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f683c065000-7f683c068000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f683c068000-7f683c06a000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f683c06a000-7f683c06c000 r--s 00002000 09:02 30015880 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar 7f683c06c000-7f683c06f000 r--s 00012000 09:02 30015837 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar 7f683c06f000-7f683c073000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f683c073000-7f683c083000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f683c083000-7f683c08f000 r--s 0009b000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar 7f683c08f000-7f683c0a5000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f683c0a5000-7f683c2a5000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f683c2a5000-7f683c2a6000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f683c2a6000-7f683c2a7000 ---p 00000000 00:00 0 7f683c2a7000-7f683c3a7000 rw-p 00000000 00:00 0 7f683c3a7000-7f683c3aa000 ---p 00000000 00:00 0 7f683c3aa000-7f683c4a8000 rw-p 00000000 00:00 0 7f683c4a8000-7f683c4ab000 ---p 00000000 00:00 0 7f683c4ab000-7f683c5a9000 rw-p 00000000 00:00 0 7f683c5a9000-7f683c5ac000 ---p 00000000 00:00 0 7f683c5ac000-7f683c9aa000 rw-p 00000000 00:00 0 7f683c9aa000-7f683cd9a000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f683cd9a000-7f683cd9d000 ---p 00000000 00:00 0 7f683cd9d000-7f683d19b000 rw-p 00000000 00:00 0 7f683d19b000-7f683d19e000 ---p 00000000 00:00 0 7f683d19e000-7f683d59c000 rw-p 00000000 00:00 0 7f683d59c000-7f683d59d000 ---p 00000000 00:00 0 7f683d59d000-7f683dff5000 rw-p 00000000 00:00 0 7f683dff5000-7f683e1cf000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f683e1cf000-7f683e9cf000 rw-p 00000000 00:00 0 7f683e9cf000-7f683f50e000 rw-p 00000000 00:00 0 7f683f50e000-7f683f63b000 ---p 00000000 00:00 0 7f683f63b000-7f683fa06000 rw-p 00000000 00:00 0 7f683fa06000-7f683fb33000 ---p 00000000 00:00 0 7f683fb33000-7f683fdaf000 rw-p 00000000 00:00 0 7f683fdaf000-7f683fdd6000 rw-p 00000000 00:00 0 7f683fdd6000-7f6840170000 ---p 00000000 00:00 0 7f6840170000-7f6840ae0000 rwxp 00000000 00:00 0 7f6840ae0000-7f684f170000 ---p 00000000 00:00 0 7f684f170000-7f684f18a000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f684f18a000-7f684f38a000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f684f38a000-7f684f38b000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f684f38b000-7f684f396000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f684f396000-7f684f595000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f684f595000-7f684f596000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f684f596000-7f684f597000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f684f597000-7f684f5a2000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f684f5a2000-7f684f7a1000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f684f7a1000-7f684f7a2000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f684f7a2000-7f684f7a3000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f684f7a3000-7f684f7b9000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f684f7b9000-7f684f9b8000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f684f9b8000-7f684f9b9000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f684f9b9000-7f684f9ba000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f684f9ba000-7f684f9bc000 rw-p 00000000 00:00 0 7f684f9bc000-7f684f9c3000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f684f9c3000-7f684fbc3000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f684fbc3000-7f684fbc4000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f684fbc4000-7f684fbc5000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f684fbc5000-7f684fbf0000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f684fbf0000-7f684fdef000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f684fdef000-7f684fdf1000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f684fdf1000-7f684fdfe000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f684fdfe000-7f684fffe000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f684fffe000-7f6850000000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f6850000000-7f6850d08000 rw-p 00000000 00:00 0 7f6850d08000-7f6854000000 ---p 00000000 00:00 0 7f6854000000-7f6854001000 r--s 00005000 09:02 30015884 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar 7f6854001000-7f6854003000 r--s 00007000 09:02 30015854 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar 7f6854003000-7f6854005000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f6854005000-7f6854007000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f6854007000-7f6854009000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f6854009000-7f6854011000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f6854011000-7f6854087000 rw-p 00000000 00:00 0 7f6854087000-7f6854088000 ---p 00000000 00:00 0 7f6854088000-7f6854188000 rw-p 00000000 00:00 0 7f6854188000-7f685418f000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f685418f000-7f685438e000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f685438e000-7f685438f000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f685438f000-7f6854390000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f6854390000-7f6854393000 ---p 00000000 00:00 0 7f6854393000-7f6854791000 rw-p 00000000 00:00 0 7f6854791000-7f68548a6000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f68548a6000-7f6854aa6000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f6854aa6000-7f6854aa7000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f6854aa7000-7f6854aa8000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f6854aa8000-7f685577b000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f685577b000-7f685597a000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f685597a000-7f6855a54000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f6855a54000-7f6855a9f000 rw-p 00000000 00:00 0 7f6855a9f000-7f6855c47000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f6855c47000-7f6855e46000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f6855e46000-7f6855e4a000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f6855e4a000-7f6855e4c000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f6855e4c000-7f6855e50000 rw-p 00000000 00:00 0 7f6855e50000-7f6855e53000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f6855e53000-7f6856052000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f6856052000-7f6856053000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f6856053000-7f6856054000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f6856054000-7f6856069000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f6856069000-7f6856269000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f6856269000-7f685626a000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f685626a000-7f6856284000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f6856284000-7f6856484000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f6856484000-7f6856485000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f6856485000-7f6856486000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f6856486000-7f685648a000 rw-p 00000000 00:00 0 7f685648a000-7f68564ad000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f68564ad000-7f68564b3000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f68564b3000-7f68564b9000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f68564b9000-7f68564bd000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f68564bd000-7f6856563000 rw-p 00000000 00:00 0 7f6856563000-7f6856564000 ---p 00000000 00:00 0 7f6856564000-7f6856666000 rw-p 00000000 00:00 0 7f6856666000-7f6856668000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f6856668000-7f685666c000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f685666c000-7f685666e000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f685666e000-7f6856671000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f6856671000-7f6856674000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f6856674000-7f6856677000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f6856677000-7f685667b000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f685667b000-7f685667d000 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 7f685667d000-7f685667f000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f685667f000-7f6856682000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f6856682000-7f6856697000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f6856697000-7f685669a000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f685669a000-7f685669f000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f685669f000-7f68566a1000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f68566a1000-7f68566a9000 rw-s 00000000 09:01 1317731 /tmp/hsperfdata_root/27290 7f68566a9000-7f68566aa000 rw-p 00000000 00:00 0 7f68566aa000-7f68566ab000 ---p 00000000 00:00 0 7f68566ab000-7f68566ad000 rw-p 00000000 00:00 0 7f68566ad000-7f68566ae000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f68566ae000-7f68566af000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f68566af000-7f68566b0000 rw-p 00000000 00:00 0 7ffe29681000-7ffe296a3000 rw-p 00000000 00:00 0 [stack] 7ffe29702000-7ffe29705000 r--p 00000000 00:00 0 [vvar] 7ffe29705000-7ffe29707000 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/metros_1_e2_1102.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:5.93 7.15 6.78 /proc/meminfo: MemTotal: 24665244 kB MemFree: 341876 kB MemAvailable: 230268 kB Buffers: 24656 kB Cached: 138248 kB SwapCached: 0 kB Active: 23979352 kB Inactive: 64116 kB Active(anon): 23885152 kB Inactive(anon): 628 kB Active(file): 94200 kB Inactive(file): 63488 kB Unevictable: 11100 kB Mlocked: 11100 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 664 kB Writeback: 0 kB AnonPages: 23891120 kB Mapped: 67920 kB Shmem: 1476 kB Slab: 109340 kB SReclaimable: 50504 kB SUnreclaim: 58836 kB KernelStack: 16352 kB PageTables: 63972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24780128 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 313344 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 3401168 kB DirectMap2M: 21721088 kB CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 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 : 3500.024 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(341876k free), swap 0k(0k free) vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8) time: Wed Jun 27 01:58:11 2018 elapsed time: 39 seconds (0d 0h 0m 39s)