storm/build/bin/storm --prism qcomp/benchmarks/dtmc/oscillators/oscillators.8-10-0.1-1.prism --prop qcomp/benchmarks/dtmc/oscillators/oscillators.props time_to_synch --constants mu=0.1,lambda=1.0 --engine dd --ddlib sylvan --sylvan:maxmem 4096 --sylvan:threads 4 --timemem
Symbolic engine with Sylvan using 4GB memory
Storm 1.4.1 (dev)
Date: Mon Dec 9 13:22:19 2019
Command line arguments: --prism qcomp/benchmarks/dtmc/oscillators/oscillators.8-10-0.1-1.prism --prop qcomp/benchmarks/dtmc/oscillators/oscillators.props time_to_synch --constants 'mu=0.1,lambda=1.0' --engine dd --ddlib sylvan '--sylvan:maxmem' 4096 '--sylvan:threads' 4 --timemem
Current working directory:
Time for model input parsing: 13.141s.
WARN (DdPrismModelBuilder.cpp:1196): The reward model does not assign any non-zero rewards.
Time for model construction: 48.237s.
--------------------------------------------------------------
Model type: DTMC (symbolic)
States: 24311 (321 nodes)
Transitions: 76623 (94544 nodes)
Reward Models: time_to_synch
Variables: rows: 10 meta variables (40 DD variables), columns: 10 meta variables (40 DD variables)
Labels: 2
* deadlock -> 0 state(s) (1 nodes)
* init -> 1 state(s) (41 nodes)
--------------------------------------------------------------
Model checking property "time_to_synch": R[exp]{"time_to_synch"}=? [F (((((((((((((((1 * k_1) + (1294427191/1600000000 * k_2)) + (494427191/1600000000 * k_3)) + (-(494427191/1600000000) * k_4)) + (-(1294427191/1600000000) * k_5)) + (-(1) * k_6)) + (-(1294427191/1600000000) * k_7)) + (-(494427191/1600000000) * k_8)) + (494427191/1600000000 * k_9)) + (1294427191/1600000000 * k_10)) / 8) ^ 2) + ((((((((((((0 * k_1) + (146946313073/250000000000 * k_2)) + (190211303259/200000000000 * k_3)) + (190211303259/200000000000 * k_4)) + (146946313073/250000000000 * k_5)) + (0 * k_6)) + (-(146946313073/250000000000) * k_7)) + (-(190211303259/200000000000) * k_8)) + (-(190211303259/200000000000) * k_9)) + (-(146946313073/250000000000) * k_10)) / 8) ^ 2)) ^ 1/2) >= 1)] ...
BDD Unique table full, 67108628 of 67108864 buckets filled!
BDD Unique table full, 67108628 of 67108864 buckets filled!
*** Error in `storm/build/bin/storm': double free or corruption (fasttop): 0x0000000000793d50 ***
======= Backtrace: =========
/lib64/libc.so.6(+0x81609)[0x2b3d9f1ab609]
storm/build/lib/libstorm-cli-utilities.so(+0x94a7e)[0x2b3d966e1a7e]
/lib64/libc.so.6(__cxa_finalize+0x9a)[0x2b3d9f163f9a]
storm/build/lib/libstorm-cli-utilities.so(+0x8d763)[0x2b3d966da763]
======= Memory map: ========
00400000-00410000 r-xp 00000000 00:2e 27732801862 storm/build/bin/storm
00610000-00611000 r--p 00010000 00:2e 27732801862 storm/build/bin/storm
00611000-00612000 rw-p 00011000 00:2e 27732801862 storm/build/bin/storm
00612000-2c5ea000 rw-p 00000000 00:00 0 [heap]
2b3d96429000-2b3d9644b000 r-xp 00000000 08:01 64496 /usr/lib64/ld-2.17.so
2b3d9644b000-2b3d96458000 rw-p 00000000 00:00 0
2b3d96495000-2b3d964a6000 rw-p 00000000 00:00 0
2b3d9664a000-2b3d9664b000 r--p 00021000 08:01 64496 /usr/lib64/ld-2.17.so
2b3d9664b000-2b3d9664c000 rw-p 00022000 08:01 64496 /usr/lib64/ld-2.17.so
2b3d9664c000-2b3d9664d000 rw-p 00000000 00:00 0
2b3d9664d000-2b3d96750000 r-xp 00000000 00:2e 27733574038 storm/build/lib/libstorm-cli-utilities.so
2b3d96750000-2b3d9694f000 ---p 00103000 00:2e 27733574038 storm/build/lib/libstorm-cli-utilities.so
2b3d9694f000-2b3d96955000 r--p 00102000 00:2e 27733574038 storm/build/lib/libstorm-cli-utilities.so
2b3d96955000-2b3d96957000 rw-p 00108000 00:2e 27733574038 storm/build/lib/libstorm-cli-utilities.so
2b3d96957000-2b3d96958000 rw-p 00000000 00:00 0
2b3d96958000-2b3d969cb000 r-xp 00000000 00:2e 27733655309 storm/build/lib/libstorm-counterexamples.so
2b3d969cb000-2b3d96bcb000 ---p 00073000 00:2e 27733655309 storm/build/lib/libstorm-counterexamples.so
2b3d96bcb000-2b3d96bcd000 r--p 00073000 00:2e 27733655309 storm/build/lib/libstorm-counterexamples.so
2b3d96bcd000-2b3d96bce000 rw-p 00075000 00:2e 27733655309 storm/build/lib/libstorm-counterexamples.so
2b3d96bce000-2b3d96f19000 r-xp 00000000 00:2e 27731457103 storm/build/lib/libstorm-parsers.so
2b3d96f19000-2b3d97118000 ---p 0034b000 00:2e 27731457103 storm/build/lib/libstorm-parsers.so
2b3d97118000-2b3d97120000 r--p 0034a000 00:2e 27731457103 storm/build/lib/libstorm-parsers.so
2b3d97120000-2b3d97122000 rw-p 00352000 00:2e 27731457103 storm/build/lib/libstorm-parsers.so
2b3d97122000-2b3d97125000 rw-p 00000000 00:00 0
2b3d97125000-2b3d99103000 r-xp 00000000 00:2e 27733226593 storm/build/lib/libstorm.so
2b3d99103000-2b3d99303000 ---p 01fde000 00:2e 27733226593 storm/build/lib/libstorm.so
2b3d99303000-2b3d99371000 r--p 01fde000 00:2e 27733226593 storm/build/lib/libstorm.so
2b3d99371000-2b3d9938a000 rw-p 0204c000 00:2e 27733226593 storm/build/lib/libstorm.so
2b3d9938a000-2b3d993a4000 rw-p 00000000 00:00 0
2b3d993a4000-2b3d993bd000 r-xp 00000000 00:2d 18611528386 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_filesystem.so.1.69.0
2b3d993bd000-2b3d995bd000 ---p 00019000 00:2d 18611528386 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_filesystem.so.1.69.0
2b3d995bd000-2b3d995be000 r--p 00019000 00:2d 18611528386 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_filesystem.so.1.69.0
2b3d995be000-2b3d995bf000 rw-p 0001a000 00:2d 18611528386 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_filesystem.so.1.69.0
2b3d995bf000-2b3d995c0000 r-xp 00000000 00:2d 18613821854 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_system.so.1.69.0
2b3d995c0000-2b3d997bf000 ---p 00001000 00:2d 18613821854 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_system.so.1.69.0
2b3d997bf000-2b3d997c0000 r--p 00000000 00:2d 18613821854 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_system.so.1.69.0
2b3d997c0000-2b3d997c1000 rw-p 00001000 00:2d 18613821854 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_system.so.1.69.0
2b3d997c1000-2b3d9ac28000 r-xp 00000000 00:2e 27249896040 z3/lib/libz3.so
2b3d9ac28000-2b3d9ae27000 ---p 01467000 00:2e 27249896040 z3/lib/libz3.so
2b3d9ae27000-2b3d9ae4a000 r--p 01466000 00:2e 27249896040 z3/lib/libz3.so
2b3d9ae4a000-2b3d9ae4d000 rw-p 01489000 00:2e 27249896040 z3/lib/libz3.so
2b3d9ae4d000-2b3d9ae4e000 rw-p 00000000 00:00 0
2b3d9ae4e000-2b3d9af5a000 r-xp 00000000 00:2e 27249434900 storm/build/resources/3rdparty/glpk-4.65/lib/libglpk.so.40.3.0
2b3d9af5a000-2b3d9b15a000 ---p 0010c000 00:2e 27249434900 storm/build/resources/3rdparty/glpk-4.65/lib/libglpk.so.40.3.0
2b3d9b15a000-2b3d9b15b000 r--p 0010c000 00:2e 27249434900 storm/build/resources/3rdparty/glpk-4.65/lib/libglpk.so.40.3.0
2b3d9b15b000-2b3d9b15c000 rw-p 0010d000 00:2e 27249434900 storm/build/resources/3rdparty/glpk-4.65/lib/libglpk.so.40.3.0
2b3d9b15c000-2b3d9c30f000 r-xp 00000000 00:2d 10538396262 /rwthfs/rz/SW/gurobi/gurobi800/linux64/lib/libgurobi.so.8.0.0
2b3d9c30f000-2b3d9c50f000 ---p 011b3000 00:2d 10538396262 /rwthfs/rz/SW/gurobi/gurobi800/linux64/lib/libgurobi.so.8.0.0
2b3d9c50f000-2b3d9c563000 rw-p 011b3000 00:2d 10538396262 /rwthfs/rz/SW/gurobi/gurobi800/linux64/lib/libgurobi.so.8.0.0
2b3d9c563000-2b3d9c5a9000 rw-p 00000000 00:00 0
2b3d9c5a9000-2b3d9c5e5000 r-xp 00000000 08:01 303333 /usr/lib64/libhwloc.so.5.7.5
2b3d9c5e5000-2b3d9c7e4000 ---p 0003c000 08:01 303333 /usr/lib64/libhwloc.so.5.7.5
2b3d9c7e4000-2b3d9c7e5000 r--p 0003b000 08:01 303333 /usr/lib64/libhwloc.so.5.7.5
2b3d9c7e5000-2b3d9c7e6000 rw-p 0003c000 08:01 303333 /usr/lib64/libhwloc.so.5.7.5
2b3d9c7e6000-2b3d9c83c000 r-xp 00000000 00:2d 11708571720 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbb.so.2
2b3d9c83c000-2b3d9ca3c000 ---p 00056000 00:2d 11708571720 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbb.so.2
2b3d9ca3c000-2b3d9ca3d000 r--p 00056000 00:2d 11708571720 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbb.so.2
2b3d9ca3d000-2b3d9ca41000 rw-p 00057000 00:2d 11708571720 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbb.so.2
2b3d9ca41000-2b3d9ca44000 rw-p 00000000 00:00 0
2b3d9ca44000-2b3d9ca74000 r-xp 00000000 00:2d 11709017564 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbbmalloc.so.2
2b3d9ca74000-2b3d9cc74000 ---p 00030000 00:2d 11709017564 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbbmalloc.so.2
2b3d9cc74000-2b3d9cc75000 r--p 00030000 00:2d 11709017564 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbbmalloc.so.2
2b3d9cc75000-2b3d9cc78000 rw-p 00031000 00:2d 11709017564 /rwthfs/rz/SW/intel/tbb/2019.0.117/compilers_and_libraries_2019.0.117/linux/tbb/lib/intel64_lin/gcc4.7/libtbbmalloc.so.2
2b3d9cc78000-2b3d9cc9b000 rw-p 00000000 00:00 0
2b3d9cc9b000-2b3d9cd52000 r-xp 00000000 00:2e 26106514977 carl/build/libcarl.so.14.11
2b3d9cd52000-2b3d9cf52000 ---p 000b7000 00:2e 26106514977 carl/build/libcarl.so.14.11
2b3d9cf52000-2b3d9cf54000 r--p 000b7000 00:2e 26106514977 carl/build/libcarl.so.14.11
2b3d9cf54000-2b3d9cf56000 rw-p 000b9000 00:2e 26106514977 carl/build/libcarl.so.14.11
2b3d9cf56000-2b3d9cfc3000 r-xp 00000000 00:2d 18622055198 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_program_options.so.1.69.0
2b3d9cfc3000-2b3d9d1c2000 ---p 0006d000 00:2d 18622055198 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_program_options.so.1.69.0
2b3d9d1c2000-2b3d9d1c8000 r--p 0006c000 00:2d 18622055198 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_program_options.so.1.69.0
2b3d9d1c8000-2b3d9d1c9000 rw-p 00072000 00:2d 18622055198 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_program_options.so.1.69.0
2b3d9d1c9000-2b3d9d2ae000 r-xp 00000000 00:2d 18603919862 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_regex.so.1.69.0
2b3d9d2ae000-2b3d9d4ad000 ---p 000e5000 00:2d 18603919862 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_regex.so.1.69.0
2b3d9d4ad000-2b3d9d4b2000 r--p 000e4000 00:2d 18603919862 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_regex.so.1.69.0
2b3d9d4b2000-2b3d9d4b4000 rw-p 000e9000 00:2d 18603919862 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_regex.so.1.69.0
2b3d9d4b4000-2b3d9d557000 r-xp 00000000 00:2d 18611528391 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_unit_test_framework.so.1.69.0
2b3d9d557000-2b3d9d756000 ---p 000a3000 00:2d 18611528391 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_unit_test_framework.so.1.69.0
2b3d9d756000-2b3d9d75b000 r--p 000a2000 00:2d 18611528391 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_unit_test_framework.so.1.69.0
2b3d9d75b000-2b3d9d75c000 rw-p 000a7000 00:2d 18611528391 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_unit_test_framework.so.1.69.0
2b3d9d75c000-2b3d9d75e000 rw-p 00000000 00:00 0
2b3d9d75e000-2b3d9d760000 r-xp 00000000 08:01 64503 /usr/lib64/libdl-2.17.so
2b3d9d760000-2b3d9d960000 ---p 00002000 08:01 64503 /usr/lib64/libdl-2.17.so
2b3d9d960000-2b3d9d961000 r--p 00002000 08:01 64503 /usr/lib64/libdl-2.17.so
2b3d9d961000-2b3d9d962000 rw-p 00003000 08:01 64503 /usr/lib64/libdl-2.17.so
2b3d9d962000-2b3d9d979000 r-xp 00000000 08:01 70101 /usr/lib64/libpthread-2.17.so
2b3d9d979000-2b3d9db78000 ---p 00017000 08:01 70101 /usr/lib64/libpthread-2.17.so
2b3d9db78000-2b3d9db79000 r--p 00016000 08:01 70101 /usr/lib64/libpthread-2.17.so
2b3d9db79000-2b3d9db7a000 rw-p 00017000 08:01 70101 /usr/lib64/libpthread-2.17.so
2b3d9db7a000-2b3d9db7e000 rw-p 00000000 00:00 0
2b3d9db7e000-2b3d9de2c000 r-xp 00000000 00:2e 26014214558 carl/build/resources/lib/libginac.so.6.0.2
2b3d9de2c000-2b3d9e02b000 ---p 002ae000 00:2e 26014214558 carl/build/resources/lib/libginac.so.6.0.2
2b3d9e02b000-2b3d9e036000 r--p 002ad000 00:2e 26014214558 carl/build/resources/lib/libginac.so.6.0.2
2b3d9e036000-2b3d9e039000 rw-p 002b8000 00:2e 26014214558 carl/build/resources/lib/libginac.so.6.0.2
2b3d9e039000-2b3d9e03b000 rw-p 00000000 00:00 0
2b3d9e03b000-2b3d9e1af000 r-xp 00000000 00:2e 26018921794 carl/build/resources/lib/libcln.so.6.0.4
2b3d9e1af000-2b3d9e3af000 ---p 00174000 00:2e 26018921794 carl/build/resources/lib/libcln.so.6.0.4
2b3d9e3af000-2b3d9e3b3000 r--p 00174000 00:2e 26018921794 carl/build/resources/lib/libcln.so.6.0.4
2b3d9e3b3000-2b3d9e3bb000 rw-p 00178000 00:2e 26018921794 carl/build/resources/lib/libcln.so.6.0.4
2b3d9e3bb000-2b3d9e3bc000 rw-p 00000000 00:00 0
2b3d9e3bc000-2b3d9e3c1000 r-xp 00000000 00:2d 24632550964 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmpxx.so.4.5.2
2b3d9e3c1000-2b3d9e5c0000 ---p 00005000 00:2d 24632550964 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmpxx.so.4.5.2
2b3d9e5c0000-2b3d9e5c1000 r--p 00004000 00:2d 24632550964 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmpxx.so.4.5.2
2b3d9e5c1000-2b3d9e5c2000 rw-p 00005000 00:2d 24632550964 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmpxx.so.4.5.2
2b3d9e5c2000-2b3d9e637000 r-xp 00000000 00:2d 24639403115 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmp.so.10.3.2
2b3d9e637000-2b3d9e836000 ---p 00075000 00:2d 24639403115 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmp.so.10.3.2
2b3d9e836000-2b3d9e837000 r--p 00074000 00:2d 24639403115 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmp.so.10.3.2
2b3d9e837000-2b3d9e838000 rw-p 00075000 00:2d 24639403115 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgmp.so.10.3.2
2b3d9e838000-2b3d9ea00000 r-xp 00000000 00:2d 24643842096 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libstdc++.so.6.0.26
2b3d9ea00000-2b3d9ebff000 ---p 001c8000 00:2d 24643842096 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libstdc++.so.6.0.26
2b3d9ebff000-2b3d9ec0a000 r--p 001c7000 00:2d 24643842096 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libstdc++.so.6.0.26
2b3d9ec0a000-2b3d9ec0d000 rw-p 001d2000 00:2d 24643842096 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libstdc++.so.6.0.26
2b3d9ec0d000-2b3d9ec10000 rw-p 00000000 00:00 0
2b3d9ec10000-2b3d9ed11000 r-xp 00000000 08:01 64505 /usr/lib64/libm-2.17.so
2b3d9ed11000-2b3d9ef10000 ---p 00101000 08:01 64505 /usr/lib64/libm-2.17.so
2b3d9ef10000-2b3d9ef11000 r--p 00100000 08:01 64505 /usr/lib64/libm-2.17.so
2b3d9ef11000-2b3d9ef12000 rw-p 00101000 08:01 64505 /usr/lib64/libm-2.17.so
2b3d9ef12000-2b3d9ef28000 r-xp 00000000 00:2d 24643842094 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgcc_s.so.1
2b3d9ef28000-2b3d9f128000 ---p 00016000 00:2d 24643842094 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgcc_s.so.1
2b3d9f128000-2b3d9f129000 r--p 00016000 00:2d 24643842094 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgcc_s.so.1
2b3d9f129000-2b3d9f12a000 rw-p 00017000 00:2d 24643842094 /rwthfs/rz/SW/gcc/CENTOS-7.3/9.1.0/lib64/libgcc_s.so.1
2b3d9f12a000-2b3d9f2ec000 r-xp 00000000 08:01 64396 /usr/lib64/libc-2.17.so
2b3d9f2ec000-2b3d9f4ec000 ---p 001c2000 08:01 64396 /usr/lib64/libc-2.17.so
2b3d9f4ec000-2b3d9f4f0000 r--p 001c2000 08:01 64396 /usr/lib64/libc-2.17.so
2b3d9f4f0000-2b3d9f4f2000 rw-p 001c6000 08:01 64396 /usr/lib64/libc-2.17.so
2b3d9f4f2000-2b3d9f4f7000 rw-p 00000000 00:00 0
2b3d9f4f7000-2b3d9f4fe000 r-xp 00000000 08:01 70112 /usr/lib64/librt-2.17.so
2b3d9f4fe000-2b3d9f6fd000 ---p 00007000 08:01 70112 /usr/lib64/librt-2.17.so
2b3d9f6fd000-2b3d9f6fe000 r--p 00006000 08:01 70112 /usr/lib64/librt-2.17.so
2b3d9f6fe000-2b3d9f6ff000 rw-p 00007000 08:01 70112 /usr/lib64/librt-2.17.so
2b3d9f6ff000-2b3d9f709000 r-xp 00000000 08:01 163476 /usr/lib64/libnuma.so.1
2b3d9f709000-2b3d9f909000 ---p 0000a000 08:01 163476 /usr/lib64/libnuma.so.1
2b3d9f909000-2b3d9f90a000 r--p 0000a000 08:01 163476 /usr/lib64/libnuma.so.1
2b3d9f90a000-2b3d9f90b000 rw-p 0000b000 08:01 163476 /usr/lib64/libnuma.so.1
2b3d9f90b000-2b3d9f914000 r-xp 00000000 08:01 161741 /usr/lib64/libltdl.so.7.3.0
2b3d9f914000-2b3d9fb13000 ---p 00009000 08:01 161741 /usr/lib64/libltdl.so.7.3.0
2b3d9fb13000-2b3d9fb14000 r--p 00008000 08:01 161741 /usr/lib64/libltdl.so.7.3.0
2b3d9fb14000-2b3d9fb15000 rw-p 00009000 08:01 161741 /usr/lib64/libltdl.so.7.3.0
2b3d9fb15000-2b3da0ee6000 r-xp 00000000 08:01 162071 /usr/lib64/libicudata.so.50.1.2
2b3da0ee6000-2b3da10e5000 ---p 013d1000 08:01 162071 /usr/lib64/libicudata.so.50.1.2
2b3da10e5000-2b3da10e6000 r--p 013d0000 08:01 162071 /usr/lib64/libicudata.so.50.1.2
2b3da10e6000-2b3da10e7000 rw-p 013d1000 08:01 162071 /usr/lib64/libicudata.so.50.1.2
2b3da10e7000-2b3da12d7000 r-xp 00000000 08:01 162073 /usr/lib64/libicui18n.so.50.1.2
2b3da12d7000-2b3da14d7000 ---p 001f0000 08:01 162073 /usr/lib64/libicui18n.so.50.1.2
2b3da14d7000-2b3da14e3000 r--p 001f0000 08:01 162073 /usr/lib64/libicui18n.so.50.1.2
2b3da14e3000-2b3da14e5000 rw-p 001fc000 08:01 162073 /usr/lib64/libicui18n.so.50.1.2
2b3da14e5000-2b3da14e6000 rw-p 00000000 00:00 0
2b3da14e6000-2b3da164a000 r-xp 00000000 08:01 162084 /usr/lib64/libicuuc.so.50.1.2
2b3da164a000-2b3da184a000 ---p 00164000 08:01 162084 /usr/lib64/libicuuc.so.50.1.2
2b3da184a000-2b3da185a000 r--p 00164000 08:01 162084 /usr/lib64/libicuuc.so.50.1.2
2b3da185a000-2b3da185b000 rw-p 00174000 08:01 162084 /usr/lib64/libicuuc.so.50.1.2
2b3da185b000-2b3da185f000 rw-p 00000000 00:00 0
2b3da185f000-2b3da1864000 r-xp 00000000 00:2d 18599432136 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_timer.so.1.69.0
2b3da1864000-2b3da1a63000 ---p 00005000 00:2d 18599432136 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_timer.so.1.69.0
2b3da1a63000-2b3da1a64000 r--p 00004000 00:2d 18599432136 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_timer.so.1.69.0
2b3da1a64000-2b3da1a65000 rw-p 00005000 00:2d 18599432136 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_timer.so.1.69.0
2b3da1a65000-2b3da1a6d000 r-xp 00000000 00:2d 18599432131 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_chrono.so.1.69.0
2b3da1a6d000-2b3da1c6c000 ---p 00008000 00:2d 18599432131 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_chrono.so.1.69.0
2b3da1c6c000-2b3da1c6d000 r--p 00007000 00:2d 18599432131 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_chrono.so.1.69.0
2b3da1c6d000-2b3da1c6e000 rw-p 00008000 00:2d 18599432131 /rwthfs/rz/SW/UTIL/boost/1_69_0/gcc_4.8.5-intelmpi_2018.4.274/lib/libboost_chrono.so.1.69.0
2b3da1c6e000-2b3da1c6f000 ---p 00000000 00:00 0
2b3da1c6f000-2b3da1e6f000 rw-p 00000000 00:00 0
2b3da1e6f000-2b3da1e70000 ---p 00000000 00:00 0
2b3da1e70000-2b3de2071000 rw-p 00000000 00:00 0
2b3de2071000-2b3de2072000 ---p 00000000 00:00 0
2b3de2072000-2b3f93375000 rw-p 00000000 00:00 0
2b3f94000000-2b3f94021000 rw-p 00000000 00:00 0
2b3f94021000-2b3f98000000 ---p 00000000 00:00 0
2b3f9c000000-2b3f9c021000 rw-p 00000000 00:00 0
2b3f9c021000-2b3fa0000000 ---p 00000000 00:00 0
2b3fa4000000-2b3fa4021000 rw-p 00000000 00:00 0
2b3fa4021000-2b3fa8000000 ---p 00000000 00:00 0
7ffef8fac000-7ffef8fd1000 rw-p 00000000 00:00 0 [stack]
7ffef8fd3000-7ffef8fd5000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]