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_e3_11.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:02:30,275 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:02:30,296 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:02:30,317 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:02:30,317 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:02:30,318 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:02:30,319 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:02:30,322 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:02:30,324 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:02:30,326 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:02:30,327 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:02:30,327 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:02:30,330 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:02:30,331 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:02:30,332 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:02:30,345 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:02:30,347 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:02:30,348 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:02:30,350 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:02:30,351 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:02:30,355 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:02:30,358 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:02:30,359 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:02:30,359 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:02:30,364 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:02:30,365 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:02:30,366 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:02:30,368 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:02:30,369 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:02:30,369 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:02:30,370 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:02:30,377 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:02:30,377 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:02:30,378 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:02:30,378 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:02:30,379 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:02:30,420 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:02:30,421 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:02:30,422 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:02:30,422 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:02:30,423 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:02:30,423 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:02:30,423 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:02:30,424 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:02:30,424 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:02:30,424 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:02:30,424 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:02:30,425 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:02:30,425 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:02:30,425 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:02:30,425 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:02:30,425 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:02:30,426 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:02:30,426 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:02:30,426 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:02:30,426 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:02:30,426 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:02:30,428 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:02:30,428 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:02:30,507 INFO ]: Repository-Root is: /tmp [2018-06-25 02:02:30,607 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:02:30,630 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:02:30,632 INFO ]: Initializing SmtParser... [2018-06-25 02:02:30,632 INFO ]: SmtParser initialized [2018-06-25 02:02:30,633 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11.smt2 [2018-06-25 02:02:30,646 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:02:31,588 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11.smt2 unknown [2018-06-25 02:02:32,718 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11.smt2 [2018-06-25 02:02:32,728 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:02:32,736 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:02:32,736 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:02:32,736 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:02:32,736 INFO ]: ChcToBoogie initialized [2018-06-25 02:02:32,740 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,878 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32 Unit [2018-06-25 02:02:32,878 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:02:32,879 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:02:32,879 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:02:32,879 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:02:32,903 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,903 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,914 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,914 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,919 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,921 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,923 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (1/1) ... [2018-06-25 02:02:32,926 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:02:32,929 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:02:32,929 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:02:32,929 INFO ]: RCFGBuilder initialized [2018-06-25 02:02:32,935 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:02:32" (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:02:32,952 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:02:32,952 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:02:32,952 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:02:32,952 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:02:32,952 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:02:32,953 INFO ]: Found implementation of procedure Ultimate.START [2018-06-25 02:02:33,573 INFO ]: Using library mode [2018-06-25 02:02:33,574 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:02:33 BoogieIcfgContainer [2018-06-25 02:02:33,574 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:02:33,575 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:02:33,575 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:02:33,576 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:02:33,576 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:02:33" (1/1) ... [2018-06-25 02:02:33,599 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:02:33,600 INFO ]: Using Remove infeasible edges [2018-06-25 02:02:33,601 INFO ]: Using Maximize final states [2018-06-25 02:02:33,601 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:02:33,602 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:02:33,604 INFO ]: Using Remove sink states [2018-06-25 02:02:33,605 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:02:33,605 INFO ]: Using Use SBE [2018-06-25 02:02:33,612 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000745600000, 490733568, 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 490733568 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid12372.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 490733568 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=12372, tid=0x00007fef7a220700 # # 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 (0x00007fef940fa800): VMThread [stack: 0x00007fef7a120000,0x00007fef7a221000] [id=12380] Stack: [0x00007fef7a120000,0x00007fef7a221000], sp=0x00007fef7a21f090, 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 (0x00007fef4a747820): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007fef34001000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007fef34004000 JavaThread "Worker-2" daemon [_thread_blocked, id=15176, stack(0x00007fef131fd000,0x00007fef135fe000)] 0x00007fef38234000 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=14873, stack(0x00007fef137fe000,0x00007fef13bff000)] 0x00007fef14002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=14872, stack(0x00007fef13bff000,0x00007fef14000000)] 0x00007fef14001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=14871, stack(0x00007fef4807e000,0x00007fef4847f000)] 0x00007fef38232000 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=14870, stack(0x00007fef4847f000,0x00007fef48880000)] 0x00007fef3822d800 JavaThread "process reaper" daemon [_thread_in_native, id=14869, stack(0x00007fef48880000,0x00007fef488b9000)] 0x00007fef38041000 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=14713, stack(0x00007fef48ac0000,0x00007fef48ec1000)] 0x00007fef30003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=14712, stack(0x00007fef48ec1000,0x00007fef492c2000)] 0x00007fef30001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=14711, stack(0x00007fef492c2000,0x00007fef496c3000)] 0x00007fef38034800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=14710, stack(0x00007fef496c3000,0x00007fef49ac4000)] 0x00007fef3803c800 JavaThread "process reaper" daemon [_thread_in_native, id=14708, stack(0x00007fef49ac4000,0x00007fef49afd000)] 0x00007fef34001000 JavaThread "Worker-1" daemon [_thread_blocked, id=14118, stack(0x00007fef4a349000,0x00007fef4a74a000)] 0x00007fef9471c800 JavaThread "Worker-0" daemon [_thread_blocked, id=13593, stack(0x00007fef4a9ab000,0x00007fef4adac000)] 0x00007fef3c070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=12768, stack(0x00007fef4b3fd000,0x00007fef4b7fe000)] 0x00007fef943be800 JavaThread "Start Level: Equinox Container: 9009f508-0b78-0018-1922-bff7e600e104" daemon [_thread_blocked, id=12765, stack(0x00007fef4b7fe000,0x00007fef4bbff000)] 0x00007fef943bc800 JavaThread "Framework Event Dispatcher: Equinox Container: 9009f508-0b78-0018-1922-bff7e600e104" daemon [_thread_blocked, id=12764, stack(0x00007fef4bbff000,0x00007fef4c000000)] 0x00007fef9439d000 JavaThread "Active Thread: Equinox Container: 9009f508-0b78-0018-1922-bff7e600e104" [_thread_blocked, id=12762, stack(0x00007fef78200000,0x00007fef78601000)] 0x00007fef94141000 JavaThread "Service Thread" daemon [_thread_blocked, id=12386, stack(0x00007fef78b2a000,0x00007fef78f2b000)] 0x00007fef9413e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=12385, stack(0x00007fef78f2b000,0x00007fef7902c000)] 0x00007fef9413b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=12384, stack(0x00007fef7902c000,0x00007fef7912d000)] 0x00007fef9413a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12383, stack(0x00007fef7912d000,0x00007fef7952e000)] 0x00007fef94107000 JavaThread "Finalizer" daemon [_thread_blocked, id=12382, stack(0x00007fef7991e000,0x00007fef79d1f000)] 0x00007fef94102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=12381, stack(0x00007fef79d1f000,0x00007fef7a120000)] 0x00007fef9400a000 JavaThread "main" [_thread_blocked, id=12377, stack(0x00007fef9867d000,0x00007fef98a7e000)] Other Threads: =>0x00007fef940fa800 VMThread [stack: 0x00007fef7a120000,0x00007fef7a221000] [id=12380] 0x00007fef94143800 WatcherThread [stack: 0x00007fef78a29000,0x00007fef78b2a000] [id=12387] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007fef94005b00] ExpandHeap_lock - owner thread: 0x00007fef940fa800 [0x00007fef94006180] Threads_lock - owner thread: 0x00007fef940fa800 [0x00007fef94006680] Heap_lock - owner thread: 0x00007fef34001000 Heap: PSYoungGen total 823296K, used 0K [0x0000000770800000, 0x00000007bd400000, 0x00000007c0000000) eden space 445440K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078bb00000) from space 377856K, 0% used [0x00000007a6300000,0x00000007a6300000,0x00000007bd400000) to space 406016K, 0% used [0x000000078bb00000,0x000000078bb00000,0x00000007a4780000) ParOldGen total 1898496K, used 1429925K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 75% used [0x00000006d1800000,0x0000000728c69588,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007fef83a76000,0x00007fef841eb000] byte_map_base: 0x00007fef803ea000 Marking Bits: (ParMarkBitMap*) 0x00007fef99d5edc0 Begin Bits: [0x00007fef7bd3d000, 0x00007fef7f8dd000) End Bits: [0x00007fef7f8dd000, 0x00007fef8347d000) Polling page: 0x00007fef9a997000 CodeCache: size=245760Kb used=8945Kb max_used=8964Kb free=236814Kb bounds [0x00007fef845ab000, 0x00007fef84e7b000, 0x00007fef935ab000] total_blobs=2746 nmethods=2297 adapters=362 compilation: enabled Compilation events (10 events): Event: 12.984 Thread 0x00007fef9413b800 2545 4 java.util.ArrayDeque::pop (5 bytes) Event: 12.985 Thread 0x00007fef9413b800 nmethod 2545 0x00007fef84898ed0 code [0x00007fef84899020, 0x00007fef848990f8] Event: 12.985 Thread 0x00007fef9413b800 2541 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper$ResultInnerJunctions:: (40 bytes) Event: 12.999 Thread 0x00007fef9413b800 nmethod 2541 0x00007fef84e4bb50 code [0x00007fef84e4bd60, 0x00007fef84e4c4f0] Event: 13.458 Thread 0x00007fef9413e800 2547 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 13.474 Thread 0x00007fef9413e800 nmethod 2547% 0x00007fef84e57c90 code [0x00007fef84e58780, 0x00007fef84e60bf8] Event: 13.480 Thread 0x00007fef9413e800 2548 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 13.488 Thread 0x00007fef9413e800 nmethod 2548 0x00007fef84e66150 code [0x00007fef84e66ca0, 0x00007fef84e6f8a8] Event: 16.163 Thread 0x00007fef9413b800 2549 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 16.190 Thread 0x00007fef9413b800 nmethod 2549% 0x00007fef84e4d910 code [0x00007fef84e4db20, 0x00007fef84e4e308] GC Heap History (10 events): Event: 42.106 GC heap after Heap after GC invocations=22 (full 6): PSYoungGen total 882176K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 448000K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078bd80000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 420352K, 0% used [0x000000078bd80000,0x000000078bd80000,0x00000007a5800000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 42.471 GC heap before {Heap before GC invocations=23 (full 6): PSYoungGen total 882176K, used 448000K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 448000K, 100% used [0x0000000770800000,0x000000078bd80000,0x000000078bd80000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 420352K, 0% used [0x000000078bd80000,0x000000078bd80000,0x00000007a5800000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 42.703 GC heap after Heap after GC invocations=23 (full 6): PSYoungGen total 628224K, used 179808K [0x0000000770800000, 0x00000007bc480000, 0x00000007c0000000) eden space 448000K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078bd80000) from space 180224K, 99% used [0x000000078bd80000,0x0000000796d18000,0x0000000796d80000) to space 396800K, 0% used [0x00000007a4100000,0x00000007a4100000,0x00000007bc480000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 43.152 GC heap before {Heap before GC invocations=24 (full 6): PSYoungGen total 628224K, used 627808K [0x0000000770800000, 0x00000007bc480000, 0x00000007c0000000) eden space 448000K, 100% used [0x0000000770800000,0x000000078bd80000,0x000000078bd80000) from space 180224K, 99% used [0x000000078bd80000,0x0000000796d18000,0x0000000796d80000) to space 396800K, 0% used [0x00000007a4100000,0x00000007a4100000,0x00000007bc480000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 43.603 GC heap after Heap after GC invocations=24 (full 6): PSYoungGen total 807424K, used 359648K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 410624K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000789900000) from space 396800K, 90% used [0x00000007a4100000,0x00000007ba038000,0x00000007bc480000) to space 434176K, 0% used [0x0000000789900000,0x0000000789900000,0x00000007a4100000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 43.923 GC heap before {Heap before GC invocations=25 (full 6): PSYoungGen total 807424K, used 770272K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 410624K, 100% used [0x0000000770800000,0x0000000789900000,0x0000000789900000) from space 396800K, 90% used [0x00000007a4100000,0x00000007ba038000,0x00000007bc480000) to space 434176K, 0% used [0x0000000789900000,0x0000000789900000,0x00000007a4100000) ParOldGen total 1898496K, used 1087461K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 57% used [0x00000006d1800000,0x0000000713df96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 44.608 GC heap after Heap after GC invocations=25 (full 6): PSYoungGen total 844800K, used 164832K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 410624K, 0% used [0x0000000770800000,0x0000000770800000,0x0000000789900000) from space 434176K, 37% used [0x0000000789900000,0x00000007939f8000,0x00000007a4100000) to space 422912K, 0% used [0x00000007a6300000,0x00000007a6300000,0x00000007c0000000) ParOldGen total 1898496K, used 1448613K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 76% used [0x00000006d1800000,0x0000000729ea96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 44.923 GC heap before {Heap before GC invocations=26 (full 6): PSYoungGen total 844800K, used 575456K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 410624K, 100% used [0x0000000770800000,0x0000000789900000,0x0000000789900000) from space 434176K, 37% used [0x0000000789900000,0x00000007939f8000,0x00000007a4100000) to space 422912K, 0% used [0x00000007a6300000,0x00000007a6300000,0x00000007c0000000) ParOldGen total 1898496K, used 1448613K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 76% used [0x00000006d1800000,0x0000000729ea96f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Event: 45.367 GC heap after Heap after GC invocations=26 (full 6): PSYoungGen total 823296K, used 164832K [0x0000000770800000, 0x00000007bd400000, 0x00000007c0000000) eden space 445440K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078bb00000) from space 377856K, 43% used [0x00000007a6300000,0x00000007b03f8000,0x00000007bd400000) to space 406016K, 0% used [0x000000078bb00000,0x000000078bb00000,0x00000007a4780000) ParOldGen total 1898496K, used 1614101K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 85% used [0x00000006d1800000,0x00000007340456f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K } Event: 45.367 GC heap before {Heap before GC invocations=27 (full 7): PSYoungGen total 823296K, used 164832K [0x0000000770800000, 0x00000007bd400000, 0x00000007c0000000) eden space 445440K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078bb00000) from space 377856K, 43% used [0x00000007a6300000,0x00000007b03f8000,0x00000007bd400000) to space 406016K, 0% used [0x000000078bb00000,0x000000078bb00000,0x00000007a4780000) ParOldGen total 1898496K, used 1614101K [0x00000006d1800000, 0x0000000745600000, 0x0000000770800000) object space 1898496K, 85% used [0x00000006d1800000,0x00000007340456f8,0x0000000745600000) Metaspace used 26589K, capacity 29240K, committed 29440K, reserved 1075200K class space used 3039K, capacity 3808K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 9.128 Thread 0x00007fef34001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fef84a85138 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 9.128 Thread 0x00007fef34001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fef84a85138 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 9.128 Thread 0x00007fef34001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fef84a85138 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 9.128 Thread 0x00007fef34001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007fef84a85138 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 9.129 Thread 0x00007fef34001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fef84ac64c8 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 9.129 Thread 0x00007fef34001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fef84ac64c8 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 9.129 Thread 0x00007fef34001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fef84ac64c8 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 9.138 Thread 0x00007fef38041000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007fef84ac35ec method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 34.085 Thread 0x00007fef9439d000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fef84bd9080 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryAcquireShared(I)I @ 60 Event: 34.085 Thread 0x00007fef9439d000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fef847410d0 method=java.util.concurrent.locks.ReentrantReadWriteLock$Sync.tryReleaseShared(I)Z @ 17 Internal exceptions (10 events): Event: 8.790 Thread 0x00007fef9400a000 Exception (0x000000077124df80) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.834 Thread 0x00007fef9400a000 Exception (0x00000007713c8d18) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.835 Thread 0x00007fef9400a000 Exception (0x00000007713cc9c0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.839 Thread 0x00007fef9400a000 Exception (0x00000007714ac200) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.839 Thread 0x00007fef9400a000 Exception (0x00000007714b0190) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.839 Thread 0x00007fef9400a000 Exception (0x00000007714b3d18) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.840 Thread 0x00007fef9400a000 Exception (0x00000007714b7ab8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 8.841 Thread 0x00007fef9400a000 Exception (0x00000007714d8ca0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 10.469 Thread 0x00007fef34001000 Exception (0x0000000771e32160) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 11.138 Thread 0x00007fef34001000 Exception (0x000000077271d148) thrown at [/HUDSO Events (10 events): Event: 35.816 Executing VM operation: ParallelGCFailedAllocation done Event: 36.383 Executing VM operation: ParallelGCFailedAllocation Event: 42.106 Executing VM operation: ParallelGCFailedAllocation done Event: 42.471 Executing VM operation: ParallelGCFailedAllocation Event: 42.703 Executing VM operation: ParallelGCFailedAllocation done Event: 43.152 Executing VM operation: ParallelGCFailedAllocation Event: 43.603 Executing VM operation: ParallelGCFailedAllocation done Event: 43.923 Executing VM operation: ParallelGCFailedAllocation Event: 44.608 Executing VM operation: ParallelGCFailedAllocation done Event: 44.923 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 01054000-01075000 rw-p 00000000 00:00 0 [heap] 6d1800000-745600000 rw-p 00000000 00:00 0 762a00000-770800000 ---p 00000000 00:00 0 770800000-7bd400000 rw-p 00000000 00:00 0 7bd400000-7c0000000 ---p 00000000 00:00 0 7c0000000-7c03c0000 rw-p 00000000 00:00 0 7c03c0000-800000000 ---p 00000000 00:00 0 7fef04000000-7fef04021000 rw-p 00000000 00:00 0 7fef04021000-7fef08000000 ---p 00000000 00:00 0 7fef08000000-7fef08021000 rw-p 00000000 00:00 0 7fef08021000-7fef0c000000 ---p 00000000 00:00 0 7fef0c000000-7fef0c021000 rw-p 00000000 00:00 0 7fef0c021000-7fef10000000 ---p 00000000 00:00 0 7fef131fd000-7fef13200000 ---p 00000000 00:00 0 7fef13200000-7fef136fe000 rw-p 00000000 00:00 0 7fef136fe000-7fef137fe000 ---p 00000000 00:00 0 7fef137fe000-7fef13801000 ---p 00000000 00:00 0 7fef13801000-7fef13bff000 rw-p 00000000 00:00 0 7fef13bff000-7fef13c02000 ---p 00000000 00:00 0 7fef13c02000-7fef14000000 rw-p 00000000 00:00 0 7fef14000000-7fef14021000 rw-p 00000000 00:00 0 7fef14021000-7fef18000000 ---p 00000000 00:00 0 7fef18000000-7fef18021000 rw-p 00000000 00:00 0 7fef18021000-7fef1c000000 ---p 00000000 00:00 0 7fef1c000000-7fef1c021000 rw-p 00000000 00:00 0 7fef1c021000-7fef20000000 ---p 00000000 00:00 0 7fef20000000-7fef20021000 rw-p 00000000 00:00 0 7fef20021000-7fef24000000 ---p 00000000 00:00 0 7fef24000000-7fef24021000 rw-p 00000000 00:00 0 7fef24021000-7fef28000000 ---p 00000000 00:00 0 7fef28000000-7fef28021000 rw-p 00000000 00:00 0 7fef28021000-7fef2c000000 ---p 00000000 00:00 0 7fef2c000000-7fef2c021000 rw-p 00000000 00:00 0 7fef2c021000-7fef30000000 ---p 00000000 00:00 0 7fef30000000-7fef30021000 rw-p 00000000 00:00 0 7fef30021000-7fef34000000 ---p 00000000 00:00 0 7fef34000000-7fef34021000 rw-p 00000000 00:00 0 7fef34021000-7fef38000000 ---p 00000000 00:00 0 7fef38000000-7fef382af000 rw-p 00000000 00:00 0 7fef382af000-7fef3c000000 ---p 00000000 00:00 0 7fef3c000000-7fef3c0ec000 rw-p 00000000 00:00 0 7fef3c0ec000-7fef40000000 ---p 00000000 00:00 0 7fef40000000-7fef40021000 rw-p 00000000 00:00 0 7fef40021000-7fef44000000 ---p 00000000 00:00 0 7fef44000000-7fef44021000 rw-p 00000000 00:00 0 7fef44021000-7fef48000000 ---p 00000000 00:00 0 7fef4807e000-7fef48081000 ---p 00000000 00:00 0 7fef48081000-7fef4847f000 rw-p 00000000 00:00 0 7fef4847f000-7fef48482000 ---p 00000000 00:00 0 7fef48482000-7fef48880000 rw-p 00000000 00:00 0 7fef48880000-7fef48883000 ---p 00000000 00:00 0 7fef48883000-7fef488b9000 rw-p 00000000 00:00 0 7fef488b9000-7fef488be000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7fef488be000-7fef48abe000 rw-p 00000000 00:00 0 7fef48abe000-7fef48ac0000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7fef48ac0000-7fef48ac3000 ---p 00000000 00:00 0 7fef48ac3000-7fef48ec1000 rw-p 00000000 00:00 0 7fef48ec1000-7fef48ec4000 ---p 00000000 00:00 0 7fef48ec4000-7fef492c2000 rw-p 00000000 00:00 0 7fef492c2000-7fef492c5000 ---p 00000000 00:00 0 7fef492c5000-7fef496c3000 rw-p 00000000 00:00 0 7fef496c3000-7fef496c6000 ---p 00000000 00:00 0 7fef496c6000-7fef49ac4000 rw-p 00000000 00:00 0 7fef49ac4000-7fef49ac7000 ---p 00000000 00:00 0 7fef49ac7000-7fef49afd000 rw-p 00000000 00:00 0 7fef49afd000-7fef49aff000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7fef49aff000-7fef49b08000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fef49b08000-7fef49d07000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fef49d07000-7fef49d08000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7fef49d08000-7fef49f08000 rw-p 00000000 00:00 0 7fef49f08000-7fef4a108000 rw-p 00000000 00:00 0 7fef4a108000-7fef4a149000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7fef4a149000-7fef4a349000 rw-p 00000000 00:00 0 7fef4a349000-7fef4a34c000 ---p 00000000 00:00 0 7fef4a34c000-7fef4a94a000 rw-p 00000000 00:00 0 7fef4a94a000-7fef4a9ab000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7fef4a9ab000-7fef4a9ae000 ---p 00000000 00:00 0 7fef4a9ae000-7fef4afac000 rw-p 00000000 00:00 0 7fef4afac000-7fef4affd000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7fef4affd000-7fef4b1fd000 rw-p 00000000 00:00 0 7fef4b1fd000-7fef4b3fd000 rw-p 00000000 00:00 0 7fef4b3fd000-7fef4b400000 ---p 00000000 00:00 0 7fef4b400000-7fef4b7fe000 rw-p 00000000 00:00 0 7fef4b7fe000-7fef4b801000 ---p 00000000 00:00 0 7fef4b801000-7fef4bbff000 rw-p 00000000 00:00 0 7fef4bbff000-7fef4bc02000 ---p 00000000 00:00 0 7fef4bc02000-7fef4c000000 rw-p 00000000 00:00 0 7fef4c000000-7fef4c021000 rw-p 00000000 00:00 0 7fef4c021000-7fef50000000 ---p 00000000 00:00 0 7fef50000000-7fef50021000 rw-p 00000000 00:00 0 7fef50021000-7fef54000000 ---p 00000000 00:00 0 7fef54000000-7fef55397000 rw-p 00000000 00:00 0 7fef55397000-7fef58000000 ---p 00000000 00:00 0 7fef58000000-7fef58021000 rw-p 00000000 00:00 0 7fef58021000-7fef5c000000 ---p 00000000 00:00 0 7fef5c000000-7fef5c021000 rw-p 00000000 00:00 0 7fef5c021000-7fef60000000 ---p 00000000 00:00 0 7fef60000000-7fef6113c000 rw-p 00000000 00:00 0 7fef6113c000-7fef64000000 ---p 00000000 00:00 0 7fef64000000-7fef64021000 rw-p 00000000 00:00 0 7fef64021000-7fef68000000 ---p 00000000 00:00 0 7fef68000000-7fef68021000 rw-p 00000000 00:00 0 7fef68021000-7fef6c000000 ---p 00000000 00:00 0 7fef6c000000-7fef6c181000 rw-p 00000000 00:00 0 7fef6c181000-7fef70000000 ---p 00000000 00:00 0 7fef70000000-7fef70300000 rw-p 00000000 00:00 0 7fef70300000-7fef74000000 ---p 00000000 00:00 0 7fef74000000-7fef740ae000 rw-p 00000000 00:00 0 7fef740ae000-7fef78000000 ---p 00000000 00:00 0 7fef78000000-7fef78013000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7fef78013000-7fef78015000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7fef78015000-7fef78021000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7fef78021000-7fef78026000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7fef78026000-7fef78028000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7fef78028000-7fef7802b000 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 7fef7802b000-7fef7802e000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7fef7802e000-7fef78031000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7fef78031000-7fef78036000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7fef78036000-7fef7803a000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7fef7803a000-7fef78044000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7fef78044000-7fef78046000 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 7fef78046000-7fef78048000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7fef78048000-7fef7804a000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7fef7804a000-7fef7804c000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7fef7804c000-7fef7804e000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7fef7804e000-7fef78050000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7fef78050000-7fef78052000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7fef78052000-7fef78053000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7fef78053000-7fef78055000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7fef78055000-7fef7805c000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7fef7805c000-7fef7805e000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7fef7805e000-7fef78061000 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 7fef78061000-7fef78063000 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 7fef78063000-7fef78065000 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 7fef78065000-7fef7808d000 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 7fef7808d000-7fef7809d000 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 7fef7809d000-7fef780c5000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7fef780c5000-7fef780c8000 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 7fef780c8000-7fef780c9000 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 7fef780c9000-7fef780cc000 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 7fef780cc000-7fef780d5000 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 7fef780d5000-7fef780e6000 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 7fef780e6000-7fef780e9000 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 7fef780e9000-7fef780eb000 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 7fef780eb000-7fef780ed000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7fef780ed000-7fef780ef000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7fef780ef000-7fef780ff000 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 7fef780ff000-7fef781fe000 ---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 7fef781fe000-7fef78200000 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 7fef78200000-7fef78203000 ---p 00000000 00:00 0 7fef78203000-7fef78601000 rw-p 00000000 00:00 0 7fef78601000-7fef78612000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fef78612000-7fef78811000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fef78811000-7fef78812000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7fef78812000-7fef78828000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fef78828000-7fef78a28000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fef78a28000-7fef78a29000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7fef78a29000-7fef78a2a000 ---p 00000000 00:00 0 7fef78a2a000-7fef78b2a000 rw-p 00000000 00:00 0 7fef78b2a000-7fef78b2d000 ---p 00000000 00:00 0 7fef78b2d000-7fef78f2b000 rw-p 00000000 00:00 0 7fef78f2b000-7fef78f2e000 ---p 00000000 00:00 0 7fef78f2e000-7fef7902c000 rw-p 00000000 00:00 0 7fef7902c000-7fef7902f000 ---p 00000000 00:00 0 7fef7902f000-7fef7912d000 rw-p 00000000 00:00 0 7fef7912d000-7fef79130000 ---p 00000000 00:00 0 7fef79130000-7fef7952e000 rw-p 00000000 00:00 0 7fef7952e000-7fef7991e000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7fef7991e000-7fef79921000 ---p 00000000 00:00 0 7fef79921000-7fef79d1f000 rw-p 00000000 00:00 0 7fef79d1f000-7fef79d22000 ---p 00000000 00:00 0 7fef79d22000-7fef7a120000 rw-p 00000000 00:00 0 7fef7a120000-7fef7a121000 ---p 00000000 00:00 0 7fef7a121000-7fef7ab79000 rw-p 00000000 00:00 0 7fef7ab79000-7fef7ad53000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7fef7ad53000-7fef8347d000 rw-p 00000000 00:00 0 7fef8347d000-7fef8347e000 ---p 00000000 00:00 0 7fef8347e000-7fef8391d000 rw-p 00000000 00:00 0 7fef8391d000-7fef83a76000 ---p 00000000 00:00 0 7fef83a76000-7fef83e15000 rw-p 00000000 00:00 0 7fef83e15000-7fef83f6e000 ---p 00000000 00:00 0 7fef83f6e000-7fef841d4000 rw-p 00000000 00:00 0 7fef841d4000-7fef841ea000 ---p 00000000 00:00 0 7fef841ea000-7fef8420f000 rw-p 00000000 00:00 0 7fef8420f000-7fef845ab000 ---p 00000000 00:00 0 7fef845ab000-7fef84e7b000 rwxp 00000000 00:00 0 7fef84e7b000-7fef935ab000 ---p 00000000 00:00 0 7fef935ab000-7fef935c5000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fef935c5000-7fef937c5000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fef937c5000-7fef937c6000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7fef937c6000-7fef937d1000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7fef937d1000-7fef939d0000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fef939d0000-7fef939d1000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7fef939d1000-7fef939d2000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7fef939d2000-7fef939dd000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fef939dd000-7fef93bdc000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fef93bdc000-7fef93bdd000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fef93bdd000-7fef93bde000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7fef93bde000-7fef93bf4000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7fef93bf4000-7fef93df3000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fef93df3000-7fef93df4000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7fef93df4000-7fef93df5000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7fef93df5000-7fef93df7000 rw-p 00000000 00:00 0 7fef93df7000-7fef93dfe000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fef93dfe000-7fef93ffe000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fef93ffe000-7fef93fff000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fef93fff000-7fef94000000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7fef94000000-7fef94a81000 rw-p 00000000 00:00 0 7fef94a81000-7fef98000000 ---p 00000000 00:00 0 7fef98000000-7fef98003000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7fef98003000-7fef98005000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7fef98005000-7fef98007000 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 7fef98007000-7fef9800a000 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 7fef9800a000-7fef9800e000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7fef9800e000-7fef98010000 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 7fef98010000-7fef98020000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7fef98020000-7fef9802c000 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 7fef9802c000-7fef9802e000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7fef9802e000-7fef98030000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7fef98030000-7fef98032000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7fef98032000-7fef9803a000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7fef9803a000-7fef98065000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fef98065000-7fef98264000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fef98264000-7fef98266000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7fef98266000-7fef98273000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fef98273000-7fef98473000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fef98473000-7fef98475000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7fef98475000-7fef9847c000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7fef9847c000-7fef9867b000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fef9867b000-7fef9867c000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7fef9867c000-7fef9867d000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7fef9867d000-7fef98680000 ---p 00000000 00:00 0 7fef98680000-7fef98a7e000 rw-p 00000000 00:00 0 7fef98a7e000-7fef98b93000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7fef98b93000-7fef98d93000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fef98d93000-7fef98d94000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7fef98d94000-7fef98d95000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7fef98d95000-7fef99a68000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fef99a68000-7fef99c67000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fef99c67000-7fef99d41000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7fef99d41000-7fef99d8c000 rw-p 00000000 00:00 0 7fef99d8c000-7fef99f34000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7fef99f34000-7fef9a133000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7fef9a133000-7fef9a137000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7fef9a137000-7fef9a139000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7fef9a139000-7fef9a13d000 rw-p 00000000 00:00 0 7fef9a13d000-7fef9a140000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7fef9a140000-7fef9a33f000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fef9a33f000-7fef9a340000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7fef9a340000-7fef9a341000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7fef9a341000-7fef9a356000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fef9a356000-7fef9a556000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fef9a556000-7fef9a557000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7fef9a557000-7fef9a571000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7fef9a571000-7fef9a771000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fef9a771000-7fef9a772000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7fef9a772000-7fef9a773000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7fef9a773000-7fef9a777000 rw-p 00000000 00:00 0 7fef9a777000-7fef9a79a000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7fef9a79a000-7fef9a7a0000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7fef9a7a0000-7fef9a7a6000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7fef9a7a6000-7fef9a7aa000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7fef9a7aa000-7fef9a850000 rw-p 00000000 00:00 0 7fef9a850000-7fef9a851000 ---p 00000000 00:00 0 7fef9a851000-7fef9a953000 rw-p 00000000 00:00 0 7fef9a953000-7fef9a955000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7fef9a955000-7fef9a959000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7fef9a959000-7fef9a95b000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7fef9a95b000-7fef9a95e000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7fef9a95e000-7fef9a961000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7fef9a961000-7fef9a964000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7fef9a964000-7fef9a968000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7fef9a968000-7fef9a96a000 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 7fef9a96a000-7fef9a96c000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7fef9a96c000-7fef9a96f000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7fef9a96f000-7fef9a984000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7fef9a984000-7fef9a987000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7fef9a987000-7fef9a98c000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7fef9a98c000-7fef9a98e000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7fef9a98e000-7fef9a996000 rw-s 00000000 09:01 1312180 /tmp/hsperfdata_root/12372 7fef9a996000-7fef9a997000 rw-p 00000000 00:00 0 7fef9a997000-7fef9a998000 ---p 00000000 00:00 0 7fef9a998000-7fef9a99a000 rw-p 00000000 00:00 0 7fef9a99a000-7fef9a99b000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7fef9a99b000-7fef9a99c000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7fef9a99c000-7fef9a99d000 rw-p 00000000 00:00 0 7ffca956e000-7ffca9590000 rw-p 00000000 00:00 0 [stack] 7ffca95d0000-7ffca95d3000 r--p 00000000 00:00 0 [vvar] 7ffca95d3000-7ffca95d5000 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_e3_11.smt2 java_class_path (initial): ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar Launcher Type: SUN_STANDARD Environment Variables: JAVA_HOME=/etc/java-config-2/current-system-vm PATH=/usr/x86_64-pc-linux-gnu/gcc-bin/6.4.0:/usr/lib/llvm/5/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/storage/ltl2ba/ltl2ba-1.2b1:/storage/solver/z3/build:/storage/solver/mathsat/bin:/storage/solver/princess:/storage/solver/cvc4-2015-12-05-x86_64-linux-opt-proofs:/storage/solver/smtinterpol SHELL=/bin/bash DISPLAY=localhost:10.0 Signal Handlers: SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO --------------- S Y S T E M --------------- OS:DISTRIB_ID="Gentoo" uname:Linux 4.12.12-gentoo #1 SMP Mon Oct 16 11:39:14 CEST 2017 x86_64 libc:glibc 2.25 NPTL 2.25 rlimit: STACK 8192k, CORE 0k, NPROC 96076, NOFILE 4096, AS infinity load average:10.29 9.67 7.89 /proc/meminfo: MemTotal: 24665244 kB MemFree: 366800 kB MemAvailable: 286640 kB Buffers: 36340 kB Cached: 170716 kB SwapCached: 0 kB Active: 23917984 kB Inactive: 97284 kB Active(anon): 23812796 kB Inactive(anon): 628 kB Active(file): 105188 kB Inactive(file): 96656 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 23819292 kB Mapped: 63084 kB Shmem: 1476 kB Slab: 111332 kB SReclaimable: 51728 kB SUnreclaim: 59604 kB KernelStack: 15832 kB PageTables: 62460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24662568 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 305152 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 : 3514.135 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 : 3512.683 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.55 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.69 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3514.135 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 : 3514.135 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 : 3515.588 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 : 3538.830 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(366552k 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:03:13 2018 elapsed time: 52 seconds (0d 0h 0m 52s)