runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15079 MiB free)
memory of node 1: 16384 MiB (15089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274310-1502861895/watcher-4274310-1502861895 -o /tmp/evaluation-result-4274310-1502861895/solver-4274310-1502861895 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 793993654 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274310-1502861895.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8943, runsolver pid=8940
[startup+0.110218 s]*
/proc/loadavg: 1.36 1.38 1.42 3/204 8949
/proc/meminfo: memFree=30885948/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13573664 memory=16440 CPUtime=0.02 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 3997 0 0 0 1 1 0 0 20 0 9 0 134004630 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3393416 4110 2073 1 0 3382913 0
[pid=8943/tid=8945] ppid=8940 vsize=13573664 memory=-8035107114825123821 CPUtime=0.01 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 2643 0 0 0 1 0 0 0 20 0 9 0 134004639 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140707287277800 140707283063965 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134004639 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13573664 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134004639 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 134004639 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134004639 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13573664 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 134004641 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 134004641 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140706850870688 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 134004641 13899431936 4110 18446744073709551615 4194304 4196468 140734165295312 140706849818160 140707283052245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16440 KiB
[startup+0.213919 s]*
/proc/loadavg: 1.36 1.38 1.42 3/213 8958
/proc/meminfo: memFree=30881100/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13975920 memory=27988 CPUtime=0.07 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 6815 0 0 0 6 1 0 0 20 0 15 0 134004630 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3493980 6997 3329 1 0 3482759 0
[pid=8943/tid=8945] ppid=8940 vsize=13975920 memory=7078076838863583850 CPUtime=0.06 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 4901 0 0 0 6 0 0 0 20 0 15 0 134004639 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140707287271416 140707283063965 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13975920 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13975920 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706850870688 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706849818096 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13975920 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13975920 memory=139631442790016 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004650 14311342080 6997 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27988 KiB
[startup+0.310189 s]*
/proc/loadavg: 1.36 1.38 1.42 4/213 8958
/proc/meminfo: memFree=30865496/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13975920 memory=39764 CPUtime=0.24 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 10682 0 0 0 21 3 0 0 20 0 15 0 134004630 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3493980 9941 3539 1 0 3482759 0
[pid=8943/tid=8945] ppid=8940 vsize=13975920 memory=7680170660397595203 CPUtime=0.16 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 8397 0 0 0 14 2 0 0 20 0 15 0 134004639 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140707287262464 140707283063965 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13975920 memory=-6949179150270506172 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13975920 memory=1404226546319204233 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13975920 memory=7078076838863583850 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706850870688 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134004641 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706849818096 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 15 0 134004644 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 134004644 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) R 8940 8943 8289 0 -1 4202560 385 0 0 0 4 0 0 0 20 0 15 0 134004644 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053974 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004650 14311342080 9941 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39764 KiB
[startup+0.710211 s]
/proc/loadavg: 1.36 1.38 1.42 4/213 8958
/proc/meminfo: memFree=30854392/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13977988 memory=70648 CPUtime=1.05 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 14394 0 0 0 100 5 0 0 20 0 15 0 134004630 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3494497 17662 3733 1 0 3483271 0
[pid=8943/tid=8945] ppid=8940 vsize=13977988 memory=2591811438337 CPUtime=0.55 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 10337 0 0 0 51 4 0 0 20 0 15 0 134004639 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140707287276896 140707283063386 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13977988 memory=2617581242113 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13977988 memory=2634761111297 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13977988 memory=66508736 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134004639 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13977988 memory=-8556737395271162992 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13977988 memory=6152287975781979490 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134004641 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13977988 memory=8025788822668141932 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134004641 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706850870688 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13977988 memory=279262666089184 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134004641 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706849818096 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13977988 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13977988 memory=14417007739143623 CPUtime=0.15 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) R 8940 8943 8289 0 -1 4202560 799 0 0 0 15 0 0 0 20 0 15 0 134004644 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706847705752 140707267921909 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13977988 memory=1436 CPUtime=0.12 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) R 8940 8943 8289 0 -1 4202560 870 0 0 0 12 0 0 0 20 0 15 0 134004644 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706846646600 140707264562432 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13977988 memory=1200 CPUtime=0.22 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) R 8940 8943 8289 0 -1 4202560 1008 0 0 0 22 0 0 0 20 0 15 0 134004644 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707264452189 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13977988 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13977988 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004650 14313459712 17662 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70648 KiB
[startup+1.50125 s]
/proc/loadavg: 1.36 1.38 1.42 3/213 8958
/proc/meminfo: memFree=30805256/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13982084 memory=181708 CPUtime=3.31 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 27513 0 0 0 321 10 0 0 20 0 15 0 134004630 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3495521 45427 3764 1 0 3484295 0
[pid=8943/tid=8945] ppid=8940 vsize=13982084 memory=4420 CPUtime=1.33 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 13925 0 0 0 126 7 0 0 20 0 15 0 134004639 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140707287277512 140707264448314 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13982084 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13982084 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13982084 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134004639 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13982084 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134004639 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13982084 memory=113 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706850870688 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706849818096 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13982084 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) R 8940 8943 8289 0 -1 4202560 4238 0 0 0 76 0 0 0 20 0 15 0 134004644 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706847700592 140707266453041 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13982084 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) R 8940 8943 8289 0 -1 4202560 4682 0 0 0 67 0 0 0 20 0 15 0 134004644 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706846647536 140707264563224 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13982084 memory=143973545031419 CPUtime=0.5 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 3193 0 0 0 50 0 0 0 20 0 15 0 134004644 14317654016 45427 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
################
# More data... #
################
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 36537 0 0 0 236622 23 0 0 20 0 15 0 134004639 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140707287280592 140706910613466 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13982084 memory=549456 CPUtime=6.91 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 5779 0 0 0 644 47 0 0 20 0 15 0 134004639 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13982084 memory=551504 CPUtime=6.92 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 6438 0 0 0 652 40 0 0 20 0 15 0 134004639 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13982084 memory=551504 CPUtime=6.87 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 6410 0 0 0 639 48 0 0 20 0 15 0 134004639 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13982084 memory=551504 CPUtime=6.87 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 7943 0 0 0 644 43 0 0 20 0 15 0 134004639 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13982084 memory=1200 CPUtime=5.33 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 7399 0 0 0 498 35 0 0 20 0 15 0 134004641 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13982084 memory=551504 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706850870752 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13982084 memory=549456 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706849818112 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13982084 memory=14356 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13982084 memory=551504 CPUtime=1.97 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 8257 0 0 0 196 1 0 0 20 0 15 0 134004644 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13982084 memory=551504 CPUtime=1.98 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 9136 0 0 0 197 1 0 0 20 0 15 0 134004644 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13982084 memory=551504 CPUtime=0.6 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 4766 0 0 0 59 1 0 0 20 0 15 0 134004644 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13982084 memory=551504 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13982084 memory=551504 CPUtime=1.27 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 634 0 0 0 66 61 0 0 20 0 15 0 134004650 14317654016 137876 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 2405.26 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 551504 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.54 1.45 3/214 9215
/proc/meminfo: memFree=27312088/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13982084 memory=553552 CPUtime=2465.88 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 96072 0 0 0 246335 253 0 0 20 0 15 0 134004630 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3495521 138388 3788 1 0 3484295 0
[pid=8943/tid=8945] ppid=8940 vsize=13982084 memory=551504 CPUtime=2425.99 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 37110 0 0 0 242576 23 0 0 20 0 15 0 134004639 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140707287280624 140706910613503 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13982084 memory=551504 CPUtime=7.13 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 6012 0 0 0 665 48 0 0 20 0 15 0 134004639 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13982084 memory=553552 CPUtime=7.14 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 6683 0 0 0 673 41 0 0 20 0 15 0 134004639 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13982084 memory=553552 CPUtime=7.09 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 6418 0 0 0 661 48 0 0 20 0 15 0 134004639 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13982084 memory=553552 CPUtime=7.09 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 8000 0 0 0 665 44 0 0 20 0 15 0 134004639 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13982084 memory=553552 CPUtime=5.48 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 7580 0 0 0 512 36 0 0 20 0 15 0 134004641 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13982084 memory=553552 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706850870752 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13982084 memory=553552 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706849818112 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13982084 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13982084 memory=2248 CPUtime=1.97 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 8259 0 0 0 196 1 0 0 20 0 15 0 134004644 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13982084 memory=4288 CPUtime=1.98 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 9138 0 0 0 197 1 0 0 20 0 15 0 134004644 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13982084 memory=553552 CPUtime=0.6 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 4768 0 0 0 59 1 0 0 20 0 15 0 134004644 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13982084 memory=553552 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13982084 memory=15880 CPUtime=1.31 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 649 0 0 0 68 63 0 0 20 0 15 0 134004650 14317654016 138388 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 70 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 2465.88 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 553552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.9 s]
/proc/loadavg: 1.74 1.59 1.47 3/213 9217
/proc/meminfo: memFree=27340840/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13982084 memory=557648 CPUtime=2520.05 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 97446 0 0 0 251746 259 0 0 20 0 15 0 134004630 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3495521 139412 3788 1 0 3484295 0
[pid=8943/tid=8945] ppid=8940 vsize=13982084 memory=557648 CPUtime=2479.19 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 37663 0 0 0 247896 23 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707287280592 140706910612616 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13982084 memory=557648 CPUtime=7.32 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 6114 0 0 0 683 49 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13982084 memory=555600 CPUtime=7.34 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 6895 0 0 0 691 43 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13982084 memory=0 CPUtime=7.29 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 6501 0 0 0 680 49 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13982084 memory=555600 CPUtime=7.3 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 8227 0 0 0 684 46 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13982084 memory=555600 CPUtime=5.61 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 7763 0 0 0 524 37 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13982084 memory=557648 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706850870752 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13982084 memory=557648 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706849818112 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13982084 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13982084 memory=557648 CPUtime=1.97 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 8261 0 0 0 196 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13982084 memory=557648 CPUtime=1.98 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 9140 0 0 0 197 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13982084 memory=555600 CPUtime=0.6 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 4770 0 0 0 59 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13982084 memory=555600 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13982084 memory=131 CPUtime=1.33 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 657 0 0 0 69 64 0 0 20 0 15 0 134004650 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 557648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.92 s]
# the end of solver process 8943 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.48 s, system=2.59811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.9 s]
/proc/loadavg: 1.74 1.59 1.47 3/213 9217
/proc/meminfo: memFree=27340840/32770624 swapFree=67108860/67108860
[pid=8943] ppid=8940 vsize=13982084 memory=557648 CPUtime=2520.05 cores=0,2,4,6
/proc/8943/stat : 8943 (java) S 8940 8943 8289 0 -1 1077944320 97446 0 0 0 251746 259 0 0 20 0 15 0 134004630 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140734165277856 140707283042039 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
/proc/8943/statm: 3495521 139412 3788 1 0 3484295 0
[pid=8943/tid=8945] ppid=8940 vsize=13982084 memory=557648 CPUtime=2479.19 cores=0,2,4,6
/proc/8943/task/8945/stat : 8945 (java) R 8940 8943 8289 0 -1 4202560 37663 0 0 0 247896 23 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707287280592 140706910612616 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8946] ppid=8940 vsize=13982084 memory=557648 CPUtime=7.32 cores=0,2,4,6
/proc/8943/task/8946/stat : 8946 (java) S 8940 8943 8289 0 -1 1077944384 6114 0 0 0 683 49 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707224987920 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8947] ppid=8940 vsize=13982084 memory=555600 CPUtime=7.34 cores=0,2,4,6
/proc/8943/task/8947/stat : 8947 (java) S 8940 8943 8289 0 -1 1077944384 6895 0 0 0 691 43 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140707223935376 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8948] ppid=8940 vsize=13982084 memory=0 CPUtime=7.29 cores=0,2,4,6
/proc/8943/task/8948/stat : 8948 (java) S 8940 8943 8289 0 -1 1077944384 6501 0 0 0 680 49 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706880952848 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8949] ppid=8940 vsize=13982084 memory=555600 CPUtime=7.3 cores=0,2,4,6
/proc/8943/task/8949/stat : 8949 (java) S 8940 8943 8289 0 -1 1077944384 8227 0 0 0 684 46 0 0 20 0 15 0 134004639 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706879900304 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8950] ppid=8940 vsize=13982084 memory=555600 CPUtime=5.61 cores=0,2,4,6
/proc/8943/task/8950/stat : 8950 (java) S 8940 8943 8289 0 -1 1077944384 7763 0 0 0 524 37 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706851924464 140707283053186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8951] ppid=8940 vsize=13982084 memory=557648 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8951/stat : 8951 (java) S 8940 8943 8289 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706850870752 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8952] ppid=8940 vsize=13982084 memory=557648 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8952/stat : 8952 (java) S 8940 8943 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 134004641 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706849818112 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8953] ppid=8940 vsize=13982084 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8953/stat : 8953 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706848766672 140707283060635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8954] ppid=8940 vsize=13982084 memory=557648 CPUtime=1.97 cores=0,2,4,6
/proc/8943/task/8954/stat : 8954 (java) S 8940 8943 8289 0 -1 1077944384 8261 0 0 0 196 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706847713264 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8955] ppid=8940 vsize=13982084 memory=557648 CPUtime=1.98 cores=0,2,4,6
/proc/8943/task/8955/stat : 8955 (java) S 8940 8943 8289 0 -1 1077944384 9140 0 0 0 197 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706846660720 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8956] ppid=8940 vsize=13982084 memory=555600 CPUtime=0.6 cores=0,2,4,6
/proc/8943/task/8956/stat : 8956 (java) S 8940 8943 8289 0 -1 1077944384 4770 0 0 0 59 1 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706845608176 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8957] ppid=8940 vsize=13982084 memory=555600 CPUtime=0 cores=0,2,4,6
/proc/8943/task/8957/stat : 8957 (java) S 8940 8943 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134004644 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706844555872 140707283052245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
[pid=8943/tid=8958] ppid=8940 vsize=13982084 memory=131 CPUtime=1.33 cores=0,2,4,6
/proc/8943/task/8958/stat : 8958 (java) S 8940 8943 8289 0 -1 1077944384 657 0 0 0 69 64 0 0 20 0 15 0 134004650 14317654016 139412 18446744073709551615 4194304 4196468 140734165295312 140706843503408 140707283053186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 26054656 140734165303663 140734165303849 140734165303849 140734165307343 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 557648 KiB
Child status: 143
Real time (s): 2495.92
CPU time (s): 2520.07
CPU user time (s): 2517.48
CPU system time (s): 2.59811
CPU usage (%): 100.968
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 557648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.48
system time used= 2.59811
maximum resident set size= 558120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211447
involuntary context switches= 9219
# summary of solver processes directly reported to runsolver:
# pid: 8943
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.48
# total CPU system time (s): 2.59811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3188 second user time and 23.0905 second system time
The end