java -Xss4m -Xmx4000000000 -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:04:23,523 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:04:23,555 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:04:23,640 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:04:23,640 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:04:23,641 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:04:23,642 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:04:23,644 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:04:23,646 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:04:23,648 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:04:23,649 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:04:23,649 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:04:23,650 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:04:23,654 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:04:23,655 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:04:23,656 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:04:23,669 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:04:23,671 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:04:23,672 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:04:23,673 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:04:23,674 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:04:23,678 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:04:23,679 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:04:23,679 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:04:23,680 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:04:23,681 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:04:23,681 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:04:23,682 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:04:23,688 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:04:23,688 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:04:23,689 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:04:23,689 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:04:23,690 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:04:23,690 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:04:23,691 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:04:23,691 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:04:23,791 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:04:23,791 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:04:23,792 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:04:23,792 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:04:23,793 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:04:23,795 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:04:23,795 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:04:23,795 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:04:23,796 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:04:23,796 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:04:23,796 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:04:23,796 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:04:23,797 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:04:23,797 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:04:23,797 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:04:23,797 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:04:23,797 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:04:23,798 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:04:23,798 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:04:23,798 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:04:23,798 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:04:23,800 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:04:23,800 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:04:23,894 INFO ]: Repository-Root is: /tmp [2018-06-25 02:04:24,343 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:04:24,346 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:04:24,346 INFO ]: Initializing SmtParser... [2018-06-25 02:04:24,347 INFO ]: SmtParser initialized [2018-06-25 02:04:24,347 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5.smt2 [2018-06-25 02:04:24,348 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:04:26,176 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5.smt2 unknown [2018-06-25 02:04:27,696 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5.smt2 [2018-06-25 02:04:27,700 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:04:27,714 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:04:27,715 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:04:27,715 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:04:27,715 INFO ]: ChcToBoogie initialized [2018-06-25 02:04:27,720 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:04:27" (1/1) ... [2018-06-25 02:04:28,002 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28 Unit [2018-06-25 02:04:28,003 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:04:28,003 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:04:28,003 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:04:28,003 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:04:28,017 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,017 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,023 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,023 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,028 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,030 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,031 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,034 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:04:28,034 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:04:28,035 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:04:28,035 INFO ]: RCFGBuilder initialized [2018-06-25 02:04:28,042 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:04:28" (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:04:28,068 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:04:28,069 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:04:28,069 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:04:28,069 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:04:28,069 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:04:28,069 INFO ]: Found implementation of procedure Ultimate.START [2018-06-25 02:04:28,602 INFO ]: Using library mode [2018-06-25 02:04:28,603 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:04:28 BoogieIcfgContainer [2018-06-25 02:04:28,603 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:04:28,604 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:04:28,604 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:04:28,606 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:04:28,606 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:04:28" (1/1) ... [2018-06-25 02:04:28,632 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:04:28,633 INFO ]: Using Remove infeasible edges [2018-06-25 02:04:28,634 INFO ]: Using Maximize final states [2018-06-25 02:04:28,635 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:04:28,635 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:04:28,636 INFO ]: Using Remove sink states [2018-06-25 02:04:28,637 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:04:28,637 INFO ]: Using Use SBE [2018-06-25 02:04:28,649 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000743b80000, 342360064, 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 342360064 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid24707.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 342360064 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=24707, tid=0x00007f8658bba700 # # 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 (0x00007f86700fa800): VMThread [stack: 0x00007f8658aba000,0x00007f8658bbb000] [id=25592] Stack: [0x00007f8658aba000,0x00007f8658bbb000], sp=0x00007f8658bb9310, 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 (0x00007f8648f1a790): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f861c006800 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f86101d1800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=4361, stack(0x00007f860ddf8000,0x00007f860e1f9000)] 0x00007f85ec002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=4360, stack(0x00007f860e1f9000,0x00007f860e5fa000)] 0x00007f85ec001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=4359, stack(0x00007f860e5fa000,0x00007f860e9fb000)] 0x00007f86101d0000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=4358, stack(0x00007f860e9fb000,0x00007f860edfc000)] 0x00007f86101cb000 JavaThread "process reaper" daemon [_thread_in_native, id=4357, stack(0x00007f864803b000,0x00007f8648074000)] 0x00007f861c00a000 JavaThread "Worker-2" daemon [_thread_blocked, id=3078, stack(0x00007f860effc000,0x00007f860f3fd000)] 0x00007f861003e800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=2049, stack(0x00007f860f3fd000,0x00007f860f7fe000)] 0x00007f8608003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=2047, stack(0x00007f860f7fe000,0x00007f860fbff000)] 0x00007f8608001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=2046, stack(0x00007f860fbff000,0x00007f8610000000)] 0x00007f8610032800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=2045, stack(0x00007f8648079000,0x00007f864847a000)] 0x00007f861003a000 JavaThread "process reaper" daemon [_thread_in_native, id=2044, stack(0x00007f864847a000,0x00007f86484b3000)] 0x00007f861c006800 JavaThread "Worker-1" daemon [_thread_blocked, id=31028, stack(0x00007f8648b1c000,0x00007f8648f1d000)] 0x00007f8670630000 JavaThread "Worker-0" daemon [_thread_blocked, id=28338, stack(0x00007f864937e000,0x00007f864977f000)] 0x00007f8624070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=25818, stack(0x00007f8649dd0000,0x00007f864a1d1000)] 0x00007f86702f1800 JavaThread "Start Level: Equinox Container: 900f6849-0b78-0018-10f2-9253917bc8fa" daemon [_thread_blocked, id=25817, stack(0x00007f864a2e2000,0x00007f864a6e3000)] 0x00007f86702ed000 JavaThread "Framework Event Dispatcher: Equinox Container: 900f6849-0b78-0018-10f2-9253917bc8fa" daemon [_thread_blocked, id=25816, stack(0x00007f864a6e3000,0x00007f864aae4000)] 0x00007f86702cf000 JavaThread "Active Thread: Equinox Container: 900f6849-0b78-0018-10f2-9253917bc8fa" [_thread_blocked, id=25815, stack(0x00007f864aae4000,0x00007f864aee5000)] 0x00007f8670141800 JavaThread "Service Thread" daemon [_thread_blocked, id=25705, stack(0x00007f864b40e000,0x00007f864b80f000)] 0x00007f867013e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=25701, stack(0x00007f86580b6000,0x00007f86581b7000)] 0x00007f867013b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=25700, stack(0x00007f86581b7000,0x00007f86582b8000)] 0x00007f867013a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=25694, stack(0x00007f864b80f000,0x00007f864bc10000)] 0x00007f8670107000 JavaThread "Finalizer" daemon [_thread_blocked, id=25637, stack(0x00007f86582b8000,0x00007f86586b9000)] 0x00007f8670102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=25618, stack(0x00007f86586b9000,0x00007f8658aba000)] 0x00007f867000a000 JavaThread "main" [_thread_blocked, id=25355, stack(0x00007f8677035000,0x00007f8677436000)] Other Threads: =>0x00007f86700fa800 VMThread [stack: 0x00007f8658aba000,0x00007f8658bbb000] [id=25592] 0x00007f8670143800 WatcherThread [stack: 0x00007f864b30d000,0x00007f864b40e000] [id=25706] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f8670005ae0] ExpandHeap_lock - owner thread: 0x00007f86700fa800 [0x00007f8670006160] Threads_lock - owner thread: 0x00007f86700fa800 [0x00007f8670006660] Heap_lock - owner thread: 0x00007f861c006800 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 1871360K, used 1500801K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 80% used [0x00000006d1800000,0x000000072d1a0648,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f8675468000,0x00007f8675bdd000] byte_map_base: 0x00007f8671ddc000 Marking Bits: (ParMarkBitMap*) 0x00007f8678716dc0 Begin Bits: [0x00007f86598c0000, 0x00007f865d460000) End Bits: [0x00007f865d460000, 0x00007f8661000000) Polling page: 0x00007f867934f000 CodeCache: size=245760Kb used=8989Kb max_used=9003Kb free=236770Kb bounds [0x00007f8661000000, 0x00007f86618e0000, 0x00007f8670000000] total_blobs=2742 nmethods=2293 adapters=362 compilation: enabled Compilation events (10 events): Event: 23.873 Thread 0x00007f867013b800 2472 4 jdk.internal.org.objectweb.asm.ClassWriter::put (152 bytes) Event: 23.874 Thread 0x00007f867013b800 nmethod 2472 0x00007f86618852d0 code [0x00007f8661885420, 0x00007f8661885558] Event: 25.218 Thread 0x00007f867013e800 2551 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 25.225 Thread 0x00007f867013e800 nmethod 2551% 0x00007f86618bf690 code [0x00007f86618c0180, 0x00007f86618c85f8] Event: 25.228 Thread 0x00007f867013e800 2552 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 25.236 Thread 0x00007f867013e800 nmethod 2552 0x00007f86618cdb50 code [0x00007f86618ce6a0, 0x00007f86618d72c8] Event: 25.732 Thread 0x00007f867013b800 2553 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 25.761 Thread 0x00007f867013b800 nmethod 2553% 0x00007f86618dcd50 code [0x00007f86618dcfc0, 0x00007f86618de028] Event: 54.445 Thread 0x00007f867013e800 2554 1 org.eclipse.core.internal.jobs.InternalJob::getThread (5 bytes) Event: 54.445 Thread 0x00007f867013e800 nmethod 2554 0x00007f866151cc10 code [0x00007f866151cd60, 0x00007f866151ce70] GC Heap History (10 events): Event: 48.650 GC heap after Heap after GC invocations=24 (full 6): PSYoungGen total 868352K, used 174304K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b0238000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1534976K, used 1331053K [0x00000006d1800000, 0x000000072f300000, 0x0000000770800000) object space 1534976K, 86% used [0x00000006d1800000,0x0000000722bdb560,0x000000072f300000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 48.650 GC heap before {Heap before GC invocations=25 (full 7): PSYoungGen total 868352K, used 174304K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b0238000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1534976K, used 1331053K [0x00000006d1800000, 0x000000072f300000, 0x0000000770800000) object space 1534976K, 86% used [0x00000006d1800000,0x0000000722bdb560,0x000000072f300000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 54.140 GC heap after Heap after GC invocations=25 (full 7): PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1871360K, used 1241043K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 66% used [0x00000006d1800000,0x000000071d3f4c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 54.548 GC heap before {Heap before GC invocations=26 (full 7): PSYoungGen total 868352K, used 434176K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1871360K, used 1241043K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 66% used [0x00000006d1800000,0x000000071d3f4c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 54.780 GC heap after Heap after GC invocations=26 (full 7): PSYoungGen total 868352K, used 174272K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a30000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1871360K, used 1241043K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 66% used [0x00000006d1800000,0x000000071d3f4c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 55.160 GC heap before {Heap before GC invocations=27 (full 7): PSYoungGen total 868352K, used 608448K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a30000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1871360K, used 1241043K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 66% used [0x00000006d1800000,0x000000071d3f4c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 55.621 GC heap after Heap after GC invocations=27 (full 7): PSYoungGen total 868352K, used 174272K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b0230000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1871360K, used 1416099K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 75% used [0x00000006d1800000,0x0000000727ee8c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 55.979 GC heap before {Heap before GC invocations=28 (full 7): PSYoungGen total 868352K, used 608448K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 40% used [0x00000007a5800000,0x00000007b0230000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1871360K, used 1416099K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 75% used [0x00000006d1800000,0x0000000727ee8c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Event: 56.438 GC heap after Heap after GC invocations=28 (full 7): PSYoungGen total 868352K, used 174304K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a38000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1871360K, used 1590979K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 85% used [0x00000006d1800000,0x00000007329b0c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 56.438 GC heap before {Heap before GC invocations=29 (full 8): PSYoungGen total 868352K, used 174304K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 40% used [0x000000078b000000,0x0000000795a38000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 1871360K, used 1590979K [0x00000006d1800000, 0x0000000743b80000, 0x0000000770800000) object space 1871360K, 85% used [0x00000006d1800000,0x00000007329b0c50,0x0000000743b80000) Metaspace used 26573K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3808K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 19.206 Thread 0x00007f861c006800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f86614a3b74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 19.206 Thread 0x00007f861c006800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f86614a3b74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 19.206 Thread 0x00007f861c006800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f86614a3b74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 19.207 Thread 0x00007f861c006800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f86614c9200 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 19.207 Thread 0x00007f861c006800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f86614c9200 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 19.207 Thread 0x00007f861c006800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f86614c9200 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 19.299 Thread 0x00007f861003e800 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f86614cc74c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 22.586 Thread 0x00007f861c006800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f86611715fc method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 36.072 Thread 0x00007f86702cf000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f8661228d80 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60 Event: 36.072 Thread 0x00007f86702cf000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f86612e5450 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 18.320 Thread 0x00007f867000a000 Exception (0x00000007714b5be8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 18.321 Thread 0x00007f867000a000 Exception (0x00000007714d6dd0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 18.321 Thread 0x00007f867000a000 Exception (0x00000007714de778) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 18.323 Thread 0x00007f867000a000 Exception (0x00000007714e4a10) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 18.325 Thread 0x00007f867000a000 Exception (0x00000007714ebec0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 18.327 Thread 0x00007f867000a000 Exception (0x00000007714f8798) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 18.330 Thread 0x00007f867000a000 Exception (0x00000007714fdce8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 18.707 Thread 0x00007f861c006800 Implicit null exception at 0x00007f86611a3ae2 to 0x00007f86611a3c21 Event: 20.962 Thread 0x00007f861c006800 Exception (0x0000000771f460e8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 22.219 Thread 0x00007f861c006800 Exception (0x0000000772831570) thrown at [/HUDSO Events (10 events): Event: 47.053 Executing VM operation: ParallelGCFailedAllocation done Event: 47.378 Executing VM operation: ParallelGCFailedAllocation Event: 47.819 Executing VM operation: ParallelGCFailedAllocation done Event: 48.155 Executing VM operation: ParallelGCFailedAllocation Event: 54.140 Executing VM operation: ParallelGCFailedAllocation done Event: 54.548 Executing VM operation: ParallelGCFailedAllocation Event: 54.780 Executing VM operation: ParallelGCFailedAllocation done Event: 55.160 Executing VM operation: ParallelGCFailedAllocation Event: 55.621 Executing VM operation: ParallelGCFailedAllocation done Event: 55.979 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 00663000-00684000 rw-p 00000000 00:00 0 [heap] 6d1800000-743b80000 rw-p 00000000 00:00 0 758200000-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 7f85e4000000-7f85e4021000 rw-p 00000000 00:00 0 7f85e4021000-7f85e8000000 ---p 00000000 00:00 0 7f85e8000000-7f85e8021000 rw-p 00000000 00:00 0 7f85e8021000-7f85ec000000 ---p 00000000 00:00 0 7f85ec000000-7f85ec021000 rw-p 00000000 00:00 0 7f85ec021000-7f85f0000000 ---p 00000000 00:00 0 7f85f0000000-7f85f0021000 rw-p 00000000 00:00 0 7f85f0021000-7f85f4000000 ---p 00000000 00:00 0 7f85f4000000-7f85f4021000 rw-p 00000000 00:00 0 7f85f4021000-7f85f8000000 ---p 00000000 00:00 0 7f85f8000000-7f85f8021000 rw-p 00000000 00:00 0 7f85f8021000-7f85fc000000 ---p 00000000 00:00 0 7f85fc000000-7f85fc021000 rw-p 00000000 00:00 0 7f85fc021000-7f8600000000 ---p 00000000 00:00 0 7f8600000000-7f8600021000 rw-p 00000000 00:00 0 7f8600021000-7f8604000000 ---p 00000000 00:00 0 7f8604000000-7f8604021000 rw-p 00000000 00:00 0 7f8604021000-7f8608000000 ---p 00000000 00:00 0 7f8608000000-7f8608021000 rw-p 00000000 00:00 0 7f8608021000-7f860c000000 ---p 00000000 00:00 0 7f860dbf8000-7f860dcf8000 rw-p 00000000 00:00 0 7f860dcf8000-7f860ddf8000 ---p 00000000 00:00 0 7f860ddf8000-7f860ddfb000 ---p 00000000 00:00 0 7f860ddfb000-7f860e1f9000 rw-p 00000000 00:00 0 7f860e1f9000-7f860e1fc000 ---p 00000000 00:00 0 7f860e1fc000-7f860e5fa000 rw-p 00000000 00:00 0 7f860e5fa000-7f860e5fd000 ---p 00000000 00:00 0 7f860e5fd000-7f860e9fb000 rw-p 00000000 00:00 0 7f860e9fb000-7f860e9fe000 ---p 00000000 00:00 0 7f860e9fe000-7f860effc000 rw-p 00000000 00:00 0 7f860effc000-7f860efff000 ---p 00000000 00:00 0 7f860efff000-7f860f3fd000 rw-p 00000000 00:00 0 7f860f3fd000-7f860f400000 ---p 00000000 00:00 0 7f860f400000-7f860f7fe000 rw-p 00000000 00:00 0 7f860f7fe000-7f860f801000 ---p 00000000 00:00 0 7f860f801000-7f860fbff000 rw-p 00000000 00:00 0 7f860fbff000-7f860fc02000 ---p 00000000 00:00 0 7f860fc02000-7f8610000000 rw-p 00000000 00:00 0 7f8610000000-7f86102ec000 rw-p 00000000 00:00 0 7f86102ec000-7f8614000000 ---p 00000000 00:00 0 7f8614000000-7f8614021000 rw-p 00000000 00:00 0 7f8614021000-7f8618000000 ---p 00000000 00:00 0 7f8618000000-7f8618021000 rw-p 00000000 00:00 0 7f8618021000-7f861c000000 ---p 00000000 00:00 0 7f861c000000-7f861c021000 rw-p 00000000 00:00 0 7f861c021000-7f8620000000 ---p 00000000 00:00 0 7f8620000000-7f8620021000 rw-p 00000000 00:00 0 7f8620021000-7f8624000000 ---p 00000000 00:00 0 7f8624000000-7f8624371000 rw-p 00000000 00:00 0 7f8624371000-7f8628000000 ---p 00000000 00:00 0 7f8628000000-7f8628021000 rw-p 00000000 00:00 0 7f8628021000-7f862c000000 ---p 00000000 00:00 0 7f862c000000-7f862c021000 rw-p 00000000 00:00 0 7f862c021000-7f8630000000 ---p 00000000 00:00 0 7f8630000000-7f863109c000 rw-p 00000000 00:00 0 7f863109c000-7f8634000000 ---p 00000000 00:00 0 7f8634000000-7f8634021000 rw-p 00000000 00:00 0 7f8634021000-7f8638000000 ---p 00000000 00:00 0 7f8638000000-7f8638021000 rw-p 00000000 00:00 0 7f8638021000-7f863c000000 ---p 00000000 00:00 0 7f863c000000-7f863d1d6000 rw-p 00000000 00:00 0 7f863d1d6000-7f8640000000 ---p 00000000 00:00 0 7f8640000000-7f8640021000 rw-p 00000000 00:00 0 7f8640021000-7f8644000000 ---p 00000000 00:00 0 7f8644000000-7f8644021000 rw-p 00000000 00:00 0 7f8644021000-7f8648000000 ---p 00000000 00:00 0 7f864803b000-7f864803e000 ---p 00000000 00:00 0 7f864803e000-7f8648074000 rw-p 00000000 00:00 0 7f8648074000-7f8648079000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f8648079000-7f864807c000 ---p 00000000 00:00 0 7f864807c000-7f864847a000 rw-p 00000000 00:00 0 7f864847a000-7f864847d000 ---p 00000000 00:00 0 7f864847d000-7f86484b3000 rw-p 00000000 00:00 0 7f86484b3000-7f86484bc000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f86484bc000-7f86486bb000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f86486bb000-7f86486bc000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f86486bc000-7f86488bc000 rw-p 00000000 00:00 0 7f86488bc000-7f8648abc000 rw-p 00000000 00:00 0 7f8648abc000-7f8648acf000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f8648acf000-7f8648b10000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f8648b10000-7f8648b1c000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f8648b1c000-7f8648b1f000 ---p 00000000 00:00 0 7f8648b1f000-7f864911d000 rw-p 00000000 00:00 0 7f864911d000-7f864931d000 rw-p 00000000 00:00 0 7f864931d000-7f864937e000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f864937e000-7f8649381000 ---p 00000000 00:00 0 7f8649381000-7f864997f000 rw-p 00000000 00:00 0 7f864997f000-7f86499d0000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f86499d0000-7f8649bd0000 rw-p 00000000 00:00 0 7f8649bd0000-7f8649dd0000 rw-p 00000000 00:00 0 7f8649dd0000-7f8649dd3000 ---p 00000000 00:00 0 7f8649dd3000-7f864a1d1000 rw-p 00000000 00:00 0 7f864a1d1000-7f864a1e1000 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 7f864a1e1000-7f864a2e0000 ---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 7f864a2e0000-7f864a2e2000 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 7f864a2e2000-7f864a2e5000 ---p 00000000 00:00 0 7f864a2e5000-7f864a6e3000 rw-p 00000000 00:00 0 7f864a6e3000-7f864a6e6000 ---p 00000000 00:00 0 7f864a6e6000-7f864aae4000 rw-p 00000000 00:00 0 7f864aae4000-7f864aae7000 ---p 00000000 00:00 0 7f864aae7000-7f864aee5000 rw-p 00000000 00:00 0 7f864aee5000-7f864aef6000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f864aef6000-7f864b0f5000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f864b0f5000-7f864b0f6000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f864b0f6000-7f864b10c000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f864b10c000-7f864b30c000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f864b30c000-7f864b30d000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f864b30d000-7f864b30e000 ---p 00000000 00:00 0 7f864b30e000-7f864b40e000 rw-p 00000000 00:00 0 7f864b40e000-7f864b411000 ---p 00000000 00:00 0 7f864b411000-7f864b80f000 rw-p 00000000 00:00 0 7f864b80f000-7f864b812000 ---p 00000000 00:00 0 7f864b812000-7f864bc10000 rw-p 00000000 00:00 0 7f864bc10000-7f864c000000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f864c000000-7f864c0d2000 rw-p 00000000 00:00 0 7f864c0d2000-7f8650000000 ---p 00000000 00:00 0 7f8650000000-7f8650300000 rw-p 00000000 00:00 0 7f8650300000-7f8654000000 ---p 00000000 00:00 0 7f8654000000-7f86541a9000 rw-p 00000000 00:00 0 7f86541a9000-7f8658000000 ---p 00000000 00:00 0 7f8658000000-7f8658002000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f8658002000-7f8658004000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f8658004000-7f8658006000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f8658006000-7f865800b000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f865800b000-7f865800d000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f865800d000-7f8658010000 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 7f8658010000-7f8658013000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f8658013000-7f8658016000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f8658016000-7f865801b000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f865801b000-7f865801f000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f865801f000-7f8658029000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f8658029000-7f865802b000 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 7f865802b000-7f865802d000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f865802d000-7f865802f000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f865802f000-7f8658031000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f8658031000-7f8658033000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f8658033000-7f8658035000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f8658035000-7f8658037000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f8658037000-7f8658038000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f8658038000-7f865803a000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f865803a000-7f8658041000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f8658041000-7f8658043000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f8658043000-7f8658046000 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 7f8658046000-7f8658048000 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 7f8658048000-7f865804a000 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 7f865804a000-7f8658072000 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 7f8658072000-7f8658082000 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 7f8658082000-7f86580aa000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f86580aa000-7f86580ad000 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 7f86580ad000-7f86580b6000 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 7f86580b6000-7f86580b9000 ---p 00000000 00:00 0 7f86580b9000-7f86581b7000 rw-p 00000000 00:00 0 7f86581b7000-7f86581ba000 ---p 00000000 00:00 0 7f86581ba000-7f86582b8000 rw-p 00000000 00:00 0 7f86582b8000-7f86582bb000 ---p 00000000 00:00 0 7f86582bb000-7f86586b9000 rw-p 00000000 00:00 0 7f86586b9000-7f86586bc000 ---p 00000000 00:00 0 7f86586bc000-7f8658aba000 rw-p 00000000 00:00 0 7f8658aba000-7f8658abb000 ---p 00000000 00:00 0 7f8658abb000-7f8661000000 rw-p 00000000 00:00 0 7f8661000000-7f86618e0000 rwxp 00000000 00:00 0 7f86618e0000-7f8670000000 ---p 00000000 00:00 0 7f8670000000-7f867091d000 rw-p 00000000 00:00 0 7f867091d000-7f8674000000 ---p 00000000 00:00 0 7f8674000000-7f8674001000 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 7f8674001000-7f8674004000 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 7f8674004000-7f8674015000 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 7f8674015000-7f8674018000 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 7f8674018000-7f867401a000 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 7f867401a000-7f867401c000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f867401c000-7f867401e000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f867401e000-7f8674021000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f8674021000-7f8674023000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f8674023000-7f8674025000 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 7f8674025000-7f8674028000 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 7f8674028000-7f867402c000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f867402c000-7f867402e000 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 7f867402e000-7f867403e000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f867403e000-7f867404a000 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 7f867404a000-7f867404c000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f867404c000-7f867404e000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f867404e000-7f8674050000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f8674050000-7f8674058000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f8674058000-7f86744ab000 rw-p 00000000 00:00 0 7f86744ab000-7f8674685000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f8674685000-7f8674e6f000 rw-p 00000000 00:00 0 7f8674e6f000-7f8674e70000 ---p 00000000 00:00 0 7f8674e70000-7f8675302000 rw-p 00000000 00:00 0 7f8675302000-7f8675468000 ---p 00000000 00:00 0 7f8675468000-7f86757fa000 rw-p 00000000 00:00 0 7f86757fa000-7f8675960000 ---p 00000000 00:00 0 7f8675960000-7f8675bdc000 rw-p 00000000 00:00 0 7f8675bdc000-7f8675c01000 rw-p 00000000 00:00 0 7f8675c01000-7f8675f9d000 ---p 00000000 00:00 0 7f8675f9d000-7f8675fb7000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f8675fb7000-7f86761b7000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f86761b7000-7f86761b8000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f86761b8000-7f86761c3000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f86761c3000-7f86763c2000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f86763c2000-7f86763c3000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f86763c3000-7f86763c4000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f86763c4000-7f86763cf000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f86763cf000-7f86765ce000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f86765ce000-7f86765cf000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f86765cf000-7f86765d0000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f86765d0000-7f86765e6000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f86765e6000-7f86767e5000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f86767e5000-7f86767e6000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f86767e6000-7f86767e7000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f86767e7000-7f86767e9000 rw-p 00000000 00:00 0 7f86767e9000-7f86767f0000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f86767f0000-7f86769f0000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f86769f0000-7f86769f1000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f86769f1000-7f86769f2000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f86769f2000-7f8676a1d000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f8676a1d000-7f8676c1c000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f8676c1c000-7f8676c1e000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f8676c1e000-7f8676c2b000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f8676c2b000-7f8676e2b000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f8676e2b000-7f8676e2d000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f8676e2d000-7f8676e34000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f8676e34000-7f8677033000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f8677033000-7f8677034000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f8677034000-7f8677035000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f8677035000-7f8677038000 ---p 00000000 00:00 0 7f8677038000-7f8677436000 rw-p 00000000 00:00 0 7f8677436000-7f867754b000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f867754b000-7f867774b000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f867774b000-7f867774c000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f867774c000-7f867774d000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f867774d000-7f8678420000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f8678420000-7f867861f000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f867861f000-7f86786f9000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f86786f9000-7f8678744000 rw-p 00000000 00:00 0 7f8678744000-7f86788ec000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f86788ec000-7f8678aeb000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f8678aeb000-7f8678aef000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f8678aef000-7f8678af1000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f8678af1000-7f8678af5000 rw-p 00000000 00:00 0 7f8678af5000-7f8678af8000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f8678af8000-7f8678cf7000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f8678cf7000-7f8678cf8000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f8678cf8000-7f8678cf9000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f8678cf9000-7f8678d0e000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f8678d0e000-7f8678f0e000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f8678f0e000-7f8678f0f000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f8678f0f000-7f8678f29000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f8678f29000-7f8679129000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f8679129000-7f867912a000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f867912a000-7f867912b000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f867912b000-7f867912f000 rw-p 00000000 00:00 0 7f867912f000-7f8679152000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f8679152000-7f8679158000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f8679158000-7f867915e000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f867915e000-7f8679162000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f8679162000-7f8679208000 rw-p 00000000 00:00 0 7f8679208000-7f8679209000 ---p 00000000 00:00 0 7f8679209000-7f867930b000 rw-p 00000000 00:00 0 7f867930b000-7f867930d000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f867930d000-7f8679311000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f8679311000-7f8679313000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f8679313000-7f8679316000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f8679316000-7f8679319000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f8679319000-7f867931c000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f867931c000-7f8679320000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f8679320000-7f8679322000 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 7f8679322000-7f8679324000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f8679324000-7f8679327000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f8679327000-7f867933c000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f867933c000-7f867933f000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f867933f000-7f8679344000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f8679344000-7f8679346000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f8679346000-7f867934e000 rw-s 00000000 09:01 1312180 /tmp/hsperfdata_root/24707 7f867934e000-7f867934f000 rw-p 00000000 00:00 0 7f867934f000-7f8679350000 ---p 00000000 00:00 0 7f8679350000-7f8679352000 rw-p 00000000 00:00 0 7f8679352000-7f8679353000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f8679353000-7f8679354000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f8679354000-7f8679355000 rw-p 00000000 00:00 0 7ffcc59e7000-7ffcc5a09000 rw-p 00000000 00:00 0 [stack] 7ffcc5b12000-7ffcc5b15000 r--p 00000000 00:00 0 [vvar] 7ffcc5b15000-7ffcc5b17000 r-xp 00000000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] VM Arguments: jvm_args: -Xss4m -Xmx4000000000 java_command: ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf -i /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5.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:9.77 9.88 8.19 /proc/meminfo: MemTotal: 24665244 kB MemFree: 206956 kB MemAvailable: 61844 kB Buffers: 13476 kB Cached: 82856 kB SwapCached: 0 kB Active: 24131620 kB Inactive: 45000 kB Active(anon): 24084896 kB Inactive(anon): 628 kB Active(file): 46724 kB Inactive(file): 44372 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 868 kB Writeback: 0 kB AnonPages: 24091436 kB Mapped: 55784 kB Shmem: 1476 kB Slab: 109640 kB SReclaimable: 50088 kB SUnreclaim: 59552 kB KernelStack: 15996 kB PageTables: 63352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24621896 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: 3352016 kB DirectMap2M: 21770240 kB CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6784.86 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3500.024 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 : 3500.231 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(206956k 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:05:07 2018 elapsed time: 61 seconds (0d 0h 1m 1s)