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_e1_429.smt2 -------------------------------------------------------------------------------- This is Ultimate 0.1.23-14921ce [2018-06-25 02:01:22,380 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-06-25 02:01:22,382 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-06-25 02:01:22,399 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-06-25 02:01:22,400 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-06-25 02:01:22,401 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-06-25 02:01:22,402 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-06-25 02:01:22,404 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-06-25 02:01:22,405 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-06-25 02:01:22,407 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-06-25 02:01:22,408 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-06-25 02:01:22,408 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-06-25 02:01:22,409 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-06-25 02:01:22,413 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-06-25 02:01:22,414 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-06-25 02:01:22,415 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-06-25 02:01:22,428 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-06-25 02:01:22,430 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-06-25 02:01:22,431 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-06-25 02:01:22,432 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-06-25 02:01:22,433 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-06-25 02:01:22,438 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-06-25 02:01:22,438 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-06-25 02:01:22,438 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-06-25 02:01:22,439 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-06-25 02:01:22,440 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-06-25 02:01:22,447 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-06-25 02:01:22,448 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-06-25 02:01:22,449 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-06-25 02:01:22,449 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-06-25 02:01:22,450 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-06-25 02:01:22,450 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-06-25 02:01:22,450 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-06-25 02:01:22,451 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-06-25 02:01:22,456 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-06-25 02:01:22,457 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:01:22,480 INFO L110 SettingsManager]: Loading preferences was successful [2018-06-25 02:01:22,480 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-06-25 02:01:22,481 INFO L131 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2018-06-25 02:01:22,481 INFO L133 SettingsManager]: * Logger pattern=[%d{ISO8601} %-5p]: %m%n [2018-06-25 02:01:22,482 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-06-25 02:01:22,482 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-06-25 02:01:22,482 INFO L133 SettingsManager]: * Create interprocedural compositions=false [2018-06-25 02:01:22,483 INFO L133 SettingsManager]: * Use SBE=true [2018-06-25 02:01:22,483 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-06-25 02:01:22,483 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-06-25 02:01:22,483 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-06-25 02:01:22,483 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-06-25 02:01:22,484 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-06-25 02:01:22,484 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-06-25 02:01:22,484 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-06-25 02:01:22,484 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-06-25 02:01:22,484 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-06-25 02:01:22,485 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-06-25 02:01:22,485 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-06-25 02:01:22,485 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-06-25 02:01:22,485 INFO L133 SettingsManager]: * Compute trace for counterexample result=false [2018-06-25 02:01:22,488 INFO L131 SettingsManager]: Preferences of SmtParser differ from their defaults: [2018-06-25 02:01:22,488 INFO L133 SettingsManager]: * Use TreeAutomizer as solver for the given file (assumes the file contains Horn clauses only).=true [2018-06-25 02:01:22,551 INFO ]: Repository-Root is: /tmp [2018-06-25 02:01:22,572 INFO ]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-06-25 02:01:22,578 INFO ]: [Toolchain 1]: Toolchain data selected. [2018-06-25 02:01:22,580 INFO ]: Initializing SmtParser... [2018-06-25 02:01:22,580 INFO ]: SmtParser initialized [2018-06-25 02:01:22,581 INFO ]: [Toolchain 1]: Parsing single file: /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429.smt2 [2018-06-25 02:01:22,582 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:01:22,690 INFO ]: Executing SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429.smt2 unknown [2018-06-25 02:01:23,094 INFO ]: Succesfully executed SMT file /storage/chc-comp/vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429.smt2 [2018-06-25 02:01:23,099 INFO ]: ####################### [Toolchain 1] ####################### [2018-06-25 02:01:23,109 INFO ]: Walking toolchain with 5 elements. [2018-06-25 02:01:23,110 INFO ]: ------------------------ChcToBoogie---------------------------- [2018-06-25 02:01:23,110 INFO ]: Initializing ChcToBoogie... [2018-06-25 02:01:23,110 INFO ]: ChcToBoogie initialized [2018-06-25 02:01:23,114 INFO ]: Executing the observer ChcToBoogieObserver from plugin ChcToBoogie for "de.uni_freiburg.informatik.ultimate.source.smtparser OTHER 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,193 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23 Unit [2018-06-25 02:01:23,193 INFO ]: ------------------------ END ChcToBoogie---------------------------- [2018-06-25 02:01:23,194 INFO ]: ------------------------Boogie Preprocessor---------------------------- [2018-06-25 02:01:23,194 INFO ]: Initializing Boogie Preprocessor... [2018-06-25 02:01:23,194 INFO ]: Boogie Preprocessor initialized [2018-06-25 02:01:23,232 INFO ]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,241 INFO ]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,254 INFO ]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,254 INFO ]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,272 INFO ]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,283 INFO ]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,284 INFO ]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,296 INFO ]: ------------------------ END Boogie Preprocessor---------------------------- [2018-06-25 02:01:23,297 INFO ]: ------------------------RCFGBuilder---------------------------- [2018-06-25 02:01:23,297 INFO ]: Initializing RCFGBuilder... [2018-06-25 02:01:23,297 INFO ]: RCFGBuilder initialized [2018-06-25 02:01:23,298 INFO ]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.chctoboogie AST 25.06 02:01:23" (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-25 02:01:23,346 INFO ]: Specification and implementation of procedure gotoProc given in one single declaration [2018-06-25 02:01:23,346 INFO ]: Found specification of procedure gotoProc [2018-06-25 02:01:23,346 INFO ]: Found implementation of procedure gotoProc [2018-06-25 02:01:23,346 INFO ]: Specification and implementation of procedure Ultimate.START given in one single declaration [2018-06-25 02:01:23,346 INFO ]: Found specification of procedure Ultimate.START [2018-06-25 02:01:23,346 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-25 02:01:23,753 INFO ]: Using library mode [2018-06-25 02:01:23,754 INFO ]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:01:23 BoogieIcfgContainer [2018-06-25 02:01:23,754 INFO ]: ------------------------ END RCFGBuilder---------------------------- [2018-06-25 02:01:23,755 INFO ]: ------------------------BlockEncodingV2---------------------------- [2018-06-25 02:01:23,755 INFO ]: Initializing BlockEncodingV2... [2018-06-25 02:01:23,756 INFO ]: BlockEncodingV2 initialized [2018-06-25 02:01:23,757 INFO ]: Executing the observer BlockEncodingObserver from plugin BlockEncodingV2 for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.06 02:01:23" (1/1) ... [2018-06-25 02:01:23,777 INFO ]: Initial Icfg 10 locations, 10 edges [2018-06-25 02:01:23,779 INFO ]: Using Remove infeasible edges [2018-06-25 02:01:23,779 INFO ]: Using Maximize final states [2018-06-25 02:01:23,780 INFO ]: Using Minimize states even if more edges are added than removed.=false [2018-06-25 02:01:23,780 INFO ]: Using Minimize states using LBE with the strategy=MULTI [2018-06-25 02:01:23,783 INFO ]: Using Remove sink states [2018-06-25 02:01:23,786 INFO ]: Using Apply optimizations until nothing changes=true [2018-06-25 02:01:23,786 INFO ]: Using Use SBE [2018-06-25 02:01:23,796 WARN ]: expecting exponential blowup for input size 22 Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000759280000, 391643136, 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 391643136 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid1259.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 391643136 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=1259, tid=0x00007f0c75675700 # # 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 (0x00007f0c880fa800): VMThread [stack: 0x00007f0c75575000,0x00007f0c75676000] [id=1485] Stack: [0x00007f0c75575000,0x00007f0c75676000], sp=0x00007f0c75674310, 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 (0x00007f0c6e2126b0): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f0c8878e000 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f0c24001800 JavaThread "Worker-2" daemon [_thread_blocked, id=5899, stack(0x00007f0c0adfc000,0x00007f0c0b1fd000)] 0x00007f0c30157800 JavaThread "ToolchainTimeout watcher for 2" daemon [_thread_blocked, id=1905, stack(0x00007f0c0b3fd000,0x00007f0c0b7fe000)] 0x00007f0c10002800 JavaThread "MonitoredProcess 2 StreamBuffer stdErr" daemon [_thread_in_native, id=1904, stack(0x00007f0c0b7fe000,0x00007f0c0bbff000)] 0x00007f0c10001000 JavaThread "MonitoredProcess 2 StreamBuffer stdIn" daemon [_thread_in_native, id=1903, stack(0x00007f0c0bbff000,0x00007f0c0c000000)] 0x00007f0c30155800 JavaThread "MonitoredProcess 2 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=1902, stack(0x00007f0c600be000,0x00007f0c604bf000)] 0x00007f0c30151000 JavaThread "process reaper" daemon [_thread_in_native, id=1901, stack(0x00007f0c6c0b0000,0x00007f0c6c0e9000)] 0x00007f0c30043000 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=1825, stack(0x00007f0c604bf000,0x00007f0c608c0000)] 0x00007f0c1c003800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=1821, stack(0x00007f0c6c2f0000,0x00007f0c6c6f1000)] 0x00007f0c1c001800 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_in_native, id=1820, stack(0x00007f0c6c6f1000,0x00007f0c6caf2000)] 0x00007f0c30016000 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:1024 -smt2 -in -t:12000" daemon [_thread_blocked, id=1819, stack(0x00007f0c6caf2000,0x00007f0c6cef3000)] 0x00007f0c3003f000 JavaThread "process reaper" daemon [_thread_in_native, id=1818, stack(0x00007f0c6cef3000,0x00007f0c6cf2c000)] 0x00007f0c30001000 JavaThread "Worker-1" daemon [_thread_blocked, id=1797, stack(0x00007f0c6d7a6000,0x00007f0c6dba7000)] 0x00007f0c8878e000 JavaThread "Worker-0" daemon [_thread_blocked, id=1711, stack(0x00007f0c6de14000,0x00007f0c6e215000)] 0x00007f0c34072800 JavaThread "Worker-JM" daemon [_thread_blocked, id=1522, stack(0x00007f0c6e8d9000,0x00007f0c6ecda000)] 0x00007f0c883bd800 JavaThread "Start Level: Equinox Container: 10e703e3-0a78-0018-1380-a37408599b2e" daemon [_thread_blocked, id=1521, stack(0x00007f0c6edeb000,0x00007f0c6f1ec000)] 0x00007f0c883ba800 JavaThread "Framework Event Dispatcher: Equinox Container: 10e703e3-0a78-0018-1380-a37408599b2e" daemon [_thread_blocked, id=1520, stack(0x00007f0c6f1ec000,0x00007f0c6f5ed000)] 0x00007f0c8839d000 JavaThread "Active Thread: Equinox Container: 10e703e3-0a78-0018-1380-a37408599b2e" [_thread_blocked, id=1495, stack(0x00007f0c6f5ed000,0x00007f0c6f9ee000)] 0x00007f0c8815b800 JavaThread "Service Thread" daemon [_thread_blocked, id=1491, stack(0x00007f0c6fbff000,0x00007f0c70000000)] 0x00007f0c8813e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=1490, stack(0x00007f0c74380000,0x00007f0c74481000)] 0x00007f0c8813b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=1489, stack(0x00007f0c74481000,0x00007f0c74582000)] 0x00007f0c8813a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=1488, stack(0x00007f0c74582000,0x00007f0c74983000)] 0x00007f0c88107000 JavaThread "Finalizer" daemon [_thread_blocked, id=1487, stack(0x00007f0c74d73000,0x00007f0c75174000)] 0x00007f0c88102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=1486, stack(0x00007f0c75174000,0x00007f0c75575000)] 0x00007f0c8800a000 JavaThread "main" [_thread_blocked, id=1482, stack(0x00007f0c8c36c000,0x00007f0c8c76d000)] Other Threads: =>0x00007f0c880fa800 VMThread [stack: 0x00007f0c75575000,0x00007f0c75676000] [id=1485] 0x00007f0c8815e000 WatcherThread [stack: 0x00007f0c7427f000,0x00007f0c74380000] [id=1492] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f0c88005b00] ExpandHeap_lock - owner thread: 0x00007f0c880fa800 [0x00007f0c88006180] Threads_lock - owner thread: 0x00007f0c880fa800 [0x00007f0c88006680] Heap_lock - owner thread: 0x00007f0c8878e000 Heap: PSYoungGen total 868352K, used 0K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2222592K, used 1776679K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 79% used [0x00000006d1800000,0x000000073df09dc8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Card table byte_map: [0x00007f0c7763b000,0x00007f0c77db0000] byte_map_base: 0x00007f0c73faf000 Marking Bits: (ParMarkBitMap*) 0x00007f0c8da4ddc0 Begin Bits: [0x00007f0c608c0000, 0x00007f0c64460000) End Bits: [0x00007f0c64460000, 0x00007f0c68000000) Polling page: 0x00007f0c8e686000 CodeCache: size=245760Kb used=9692Kb max_used=9704Kb free=236067Kb bounds [0x00007f0c78170000, 0x00007f0c78b10000, 0x00007f0c87170000] total_blobs=2919 nmethods=2470 adapters=362 compilation: enabled Compilation events (10 events): Event: 6.183 Thread 0x00007f0c8813e800 nmethod 2544 0x00007f0c78332610 code [0x00007f0c783327c0, 0x00007f0c78332e38] Event: 6.190 Thread 0x00007f0c8813b800 nmethod 2540 0x00007f0c78294950 code [0x00007f0c78294b20, 0x00007f0c78295038] Event: 6.226 Thread 0x00007f0c8813b800 2545 4 de.uni_freiburg.informatik.ultimate.core.coreplugin.services.ProgressMonitorService::continueProcessing (81 bytes) Event: 6.228 Thread 0x00007f0c8813b800 nmethod 2545 0x00007f0c78287550 code [0x00007f0c782876c0, 0x00007f0c782877f8] Event: 6.759 Thread 0x00007f0c8813e800 2546 % ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 6.767 Thread 0x00007f0c8813e800 nmethod 2546% 0x00007f0c78af13d0 code [0x00007f0c78af1ec0, 0x00007f0c78afa338] Event: 6.780 Thread 0x00007f0c8813e800 2547 ! 3 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr (668 bytes) Event: 6.789 Thread 0x00007f0c8813e800 nmethod 2547 0x00007f0c78aff890 code [0x00007f0c78b003e0, 0x00007f0c78b09028] Event: 7.311 Thread 0x00007f0c8813b800 2548 % ! 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.normalforms.XnfTransformer$XnfTransformerHelper::applyDistributivityAndOr @ 156 (668 bytes) Event: 7.320 Thread 0x00007f0c8813b800 nmethod 2548% 0x00007f0c78ad8210 code [0x00007f0c78ad83e0, 0x00007f0c78ad8908] GC Heap History (10 events): Event: 39.818 GC heap after Heap after GC invocations=26 (full 6): PSYoungGen total 866816K, used 176064K [0x0000000770800000, 0x00000007bf580000, 0x00000007c0000000) eden space 459264K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078c880000) from space 407552K, 43% used [0x00000007a4400000,0x00000007aeff0000,0x00000007bd200000) to space 388608K, 0% used [0x000000078c880000,0x000000078c880000,0x00000007a4400000) ParOldGen total 2222592K, used 1331146K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 59% used [0x00000006d1800000,0x0000000722bf28d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 40.306 GC heap before {Heap before GC invocations=27 (full 6): PSYoungGen total 866816K, used 635328K [0x0000000770800000, 0x00000007bf580000, 0x00000007c0000000) eden space 459264K, 100% used [0x0000000770800000,0x000000078c880000,0x000000078c880000) from space 407552K, 43% used [0x00000007a4400000,0x00000007aeff0000,0x00000007bd200000) to space 388608K, 0% used [0x000000078c880000,0x000000078c880000,0x00000007a4400000) ParOldGen total 2222592K, used 1331146K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 59% used [0x00000006d1800000,0x0000000722bf28d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 40.814 GC heap after Heap after GC invocations=27 (full 6): PSYoungGen total 847872K, used 359680K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 459264K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078c880000) from space 388608K, 92% used [0x000000078c880000,0x00000007a27c0000,0x00000007a4400000) to space 431616K, 0% used [0x00000007a5a80000,0x00000007a5a80000,0x00000007c0000000) ParOldGen total 2222592K, used 1331146K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 59% used [0x00000006d1800000,0x0000000722bf28d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 41.173 GC heap before {Heap before GC invocations=28 (full 6): PSYoungGen total 847872K, used 818944K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 459264K, 100% used [0x0000000770800000,0x000000078c880000,0x000000078c880000) from space 388608K, 92% used [0x000000078c880000,0x00000007a27c0000,0x00000007a4400000) to space 431616K, 0% used [0x00000007a5a80000,0x00000007a5a80000,0x00000007c0000000) ParOldGen total 2222592K, used 1331146K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 59% used [0x00000006d1800000,0x0000000722bf28d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 41.887 GC heap after Heap after GC invocations=28 (full 6): PSYoungGen total 865792K, used 431616K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 431616K, 100% used [0x00000007a5a80000,0x00000007c0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2222592K, used 1443298K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 64% used [0x00000006d1800000,0x00000007299788d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 42.435 GC heap before {Heap before GC invocations=29 (full 6): PSYoungGen total 865792K, used 865792K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 431616K, 100% used [0x00000007a5a80000,0x00000007c0000000,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2222592K, used 1443298K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 64% used [0x00000006d1800000,0x00000007299788d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 43.397 GC heap after Heap after GC invocations=29 (full 6): PSYoungGen total 868352K, used 345344K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 79% used [0x000000078b000000,0x00000007a0140000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2222592K, used 1704202K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 76% used [0x00000006d1800000,0x00000007398428d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 43.952 GC heap before {Heap before GC invocations=30 (full 6): PSYoungGen total 868352K, used 779520K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 100% used [0x0000000770800000,0x000000078b000000,0x000000078b000000) from space 434176K, 79% used [0x000000078b000000,0x00000007a0140000,0x00000007a5800000) to space 434176K, 0% used [0x00000007a5800000,0x00000007a5800000,0x00000007c0000000) ParOldGen total 2222592K, used 1704202K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 76% used [0x00000006d1800000,0x00000007398428d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Event: 44.739 GC heap after Heap after GC invocations=30 (full 6): PSYoungGen total 868352K, used 179712K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 41% used [0x00000007a5800000,0x00000007b0780010,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2222592K, used 2050946K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 92% used [0x00000006d1800000,0x000000074eae08d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K } Event: 44.739 GC heap before {Heap before GC invocations=31 (full 7): PSYoungGen total 868352K, used 179712K [0x0000000770800000, 0x00000007c0000000, 0x00000007c0000000) eden space 434176K, 0% used [0x0000000770800000,0x0000000770800000,0x000000078b000000) from space 434176K, 41% used [0x00000007a5800000,0x00000007b0780010,0x00000007c0000000) to space 434176K, 0% used [0x000000078b000000,0x000000078b000000,0x00000007a5800000) ParOldGen total 2222592K, used 2050946K [0x00000006d1800000, 0x0000000759280000, 0x0000000770800000) object space 2222592K, 92% used [0x00000006d1800000,0x000000074eae08d8,0x0000000759280000) Metaspace used 26581K, capacity 29362K, committed 29440K, reserved 1075200K class space used 3037K, capacity 3807K, committed 3840K, reserved 1048576K Deoptimization events (10 events): Event: 4.472 Thread 0x00007f0c8878e000 Uncommon trap: reason=predicate action=maybe_recompile pc=0x00007f0c7865ac28 method=java.util.regex.Pattern$Curly.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 12 Event: 4.472 Thread 0x00007f0c8878e000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0c78635e74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 4.472 Thread 0x00007f0c8878e000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0c78635e74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 4.472 Thread 0x00007f0c8878e000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0c78635e74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 4.472 Thread 0x00007f0c8878e000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f0c78635e74 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 16 Event: 4.473 Thread 0x00007f0c8878e000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0c78660af4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.473 Thread 0x00007f0c8878e000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0c78660af4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.474 Thread 0x00007f0c8878e000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0c78660af4 method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 4.487 Thread 0x00007f0c30043000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f0c7867484c method=java.util.regex.Pattern$BmpCharProperty.match(Ljava/util/regex/Matcher;ILjava/lang/CharSequence;)Z @ 31 Event: 5.203 Thread 0x00007f0c8878e000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f0c7886763c method=de.uni_freiburg.informatik.ultimate.logic.Sort.getRealSort()Lde/uni_freiburg/informatik/ultimate/logic/Sort; @ 4 Internal exceptions (10 events): Event: 4.312 Thread 0x00007f0c8800a000 Exception (0x000000077124d368) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.342 Thread 0x00007f0c8800a000 Exception (0x00000007713c8740) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.342 Thread 0x00007f0c8800a000 Exception (0x00000007713cc588) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.346 Thread 0x00007f0c8800a000 Exception (0x00000007714abdc8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.346 Thread 0x00007f0c8800a000 Exception (0x00000007714afd58) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.347 Thread 0x00007f0c8800a000 Exception (0x00000007714b38e0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.348 Thread 0x00007f0c8800a000 Exception (0x00000007714b7680) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 4.349 Thread 0x00007f0c8800a000 Exception (0x00000007714d8868) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line Event: 4.694 Thread 0x00007f0c8878e000 Exception (0x0000000771e34228) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr Event: 4.958 Thread 0x00007f0c8878e000 Exception (0x00000007727210f0) thrown at [/HUDSO Events (10 events): Event: 39.104 Executing VM operation: ParallelGCFailedAllocation done Event: 39.572 Executing VM operation: ParallelGCFailedAllocation Event: 39.818 Executing VM operation: ParallelGCFailedAllocation done Event: 40.306 Executing VM operation: ParallelGCFailedAllocation Event: 40.814 Executing VM operation: ParallelGCFailedAllocation done Event: 41.173 Executing VM operation: ParallelGCFailedAllocation Event: 41.887 Executing VM operation: ParallelGCFailedAllocation done Event: 42.435 Executing VM operation: ParallelGCFailedAllocation Event: 43.397 Executing VM operation: ParallelGCFailedAllocation done Event: 43.952 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 00d58000-00d79000 rw-p 00000000 00:00 0 [heap] 6d1800000-759280000 rw-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 7f0bf4000000-7f0bf4021000 rw-p 00000000 00:00 0 7f0bf4021000-7f0bf8000000 ---p 00000000 00:00 0 7f0bfc000000-7f0bfc021000 rw-p 00000000 00:00 0 7f0bfc021000-7f0c00000000 ---p 00000000 00:00 0 7f0c00000000-7f0c00021000 rw-p 00000000 00:00 0 7f0c00021000-7f0c04000000 ---p 00000000 00:00 0 7f0c04000000-7f0c04021000 rw-p 00000000 00:00 0 7f0c04021000-7f0c08000000 ---p 00000000 00:00 0 7f0c0adfc000-7f0c0adff000 ---p 00000000 00:00 0 7f0c0adff000-7f0c0b2fd000 rw-p 00000000 00:00 0 7f0c0b2fd000-7f0c0b3fd000 ---p 00000000 00:00 0 7f0c0b3fd000-7f0c0b400000 ---p 00000000 00:00 0 7f0c0b400000-7f0c0b7fe000 rw-p 00000000 00:00 0 7f0c0b7fe000-7f0c0b801000 ---p 00000000 00:00 0 7f0c0b801000-7f0c0bbff000 rw-p 00000000 00:00 0 7f0c0bbff000-7f0c0bc02000 ---p 00000000 00:00 0 7f0c0bc02000-7f0c0c000000 rw-p 00000000 00:00 0 7f0c0c000000-7f0c0c021000 rw-p 00000000 00:00 0 7f0c0c021000-7f0c10000000 ---p 00000000 00:00 0 7f0c10000000-7f0c10021000 rw-p 00000000 00:00 0 7f0c10021000-7f0c14000000 ---p 00000000 00:00 0 7f0c14000000-7f0c14021000 rw-p 00000000 00:00 0 7f0c14021000-7f0c18000000 ---p 00000000 00:00 0 7f0c18000000-7f0c18021000 rw-p 00000000 00:00 0 7f0c18021000-7f0c1c000000 ---p 00000000 00:00 0 7f0c1c000000-7f0c1c021000 rw-p 00000000 00:00 0 7f0c1c021000-7f0c20000000 ---p 00000000 00:00 0 7f0c20000000-7f0c20021000 rw-p 00000000 00:00 0 7f0c20021000-7f0c24000000 ---p 00000000 00:00 0 7f0c24000000-7f0c24021000 rw-p 00000000 00:00 0 7f0c24021000-7f0c28000000 ---p 00000000 00:00 0 7f0c28000000-7f0c28021000 rw-p 00000000 00:00 0 7f0c28021000-7f0c2c000000 ---p 00000000 00:00 0 7f0c2c000000-7f0c2c021000 rw-p 00000000 00:00 0 7f0c2c021000-7f0c30000000 ---p 00000000 00:00 0 7f0c30000000-7f0c30232000 rw-p 00000000 00:00 0 7f0c30232000-7f0c34000000 ---p 00000000 00:00 0 7f0c34000000-7f0c340ed000 rw-p 00000000 00:00 0 7f0c340ed000-7f0c38000000 ---p 00000000 00:00 0 7f0c38000000-7f0c38021000 rw-p 00000000 00:00 0 7f0c38021000-7f0c3c000000 ---p 00000000 00:00 0 7f0c3c000000-7f0c3c021000 rw-p 00000000 00:00 0 7f0c3c021000-7f0c40000000 ---p 00000000 00:00 0 7f0c40000000-7f0c40021000 rw-p 00000000 00:00 0 7f0c40021000-7f0c44000000 ---p 00000000 00:00 0 7f0c44000000-7f0c44fb3000 rw-p 00000000 00:00 0 7f0c44fb3000-7f0c48000000 ---p 00000000 00:00 0 7f0c48000000-7f0c48021000 rw-p 00000000 00:00 0 7f0c48021000-7f0c4c000000 ---p 00000000 00:00 0 7f0c4c000000-7f0c4c021000 rw-p 00000000 00:00 0 7f0c4c021000-7f0c50000000 ---p 00000000 00:00 0 7f0c50000000-7f0c50fe9000 rw-p 00000000 00:00 0 7f0c50fe9000-7f0c54000000 ---p 00000000 00:00 0 7f0c54000000-7f0c54021000 rw-p 00000000 00:00 0 7f0c54021000-7f0c58000000 ---p 00000000 00:00 0 7f0c58000000-7f0c58021000 rw-p 00000000 00:00 0 7f0c58021000-7f0c5c000000 ---p 00000000 00:00 0 7f0c5c000000-7f0c5c2ff000 rw-p 00000000 00:00 0 7f0c5c2ff000-7f0c60000000 ---p 00000000 00:00 0 7f0c600be000-7f0c600c1000 ---p 00000000 00:00 0 7f0c600c1000-7f0c604bf000 rw-p 00000000 00:00 0 7f0c604bf000-7f0c604c2000 ---p 00000000 00:00 0 7f0c604c2000-7f0c68000000 rw-p 00000000 00:00 0 7f0c68000000-7f0c681eb000 rw-p 00000000 00:00 0 7f0c681eb000-7f0c6c000000 ---p 00000000 00:00 0 7f0c6c0b0000-7f0c6c0b3000 ---p 00000000 00:00 0 7f0c6c0b3000-7f0c6c0e9000 rw-p 00000000 00:00 0 7f0c6c0e9000-7f0c6c0ee000 r--s 0003c000 09:02 30015870 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f0c6c0ee000-7f0c6c2ee000 rw-p 00000000 00:00 0 7f0c6c2ee000-7f0c6c2f0000 r--s 00005000 09:02 30015871 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.chc_0.1.23.jar 7f0c6c2f0000-7f0c6c2f3000 ---p 00000000 00:00 0 7f0c6c2f3000-7f0c6c6f1000 rw-p 00000000 00:00 0 7f0c6c6f1000-7f0c6c6f4000 ---p 00000000 00:00 0 7f0c6c6f4000-7f0c6caf2000 rw-p 00000000 00:00 0 7f0c6caf2000-7f0c6caf5000 ---p 00000000 00:00 0 7f0c6caf5000-7f0c6cef3000 rw-p 00000000 00:00 0 7f0c6cef3000-7f0c6cef6000 ---p 00000000 00:00 0 7f0c6cef6000-7f0c6cf2c000 rw-p 00000000 00:00 0 7f0c6cf2c000-7f0c6cf2e000 r--s 00014000 09:02 30015894 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar 7f0c6cf2e000-7f0c6cf37000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f0c6cf37000-7f0c6d136000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f0c6d136000-7f0c6d137000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f0c6d137000-7f0c6d337000 rw-p 00000000 00:00 0 7f0c6d337000-7f0c6d537000 rw-p 00000000 00:00 0 7f0c6d537000-7f0c6d54a000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f0c6d54a000-7f0c6d58b000 r--s 00434000 09:02 30015856 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f0c6d58b000-7f0c6d58d000 r--s 00005000 09:02 30015841 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f0c6d58d000-7f0c6d599000 r--s 000bd000 09:02 30015893 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f0c6d599000-7f0c6d59e000 r--s 00029000 09:02 30015852 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f0c6d59e000-7f0c6d5a0000 r--s 00002000 09:02 30015849 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f0c6d5a0000-7f0c6d7a0000 rw-p 00000000 00:00 0 7f0c6d7a0000-7f0c6d7a3000 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 7f0c6d7a3000-7f0c6d7a6000 r--s 00010000 09:02 30015840 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f0c6d7a6000-7f0c6d7a9000 ---p 00000000 00:00 0 7f0c6d7a9000-7f0c6dba7000 rw-p 00000000 00:00 0 7f0c6dba7000-7f0c6dbaa000 r--s 0000d000 09:02 30015922 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f0c6dbaa000-7f0c6dbaf000 r--s 00039000 09:02 30015968 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f0c6dbaf000-7f0c6dbb3000 r--s 00019000 09:02 30015921 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f0c6dbb3000-7f0c6ddb3000 rw-p 00000000 00:00 0 7f0c6ddb3000-7f0c6de14000 r--s 00a81000 09:02 30015858 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f0c6de14000-7f0c6de17000 ---p 00000000 00:00 0 7f0c6de17000-7f0c6e415000 rw-p 00000000 00:00 0 7f0c6e415000-7f0c6e41f000 r--s 000ce000 09:02 30015925 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f0c6e41f000-7f0c6e421000 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 7f0c6e421000-7f0c6e423000 r--s 00002000 09:02 30015912 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f0c6e423000-7f0c6e425000 r--s 00007000 09:02 30015914 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f0c6e425000-7f0c6e476000 r--s 004dd000 09:02 30015911 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f0c6e476000-7f0c6e478000 r--s 00008000 09:02 30015865 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f0c6e478000-7f0c6e47a000 r--s 00023000 09:02 30015851 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f0c6e47a000-7f0c6e47c000 r--s 0000e000 09:02 30015861 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f0c6e47c000-7f0c6e47e000 r--s 0000a000 09:02 30015895 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f0c6e47e000-7f0c6e480000 r--s 00001000 09:02 30015862 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f0c6e480000-7f0c6e487000 r--s 00055000 09:02 30015843 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f0c6e487000-7f0c6e489000 r--s 00005000 09:02 30015890 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f0c6e489000-7f0c6e4b1000 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 7f0c6e4b1000-7f0c6e4d9000 r--s 009d3000 09:02 30015869 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f0c6e4d9000-7f0c6e6d9000 rw-p 00000000 00:00 0 7f0c6e6d9000-7f0c6e8d9000 rw-p 00000000 00:00 0 7f0c6e8d9000-7f0c6e8dc000 ---p 00000000 00:00 0 7f0c6e8dc000-7f0c6ecda000 rw-p 00000000 00:00 0 7f0c6ecda000-7f0c6ecea000 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 7f0c6ecea000-7f0c6ede9000 ---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 7f0c6ede9000-7f0c6edeb000 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 7f0c6edeb000-7f0c6edee000 ---p 00000000 00:00 0 7f0c6edee000-7f0c6f1ec000 rw-p 00000000 00:00 0 7f0c6f1ec000-7f0c6f1ef000 ---p 00000000 00:00 0 7f0c6f1ef000-7f0c6f5ed000 rw-p 00000000 00:00 0 7f0c6f5ed000-7f0c6f5f0000 ---p 00000000 00:00 0 7f0c6f5f0000-7f0c6f9ee000 rw-p 00000000 00:00 0 7f0c6f9ee000-7f0c6f9ff000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f0c6f9ff000-7f0c6fbfe000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f0c6fbfe000-7f0c6fbff000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f0c6fbff000-7f0c6fc02000 ---p 00000000 00:00 0 7f0c6fc02000-7f0c70000000 rw-p 00000000 00:00 0 7f0c70000000-7f0c70139000 rw-p 00000000 00:00 0 7f0c70139000-7f0c74000000 ---p 00000000 00:00 0 7f0c74000000-7f0c74001000 r--s 00002000 09:02 30015892 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f0c74001000-7f0c74004000 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 7f0c74004000-7f0c74006000 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 7f0c74006000-7f0c74008000 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 7f0c74008000-7f0c74018000 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 7f0c74018000-7f0c7401b000 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 7f0c7401b000-7f0c7401c000 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 7f0c7401c000-7f0c7401f000 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 7f0c7401f000-7f0c74028000 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 7f0c74028000-7f0c74039000 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 7f0c74039000-7f0c7403c000 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 7f0c7403c000-7f0c7403e000 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 7f0c7403e000-7f0c74040000 r--s 00006000 09:02 30015846 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f0c74040000-7f0c74042000 r--s 00012000 09:02 30015839 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f0c74042000-7f0c74045000 r--s 0000f000 09:02 30015878 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f0c74045000-7f0c74047000 r--s 00006000 09:02 30015864 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f0c74047000-7f0c74049000 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 7f0c74049000-7f0c7404c000 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 7f0c7404c000-7f0c7405c000 r--s 000da000 09:02 30015873 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f0c7405c000-7f0c74068000 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 7f0c74068000-7f0c7407e000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f0c7407e000-7f0c7427e000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f0c7427e000-7f0c7427f000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f0c7427f000-7f0c74280000 ---p 00000000 00:00 0 7f0c74280000-7f0c74380000 rw-p 00000000 00:00 0 7f0c74380000-7f0c74383000 ---p 00000000 00:00 0 7f0c74383000-7f0c74481000 rw-p 00000000 00:00 0 7f0c74481000-7f0c74484000 ---p 00000000 00:00 0 7f0c74484000-7f0c74582000 rw-p 00000000 00:00 0 7f0c74582000-7f0c74585000 ---p 00000000 00:00 0 7f0c74585000-7f0c74983000 rw-p 00000000 00:00 0 7f0c74983000-7f0c74d73000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f0c74d73000-7f0c74d76000 ---p 00000000 00:00 0 7f0c74d76000-7f0c75174000 rw-p 00000000 00:00 0 7f0c75174000-7f0c75177000 ---p 00000000 00:00 0 7f0c75177000-7f0c75575000 rw-p 00000000 00:00 0 7f0c75575000-7f0c75576000 ---p 00000000 00:00 0 7f0c75576000-7f0c75f7f000 rw-p 00000000 00:00 0 7f0c75f7f000-7f0c76159000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f0c76159000-7f0c769cf000 rw-p 00000000 00:00 0 7f0c769cf000-7f0c77581000 rw-p 00000000 00:00 0 7f0c77581000-7f0c7763b000 ---p 00000000 00:00 0 7f0c7763b000-7f0c77a79000 rw-p 00000000 00:00 0 7f0c77a79000-7f0c77b33000 ---p 00000000 00:00 0 7f0c77b33000-7f0c77daf000 rw-p 00000000 00:00 0 7f0c77daf000-7f0c77dd7000 rw-p 00000000 00:00 0 7f0c77dd7000-7f0c78170000 ---p 00000000 00:00 0 7f0c78170000-7f0c78b10000 rwxp 00000000 00:00 0 7f0c78b10000-7f0c87170000 ---p 00000000 00:00 0 7f0c87170000-7f0c8718a000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f0c8718a000-7f0c8738a000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f0c8738a000-7f0c8738b000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f0c8738b000-7f0c87396000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f0c87396000-7f0c87595000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f0c87595000-7f0c87596000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f0c87596000-7f0c87597000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f0c87597000-7f0c875a2000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f0c875a2000-7f0c877a1000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f0c877a1000-7f0c877a2000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f0c877a2000-7f0c877a3000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f0c877a3000-7f0c877b9000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f0c877b9000-7f0c879b8000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f0c879b8000-7f0c879b9000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f0c879b9000-7f0c879ba000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f0c879ba000-7f0c879bc000 rw-p 00000000 00:00 0 7f0c879bc000-7f0c879c3000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f0c879c3000-7f0c87bc3000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f0c87bc3000-7f0c87bc4000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f0c87bc4000-7f0c87bc5000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f0c87bc5000-7f0c87bf0000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f0c87bf0000-7f0c87def000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f0c87def000-7f0c87df1000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f0c87df1000-7f0c87dfe000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f0c87dfe000-7f0c87ffe000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f0c87ffe000-7f0c88000000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f0c88000000-7f0c88aea000 rw-p 00000000 00:00 0 7f0c88aea000-7f0c8c000000 ---p 00000000 00:00 0 7f0c8c000000-7f0c8c004000 r--s 00039000 09:02 30015872 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f0c8c004000-7f0c8c006000 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 7f0c8c006000-7f0c8c008000 r--s 00016000 09:02 30015863 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f0c8c008000-7f0c8c00a000 r--s 00014000 09:02 30015845 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f0c8c00a000-7f0c8c00c000 r--s 0000a000 09:02 30015904 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f0c8c00c000-7f0c8c014000 r--s 00059000 09:02 30015907 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f0c8c014000-7f0c8c063000 rw-p 00000000 00:00 0 7f0c8c063000-7f0c8c064000 ---p 00000000 00:00 0 7f0c8c064000-7f0c8c164000 rw-p 00000000 00:00 0 7f0c8c164000-7f0c8c16b000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f0c8c16b000-7f0c8c36a000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f0c8c36a000-7f0c8c36b000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f0c8c36b000-7f0c8c36c000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f0c8c36c000-7f0c8c36f000 ---p 00000000 00:00 0 7f0c8c36f000-7f0c8c76d000 rw-p 00000000 00:00 0 7f0c8c76d000-7f0c8c882000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f0c8c882000-7f0c8ca82000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f0c8ca82000-7f0c8ca83000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f0c8ca83000-7f0c8ca84000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f0c8ca84000-7f0c8d757000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f0c8d757000-7f0c8d956000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f0c8d956000-7f0c8da30000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f0c8da30000-7f0c8da7b000 rw-p 00000000 00:00 0 7f0c8da7b000-7f0c8dc23000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f0c8dc23000-7f0c8de22000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f0c8de22000-7f0c8de26000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f0c8de26000-7f0c8de28000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f0c8de28000-7f0c8de2c000 rw-p 00000000 00:00 0 7f0c8de2c000-7f0c8de2f000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f0c8de2f000-7f0c8e02e000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f0c8e02e000-7f0c8e02f000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f0c8e02f000-7f0c8e030000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f0c8e030000-7f0c8e045000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f0c8e045000-7f0c8e245000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f0c8e245000-7f0c8e246000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f0c8e246000-7f0c8e260000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f0c8e260000-7f0c8e460000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f0c8e460000-7f0c8e461000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f0c8e461000-7f0c8e462000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f0c8e462000-7f0c8e466000 rw-p 00000000 00:00 0 7f0c8e466000-7f0c8e489000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f0c8e489000-7f0c8e48f000 r--s 00029000 09:02 30015847 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f0c8e48f000-7f0c8e495000 r--s 00050000 09:02 30015877 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f0c8e495000-7f0c8e499000 r--s 0000e000 09:02 30015853 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f0c8e499000-7f0c8e53f000 rw-p 00000000 00:00 0 7f0c8e53f000-7f0c8e540000 ---p 00000000 00:00 0 7f0c8e540000-7f0c8e642000 rw-p 00000000 00:00 0 7f0c8e642000-7f0c8e644000 r--s 00008000 09:02 30015866 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f0c8e644000-7f0c8e648000 r--s 00054000 09:02 30015867 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f0c8e648000-7f0c8e64a000 r--s 00014000 09:02 30015947 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f0c8e64a000-7f0c8e64d000 r--s 00018000 09:02 30015924 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f0c8e64d000-7f0c8e650000 r--s 0001d000 09:02 30015961 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f0c8e650000-7f0c8e653000 r--s 00016000 09:02 30015916 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f0c8e653000-7f0c8e657000 r--s 00029000 09:02 30015962 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f0c8e657000-7f0c8e659000 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 7f0c8e659000-7f0c8e65b000 r--s 00012000 09:02 30015926 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f0c8e65b000-7f0c8e65e000 r--s 00019000 09:02 30015949 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f0c8e65e000-7f0c8e673000 r--s 0012b000 09:02 30015966 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f0c8e673000-7f0c8e676000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f0c8e676000-7f0c8e67b000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f0c8e67b000-7f0c8e67d000 r--s 0000b000 09:02 30015952 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f0c8e67d000-7f0c8e685000 rw-s 00000000 09:01 1312087 /tmp/hsperfdata_root/1259 7f0c8e685000-7f0c8e686000 rw-p 00000000 00:00 0 7f0c8e686000-7f0c8e687000 ---p 00000000 00:00 0 7f0c8e687000-7f0c8e689000 rw-p 00000000 00:00 0 7f0c8e689000-7f0c8e68a000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f0c8e68a000-7f0c8e68b000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f0c8e68b000-7f0c8e68c000 rw-p 00000000 00:00 0 7fff54dc1000-7fff54de3000 rw-p 00000000 00:00 0 [stack] 7fff54de3000-7fff54de6000 r--p 00000000 00:00 0 [vvar] 7fff54de6000-7fff54de8000 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_e1_429.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.75 9.49 7.71 /proc/meminfo: MemTotal: 24665244 kB MemFree: 225840 kB MemAvailable: 72712 kB Buffers: 15160 kB Cached: 63996 kB SwapCached: 0 kB Active: 24115704 kB Inactive: 42952 kB Active(anon): 24084488 kB Inactive(anon): 628 kB Active(file): 31216 kB Inactive(file): 42324 kB Unevictable: 11020 kB Mlocked: 11020 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 624 kB Writeback: 0 kB AnonPages: 24090728 kB Mapped: 39620 kB Shmem: 1476 kB Slab: 111156 kB SReclaimable: 51608 kB SUnreclaim: 59548 kB KernelStack: 15792 kB PageTables: 62952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 24439764 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 307200 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 : 3555.017 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 : 3658.361 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.646 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.69 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.73 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6791.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3658.361 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 : 3600.048 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 : 3544.226 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(225840k 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:02:12 2018 elapsed time: 54 seconds (0d 0h 0m 54s)