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 (3054 MiB free)
memory of node 1: 16384 MiB (15848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299053-1532817570/watcher-4299053-1532817570 -o /tmp/evaluation-result-4299053-1532817570/solver-4299053-1532817570 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1645 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4299053-1532817570.xml
running on 4 cores: 1,3,5,7
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
solver pid=4214, runsolver pid=4211
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 6.71 3.50 2.24 7/215 4229
/proc/meminfo: memFree=19338264/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661052 memory=28368 CPUtime=0.12 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 4983 0 0 0 11 1 0 0 20 0 15 0 99320160 10916917248 7092 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665263 7092 2838 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661052 memory=-8392281372846027968 CPUtime=0.09 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 2866 0 0 0 8 1 0 0 20 0 15 0 99320160 10916917248 7092 33554432000 4194304 4196468 140725266652016 140051049227392 140051029042533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320162 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99320163 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99320163 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4211 4214 1613 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 99320165 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99320165 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050530637808 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) R 4211 4214 1613 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 99320165 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050529585520 140051023713301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320166 10916917248 7092 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28368 KiB
[startup+0.212545 s]*
/proc/loadavg: 6.71 3.50 2.24 7/215 4229
/proc/meminfo: memFree=19327224/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661052 memory=40288 CPUtime=0.35 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 7670 0 0 0 33 2 0 0 20 0 15 0 99320160 10916917248 10072 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665263 10072 3001 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661052 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 4651 0 0 0 19 2 0 0 20 0 15 0 99320160 10916917248 10072 33554432000 4194304 4196468 140725266652016 140051049237216 140051029079390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661052 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661052 memory=140477957342848 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320162 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99320163 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99320163 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4211 4214 1613 0 -1 1077944384 636 0 0 0 2 0 0 0 20 0 15 0 99320165 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 99320165 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0.09 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 857 0 0 0 9 0 0 0 20 0 15 0 99320165 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661052 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320166 10916917248 10072 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40288 KiB
[startup+0.310357 s]*
/proc/loadavg: 6.71 3.50 2.24 8/215 4229
/proc/meminfo: memFree=19322820/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=46972 CPUtime=0.56 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 8319 0 0 0 54 2 0 0 20 0 15 0 99320160 10916995072 11743 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 11743 3066 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 5008 0 0 0 28 2 0 0 20 0 15 0 99320160 10916995072 11743 33554432000 4194304 4196468 140725266652016 140051049236672 140051029042533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=140477957341904 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320162 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4211 4214 1613 0 -1 1077944384 689 0 0 0 5 0 0 0 20 0 15 0 99320165 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050531690608 140051045020250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 280 0 0 0 5 0 0 0 20 0 15 0 99320165 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=140477957326464 CPUtime=0.16 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) R 4211 4214 1613 0 -1 4202560 982 0 0 0 16 0 0 0 20 0 15 0 99320165 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050529581888 140051037236030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=140477957326464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 11743 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46972 KiB
[startup+0.700767 s]
/proc/loadavg: 6.71 3.50 2.24 8/215 4229
/proc/meminfo: memFree=19309048/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=71944 CPUtime=1.77 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 10970 0 0 0 174 3 0 0 20 0 15 0 99320160 10916995072 17986 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 17986 3119 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=15980 CPUtime=0.68 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 5200 0 0 0 66 2 0 0 20 0 15 0 99320160 10916995072 17986 33554432000 4194304 4196468 140725266652016 140051049238136 140050649166960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=496 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99320162 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=7157735280213317218 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=7668621184520841834 CPUtime=0.39 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4211 4214 1613 0 -1 4202560 1507 0 0 0 39 0 0 0 20 0 15 0 99320165 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050531677920 140051023377924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=7811041011565881194 CPUtime=0.37 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) R 4211 4214 1613 0 -1 4202560 1313 0 0 0 37 0 0 0 20 0 15 0 99320165 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050530618824 140051031021422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=6291927133608563817 CPUtime=0.31 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 1579 0 0 0 31 0 0 0 20 0 15 0 99320165 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=756 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 17986 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 71944 KiB
[startup+1.50076 s]
/proc/loadavg: 6.71 3.50 2.24 6/215 4229
/proc/meminfo: memFree=19264928/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=160548 CPUtime=2.68 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 12239 0 0 0 263 5 0 0 20 0 15 0 99320160 10916995072 40137 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 40137 3120 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=138020 CPUtime=1.48 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 5534 0 0 0 145 3 0 0 20 0 15 0 99320160 10916995072 40137 33554432000 4194304 4196468 140725266652016 140051049235392 140050649964718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 40137 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 40137 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 40137 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99320161 10916995072 40137 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 99320162 10916995072 40137 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
################
# More data... #
################
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 16306 0 0 0 236884 14 0 0 20 0 15 0 99320160 10916995072 85378 33554432000 4194304 4196468 140725266652016 140051049238400 140050649927478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=339464 CPUtime=6.54 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 6468 0 0 0 628 26 0 0 20 0 15 0 99320161 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=339464 CPUtime=6.55 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 5234 0 0 0 626 29 0 0 20 0 15 0 99320161 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=339464 CPUtime=6.54 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 5817 0 0 0 627 27 0 0 20 0 15 0 99320161 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=339464 CPUtime=6.54 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 5815 0 0 0 628 26 0 0 20 0 15 0 99320161 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=341512 CPUtime=3.94 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 6188 0 0 0 369 25 0 0 20 0 15 0 99320162 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=341512 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=339464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=339464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=14572 CPUtime=0.46 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4211 4214 1613 0 -1 1077944384 2441 0 0 0 45 1 0 0 20 0 15 0 99320165 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=924 CPUtime=0.6 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 3353 0 0 0 59 1 0 0 20 0 15 0 99320165 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=1992 CPUtime=0.33 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 1711 0 0 0 33 0 0 0 20 0 15 0 99320165 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=1240 CPUtime=0.69 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 838 0 0 0 34 35 0 0 20 0 15 0 99320166 10916995072 85378 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 2401.25 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 341512 KiB
[startup+2442.3 s]
/proc/loadavg: 1.21 1.27 1.39 3/217 4420
/proc/meminfo: memFree=27591872/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=345608 CPUtime=2461.72 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 56818 0 0 0 246011 161 0 0 20 0 15 0 99320160 10916995072 86402 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 86402 3149 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=288230574492221466 CPUtime=2428.64 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 16581 0 0 0 242850 14 0 0 20 0 15 0 99320160 10916995072 86402 33554432000 4194304 4196468 140725266652016 140051049238496 140050649939416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=343560 CPUtime=6.72 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 6884 0 0 0 645 27 0 0 20 0 15 0 99320161 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=343560 CPUtime=6.73 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 5274 0 0 0 643 30 0 0 20 0 15 0 99320161 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=343560 CPUtime=6.7 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 5918 0 0 0 643 27 0 0 20 0 15 0 99320161 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=343560 CPUtime=6.71 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 6032 0 0 0 644 27 0 0 20 0 15 0 99320161 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=339464 CPUtime=4.04 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 6357 0 0 0 378 26 0 0 20 0 15 0 99320162 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=341512 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=343560 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=343560 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=343560 CPUtime=0.46 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4211 4214 1613 0 -1 1077944384 2443 0 0 0 45 1 0 0 20 0 15 0 99320165 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=343560 CPUtime=0.6 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 3355 0 0 0 59 1 0 0 20 0 15 0 99320165 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=343560 CPUtime=0.33 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 1713 0 0 0 33 0 0 0 20 0 15 0 99320165 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=339464 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=339464 CPUtime=0.7 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 855 0 0 0 34 36 0 0 20 0 15 0 99320166 10916995072 86402 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 2461.72 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 345608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.11 s]
/proc/loadavg: 1.30 1.27 1.38 3/217 4421
/proc/meminfo: memFree=27586624/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=347656 CPUtime=2520.01 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 58095 0 0 0 251836 165 0 0 20 0 15 0 99320160 10916995072 86914 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 86914 3149 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=347656 CPUtime=2486.11 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 16852 0 0 0 248597 14 0 0 20 0 15 0 99320160 10916995072 86914 33554432000 4194304 4196468 140725266652016 140051049238512 140050649939342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.9 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 7002 0 0 0 663 27 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.9 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 5709 0 0 0 660 30 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.88 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 6106 0 0 0 660 28 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=0 CPUtime=6.88 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 6105 0 0 0 660 28 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=347656 CPUtime=4.13 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 6526 0 0 0 387 26 0 0 20 0 15 0 99320162 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.46 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4211 4214 1613 0 -1 1077944384 2445 0 0 0 45 1 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=345608 CPUtime=0.61 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 3357 0 0 0 60 1 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.33 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 1715 0 0 0 33 0 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.72 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 872 0 0 0 35 37 0 0 20 0 15 0 99320166 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 347656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.12 s]
# the end of solver process 4214 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.38 s, system=1.65852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.11 s]
/proc/loadavg: 1.30 1.27 1.38 3/217 4421
/proc/meminfo: memFree=27586624/32770624 swapFree=67108860/67108860
[pid=4214] ppid=4211 vsize=10661128 memory=347656 CPUtime=2520.01 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4211 4214 1613 0 -1 1077944320 58095 0 0 0 251836 165 0 0 20 0 15 0 99320160 10916995072 86914 33554432000 4194304 4196468 140725266652016 140725266634560 140051044998903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
/proc/4214/statm: 2665282 86914 3149 1 0 2627263 0
[pid=4214/tid=4216] ppid=4211 vsize=10661128 memory=347656 CPUtime=2486.11 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4211 4214 1613 0 -1 4202560 16852 0 0 0 248597 14 0 0 20 0 15 0 99320160 10916995072 86914 33554432000 4194304 4196468 140725266652016 140051049238512 140050649939342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4217] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.9 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4211 4214 1613 0 -1 1077944384 7002 0 0 0 663 27 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050971072912 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4218] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.9 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4211 4214 1613 0 -1 1077944384 5709 0 0 0 660 30 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050970020112 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4219] ppid=4211 vsize=10661128 memory=347656 CPUtime=6.88 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4211 4214 1613 0 -1 1077944384 6106 0 0 0 660 28 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050968967824 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4220] ppid=4211 vsize=10661128 memory=0 CPUtime=6.88 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4211 4214 1613 0 -1 1077944384 6105 0 0 0 660 28 0 0 20 0 15 0 99320161 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050967915024 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4221] ppid=4211 vsize=10661128 memory=347656 CPUtime=4.13 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4211 4214 1613 0 -1 1077944384 6526 0 0 0 387 26 0 0 20 0 15 0 99320162 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050535901808 140051045010050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4222] ppid=4211 vsize=10661128 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4211 4214 1613 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050534847776 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4223] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4211 4214 1613 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99320163 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050533795440 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4224] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050532743760 140051045017499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4225] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.46 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4211 4214 1613 0 -1 1077944384 2445 0 0 0 45 1 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050531690608 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4226] ppid=4211 vsize=10661128 memory=345608 CPUtime=0.61 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4211 4214 1613 0 -1 1077944384 3357 0 0 0 60 1 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050530637808 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4227] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.33 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4211 4214 1613 0 -1 1077944384 1715 0 0 0 33 0 0 0 20 0 15 0 99320165 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050529585520 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4228] ppid=4211 vsize=10661128 memory=347656 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4211 4214 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99320166 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050528532960 140051045009109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
[pid=4214/tid=4229] ppid=4211 vsize=10661128 memory=347656 CPUtime=0.72 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4211 4214 1613 0 -1 1077944384 872 0 0 0 35 37 0 0 20 0 15 0 99320166 10916995072 86914 33554432000 4194304 4196468 140725266652016 140050527480752 140051045010050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140725266658442 140725266658569 140725266658569 140725266661327 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 347656 KiB
Child status: 143
Real time (s): 2500.12
CPU time (s): 2520.04
CPU user time (s): 2518.38
CPU system time (s): 1.65852
CPU usage (%): 100.797
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 347656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.38
system time used= 1.65852
maximum resident set size= 348124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157339
involuntary context switches= 5643
# summary of solver processes directly reported to runsolver:
# pid: 4214
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.38
# total CPU system time (s): 1.65852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3269 second user time and 22.6106 second system time
The end