java -Xss4m -Xmx6000000000 -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf -i ../../../trunk/examples/svcomp/eca-rers2012/Problem09_label15_false-unreach-call.c -------------------------------------------------------------------------------- This is Ultimate 0.1.23-71425fa [2018-07-21 01:44:26,411 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-07-21 01:44:26,412 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-07-21 01:44:26,430 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-07-21 01:44:26,431 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-07-21 01:44:26,432 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-07-21 01:44:26,442 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-07-21 01:44:26,445 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-07-21 01:44:26,448 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-07-21 01:44:26,453 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-07-21 01:44:26,454 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-07-21 01:44:26,454 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-07-21 01:44:26,455 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-07-21 01:44:26,463 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-07-21 01:44:26,465 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-07-21 01:44:26,465 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-07-21 01:44:26,483 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-07-21 01:44:26,485 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-07-21 01:44:26,486 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-07-21 01:44:26,488 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-07-21 01:44:26,489 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-07-21 01:44:26,490 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-07-21 01:44:26,492 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-07-21 01:44:26,492 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-07-21 01:44:26,493 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-07-21 01:44:26,493 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-07-21 01:44:26,494 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-07-21 01:44:26,495 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-07-21 01:44:26,496 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-07-21 01:44:26,497 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-07-21 01:44:26,497 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-07-21 01:44:26,498 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-07-21 01:44:26,498 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-07-21 01:44:26,498 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-07-21 01:44:26,499 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-07-21 01:44:26,500 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-07-21 01:44:26,500 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf [2018-07-21 01:44:26,521 INFO L110 SettingsManager]: Loading preferences was successful [2018-07-21 01:44:26,522 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-07-21 01:44:26,522 INFO L131 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2018-07-21 01:44:26,523 INFO L133 SettingsManager]: * User list type=DISABLED [2018-07-21 01:44:26,523 INFO L133 SettingsManager]: * calls to implemented procedures=false [2018-07-21 01:44:26,523 INFO L131 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2018-07-21 01:44:26,523 INFO L133 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2018-07-21 01:44:26,523 INFO L133 SettingsManager]: * Abstract domain=CompoundDomain [2018-07-21 01:44:26,524 INFO L133 SettingsManager]: * Log string format=TERM [2018-07-21 01:44:26,524 INFO L133 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2018-07-21 01:44:26,524 INFO L133 SettingsManager]: * Use the RCFG-of-the-future interface=true [2018-07-21 01:44:26,524 INFO L133 SettingsManager]: * Interval Domain=false [2018-07-21 01:44:26,525 INFO L131 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2018-07-21 01:44:26,525 INFO L133 SettingsManager]: * Overapproximate operations on floating types=true [2018-07-21 01:44:26,525 INFO L133 SettingsManager]: * Check division by zero=IGNORE [2018-07-21 01:44:26,525 INFO L133 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2018-07-21 01:44:26,526 INFO L133 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2018-07-21 01:44:26,526 INFO L133 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2018-07-21 01:44:26,526 INFO L133 SettingsManager]: * Check if freed pointer was valid=false [2018-07-21 01:44:26,526 INFO L133 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2018-07-21 01:44:26,526 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-07-21 01:44:26,527 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-07-21 01:44:26,527 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-07-21 01:44:26,527 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-07-21 01:44:26,527 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-07-21 01:44:26,527 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * Trace refinement strategy=TAIPAN [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-07-21 01:44:26,528 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-07-21 01:44:26,529 INFO L133 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2018-07-21 01:44:26,529 INFO L133 SettingsManager]: * To the following directory=dump/ [2018-07-21 01:44:26,529 INFO L133 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2018-07-21 01:44:26,590 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2018-07-21 01:44:26,614 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-07-21 01:44:26,621 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2018-07-21 01:44:26,623 INFO L271 PluginConnector]: Initializing CDTParser... [2018-07-21 01:44:26,623 INFO L276 PluginConnector]: CDTParser initialized [2018-07-21 01:44:26,625 INFO L418 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem09_label15_false-unreach-call.c [2018-07-21 01:44:27,038 INFO L220 CDTParser]: Created temporary CDT project at /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/3f8c11240/4698f12a43714ec2a3344ba462303112/FLAG3de27cb2c [2018-07-21 01:44:30,859 INFO L276 CDTParser]: Found 1 translation units. [2018-07-21 01:44:30,860 INFO L158 CDTParser]: Scanning /storage/ultimate/trunk/examples/svcomp/eca-rers2012/Problem09_label15_false-unreach-call.c [2018-07-21 01:44:31,238 INFO L324 CDTParser]: About to delete temporary CDT project at /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/3f8c11240/4698f12a43714ec2a3344ba462303112/FLAG3de27cb2c [2018-07-21 01:44:31,253 INFO L332 CDTParser]: Successfully deleted /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/3f8c11240/4698f12a43714ec2a3344ba462303112 [2018-07-21 01:44:31,262 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2018-07-21 01:44:31,269 INFO L131 ToolchainWalker]: Walking toolchain with 5 elements. [2018-07-21 01:44:31,270 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2018-07-21 01:44:31,271 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2018-07-21 01:44:31,284 INFO L276 PluginConnector]: CACSL2BoogieTranslator initialized [2018-07-21 01:44:31,285 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.07 01:44:31" (1/1) ... [2018-07-21 01:44:31,288 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3caa972e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 01:44:31, skipping insertion in model container [2018-07-21 01:44:31,289 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.07 01:44:31" (1/1) ... [2018-07-21 01:44:33,815 INFO L179 PRDispatcher]: Starting pre-run dispatcher in SV-COMP mode [2018-07-21 01:44:58,871 INFO L175 PostProcessor]: Settings: Checked method=main [2018-07-21 01:44:58,888 INFO L422 MainDispatcher]: Starting main dispatcher in SV-COMP mode [2018-07-21 01:45:19,206 INFO L175 PostProcessor]: Settings: Checked method=main Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x0000000694d00000, 649068544, 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 649068544 bytes for committing reserved memory. # An error report file with more information is saved as: # /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid13766.log # # There is insufficient memory for the Java Runtime Environment to continue. # Native memory allocation (mmap) failed to map 649068544 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=13766, tid=0x00007f7104f19700 # # 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 (0x00007f71200fa800): VMThread [stack: 0x00007f7104e19000,0x00007f7104f1a000] [id=13774] Stack: [0x00007f7104e19000,0x00007f7104f1a000], sp=0x00007f7104f18190, 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 (0x00007f70edae5e20): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f71207a6800 --------------- P R O C E S S --------------- Java Threads: ( => current thread ) 0x00007f70b4001000 JavaThread "Worker-4" daemon [_thread_blocked, id=15115, stack(0x00007f70bf7fe000,0x00007f70bfbff000)] 0x00007f70c4002800 JavaThread "Worker-3" daemon [_thread_blocked, id=15083, stack(0x00007f70bfbff000,0x00007f70c0000000)] 0x00007f70c4001000 JavaThread "Worker-2" daemon [_thread_blocked, id=14869, stack(0x00007f70ec402000,0x00007f70ec803000)] 0x00007f71209e5800 JavaThread "Worker-1" daemon [_thread_blocked, id=14546, stack(0x00007f70ed079000,0x00007f70ed47a000)] 0x00007f71207a6800 JavaThread "Worker-0" daemon [_thread_blocked, id=14446, stack(0x00007f70ed6e7000,0x00007f70edae8000)] 0x00007f70c8070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=14198, stack(0x00007f70ee1c0000,0x00007f70ee5c1000)] 0x00007f7120431000 JavaThread "Start Level: Equinox Container: c0135ad5-768c-0018-1216-c800ba90d83b" daemon [_thread_blocked, id=14157, stack(0x00007f70ee6d2000,0x00007f70eead3000)] 0x00007f712042c000 JavaThread "Framework Event Dispatcher: Equinox Container: c0135ad5-768c-0018-1216-c800ba90d83b" daemon [_thread_blocked, id=14153, stack(0x00007f70eead3000,0x00007f70eeed4000)] 0x00007f712040f000 JavaThread "Active Thread: Equinox Container: c0135ad5-768c-0018-1216-c800ba90d83b" [_thread_blocked, id=14082, stack(0x00007f70eeed4000,0x00007f70ef2d5000)] 0x00007f7120141800 JavaThread "Service Thread" daemon [_thread_blocked, id=13780, stack(0x00007f70ef7fe000,0x00007f70efbff000)] 0x00007f712013e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=13779, stack(0x00007f7104025000,0x00007f7104126000)] 0x00007f712013b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=13778, stack(0x00007f7104126000,0x00007f7104227000)] 0x00007f712013a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13777, stack(0x00007f70efbff000,0x00007f70f0000000)] 0x00007f7120107000 JavaThread "Finalizer" daemon [_thread_blocked, id=13776, stack(0x00007f7104617000,0x00007f7104a18000)] 0x00007f7120102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=13775, stack(0x00007f7104a18000,0x00007f7104e19000)] 0x00007f712000a000 JavaThread "main" [_thread_blocked, id=13771, stack(0x00007f7127934000,0x00007f7127d35000)] Other Threads: =>0x00007f71200fa800 VMThread [stack: 0x00007f7104e19000,0x00007f7104f1a000] [id=13774] 0x00007f7120144000 WatcherThread [stack: 0x00007f70ef6fd000,0x00007f70ef7fe000] [id=13781] VM state:at safepoint (normal execution) VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event]) [0x00007f7120005b40] ExpandHeap_lock - owner thread: 0x00007f71200fa800 [0x00007f71200061c0] Threads_lock - owner thread: 0x00007f71200fa800 [0x00007f71200066c0] Heap_lock - owner thread: 0x00007f71207a6800 Heap: PSYoungGen total 1221120K, used 99189K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000) eden space 569856K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076b880000) from space 651264K, 15% used [0x000000076b880000,0x000000077195d5b8,0x0000000793480000) to space 651264K, 0% used [0x0000000798400000,0x0000000798400000,0x00000007c0000000) ParOldGen total 959488K, used 959267K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 99% used [0x000000065a400000,0x0000000694cc8e40,0x0000000694d00000) Metaspace used 32015K, capacity 34738K, committed 34816K, reserved 1079296K class space used 3708K, capacity 4349K, committed 4352K, reserved 1048576K Card table byte_map: [0x00007f71259ad000,0x00007f71264dc000] byte_map_base: 0x00007f71226db000 Marking Bits: (ParMarkBitMap*) 0x00007f7129015dc0 Begin Bits: [0x00007f7105d20000, 0x00007f710b690000) End Bits: [0x00007f710b690000, 0x00007f7111000000) Polling page: 0x00007f7129c4e000 CodeCache: size=245760Kb used=12808Kb max_used=12826Kb free=232951Kb bounds [0x00007f7111000000, 0x00007f7111ca0000, 0x00007f7120000000] total_blobs=3617 nmethods=3165 adapters=365 compilation: enabled Compilation events (10 events): Event: 56.422 Thread 0x00007f712013e800 nmethod 3708 0x00007f7111c6ac90 code [0x00007f7111c6aec0, 0x00007f7111c6be28] Event: 56.427 Thread 0x00007f712013b800 nmethod 3707% 0x00007f7111c73d10 code [0x00007f7111c73ea0, 0x00007f7111c74678] Event: 56.452 Thread 0x00007f712013b800 3709 4 de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager::computeFinalProcedureDeclarations (654 bytes) Event: 56.503 Thread 0x00007f712013b800 nmethod 3709 0x00007f7111c77fd0 code [0x00007f7111c78360, 0x00007f7111c79e98] Event: 56.503 Thread 0x00007f712013b800 3710 4 de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager::filterDuplicateVariableLHSs (85 bytes) Event: 56.543 Thread 0x00007f712013e800 3711 % 3 de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager::computeFinalProcedureDeclarations @ 343 (654 bytes) Event: 56.548 Thread 0x00007f712013b800 nmethod 3710 0x00007f7111c7c110 code [0x00007f7111c7c3e0, 0x00007f7111c7dd70] Event: 56.551 Thread 0x00007f712013e800 nmethod 3711% 0x00007f7111c7fc50 code [0x00007f7111c80720, 0x00007f7111c88b58] Event: 56.553 Thread 0x00007f712013b800 3712 % 4 de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager::computeFinalProcedureDeclarations @ 343 (654 bytes) Event: 56.592 Thread 0x00007f712013b800 nmethod 3712% 0x00007f7111c8fdd0 code [0x00007f7111c90120, 0x00007f7111c91b58] GC Heap History (10 events): Event: 39.032 GC heap after Heap after GC invocations=18 (full 3): PSYoungGen total 850432K, used 311792K [0x0000000748c00000, 0x000000079f500000, 0x00000007c0000000) eden space 538624K, 0% used [0x0000000748c00000,0x0000000748c00000,0x0000000769a00000) from space 311808K, 99% used [0x0000000769a00000,0x000000077ca7c0d0,0x000000077ca80000) to space 378368K, 0% used [0x0000000788380000,0x0000000788380000,0x000000079f500000) ParOldGen total 959488K, used 530093K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 55% used [0x000000065a400000,0x000000067a9ab4c0,0x0000000694d00000) Metaspace used 31909K, capacity 34668K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K } Event: 42.991 GC heap before {Heap before GC invocations=19 (full 3): PSYoungGen total 850432K, used 850416K [0x0000000748c00000, 0x000000079f500000, 0x00000007c0000000) eden space 538624K, 100% used [0x0000000748c00000,0x0000000769a00000,0x0000000769a00000) from space 311808K, 99% used [0x0000000769a00000,0x000000077ca7c0d0,0x000000077ca80000) to space 378368K, 0% used [0x0000000788380000,0x0000000788380000,0x000000079f500000) ParOldGen total 959488K, used 530093K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 55% used [0x000000065a400000,0x000000067a9ab4c0,0x0000000694d00000) Metaspace used 31913K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K Event: 43.677 GC heap after Heap after GC invocations=19 (full 3): PSYoungGen total 950272K, used 378336K [0x0000000748c00000, 0x00000007ab080000, 0x00000007c0000000) eden space 571904K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076ba80000) from space 378368K, 99% used [0x0000000788380000,0x000000079f4f80e0,0x000000079f500000) to space 467968K, 0% used [0x000000076ba80000,0x000000076ba80000,0x0000000788380000) ParOldGen total 959488K, used 592109K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 61% used [0x000000065a400000,0x000000067e63b540,0x0000000694d00000) Metaspace used 31913K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K } Event: 48.139 GC heap before {Heap before GC invocations=20 (full 3): PSYoungGen total 950272K, used 950240K [0x0000000748c00000, 0x00000007ab080000, 0x00000007c0000000) eden space 571904K, 100% used [0x0000000748c00000,0x000000076ba80000,0x000000076ba80000) from space 378368K, 99% used [0x0000000788380000,0x000000079f4f80e0,0x000000079f500000) to space 467968K, 0% used [0x000000076ba80000,0x000000076ba80000,0x0000000788380000) ParOldGen total 959488K, used 592109K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 61% used [0x000000065a400000,0x000000067e63b540,0x0000000694d00000) Metaspace used 31916K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K Event: 48.865 GC heap after Heap after GC invocations=20 (full 3): PSYoungGen total 1039872K, used 462048K [0x0000000748c00000, 0x00000007b4b80000, 0x00000007c0000000) eden space 571904K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076ba80000) from space 467968K, 98% used [0x000000076ba80000,0x0000000787db8140,0x0000000788380000) to space 547840K, 0% used [0x0000000793480000,0x0000000793480000,0x00000007b4b80000) ParOldGen total 959488K, used 644885K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 67% used [0x000000065a400000,0x00000006819c55a0,0x0000000694d00000) Metaspace used 31916K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K } Event: 53.382 GC heap before {Heap before GC invocations=21 (full 3): PSYoungGen total 1039872K, used 1033952K [0x0000000748c00000, 0x00000007b4b80000, 0x00000007c0000000) eden space 571904K, 100% used [0x0000000748c00000,0x000000076ba80000,0x000000076ba80000) from space 467968K, 98% used [0x000000076ba80000,0x0000000787db8140,0x0000000788380000) to space 547840K, 0% used [0x0000000793480000,0x0000000793480000,0x00000007b4b80000) ParOldGen total 959488K, used 644885K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 67% used [0x000000065a400000,0x00000006819c55a0,0x0000000694d00000) Metaspace used 31917K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K Event: 54.261 GC heap after Heap after GC invocations=21 (full 3): PSYoungGen total 1117696K, used 547824K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000) eden space 569856K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076b880000) from space 547840K, 99% used [0x0000000793480000,0x00000007b4b7c150,0x00000007b4b80000) to space 651264K, 0% used [0x000000076b880000,0x000000076b880000,0x0000000793480000) ParOldGen total 959488K, used 695461K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 72% used [0x000000065a400000,0x0000000684b29620,0x0000000694d00000) Metaspace used 31917K, capacity 34672K, committed 34816K, reserved 1079296K class space used 3699K, capacity 4348K, committed 4352K, reserved 1048576K } Event: 56.989 GC heap before {Heap before GC invocations=22 (full 3): PSYoungGen total 1117696K, used 1117680K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000) eden space 569856K, 100% used [0x0000000748c00000,0x000000076b880000,0x000000076b880000) from space 547840K, 99% used [0x0000000793480000,0x00000007b4b7c150,0x00000007b4b80000) to space 651264K, 0% used [0x000000076b880000,0x000000076b880000,0x0000000793480000) ParOldGen total 959488K, used 695461K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 72% used [0x000000065a400000,0x0000000684b29620,0x0000000694d00000) Metaspace used 32015K, capacity 34738K, committed 34816K, reserved 1079296K class space used 3708K, capacity 4349K, committed 4352K, reserved 1048576K Event: 58.559 GC heap after Heap after GC invocations=22 (full 3): PSYoungGen total 1221120K, used 651246K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000) eden space 569856K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076b880000) from space 651264K, 99% used [0x000000076b880000,0x000000079347b838,0x0000000793480000) to space 651264K, 0% used [0x0000000798400000,0x0000000798400000,0x00000007c0000000) ParOldGen total 959488K, used 950703K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 99% used [0x000000065a400000,0x000000069446bc38,0x0000000694d00000) Metaspace used 32015K, capacity 34738K, committed 34816K, reserved 1079296K class space used 3708K, capacity 4349K, committed 4352K, reserved 1048576K } Event: 58.559 GC heap before {Heap before GC invocations=23 (full 4): PSYoungGen total 1221120K, used 651246K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000) eden space 569856K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000076b880000) from space 651264K, 99% used [0x000000076b880000,0x000000079347b838,0x0000000793480000) to space 651264K, 0% used [0x0000000798400000,0x0000000798400000,0x00000007c0000000) ParOldGen total 959488K, used 950703K [0x000000065a400000, 0x0000000694d00000, 0x0000000748c00000) object space 959488K, 99% used [0x000000065a400000,0x000000069446bc38,0x0000000694d00000) Metaspace used 32015K, capacity 34738K, committed 34816K, reserved 1079296K class space used 3708K, capacity 4349K, committed 4352K, reserved 1048576K Deoptimization events (10 events): Event: 34.790 Thread 0x00007f71207a6800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f7111b48cd8 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleReturnStatement(Lde/uni_freiburg/informatik/ultimate/cdt Event: 34.791 Thread 0x00007f71207a6800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f7111b3bb50 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(Lde/uni_freiburg/informatik/ultimate/cdt/translation/interfaces/Dispatch Event: 34.792 Thread 0x00007f71207a6800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f7111b48cd8 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleReturnStatement(Lde/uni_freiburg/informatik/ultimate/cdt Event: 34.792 Thread 0x00007f71207a6800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f7111b3bb50 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(Lde/uni_freiburg/informatik/ultimate/cdt/translation/interfaces/Dispatch Event: 34.793 Thread 0x00007f71207a6800 Uncommon trap: reason=speculate_class_check action=maybe_recompile pc=0x00007f7111b48cd8 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleReturnStatement(Lde/uni_freiburg/informatik/ultimate/cdt Event: 55.066 Thread 0x00007f71207a6800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f7111be5804 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(Lorg/eclipse/cdt/core/dom/ast/IASTNode;)Lde/uni_freiburg/informatik/ultimate/ Event: 55.082 Thread 0x00007f71207a6800 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f71117a0cd0 method=java.util.Collections$UnmodifiableMap$UnmodifiableEntrySet$1.(Ljava/util/Collections$UnmodifiableMap$UnmodifiableEntrySet;)V @ 17 Event: 56.323 Thread 0x00007f71207a6800 Uncommon trap: reason=unloaded action=reinterpret pc=0x00007f7111c54a64 method=de.uni_freiburg.informatik.ultimate.util.TransitiveClosure.computeClosure(Lde/uni_freiburg/informatik/ultimate/core/model/services/ILogger;Ljava/util/Set;Ljava/util/function/Fu Event: 56.464 Thread 0x00007f71207a6800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f7111c6cb6c method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager.computeFinalProcedureDeclarations(Lde/uni_freiburg/informatik/ultimate/cdt/ Event: 56.500 Thread 0x00007f71207a6800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f7111c744b8 method=de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ProcedureManager.filterDuplicateVariableLHSs(Ljava/util/Set;)Ljava/util/Set; @ 80 Internal exceptions (10 events): Event: 2.410 Thread 0x00007f712000a000 Exception (0x00000007499a8238) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.411 Thread 0x00007f712000a000 Exception (0x00000007499ae098) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.414 Thread 0x00007f712000a000 Exception (0x00000007499b94e0) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/interpreter/interpreterRuntime.cpp, line 366] Event: 2.417 Thread 0x00007f712000a000 Exception (0x00000007499bc248) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.417 Thread 0x00007f712000a000 Exception (0x00000007499be700) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/runtime/sharedRuntime.cpp, line 605] Event: 2.502 Thread 0x00007f71207a6800 Exception (0x0000000749baa308) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.710 Thread 0x00007f71207a6800 Exception (0x000000074a27b260) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 2.710 Thread 0x00007f71207a6800 Exception (0x000000074a27cd08) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709] Event: 7.137 Thread 0x00007f71207a6800 Exception (0x000000074f873648) thrown at [/HUDSO Event: 34.763 Thread 0x00007f71207a6800 Implicit null exception at 0x00007f7111ab7c93 to 0x00007f7111ab8711 Events (10 events): Event: 56.464 Thread 0x00007f71207a6800 DEOPT PACKING pc=0x00007f7111c6cb6c sp=0x00007f70edae6180 Event: 56.464 Thread 0x00007f71207a6800 DEOPT UNPACKING pc=0x00007f7111005229 sp=0x00007f70edae6150 mode 2 Event: 56.492 Thread 0x00007f71207a6800 DEOPT PACKING pc=0x00007f7111c70e64 sp=0x00007f70edae5fb0 Event: 56.492 Thread 0x00007f71207a6800 DEOPT UNPACKING pc=0x00007f7111047633 sp=0x00007f70edae5db8 mode 0 Event: 56.500 Thread 0x00007f71207a6800 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f7111c744b8 Event: 56.500 Thread 0x00007f71207a6800 DEOPT PACKING pc=0x00007f7111c744b8 sp=0x00007f70edae6070 Event: 56.500 Thread 0x00007f71207a6800 DEOPT UNPACKING pc=0x00007f7111005229 sp=0x00007f70edae6048 mode 2 Event: 56.626 Thread 0x00007f71207a6800 DEOPT PACKING pc=0x00007f7111c87cd0 sp=0x00007f70edae5ea0 Event: 56.626 Thread 0x00007f71207a6800 DEOPT UNPACKING pc=0x00007f7111047633 sp=0x00007f70edae5ec0 mode 0 Event: 56.989 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 01e17000-01e38000 rw-p 00000000 00:00 0 [heap] 65a400000-694d00000 rw-p 00000000 00:00 0 6bb800000-748c00000 ---p 00000000 00:00 0 748c00000-7c0000000 rw-p 00000000 00:00 0 7c0000000-7c0440000 rw-p 00000000 00:00 0 7c0440000-800000000 ---p 00000000 00:00 0 7f70ac000000-7f70ac021000 rw-p 00000000 00:00 0 7f70ac021000-7f70b0000000 ---p 00000000 00:00 0 7f70b4000000-7f70b4021000 rw-p 00000000 00:00 0 7f70b4021000-7f70b8000000 ---p 00000000 00:00 0 7f70b8000000-7f70b811e000 rw-p 00000000 00:00 0 7f70b811e000-7f70bc000000 ---p 00000000 00:00 0 7f70bf1fe000-7f70bf3be000 rw-p 00000000 00:00 0 7f70bf3be000-7f70bf3fe000 ---p 00000000 00:00 0 7f70bf3fe000-7f70bf5fe000 rw-p 00000000 00:00 0 7f70bf5fe000-7f70bf7fe000 rw-p 00000000 00:00 0 7f70bf7fe000-7f70bf801000 ---p 00000000 00:00 0 7f70bf801000-7f70bfbff000 rw-p 00000000 00:00 0 7f70bfbff000-7f70bfc02000 ---p 00000000 00:00 0 7f70bfc02000-7f70c0000000 rw-p 00000000 00:00 0 7f70c0000000-7f70c0349000 rw-p 00000000 00:00 0 7f70c0349000-7f70c4000000 ---p 00000000 00:00 0 7f70c4000000-7f70c4067000 rw-p 00000000 00:00 0 7f70c4067000-7f70c8000000 ---p 00000000 00:00 0 7f70c8000000-7f70c8371000 rw-p 00000000 00:00 0 7f70c8371000-7f70cc000000 ---p 00000000 00:00 0 7f70cc000000-7f70cc021000 rw-p 00000000 00:00 0 7f70cc021000-7f70d0000000 ---p 00000000 00:00 0 7f70d0000000-7f70d0021000 rw-p 00000000 00:00 0 7f70d0021000-7f70d4000000 ---p 00000000 00:00 0 7f70d4000000-7f70d4021000 rw-p 00000000 00:00 0 7f70d4021000-7f70d8000000 ---p 00000000 00:00 0 7f70d8000000-7f70d8021000 rw-p 00000000 00:00 0 7f70d8021000-7f70dc000000 ---p 00000000 00:00 0 7f70dc000000-7f70dc021000 rw-p 00000000 00:00 0 7f70dc021000-7f70e0000000 ---p 00000000 00:00 0 7f70e0000000-7f70e1240000 rw-p 00000000 00:00 0 7f70e1240000-7f70e4000000 ---p 00000000 00:00 0 7f70e4000000-7f70e493a000 rw-p 00000000 00:00 0 7f70e493a000-7f70e8000000 ---p 00000000 00:00 0 7f70e8000000-7f70e8021000 rw-p 00000000 00:00 0 7f70e8021000-7f70ec000000 ---p 00000000 00:00 0 7f70ec0ef000-7f70ec0f4000 r--s 0003d000 09:02 29885148 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar 7f70ec0f4000-7f70ec0f8000 r--s 00034000 09:02 29885121 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.acsl.parser_0.1.23.jar 7f70ec0f8000-7f70ec0fd000 r--s 002f9000 09:01 4874397 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/charsets.jar 7f70ec0fd000-7f70ec0ff000 r--s 00007000 09:02 29885233 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.variables_3.2.800.v20130819-1716.jar 7f70ec0ff000-7f70ec2ff000 rw-p 00000000 00:00 0 7f70ec2ff000-7f70ec301000 r-xp 00000000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so 7f70ec301000-7f70ec400000 ---p 00002000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so 7f70ec400000-7f70ec401000 rw-p 00001000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so 7f70ec401000-7f70ec402000 r--s 00002000 09:02 29885220 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem.linux.x86_64_1.2.200.v20140124-1940.jar 7f70ec402000-7f70ec405000 ---p 00000000 00:00 0 7f70ec405000-7f70ec803000 rw-p 00000000 00:00 0 7f70ec803000-7f70ec80c000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f70ec80c000-7f70eca0b000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f70eca0b000-7f70eca0c000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so 7f70eca0c000-7f70ecc0c000 rw-p 00000000 00:00 0 7f70ecc0c000-7f70ece0c000 rw-p 00000000 00:00 0 7f70ece0c000-7f70ece1f000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar 7f70ece1f000-7f70ece60000 r--s 00434000 09:02 29885134 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar 7f70ece60000-7f70ece62000 r--s 00005000 09:02 29885118 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar 7f70ece62000-7f70ece6e000 r--s 000bd000 09:02 29885180 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar 7f70ece6e000-7f70ece73000 r--s 00029000 09:02 29885129 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar 7f70ece73000-7f70ece75000 r--s 00008000 09:02 29885126 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar 7f70ece75000-7f70ed075000 rw-p 00000000 00:00 0 7f70ed075000-7f70ed076000 r--s 00003000 09:02 29885179 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar 7f70ed076000-7f70ed079000 r--s 0001f000 09:02 29885177 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar 7f70ed079000-7f70ed07c000 ---p 00000000 00:00 0 7f70ed07c000-7f70ed47a000 rw-p 00000000 00:00 0 7f70ed47a000-7f70ed47d000 r--s 0000d000 09:02 29885219 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar 7f70ed47d000-7f70ed482000 r--s 00039000 09:02 29885282 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar 7f70ed482000-7f70ed486000 r--s 00019000 09:02 29885218 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar 7f70ed486000-7f70ed686000 rw-p 00000000 00:00 0 7f70ed686000-7f70ed6e7000 r--s 00a81000 09:02 29885136 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar 7f70ed6e7000-7f70ed6ea000 ---p 00000000 00:00 0 7f70ed6ea000-7f70edce8000 rw-p 00000000 00:00 0 7f70edce8000-7f70edcf2000 r--s 000ce000 09:02 29885222 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar 7f70edcf2000-7f70edcf4000 r--s 00004000 09:02 29885210 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux.x86_64_5.3.0.201602051005.jar 7f70edcf4000-7f70edcf6000 r--s 00002000 09:02 29885209 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar 7f70edcf6000-7f70edcf8000 r--s 00007000 09:02 29885211 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar 7f70edcf8000-7f70edd49000 r--s 004dd000 09:02 29885208 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar 7f70edd49000-7f70edd4b000 r--s 00008000 09:02 29885143 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar 7f70edd4b000-7f70edd4d000 r--s 00023000 09:02 29885128 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar 7f70edd4d000-7f70edd4f000 r--s 0000e000 09:02 29885139 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar 7f70edd4f000-7f70edd51000 r--s 0000a000 09:02 29885192 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar 7f70edd51000-7f70edd52000 r--s 00002000 09:02 29885178 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar 7f70edd52000-7f70edd54000 r--s 00001000 09:02 29885140 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar 7f70edd54000-7f70edd5a000 r--s 00056000 09:02 29885120 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar 7f70edd5a000-7f70edd5c000 r--s 00005000 09:02 29885176 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar 7f70edd5c000-7f70edd5e000 r--s 0000b000 09:02 29885175 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar 7f70edd5e000-7f70edd60000 r--s 00006000 09:02 29885173 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar 7f70edd60000-7f70edd88000 r--s 00241000 09:02 30016012 /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 7f70edd88000-7f70edd98000 r--s 001c1000 09:02 30016008 /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 7f70edd98000-7f70eddc0000 r--s 009d4000 09:02 29885147 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar 7f70eddc0000-7f70edfc0000 rw-p 00000000 00:00 0 7f70edfc0000-7f70ee1c0000 rw-p 00000000 00:00 0 7f70ee1c0000-7f70ee1c3000 ---p 00000000 00:00 0 7f70ee1c3000-7f70ee5c1000 rw-p 00000000 00:00 0 7f70ee5c1000-7f70ee5d1000 r-xp 00000000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so 7f70ee5d1000-7f70ee6d0000 ---p 00010000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so 7f70ee6d0000-7f70ee6d2000 rw-p 0000f000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so 7f70ee6d2000-7f70ee6d5000 ---p 00000000 00:00 0 7f70ee6d5000-7f70eead3000 rw-p 00000000 00:00 0 7f70eead3000-7f70eead6000 ---p 00000000 00:00 0 7f70eead6000-7f70eeed4000 rw-p 00000000 00:00 0 7f70eeed4000-7f70eeed7000 ---p 00000000 00:00 0 7f70eeed7000-7f70ef2d5000 rw-p 00000000 00:00 0 7f70ef2d5000-7f70ef2e6000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f70ef2e6000-7f70ef4e5000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f70ef4e5000-7f70ef4e6000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so 7f70ef4e6000-7f70ef4fc000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f70ef4fc000-7f70ef6fc000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f70ef6fc000-7f70ef6fd000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so 7f70ef6fd000-7f70ef6fe000 ---p 00000000 00:00 0 7f70ef6fe000-7f70ef7fe000 rw-p 00000000 00:00 0 7f70ef7fe000-7f70ef801000 ---p 00000000 00:00 0 7f70ef801000-7f70efbff000 rw-p 00000000 00:00 0 7f70efbff000-7f70efc02000 ---p 00000000 00:00 0 7f70efc02000-7f70f0000000 rw-p 00000000 00:00 0 7f70f0000000-7f70f0021000 rw-p 00000000 00:00 0 7f70f0021000-7f70f4000000 ---p 00000000 00:00 0 7f70f4000000-7f70f4021000 rw-p 00000000 00:00 0 7f70f4021000-7f70f8000000 ---p 00000000 00:00 0 7f70f8000000-7f70f8021000 rw-p 00000000 00:00 0 7f70f8021000-7f70fc000000 ---p 00000000 00:00 0 7f70fc000000-7f70fc28f000 rw-p 00000000 00:00 0 7f70fc28f000-7f7100000000 ---p 00000000 00:00 0 7f7100000000-7f7100021000 rw-p 00000000 00:00 0 7f7100021000-7f7104000000 ---p 00000000 00:00 0 7f7104000000-7f7104002000 r--s 00009000 09:02 29885132 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar 7f7104002000-7f7104005000 r--s 00019000 09:02 29885165 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar 7f7104005000-7f7104006000 r--s 00005000 09:02 29885164 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar 7f7104006000-7f7104009000 r--s 00014000 09:02 29885163 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar 7f7104009000-7f7104011000 r--s 0008a000 09:02 29885162 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar 7f7104011000-7f7104022000 r--s 000f0000 09:02 29885166 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar 7f7104022000-7f7104025000 r--s 00021000 09:02 29885127 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar 7f7104025000-7f7104028000 ---p 00000000 00:00 0 7f7104028000-7f7104126000 rw-p 00000000 00:00 0 7f7104126000-7f7104129000 ---p 00000000 00:00 0 7f7104129000-7f7104227000 rw-p 00000000 00:00 0 7f7104227000-7f7104617000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive 7f7104617000-7f710461a000 ---p 00000000 00:00 0 7f710461a000-7f7104a18000 rw-p 00000000 00:00 0 7f7104a18000-7f7104a1b000 ---p 00000000 00:00 0 7f7104a1b000-7f7104e19000 rw-p 00000000 00:00 0 7f7104e19000-7f7104e1a000 ---p 00000000 00:00 0 7f7104e1a000-7f7111000000 rw-p 00000000 00:00 0 7f7111000000-7f7111ca0000 rwxp 00000000 00:00 0 7f7111ca0000-7f7120000000 ---p 00000000 00:00 0 7f7120000000-7f7120b07000 rw-p 00000000 00:00 0 7f7120b07000-7f7124000000 ---p 00000000 00:00 0 7f7124000000-7f7124002000 r--s 0000d000 09:02 29885161 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar 7f7124002000-7f7124004000 r--s 00006000 09:02 29885123 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar 7f7124004000-7f7124006000 r--s 00012000 09:02 29885116 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar 7f7124006000-7f7124008000 r--s 0000f000 09:02 29885117 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar 7f7124008000-7f712400b000 r--s 0000f000 09:02 29885156 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar 7f712400b000-7f712400d000 r--s 00006000 09:02 29885142 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar 7f712400d000-7f712435f000 rw-p 00000000 00:00 0 7f712435f000-7f7124539000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar 7f7124539000-7f7125138000 rw-p 00000000 00:00 0 7f7125138000-7f7125139000 ---p 00000000 00:00 0 7f7125139000-7f712540e000 rw-p 00000000 00:00 0 7f712540e000-7f71259ad000 ---p 00000000 00:00 0 7f71259ad000-7f7125b82000 rw-p 00000000 00:00 0 7f7125b82000-7f7126121000 ---p 00000000 00:00 0 7f7126121000-7f71264db000 rw-p 00000000 00:00 0 7f71264db000-7f712650f000 rw-p 00000000 00:00 0 7f712650f000-7f712689c000 ---p 00000000 00:00 0 7f712689c000-7f71268b6000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f71268b6000-7f7126ab6000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f7126ab6000-7f7126ab7000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so 7f7126ab7000-7f7126ac2000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7126ac2000-7f7126cc1000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7126cc1000-7f7126cc2000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7126cc2000-7f7126cc3000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so 7f7126cc3000-7f7126cce000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7126cce000-7f7126ecd000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7126ecd000-7f7126ece000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7126ece000-7f7126ecf000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so 7f7126ecf000-7f7126ee5000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so 7f7126ee5000-7f71270e4000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f71270e4000-7f71270e5000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so 7f71270e5000-7f71270e6000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so 7f71270e6000-7f71270e8000 rw-p 00000000 00:00 0 7f71270e8000-7f71270ef000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f71270ef000-7f71272ef000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f71272ef000-7f71272f0000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f71272f0000-7f71272f1000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so 7f71272f1000-7f712731c000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f712731c000-7f712751b000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f712751b000-7f712751d000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so 7f712751d000-7f712752a000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f712752a000-7f712772a000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f712772a000-7f712772c000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so 7f712772c000-7f7127733000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so 7f7127733000-7f7127932000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f7127932000-7f7127933000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so 7f7127933000-7f7127934000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so 7f7127934000-7f7127937000 ---p 00000000 00:00 0 7f7127937000-7f7127d35000 rw-p 00000000 00:00 0 7f7127d35000-7f7127e4a000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so 7f7127e4a000-7f712804a000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f712804a000-7f712804b000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so 7f712804b000-7f712804c000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so 7f712804c000-7f7128d1f000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f7128d1f000-7f7128f1e000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f7128f1e000-7f7128ff8000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so 7f7128ff8000-7f7129043000 rw-p 00000000 00:00 0 7f7129043000-7f71291eb000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so 7f71291eb000-7f71293ea000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so 7f71293ea000-7f71293ee000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so 7f71293ee000-7f71293f0000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so 7f71293f0000-7f71293f4000 rw-p 00000000 00:00 0 7f71293f4000-7f71293f7000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so 7f71293f7000-7f71295f6000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f71295f6000-7f71295f7000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so 7f71295f7000-7f71295f8000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so 7f71295f8000-7f712960d000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f712960d000-7f712980d000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f712980d000-7f712980e000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so 7f712980e000-7f7129828000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so 7f7129828000-7f7129a28000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f7129a28000-7f7129a29000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so 7f7129a29000-7f7129a2a000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so 7f7129a2a000-7f7129a2e000 rw-p 00000000 00:00 0 7f7129a2e000-7f7129a51000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so 7f7129a51000-7f7129a53000 r--s 00002000 09:02 29885160 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar 7f7129a53000-7f7129a56000 r--s 00012000 09:02 29885115 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar 7f7129a56000-7f7129a5a000 r--s 00039000 09:02 29885150 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar 7f7129a5a000-7f7129a5c000 r--s 00007000 09:02 29885133 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar 7f7129a5c000-7f7129a6c000 r--s 000db000 09:02 29885151 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar 7f7129a6c000-7f7129a78000 r--s 0009b000 09:02 29885158 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar 7f7129a78000-7f7129a7a000 r--s 00016000 09:02 29885141 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar 7f7129a7a000-7f7129a7c000 r--s 00014000 09:02 29885122 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar 7f7129a7c000-7f7129a7e000 r--s 0000a000 09:02 29885201 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar 7f7129a7e000-7f7129a84000 r--s 00029000 09:02 29885124 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar 7f7129a84000-7f7129a8c000 r--s 00059000 09:02 29885204 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar 7f7129a8c000-7f7129a93000 r--s 00051000 09:02 29885155 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar 7f7129a93000-7f7129a97000 r--s 0000e000 09:02 29885130 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar 7f7129a97000-7f7129b07000 rw-p 00000000 00:00 0 7f7129b07000-7f7129b08000 ---p 00000000 00:00 0 7f7129b08000-7f7129c0a000 rw-p 00000000 00:00 0 7f7129c0a000-7f7129c0c000 r--s 00008000 09:02 29885144 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar 7f7129c0c000-7f7129c10000 r--s 00054000 09:02 29885145 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar 7f7129c10000-7f7129c12000 r--s 00014000 09:02 29885246 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar 7f7129c12000-7f7129c15000 r--s 00018000 09:02 29885221 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar 7f7129c15000-7f7129c18000 r--s 0001d000 09:02 29885275 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar 7f7129c18000-7f7129c1b000 r--s 00016000 09:02 29885213 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar 7f7129c1b000-7f7129c1f000 r--s 00029000 09:02 29885276 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar 7f7129c1f000-7f7129c21000 r--s 00002000 09:02 29885230 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime.compatibility.registry_3.6.0.v20150318-1505/runtime_registry_compatibility.jar 7f7129c21000-7f7129c23000 r--s 00012000 09:02 29885223 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar 7f7129c23000-7f7129c26000 r--s 00019000 09:02 29885248 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar 7f7129c26000-7f7129c3b000 r--s 0012b000 09:02 29885280 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar 7f7129c3b000-7f7129c3e000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar 7f7129c3e000-7f7129c43000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar 7f7129c43000-7f7129c45000 r--s 0000b000 09:02 29885256 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar 7f7129c45000-7f7129c4d000 rw-s 00000000 09:01 1321462 /tmp/hsperfdata_root/13766 7f7129c4d000-7f7129c4e000 rw-p 00000000 00:00 0 7f7129c4e000-7f7129c4f000 ---p 00000000 00:00 0 7f7129c4f000-7f7129c51000 rw-p 00000000 00:00 0 7f7129c51000-7f7129c52000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so 7f7129c52000-7f7129c53000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so 7f7129c53000-7f7129c54000 rw-p 00000000 00:00 0 7ffffa61b000-7ffffa63d000 rw-p 00000000 00:00 0 [stack] 7ffffa668000-7ffffa66b000 r--p 00000000 00:00 0 [vvar] 7ffffa66b000-7ffffa66d000 r-xp 00000000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] VM Arguments: jvm_args: -Xss4m -Xmx6000000000 java_command: ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf -i ../../../trunk/examples/svcomp/eca-rers2012/Problem09_label15_false-unreach-call.c 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/6/bin:/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:8.02 12.02 9.78 /proc/meminfo: MemTotal: 24665244 kB MemFree: 196636 kB MemAvailable: 282604 kB Buffers: 80396 kB Cached: 296220 kB SwapCached: 0 kB Active: 24010084 kB Inactive: 188860 kB Active(anon): 23827208 kB Inactive(anon): 688 kB Active(file): 182876 kB Inactive(file): 188172 kB Unevictable: 10904 kB Mlocked: 10904 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 2332 kB Writeback: 0 kB AnonPages: 23833608 kB Mapped: 67752 kB Shmem: 1544 kB Slab: 105036 kB SReclaimable: 45572 kB SUnreclaim: 59464 kB KernelStack: 15644 kB PageTables: 64228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 12332620 kB Committed_AS: 25136680 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB AnonHugePages: 288768 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: 3667408 kB DirectMap2M: 21454848 kB CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6784.86 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.55 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 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 : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6788.73 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6791.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.23 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.08 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 42 model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz stepping : 7 microcode : 0x23 cpu MHz : 3499.816 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts bugs : bogomips : 6789.10 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: Memory: 4k page, physical 24665244k(196636k 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: Sat Jul 21 01:45:30 2018 elapsed time: 65 seconds (0d 0h 1m 5s)