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_e2_943.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-62c3406-m [2018-06-27 01:55:42,813 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-27 01:55:42,814 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-27 01:55:42,827 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-27 01:55:42,827 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-27 01:55:42,829 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-27 01:55:42,830 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-27 01:55:42,836 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-27 01:55:42,840 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-27 01:55:42,841 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-27 01:55:42,842 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-27 01:55:42,842 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-27 01:55:42,853 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-27 01:55:42,854 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-27 01:55:42,855 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-27 01:55:42,856 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-27 01:55:42,857 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-27 01:55:42,859 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-27 01:55:42,861 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-27 01:55:42,865 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-27 01:55:42,866 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-27 01:55:42,868 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-27 01:55:42,871 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-27 01:55:42,876 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-27 01:55:42,876 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-27 01:55:42,877 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-27 01:55:42,878 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-27 01:55:42,879 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-27 01:55:42,879 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-27 01:55:42,883 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-27 01:55:42,883 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-27 01:55:42,884 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-27 01:55:42,884 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-06-27 01:55:42,884 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-27 01:55:42,885 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-27 01:55:42,886 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-27 01:55:42,886 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:55:42,914 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-27 01:55:42,914 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-27 01:55:42,915 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-27 01:55:42,915 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-27 01:55:42,916 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-27 01:55:42,916 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-27 01:55:42,916 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-27 01:55:42,916 INFO L133 SettingsManager]: * Use SBE=true [2018-06-27 01:55:42,918 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-27 01:55:42,918 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-27 01:55:42,918 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-27 01:55:42,918 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-27 01:55:42,919 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-27 01:55:42,919 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-27 01:55:42,919 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-27 01:55:42,919 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-27 01:55:42,919 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-27 01:55:42,920 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-27 01:55:42,920 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-27 01:55:42,920 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-27 01:55:42,920 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-27 01:55:42,923 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-27 01:55:42,924 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-27 01:55:42,980 INFO ]: Repository-Root is: /tmp [2018-06-27 01:55:42,997 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-27 01:55:43,003 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-27 01:55:43,004 INFO ]: Initializing SmtParser... [2018-06-27 01:55:43,005 INFO ]: SmtParser initialized [2018-06-27 01:55:43,005 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943.smt2 [2018-06-27 01:55:43,007 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:55:43,096 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943.smt2 unknown [2018-06-27 01:55:43,544 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943.smt2 [2018-06-27 01:55:43,558 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-27 01:55:43,564 INFO ]: Walking toolchain with 5 elements. [2018-06-27 01:55:43,564 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-27 01:55:43,565 INFO ]: Initializing ChcToBoogie... [2018-06-27 01:55:43,565 INFO ]: ChcToBoogie initialized [2018-06-27 01:55:43,576 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,703 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43 Unit [2018-06-27 01:55:43,703 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-27 01:55:43,704 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-27 01:55:43,704 INFO ]: Initializing Boogie Preprocessor... [2018-06-27 01:55:43,704 INFO ]: Boogie Preprocessor initialized [2018-06-27 01:55:43,737 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,737 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,756 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,756 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,770 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,772 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,774 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (1/1) ... [2018-06-27 01:55:43,777 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-27 01:55:43,787 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-27 01:55:43,787 INFO ]: Initializing RCFGBuilder... [2018-06-27 01:55:43,787 INFO ]: RCFGBuilder initialized [2018-06-27 01:55:43,788 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 27.06 01:55:43" (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:55:43,816 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-27 01:55:43,816 INFO ]: Found specification of procedure gotoProc [2018-06-27 01:55:43,816 INFO ]: Found implementation of procedure gotoProc [2018-06-27 01:55:43,816 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-27 01:55:43,817 INFO ]: Found specification of procedure Ultimate.START [2018-06-27 01:55:43,817 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:55:44,327 INFO ]: Using library mode [2018-06-27 01:55:44,328 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:55:44 BoogieIcfgContainer [2018-06-27 01:55:44,328 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-27 01:55:44,328 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-27 01:55:44,328 INFO ]: Initializing BlockEncodingV2... [2018-06-27 01:55:44,331 INFO ]: BlockEncodingV2 initialized [2018-06-27 01:55:44,331 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.06 01:55:44" (1/1) ... [2018-06-27 01:55:44,352 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-27 01:55:44,354 INFO ]: Using Remove infeasible edges [2018-06-27 01:55:44,354 INFO ]: Using Maximize final states [2018-06-27 01:55:44,355 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-27 01:55:44,355 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-27 01:55:44,359 INFO ]: Using Remove sink states [2018-06-27 01:55:44,360 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-27 01:55:44,360 INFO ]: Using Use SBE [2018-06-27 01:55:44,374 WARN ]: aborting because of expected exponential blowup for input size 41 [2018-06-27 01:55:44,379 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x000000073f380000, 499122176, 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 499122176 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid17975.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 499122176 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=17975, tid=0x00007f38b3bfb700 # # 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 (0x00007f38d00fa800): VMThread [stack: 0x00007f38b3afb000,0x00007f38b3bfc000] [id=17997] Stack: [0x00007f38b3afb000,0x00007f38b3bfc000], sp=0x00007f38b3bfa110, 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 (0x00007f3877ffd960): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f387c001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f387c008800 JavaThread "Worker-2" daemon [_thread_blocked, id=23212, stack(0x00007f3874bed000,0x00007f3874fee000)] 0x00007f3870250800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=22069, stack(0x00007f38751ee000,0x00007f38755ef000)] 0x00007f3850003000 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=22064, stack(0x00007f38755ef000,0x00007f38759f0000)] 0x00007f3850001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=22063, stack(0x00007f38759f0000,0x00007f3875df1000)] 0x00007f387024f000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=22062, stack(0x00007f3875df1000,0x00007f38761f2000)] 0x00007f3870248000 JavaThread "process reaper" daemon [_thread_in_native, id=22059, stack(0x00007f38b00e9000,0x00007f38b0122000)] 0x00007f3870040800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=21207, stack(0x00007f38763f2000,0x00007f38767f3000)] 0x00007f386c004000 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=21206, stack(0x00007f38767f3000,0x00007f3876bf4000)] 0x00007f386c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=21204, stack(0x00007f3876bf4000,0x00007f3876ff5000)] 0x00007f387000f800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=21201, stack(0x00007f3876ff5000,0x00007f38773f6000)] 0x00007f387003a000 JavaThread "process reaper" daemon [_thread_in_native, id=21192, stack(0x00007f38b0129000,0x00007f38b0162000)] 0x00007f387c001000 JavaThread "Worker-1" daemon [_thread_blocked, id=20619, stack(0x00007f3877bff000,0x00007f3878000000)] 0x00007f38d073a800 JavaThread "Worker-0" daemon [_thread_blocked, id=20139, stack(0x00007f38b043d000,0x00007f38b083e000)] 0x00007f3884072800 JavaThread "Worker-JM" daemon [_thread_blocked, id=19294, stack(0x00007f38b0ec7000,0x00007f38b12c8000)] 0x00007f38d03df000 JavaThread "Start Level: Equinox Container: 1068966e-9c79-0018-1f1d-92c372312d48" daemon [_thread_blocked, id=19201, stack(0x00007f38b13d9000,0x00007f38b17da000)] 0x00007f38d03dc800 JavaThread "Framework Event Dispatcher: Equinox Container: 1068966e-9c79-0018-1f1d-92c372312d48" daemon [_thread_blocked, id=19187, stack(0x00007f38b17da000,0x00007f38b1bdb000)] 0x00007f38d03bf000 JavaThread "Active Thread: Equinox Container: 1068966e-9c79-0018-1f1d-92c372312d48" [_thread_blocked, id=19047, stack(0x00007f38b1bdb000,0x00007f38b1fdc000)] 0x00007f38d0141800 JavaThread "Service Thread" daemon [_thread_blocked, id=18048, stack(0x00007f38b2505000,0x00007f38b2906000)] 0x00007f38d013e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=18043, stack(0x00007f38b2906000,0x00007f38b2a07000)] 0x00007f38d013b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=18042, stack(0x00007f38b2a07000,0x00007f38b2b08000)] 0x00007f38d013a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=18041, stack(0x00007f38b2b08000,0x00007f38b2f09000)] 0x00007f38d0107000 JavaThread "Finalizer" daemon [_thread_blocked, id=18010, stack(0x00007f38b32f9000,0x00007f38b36fa000)] 0x00007f38d0102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=18007, stack(0x00007f38b36fa000,0x00007f38b3afb000)] 0x00007f38d000a000 JavaThread "main" [_thread_blocked, id=17983, stack(0x00007f38d60d7000,0x00007f38d64d8000)] Other Threads: =>0x00007f38d00fa800 VMThread [stack: 0x00007f38b3afb000,0x00007f38b3bfc000] [id=17997] 0x00007f38d0144000 WatcherThread [stack: 0x00007f38b2404000,0x00007f38b2505000] [id=18049] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f38d0005b20] ExpandHeap_lock - owner thread: 0x00007f38d00fa800 [0x00007f38d00061a0] Threads_lock - owner thread: 0x00007f38d00fa800 [0x00007f38d00066a0] Heap_lock - owner thread: 0x00007f387c001000 Heap: PSYoungGen total 815616K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 381440K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1797632K, used 1381100K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 76% used [0x00000006d1800000,0x0000000725cbb200,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f38d450a000,0x00007f38d4c7f000] byte_map_base: 0x00007f38d0e7e000 Marking Bits: (ParMarkBitMap*) 0x00007f38d77b8dc0 Begin Bits: [0x00007f38b97bf000, 0x00007f38bd35f000) End Bits: [0x00007f38bd35f000, 0x00007f38c0eff000) Polling page: 0x00007f38d83f1000 CodeCache: size=245760Kb used=9483Kb max_used=9498Kb free=236276Kb bounds [0x00007f38c1000000, 0x00007f38c1950000, 0x00007f38d0000000] total_blobs=3025 nmethods=2576 adapters=362 compilation: enabled Compilation events (10 events): Event: 4.525 Thread 0x00007f38d013b800 2593 4 java.util.ArrayDeque::pop (5 bytes) Event: 4.526 Thread 0x00007f38d013b800 nmethod 2593 0x00007f38c1936b50 code [0x00007f38c1936ca0, 0x00007f38c1936d78] Event: 4.526 Thread 0x00007f38d013b800 2594 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions::isProcessedToInnerJunction (10 bytes) Event: 4.527 Thread 0x00007f38d013b800 nmethod 2594 0x00007f38c1935190 code [0x00007f38c19352e0, 0x00007f38c1935398] Event: 6.284 Thread 0x00007f38d013b800 2595 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 6.289 Thread 0x00007f38d013b800 nmethod 2595% 0x00007f38c193ed90 code [0x00007f38c193ef40, 0x00007f38c193f2e0] Event: 6.420 Thread 0x00007f38d013e800 2596 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 6.537 Thread 0x00007f38d013e800 nmethod 2596% 0x00007f38c193f850 code [0x00007f38c193fe80, 0x00007f38c1944348] Event: 7.068 Thread 0x00007f38d013b800 2597 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (381 bytes) Event: 7.099 Thread 0x00007f38d013b800 nmethod 2597% 0x00007f38c19498d0 code [0x00007f38c1949b40, 0x00007f38c194ad38] GC Heap History (10 events): Event: 19.819 GC heap after Heap after GC invocations=19 (full 4): PSYoungGen total 762368K, used 218976K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 543232K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791a80000) from space 219136K, 99% used [0x0000000791a80000,0x000000079f058000,0x000000079f080000) to space 377856K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007bfc80000) ParOldGen total 1332736K, used 1163767K [0x00000006d1800000, 0x0000000722d80000, 0x0000000770800000) object space 1332736K, 87% used [0x00000006d1800000,0x000000071887dc78,0x0000000722d80000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 19.819 GC heap before {Heap before GC invocations=20 (full 5): PSYoungGen total 762368K, used 218976K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 543232K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791a80000) from space 219136K, 99% used [0x0000000791a80000,0x000000079f058000,0x000000079f080000) to space 377856K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007bfc80000) ParOldGen total 1332736K, used 1163767K [0x00000006d1800000, 0x0000000722d80000, 0x0000000770800000) object space 1332736K, 87% used [0x00000006d1800000,0x000000071887dc78,0x0000000722d80000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 25.272 GC heap after Heap after GC invocations=20 (full 5): PSYoungGen total 762368K, used 0K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 543232K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791a80000) from space 219136K, 0% used [0x0000000791a80000,0x0000000791a80000,0x000000079f080000) to space 377856K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007bfc80000) ParOldGen total 1797632K, used 1052158K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 58% used [0x00000006d1800000,0x0000000711b7f9d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 25.783 GC heap before {Heap before GC invocations=21 (full 5): PSYoungGen total 762368K, used 543232K [0x0000000770800000, 0x00000007bfc80000, 0x00000007c0000000) eden space 543232K, 100% used [0x0000000770800000,0x0000000791a80000,0x0000000791a80000) from space 219136K, 0% used [0x0000000791a80000,0x0000000791a80000,0x000000079f080000) to space 377856K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007bfc80000) ParOldGen total 1797632K, used 1052158K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 58% used [0x00000006d1800000,0x0000000711b7f9d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 26.062 GC heap after Heap after GC invocations=21 (full 5): PSYoungGen total 923648K, used 221504K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 545792K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791d00000) from space 377856K, 58% used [0x00000007a8b80000,0x00000007b63d0010,0x00000007bfc80000) to space 375296K, 0% used [0x0000000791d00000,0x0000000791d00000,0x00000007a8b80000) ParOldGen total 1797632K, used 1052158K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 58% used [0x00000006d1800000,0x0000000711b7f9d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 26.553 GC heap before {Heap before GC invocations=22 (full 5): PSYoungGen total 923648K, used 767296K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 545792K, 100% used [0x0000000770800000,0x0000000791d00000,0x0000000791d00000) from space 377856K, 58% used [0x00000007a8b80000,0x00000007b63d0010,0x00000007bfc80000) to space 375296K, 0% used [0x0000000791d00000,0x0000000791d00000,0x00000007a8b80000) ParOldGen total 1797632K, used 1052158K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 58% used [0x00000006d1800000,0x0000000711b7f9d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 27.106 GC heap after Heap after GC invocations=22 (full 5): PSYoungGen total 921088K, used 375264K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 545792K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000791d00000) from space 375296K, 99% used [0x0000000791d00000,0x00000007a8b78010,0x00000007a8b80000) to space 381440K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007c0000000) ParOldGen total 1797632K, used 1118662K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 62% used [0x00000006d1800000,0x0000000715c719d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 27.531 GC heap before {Heap before GC invocations=23 (full 5): PSYoungGen total 921088K, used 921056K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 545792K, 100% used [0x0000000770800000,0x0000000791d00000,0x0000000791d00000) from space 375296K, 99% used [0x0000000791d00000,0x00000007a8b78010,0x00000007a8b80000) to space 381440K, 0% used [0x00000007a8b80000,0x00000007a8b80000,0x00000007c0000000) ParOldGen total 1797632K, used 1118662K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 62% used [0x00000006d1800000,0x0000000715c719d8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Event: 28.314 GC heap after Heap after GC invocations=23 (full 5): PSYoungGen total 815616K, used 220064K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 381440K, 57% used [0x00000007a8b80000,0x00000007b6268000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1797632K, used 1495518K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 83% used [0x00000006d1800000,0x000000072cc779e8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K } Event: 28.314 GC heap before {Heap before GC invocations=24 (full 6): PSYoungGen total 815616K, used 220064K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 381440K, 57% used [0x00000007a8b80000,0x00000007b6268000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 1797632K, used 1495518K [0x00000006d1800000, 0x000000073f380000, 0x0000000770800000) object space 1797632K, 83% used [0x00000006d1800000,0x000000072cc779e8,0x000000073f380000) Metaspace used 26583K, capacity 29128K, committed 29184K, reserved 1075200K class space used 3037K, capacity 3809K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 2.502 Thread 0x00007f387c001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f38c15362a4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.502 Thread 0x00007f387c001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f38c15362a4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.502 Thread 0x00007f387c001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f38c15362a4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 2.503 Thread 0x00007f387c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f38c152c8fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.503 Thread 0x00007f387c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f38c152c8fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.503 Thread 0x00007f387c001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f38c152c8fc method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 2.856 Thread 0x00007f387c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f38c168aa84 method=de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Lexer.next_token()Lcom/github/jhoenicke/javacup/runtime/Symbol; @ 355 Event: 3.285 Thread 0x00007f387c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f38c16b413c method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Event: 3.286 Thread 0x00007f387c001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f38c16b35b0 method=de.uni_freiburg.informatik.ultimate.logic.PrintTerm.quoteIdentifier(Ljava/lang/String;)Ljava/lang/String; @ 70 Event: 6.295 Thread 0x00007f387c001000 Uncommon trap: reason=unreached action=reinterpret pc=0x00007f38c193f100 method=de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper.applyDistributivityAndOr([Lde/uni_freiburg/informatik/ultimate/logic/ Internal exceptions (10 events): Event: 2.394 Thread 0x00007f38d000a000 Exception (0x00000007714bfc10) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.395 Thread 0x00007f38d000a000 Exception (0x00000007714c33e0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.396 Thread 0x00007f38d000a000 Exception (0x00000007714e4500) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 2.398 Thread 0x00007f38d000a000 Exception (0x00000007714f0e88) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.399 Thread 0x00007f38d000a000 Exception (0x00000007714f6d38) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.404 Thread 0x00007f38d000a000 Exception (0x00000007715055b0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.404 Thread 0x00007f38d000a000 Exception (0x0000000771508318) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.405 Thread 0x00007f38d000a000 Exception (0x000000077150a7d0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.716 Thread 0x00007f387c001000 Exception (0x0000000771ed1c50) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 3.019 Thread 0x00007f387c001000 Exception (0x0000000772e95ba0) thrown at [/HUDSO Events (10 events): Event: 17.753 Executing VM operation: ParallelGCFailedAllocation done Event: 18.240 Executing VM operation: ParallelGCFailedAllocation Event: 18.804 Executing VM operation: ParallelGCFailedAllocation done Event: 19.241 Executing VM operation: ParallelGCFailedAllocation Event: 25.272 Executing VM operation: ParallelGCFailedAllocation done Event: 25.783 Executing VM operation: ParallelGCFailedAllocation Event: 26.062 Executing VM operation: ParallelGCFailedAllocation done Event: 26.553 Executing VM operation: ParallelGCFailedAllocation Event: 27.106 Executing VM operation: ParallelGCFailedAllocation done Event: 27.531 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 017b1000-017d2000 rw-p 00000000 00:00 0 [heap] 6d1800000-73f380000 rw-p 00000000 00:00 0 75cf80000-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 7f3840000000-7f3840021000 rw-p 00000000 00:00 0 7f3840021000-7f3844000000 ---p 00000000 00:00 0 7f3848000000-7f3848021000 rw-p 00000000 00:00 0 7f3848021000-7f384c000000 ---p 00000000 00:00 0 7f384c000000-7f384c021000 rw-p 00000000 00:00 0 7f384c021000-7f3850000000 ---p 00000000 00:00 0 7f3850000000-7f3850021000 rw-p 00000000 00:00 0 7f3850021000-7f3854000000 ---p 00000000 00:00 0 7f3854000000-7f3854021000 rw-p 00000000 00:00 0 7f3854021000-7f3858000000 ---p 00000000 00:00 0 7f3858000000-7f3858021000 rw-p 00000000 00:00 0 7f3858021000-7f385c000000 ---p 00000000 00:00 0 7f385c000000-7f385c021000 rw-p 00000000 00:00 0 7f385c021000-7f3860000000 ---p 00000000 00:00 0 7f3860000000-7f3860021000 rw-p 00000000 00:00 0 7f3860021000-7f3864000000 ---p 00000000 00:00 0 7f3864000000-7f3864021000 rw-p 00000000 00:00 0 7f3864021000-7f3868000000 ---p 00000000 00:00 0 7f3868000000-7f3868021000 rw-p 00000000 00:00 0 7f3868021000-7f386c000000 ---p 00000000 00:00 0 7f386c000000-7f386c021000 rw-p 00000000 00:00 0 7f386c021000-7f3870000000 ---p 00000000 00:00 0 7f3870000000-7f387030a000 rw-p 00000000 00:00 0 7f387030a000-7f3874000000 ---p 00000000 00:00 0 7f3874bed000-7f3874bf0000 ---p 00000000 00:00 0 7f3874bf0000-7f38750ae000 rw-p 00000000 00:00 0 7f38750ae000-7f38751ee000 ---p 00000000 00:00 0 7f38751ee000-7f38751f1000 ---p 00000000 00:00 0 7f38751f1000-7f38755ef000 rw-p 00000000 00:00 0 7f38755ef000-7f38755f2000 ---p 00000000 00:00 0 7f38755f2000-7f38759f0000 rw-p 00000000 00:00 0 7f38759f0000-7f38759f3000 ---p 00000000 00:00 0 7f38759f3000-7f3875df1000 rw-p 00000000 00:00 0 7f3875df1000-7f3875df4000 ---p 00000000 00:00 0 7f3875df4000-7f38763f2000 rw-p 00000000 00:00 0 7f38763f2000-7f38763f5000 ---p 00000000 00:00 0 7f38763f5000-7f38767f3000 rw-p 00000000 00:00 0 7f38767f3000-7f38767f6000 ---p 00000000 00:00 0 7f38767f6000-7f3876bf4000 rw-p 00000000 00:00 0 7f3876bf4000-7f3876bf7000 ---p 00000000 00:00 0 7f3876bf7000-7f3876ff5000 rw-p 00000000 00:00 0 7f3876ff5000-7f3876ff8000 ---p 00000000 00:00 0 7f3876ff8000-7f38773f6000 rw-p 00000000 00:00 0 7f38773f6000-7f38773ff000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f38773ff000-7f38775fe000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f38775fe000-7f38775ff000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f38775ff000-7f38777ff000 rw-p 00000000 00:00 0 7f38777ff000-7f38779ff000 rw-p 00000000 00:00 0 7f38779ff000-7f3877bff000 rw-p 00000000 00:00 0 7f3877bff000-7f3877c02000 ---p 00000000 00:00 0 7f3877c02000-7f3878000000 rw-p 00000000 00:00 0 7f3878000000-7f3878021000 rw-p 00000000 00:00 0 7f3878021000-7f387c000000 ---p 00000000 00:00 0 7f387c000000-7f387c021000 rw-p 00000000 00:00 0 7f387c021000-7f3880000000 ---p 00000000 00:00 0 7f3880000000-7f3880021000 rw-p 00000000 00:00 0 7f3880021000-7f3884000000 ---p 00000000 00:00 0 7f3884000000-7f38840ee000 rw-p 00000000 00:00 0 7f38840ee000-7f3888000000 ---p 00000000 00:00 0 7f3888000000-7f3888021000 rw-p 00000000 00:00 0 7f3888021000-7f388c000000 ---p 00000000 00:00 0 7f388c000000-7f388c021000 rw-p 00000000 00:00 0 7f388c021000-7f3890000000 ---p 00000000 00:00 0 7f3890000000-7f3890a94000 rw-p 00000000 00:00 0 7f3890a94000-7f3894000000 ---p 00000000 00:00 0 7f3894000000-7f3894021000 rw-p 00000000 00:00 0 7f3894021000-7f3898000000 ---p 00000000 00:00 0 7f3898000000-7f3898021000 rw-p 00000000 00:00 0 7f3898021000-7f389c000000 ---p 00000000 00:00 0 7f389c000000-7f389d0ab000 rw-p 00000000 00:00 0 7f389d0ab000-7f38a0000000 ---p 00000000 00:00 0 7f38a0000000-7f38a0021000 rw-p 00000000 00:00 0 7f38a0021000-7f38a4000000 ---p 00000000 00:00 0 7f38a4000000-7f38a4021000 rw-p 00000000 00:00 0 7f38a4021000-7f38a8000000 ---p 00000000 00:00 0 7f38a8000000-7f38a82ff000 rw-p 00000000 00:00 0 7f38a82ff000-7f38ac000000 ---p 00000000 00:00 0 7f38ac000000-7f38ac0af000 rw-p 00000000 00:00 0 7f38ac0af000-7f38b0000000 ---p 00000000 00:00 0 7f38b00e9000-7f38b00ec000 ---p 00000000 00:00 0 7f38b00ec000-7f38b0122000 rw-p 00000000 00:00 0 7f38b0122000-7f38b0127000 r--s 0003c000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f38b0127000-7f38b0129000 r--s 00005000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f38b0129000-7f38b012c000 ---p 00000000 00:00 0 7f38b012c000-7f38b0162000 rw-p 00000000 00:00 0 7f38b0162000-7f38b0164000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f38b0164000-7f38b0177000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f38b0177000-7f38b01b8000 r--s 00434000 09:02 30015855 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f38b01b8000-7f38b01ba000 r--s 00005000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f38b01ba000-7f38b01c6000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f38b01c6000-7f38b01cb000 r--s 00029000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f38b01cb000-7f38b01cd000 r--s 00002000 09:02 30015848 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f38b01cd000-7f38b01d0000 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 7f38b01d0000-7f38b01d3000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f38b01d3000-7f38b01d8000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f38b01d8000-7f38b01dc000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f38b01dc000-7f38b03dc000 rw-p 00000000 00:00 0 7f38b03dc000-7f38b043d000 r--s 00a81000 09:02 30015857 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f38b043d000-7f38b0440000 ---p 00000000 00:00 0 7f38b0440000-7f38b0a3e000 rw-p 00000000 00:00 0 7f38b0a3e000-7f38b0a48000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f38b0a48000-7f38b0a4a000 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 7f38b0a4a000-7f38b0a4c000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f38b0a4c000-7f38b0a4e000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f38b0a4e000-7f38b0a9f000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f38b0a9f000-7f38b0ac7000 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 7f38b0ac7000-7f38b0cc7000 rw-p 00000000 00:00 0 7f38b0cc7000-7f38b0ec7000 rw-p 00000000 00:00 0 7f38b0ec7000-7f38b0eca000 ---p 00000000 00:00 0 7f38b0eca000-7f38b12c8000 rw-p 00000000 00:00 0 7f38b12c8000-7f38b12d8000 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 7f38b12d8000-7f38b13d7000 ---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 7f38b13d7000-7f38b13d9000 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 7f38b13d9000-7f38b13dc000 ---p 00000000 00:00 0 7f38b13dc000-7f38b17da000 rw-p 00000000 00:00 0 7f38b17da000-7f38b17dd000 ---p 00000000 00:00 0 7f38b17dd000-7f38b1bdb000 rw-p 00000000 00:00 0 7f38b1bdb000-7f38b1bde000 ---p 00000000 00:00 0 7f38b1bde000-7f38b1fdc000 rw-p 00000000 00:00 0 7f38b1fdc000-7f38b1fed000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f38b1fed000-7f38b21ec000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f38b21ec000-7f38b21ed000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f38b21ed000-7f38b2203000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f38b2203000-7f38b2403000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f38b2403000-7f38b2404000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f38b2404000-7f38b2405000 ---p 00000000 00:00 0 7f38b2405000-7f38b2505000 rw-p 00000000 00:00 0 7f38b2505000-7f38b2508000 ---p 00000000 00:00 0 7f38b2508000-7f38b2906000 rw-p 00000000 00:00 0 7f38b2906000-7f38b2909000 ---p 00000000 00:00 0 7f38b2909000-7f38b2a07000 rw-p 00000000 00:00 0 7f38b2a07000-7f38b2a0a000 ---p 00000000 00:00 0 7f38b2a0a000-7f38b2b08000 rw-p 00000000 00:00 0 7f38b2b08000-7f38b2b0b000 ---p 00000000 00:00 0 7f38b2b0b000-7f38b2f09000 rw-p 00000000 00:00 0 7f38b2f09000-7f38b32f9000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f38b32f9000-7f38b32fc000 ---p 00000000 00:00 0 7f38b32fc000-7f38b36fa000 rw-p 00000000 00:00 0 7f38b36fa000-7f38b36fd000 ---p 00000000 00:00 0 7f38b36fd000-7f38b3afb000 rw-p 00000000 00:00 0 7f38b3afb000-7f38b3afc000 ---p 00000000 00:00 0 7f38b3afc000-7f38b4000000 rw-p 00000000 00:00 0 7f38b4000000-7f38b4037000 rw-p 00000000 00:00 0 7f38b4037000-7f38b8000000 ---p 00000000 00:00 0 7f38b8000000-7f38b8001000 r--s 00001000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7f38b8001000-7f38b8003000 r--s 00008000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f38b8003000-7f38b8005000 r--s 00023000 09:02 30015850 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f38b8005000-7f38b8007000 r--s 0000e000 09:02 30015860 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f38b8007000-7f38b8009000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f38b8009000-7f38b800a000 r--s 00002000 09:02 30015891 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f38b800a000-7f38b800c000 r--s 00001000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f38b800c000-7f38b8012000 r--s 00055000 09:02 30015842 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f38b8012000-7f38b8014000 r--s 00005000 09:02 30015889 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f38b8014000-7f38b8017000 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 7f38b8017000-7f38b8019000 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 7f38b8019000-7f38b801b000 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 7f38b801b000-7f38b802b000 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 7f38b802b000-7f38b8053000 r--s 009d3000 09:02 30015868 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f38b8053000-7f38b8056000 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 7f38b8056000-7f38b8057000 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 7f38b8057000-7f38b805a000 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 7f38b805a000-7f38b8063000 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 7f38b8063000-7f38b8074000 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 7f38b8074000-7f38b8077000 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 7f38b8077000-7f38b8079000 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 7f38b8079000-7f38b807b000 r--s 00006000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f38b807b000-7f38b807d000 r--s 00012000 09:02 30015838 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f38b807d000-7f38b807f000 r--s 00011000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f38b807f000-7f38b8082000 r--s 0000f000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f38b8082000-7f38b8084000 r--s 00006000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f38b8084000-7f38b8087000 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 7f38b8087000-7f38b808b000 r--s 00039000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f38b808b000-7f38b809b000 r--s 000da000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f38b809b000-7f38b80a7000 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 7f38b80a7000-7f38b85fb000 rw-p 00000000 00:00 0 7f38b85fb000-7f38b87d5000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f38b87d5000-7f38c0eff000 rw-p 00000000 00:00 0 7f38c0eff000-7f38c0f00000 ---p 00000000 00:00 0 7f38c0f00000-7f38c1000000 rw-p 00000000 00:00 0 7f38c1000000-7f38c1950000 rwxp 00000000 00:00 0 7f38c1950000-7f38d0000000 ---p 00000000 00:00 0 7f38d0000000-7f38d0cf3000 rw-p 00000000 00:00 0 7f38d0cf3000-7f38d4000000 ---p 00000000 00:00 0 7f38d4000000-7f38d4002000 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 7f38d4002000-7f38d4004000 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 7f38d4004000-7f38d4006000 r--s 00016000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f38d4006000-7f38d4008000 r--s 00014000 09:02 30015844 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f38d4008000-7f38d400a000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f38d400a000-7f38d4012000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f38d4012000-7f38d4380000 rw-p 00000000 00:00 0 7f38d4380000-7f38d450a000 ---p 00000000 00:00 0 7f38d450a000-7f38d4878000 rw-p 00000000 00:00 0 7f38d4878000-7f38d4a02000 ---p 00000000 00:00 0 7f38d4a02000-7f38d4c7e000 rw-p 00000000 00:00 0 7f38d4c7e000-7f38d4ca5000 rw-p 00000000 00:00 0 7f38d4ca5000-7f38d503f000 ---p 00000000 00:00 0 7f38d503f000-7f38d5059000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f38d5059000-7f38d5259000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f38d5259000-7f38d525a000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f38d525a000-7f38d5265000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f38d5265000-7f38d5464000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f38d5464000-7f38d5465000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f38d5465000-7f38d5466000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f38d5466000-7f38d5471000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f38d5471000-7f38d5670000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f38d5670000-7f38d5671000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f38d5671000-7f38d5672000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f38d5672000-7f38d5688000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f38d5688000-7f38d5887000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f38d5887000-7f38d5888000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f38d5888000-7f38d5889000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f38d5889000-7f38d588b000 rw-p 00000000 00:00 0 7f38d588b000-7f38d5892000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f38d5892000-7f38d5a92000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f38d5a92000-7f38d5a93000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f38d5a93000-7f38d5a94000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f38d5a94000-7f38d5abf000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f38d5abf000-7f38d5cbe000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f38d5cbe000-7f38d5cc0000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f38d5cc0000-7f38d5ccd000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f38d5ccd000-7f38d5ecd000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f38d5ecd000-7f38d5ecf000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f38d5ecf000-7f38d5ed6000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f38d5ed6000-7f38d60d5000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f38d60d5000-7f38d60d6000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f38d60d6000-7f38d60d7000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f38d60d7000-7f38d60da000 ---p 00000000 00:00 0 7f38d60da000-7f38d64d8000 rw-p 00000000 00:00 0 7f38d64d8000-7f38d65ed000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f38d65ed000-7f38d67ed000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f38d67ed000-7f38d67ee000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f38d67ee000-7f38d67ef000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f38d67ef000-7f38d74c2000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f38d74c2000-7f38d76c1000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f38d76c1000-7f38d779b000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f38d779b000-7f38d77e6000 rw-p 00000000 00:00 0 7f38d77e6000-7f38d798e000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f38d798e000-7f38d7b8d000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f38d7b8d000-7f38d7b91000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f38d7b91000-7f38d7b93000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f38d7b93000-7f38d7b97000 rw-p 00000000 00:00 0 7f38d7b97000-7f38d7b9a000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f38d7b9a000-7f38d7d99000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f38d7d99000-7f38d7d9a000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f38d7d9a000-7f38d7d9b000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f38d7d9b000-7f38d7db0000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f38d7db0000-7f38d7fb0000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f38d7fb0000-7f38d7fb1000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f38d7fb1000-7f38d7fcb000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f38d7fcb000-7f38d81cb000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f38d81cb000-7f38d81cc000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f38d81cc000-7f38d81cd000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f38d81cd000-7f38d81d1000 rw-p 00000000 00:00 0 7f38d81d1000-7f38d81f4000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f38d81f4000-7f38d81fa000 r--s 00029000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f38d81fa000-7f38d8200000 r--s 00050000 09:02 30015876 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f38d8200000-7f38d8204000 r--s 0000e000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f38d8204000-7f38d82aa000 rw-p 00000000 00:00 0 7f38d82aa000-7f38d82ab000 ---p 00000000 00:00 0 7f38d82ab000-7f38d83ad000 rw-p 00000000 00:00 0 7f38d83ad000-7f38d83af000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f38d83af000-7f38d83b3000 r--s 00054000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f38d83b3000-7f38d83b5000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f38d83b5000-7f38d83b8000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f38d83b8000-7f38d83bb000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f38d83bb000-7f38d83be000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f38d83be000-7f38d83c2000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f38d83c2000-7f38d83c4000 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 7f38d83c4000-7f38d83c6000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f38d83c6000-7f38d83c9000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f38d83c9000-7f38d83de000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f38d83de000-7f38d83e1000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f38d83e1000-7f38d83e6000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f38d83e6000-7f38d83e8000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f38d83e8000-7f38d83f0000 rw-s 00000000 09:01 1317713 /tmp/hsperfdata_root/17975 7f38d83f0000-7f38d83f1000 rw-p 00000000 00:00 0 7f38d83f1000-7f38d83f2000 ---p 00000000 00:00 0 7f38d83f2000-7f38d83f4000 rw-p 00000000 00:00 0 7f38d83f4000-7f38d83f5000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f38d83f5000-7f38d83f6000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f38d83f6000-7f38d83f7000 rw-p 00000000 00:00 0 7fff6172e000-7fff61750000 rw-p 00000000 00:00 0 [stack] 7fff617a8000-7fff617ab000 r--p 00000000 00:00 0 [vvar] 7fff617ab000-7fff617ad000 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_e2_943.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:6.17 7.69 6.88 /proc/meminfo: MemTotal: 24665244 kB MemFree: 210180 kB MemAvailable: 89500 kB Buffers: 29084 kB Cached: 111432 kB SwapCached: 0 kB Active: 24112676 kB Inactive: 60292 kB Active(anon): 24037056 kB Inactive(anon): 628 kB Active(file): 75620 kB Inactive(file): 59664 kB Unevictable: 11100 kB Mlocked: 11100 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 216 kB Writeback: 0 kB AnonPages: 24043648 kB Mapped: 56300 kB Shmem: 1476 kB Slab: 113752 kB SReclaimable: 54760 kB SUnreclaim: 58992 kB KernelStack: 16352 kB PageTables: 64268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24926772 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 309248 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 : 3554.187 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 : 3529.492 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 : 3585.729 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 : 3543.811 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 : 3516.003 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 : 3639.270 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(210180k 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:56:15 2018 elapsed time: 35 seconds (0d 0h 0m 35s)