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 (7407 MiB free)
memory of node 1: 16384 MiB (15013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302693-1532898679/watcher-4302693-1532898679 -o /tmp/evaluation-result-4302693-1532898679/solver-4302693-1532898679 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1662529197 -superng HOME/instance-4302693-1532898679.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=22119, runsolver pid=22116
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.65 1.66 1.76 3/208 22176
/proc/meminfo: memFree=22951856/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=10005480 memory=19124 CPUtime=0.09 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 4402 13101 0 0 1 1 4 3 20 0 6 0 107431057 10245611520 4781 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2501370 4781 1935 1 0 2489808 0
[pid=22119/tid=22172] ppid=22116 vsize=10005480 memory=4279135703980080784 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 2226 13101 0 0 1 0 4 3 20 0 6 0 107431066 10245611520 4781 33554432000 4194304 4196468 140736026672112 140207893512784 140207906988025 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 107431067 10245611520 4781 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=10005480 memory=139692561995392 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 107431067 10245611520 4781 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 107431067 10245611520 4781 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 6 0 107431067 10245611520 4781 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210098 s]*
/proc/loadavg: 1.65 1.66 1.76 3/217 22185
/proc/meminfo: memFree=22930612/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=10983736 memory=45792 CPUtime=0.26 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 8130 13101 0 0 17 2 4 3 20 0 15 0 107431057 11247345664 11448 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2745934 11448 2954 1 0 2708357 0
[pid=22119/tid=22172] ppid=22116 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 5025 13101 0 0 10 1 4 3 20 0 15 0 107431066 11249012736 11778 33554432000 4194304 4196468 140736026672112 140207893500832 140207914355741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11249012736 11778 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=10985364 memory=3545937385836320416 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11249012736 11778 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11249012736 11778 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 107431067 11249012736 11844 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=10985364 memory=139692561995392 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 107431068 11249012736 11844 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 107431069 11249012736 11844 33554432000 4194304 4196468 140736026672112 140206724343200 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431069 11249012736 11844 33554432000 4194304 4196468 140736026672112 140206523016688 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11249012736 11844 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 434 13101 0 0 1 0 4 3 20 0 15 0 107431071 11249012736 11844 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 192 13101 0 0 1 0 4 3 20 0 15 0 107431071 11249012736 11495 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=10985364 memory=139692561995392 CPUtime=0.1 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 595 13101 0 0 3 0 4 3 20 0 15 0 107431071 11249012736 11495 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11247345664 11495 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=10983736 memory=139692561995392 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431072 11247345664 11255 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 45792 KiB
[startup+0.310593 s]*
/proc/loadavg: 1.65 1.66 1.76 3/217 22185
/proc/meminfo: memFree=22918200/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=10983192 memory=55448 CPUtime=0.38 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 10425 13101 0 0 28 3 4 3 20 0 15 0 107431057 11246788608 13862 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2745798 13862 3073 1 0 2708109 0
[pid=22119/tid=22172] ppid=22116 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 6983 13101 0 0 19 2 4 3 20 0 15 0 107431066 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207893488032 140207905818360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 107431068 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 107431069 11246788608 13862 33554432000 4194304 4196468 140736026672112 140206724343200 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431069 11246788608 13862 33554432000 4194304 4196468 140736026672112 140206523016688 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11246788608 13862 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 437 13101 0 0 1 0 4 3 20 0 15 0 107431071 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 195 13101 0 0 1 0 4 3 20 0 15 0 107431071 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=10983192 memory=139692561995392 CPUtime=0.11 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) R 22116 22119 12222 0 -1 4202560 601 13101 0 0 4 0 4 3 20 0 15 0 107431071 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207411615984 140207903260305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11246788608 13862 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=10983192 memory=139692561995392 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431072 11246788608 13862 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55448 KiB
[startup+0.700762 s]
/proc/loadavg: 1.65 1.66 1.76 3/217 22185
/proc/meminfo: memFree=22907160/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=10983192 memory=88756 CPUtime=0.98 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 16768 13101 0 0 87 4 4 3 20 0 15 0 107431057 11246788608 22189 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2745798 22189 3247 1 0 2708109 0
[pid=22119/tid=22172] ppid=22116 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 12221 13101 0 0 56 3 4 3 20 0 15 0 107431066 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207893496688 140207901941852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=10983192 memory=489 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 107431067 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=10983192 memory=7301570131460772950 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 5 13101 0 0 0 0 4 3 20 0 15 0 107431068 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 107431069 11246788608 22189 33554432000 4194304 4196468 140736026672112 140206724343200 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431069 11246788608 22189 33554432000 4194304 4196468 140736026672112 140206523016688 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11246788608 22189 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 1023 13101 0 0 9 0 4 3 20 0 15 0 107431071 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 606 13101 0 0 7 0 4 3 20 0 15 0 107431071 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 696 13101 0 0 13 0 4 3 20 0 15 0 107431071 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11246788608 22189 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431072 11246788608 22189 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88756 KiB
[startup+1.5007 s]
/proc/loadavg: 1.65 1.66 1.76 3/217 22185
/proc/meminfo: memFree=22860952/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=10998092 memory=180636 CPUtime=2.37 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 24343 13101 0 0 220 10 4 3 20 0 15 0 107431057 11262046208 45159 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2749523 45159 3468 1 0 2711181 0
[pid=22119/tid=22172] ppid=22116 vsize=10998092 memory=4951091520830867572 CPUtime=1.43 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 17732 13101 0 0 130 6 4 3 20 0 15 0 107431066 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207893508032 140207901951837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=10998092 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 229 13101 0 0 1 0 4 3 20 0 15 0 107431067 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=10998092 memory=-5153075247759266159 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 50 13101 0 0 1 0 4 3 20 0 15 0 107431067 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=10998092 memory=-7740100956999625361 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 25 13101 0 0 1 0 4 3 20 0 15 0 107431067 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=10998092 memory=121192 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 22 13101 0 0 0 0 4 3 20 0 15 0 107431067 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 51 13101 0 0 1 0 4 3 20 0 15 0 107431068 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 14 13101 0 0 0 0 4 3 20 0 15 0 107431069 11262046208 45159 33554432000 4194304 4196468 140736026672112 140206724343264 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=10998092 memory=279384804098336 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431069 11262046208 45159 33554432000 4194304 4196468 140736026672112 140206523016704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=10998092 memory=279384804513280 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11262046208 45159 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=10998092 memory=139692402058880 CPUtime=0.34 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 1499 13101 0 0 27 0 4 3 20 0 15 0 107431071 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=10998092 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 1243 13101 0 0 22 0 4 3 20 0 15 0 107431071 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=10998092 memory=1200 CPUtime=0.4 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 1280 13101 0 0 33 0 4 3 20 0 15 0 107431071 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=10998092 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11262046208 45159 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=10998092 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 107431072 11262046208 45159 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 60362 13101 0 0 16152 17 4 3 20 0 15 0 107431066 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207893510320 140207492390011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=11080032 memory=656616 CPUtime=0.38 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 3499 13101 0 0 23 8 4 3 20 0 15 0 107431067 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=11080032 memory=658152 CPUtime=0.38 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 2625 13101 0 0 23 8 4 3 20 0 15 0 107431067 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=11080032 memory=4612 CPUtime=0.38 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1487 13101 0 0 23 8 4 3 20 0 15 0 107431067 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=11080032 memory=658668 CPUtime=0.38 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2668 13101 0 0 23 8 4 3 20 0 15 0 107431067 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=11080032 memory=658152 CPUtime=0.2 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2277 13101 0 0 11 2 4 3 20 0 15 0 107431068 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=11080032 memory=659180 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 15 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 164538 33554432000 4194304 4196468 140736026672112 140206724343328 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 8 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 164538 33554432000 4194304 4196468 140736026672112 140206523016704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=11080032 memory=660720 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11345952768 164538 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=11080032 memory=662260 CPUtime=4.63 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 21855 13101 0 0 453 3 4 3 20 0 15 0 107431071 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=11080032 memory=657644 CPUtime=4.91 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 20858 13101 0 0 481 3 4 3 20 0 15 0 107431071 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=11080032 memory=5372 CPUtime=2.03 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 18501 13101 0 0 192 4 4 3 20 0 15 0 107431071 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=11080032 memory=657644 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11345952768 164538 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=11080032 memory=658668 CPUtime=0.14 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 160 13101 0 0 2 5 4 3 20 0 15 0 107431072 11345952768 164538 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 174.67 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 658152 KiB
[startup+222.301 s]
/proc/loadavg: 1.57 1.72 1.77 3/217 22319
/proc/meminfo: memFree=22431704/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=11080032 memory=631300 CPUtime=235.22 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 143239 13101 0 0 23442 73 4 3 20 0 15 0 107431057 11345952768 157825 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2770008 157825 3526 1 0 2731661 0
[pid=22119/tid=22172] ppid=22116 vsize=11080032 memory=637156 CPUtime=221.57 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 61654 13101 0 0 22133 17 4 3 20 0 15 0 107431066 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207893510560 140207492789060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=11080032 memory=636132 CPUtime=0.47 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 4179 13101 0 0 31 9 4 3 20 0 15 0 107431067 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=11080032 memory=635620 CPUtime=0.46 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 3830 13101 0 0 30 9 4 3 20 0 15 0 107431067 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=11080032 memory=636640 CPUtime=0.47 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1693 13101 0 0 31 9 4 3 20 0 15 0 107431067 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=11080032 memory=636640 CPUtime=0.46 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2889 13101 0 0 31 8 4 3 20 0 15 0 107431067 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=11080032 memory=631300 CPUtime=0.26 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2615 13101 0 0 17 2 4 3 20 0 15 0 107431068 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=11080032 memory=631300 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 15 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 157825 33554432000 4194304 4196468 140736026672112 140206724343328 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=11080032 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 8 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 157825 33554432000 4194304 4196468 140736026672112 140206523016704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11345952768 157825 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=11080032 memory=631300 CPUtime=4.77 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 22514 13101 0 0 466 4 4 3 20 0 15 0 107431071 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=11080032 memory=4012 CPUtime=5.03 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 22652 13101 0 0 493 3 4 3 20 0 15 0 107431071 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=11080032 memory=30656 CPUtime=2.09 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 18802 13101 0 0 197 5 4 3 20 0 15 0 107431071 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=11080032 memory=631300 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11345952768 157825 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=11080032 memory=56 CPUtime=0.16 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 191 13101 0 0 3 6 4 3 20 0 15 0 107431072 11345952768 157825 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 235.22 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 631300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+238.901 s]
/proc/loadavg: 1.44 1.68 1.75 3/215 22319
/proc/meminfo: memFree=22493372/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=11080032 memory=627204 CPUtime=252.04 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 148225 13101 0 0 25123 74 4 3 20 0 15 0 107431057 11345952768 156801 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2770008 156801 3527 1 0 2731661 0
[pid=22119/tid=22172] ppid=22116 vsize=11080032 memory=627204 CPUtime=238.09 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 62709 13101 0 0 23784 18 4 3 20 0 15 0 107431066 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207893510608 140207484926219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=11080032 memory=627716 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 4183 13101 0 0 34 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=11080032 memory=628228 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 3834 13101 0 0 34 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=11080032 memory=636640 CPUtime=0.51 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1701 13101 0 0 35 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=11080032 memory=627204 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2893 13101 0 0 35 8 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=11080032 memory=4012 CPUtime=0.29 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2619 13101 0 0 19 3 4 3 20 0 15 0 107431068 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=11080032 memory=631300 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 15 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206724343328 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=11080032 memory=637156 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 8 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206523016704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=11080032 memory=17512 CPUtime=4.81 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 23163 13101 0 0 470 4 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=11080032 memory=630276 CPUtime=5.09 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 23819 13101 0 0 499 3 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=11080032 memory=628744 CPUtime=2.11 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 20893 13101 0 0 199 5 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=11080032 memory=11008 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11345952768 156801 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=11080032 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 191 13101 0 0 4 7 4 3 20 0 15 0 107431072 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 627204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+238.934 s]
# the end of solver process 22119 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.292 s, system=0.792495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+238.901 s]
/proc/loadavg: 1.44 1.68 1.75 3/215 22319
/proc/meminfo: memFree=22493372/32770624 swapFree=67108404/67108860
[pid=22119] ppid=22116 vsize=11080032 memory=627204 CPUtime=252.04 cores=1,3,5,7
/proc/22119/stat : 22119 (java) S 22116 22119 12222 0 -1 1077944320 148225 13101 0 0 25123 74 4 3 20 0 15 0 107431057 11345952768 156801 33554432000 4194304 4196468 140736026672112 140736026654656 140207921676023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
/proc/22119/statm: 2770008 156801 3527 1 0 2731661 0
[pid=22119/tid=22172] ppid=22116 vsize=11080032 memory=627204 CPUtime=238.09 cores=1,3,5,7
/proc/22119/task/22172/stat : 22172 (java) R 22116 22119 12222 0 -1 4202560 62709 13101 0 0 23784 18 4 3 20 0 15 0 107431066 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207893510608 140207484926219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22173] ppid=22116 vsize=11080032 memory=627716 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22173/stat : 22173 (java) S 22116 22119 12222 0 -1 1077944384 4183 13101 0 0 34 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207925917968 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22174] ppid=22116 vsize=11080032 memory=628228 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22174/stat : 22174 (java) S 22116 22119 12222 0 -1 1077944384 3834 13101 0 0 34 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207807183248 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22175] ppid=22116 vsize=11080032 memory=636640 CPUtime=0.51 cores=1,3,5,7
/proc/22119/task/22175/stat : 22175 (java) S 22116 22119 12222 0 -1 1077944384 1701 13101 0 0 35 9 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207806130704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22176] ppid=22116 vsize=11080032 memory=627204 CPUtime=0.5 cores=1,3,5,7
/proc/22119/task/22176/stat : 22176 (java) S 22116 22119 12222 0 -1 1077944384 2893 13101 0 0 35 8 4 3 20 0 15 0 107431067 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207805078160 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22177] ppid=22116 vsize=11080032 memory=4012 CPUtime=0.29 cores=1,3,5,7
/proc/22119/task/22177/stat : 22177 (java) S 22116 22119 12222 0 -1 1077944384 2619 13101 0 0 19 3 4 3 20 0 15 0 107431068 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207414774256 140207921687170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22178] ppid=22116 vsize=11080032 memory=631300 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22178/stat : 22178 (java) S 22116 22119 12222 0 -1 1077944384 15 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206724343328 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22179] ppid=22116 vsize=11080032 memory=637156 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22179/stat : 22179 (java) S 22116 22119 12222 0 -1 1077944384 8 13101 0 0 0 0 4 3 20 0 15 0 107431069 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206523016704 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22180] ppid=22116 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22180/stat : 22180 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140206215617232 140207921694619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22181] ppid=22116 vsize=11080032 memory=17512 CPUtime=4.81 cores=1,3,5,7
/proc/22119/task/22181/stat : 22181 (java) S 22116 22119 12222 0 -1 1077944384 23163 13101 0 0 470 4 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207413721072 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22182] ppid=22116 vsize=11080032 memory=630276 CPUtime=5.09 cores=1,3,5,7
/proc/22119/task/22182/stat : 22182 (java) S 22116 22119 12222 0 -1 1077944384 23819 13101 0 0 499 3 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207412668528 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22183] ppid=22116 vsize=11080032 memory=628744 CPUtime=2.11 cores=1,3,5,7
/proc/22119/task/22183/stat : 22183 (java) S 22116 22119 12222 0 -1 1077944384 20893 13101 0 0 199 5 4 3 20 0 15 0 107431071 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207411615984 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22184] ppid=22116 vsize=11080032 memory=11008 CPUtime=0.07 cores=1,3,5,7
/proc/22119/task/22184/stat : 22184 (java) S 22116 22119 12222 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 107431072 11345952768 156801 33554432000 4194304 4196468 140736026672112 140205784820320 140207921686229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
[pid=22119/tid=22185] ppid=22116 vsize=11080032 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/22119/task/22185/stat : 22185 (java) S 22116 22119 12222 0 -1 1077944384 191 13101 0 0 4 7 4 3 20 0 15 0 107431072 11345952768 156801 33554432000 4194304 4196468 140736026672112 140207410563888 140207921687170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140736026675816 140736026678625 140736026678625 140736026681295 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 627204 KiB
Child status: 143
Real time (s): 238.934
CPU time (s): 252.085
CPU user time (s): 251.292
CPU system time (s): 0.792495
CPU usage (%): 105.504
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 834396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.292
system time used= 0.792495
maximum resident set size= 837484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17430
involuntary context switches= 362
# summary of solver processes directly reported to runsolver:
# pid: 22119
# total CPU time (s): 252.085
# total CPU user time (s): 251.292
# total CPU system time (s): 0.792495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58429 second user time and 2.17431 second system time
The end