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 (14589 MiB free)
memory of node 1: 16384 MiB (14354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401484-1568675944/watcher-4401484-1568675944 -o /tmp/evaluation-result-4401484-1568675944/solver-4401484-1568675944 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568673291-24688 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1750650444 HOME/instance-4401484-1568675944.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=25559, runsolver pid=25556
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.48 1.42 1.46 4/230 25601
/proc/meminfo: memFree=29625884/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=148 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/25559/stat : 25559 (java) R 25556 25559 24657 0 -1 4194304 1028 13081 0 0 0 0 5 3 20 0 1 0 443863269 151552 2 33554432000 0 0 140720773987055 140736726179032 140417306585591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 0 0 6295552 140720773987055 0 0 0 0
/proc/25559/statm: 74 2 0 1 0 38 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 148 KiB
Current children cumulated memory: 8 KiB
[startup+0.211948 s]*
/proc/loadavg: 1.48 1.42 1.46 5/228 25625
/proc/meminfo: memFree=29608280/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=10819712 memory=43260 CPUtime=0.24 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 7176 13081 0 0 14 2 5 3 20 0 15 0 443863269 11079385088 10815 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2704928 10815 3175 1 0 2667149 0
[pid=25559/tid=25612] ppid=25556 vsize=10819712 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 3705 13081 0 0 8 1 5 3 20 0 15 0 443863280 11079385088 10815 33554432000 4194304 4196468 140720773982768 140337036338112 140337048585566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10819712 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079385088 10815 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10819712 memory=3474438742478653088 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079385088 10815 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079385088 10815 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079385088 10815 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10819712 memory=140112793405056 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863282 11079385088 10815 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 13 13081 0 0 0 0 5 3 20 0 15 0 443863283 11079385088 10815 33554432000 4194304 4196468 140720773982768 140336512886176 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863283 11079385088 10881 33554432000 4194304 4196468 140720773982768 140336378668528 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10819712 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 482 13081 0 0 1 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 166 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10819712 memory=140112793405056 CPUtime=0.1 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 594 13081 0 0 2 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10819712 memory=140112793405056 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079385088 10881 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 43260 KiB
[startup+0.31141 s]*
/proc/loadavg: 1.48 1.42 1.46 5/228 25625
/proc/meminfo: memFree=29594872/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=10820196 memory=54808 CPUtime=0.38 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 10856 13081 0 0 26 4 5 3 20 0 15 0 443863269 11079880704 13702 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2705049 13702 3306 1 0 2667149 0
[pid=25559/tid=25612] ppid=25556 vsize=10820196 memory=576461178948550685 CPUtime=0.27 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 7357 13081 0 0 16 3 5 3 20 0 15 0 443863280 11079880704 13702 33554432000 4194304 4196468 140720773982768 140337036314032 140337048585566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10820196 memory=301741420702859287 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079880704 13702 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10820196 memory=3832766283419190944 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10820196 memory=-6732151970415111300 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10820196 memory=7517363405094662191 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10820196 memory=3472468409021085360 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863282 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10820196 memory=3472328296227680264 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 13 13081 0 0 0 0 5 3 20 0 15 0 443863283 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336512886176 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10820196 memory=-3621219715169225006 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863283 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336378668528 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10820196 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 491 13081 0 0 2 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10820196 memory=8389772264424737328 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 169 13081 0 0 1 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10820196 memory=140112793405056 CPUtime=0.13 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 606 13081 0 0 5 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10820196 memory=140112793405056 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863286 11079880704 13702 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54808 KiB
[startup+0.700712 s]
/proc/loadavg: 1.48 1.42 1.46 3/228 25625
/proc/meminfo: memFree=29584900/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=10822316 memory=85060 CPUtime=1.09 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 14963 13081 0 0 95 6 5 3 20 0 15 0 443863269 11082051584 21265 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2705579 21265 3501 1 0 2667661 0
[pid=25559/tid=25612] ppid=25556 vsize=10822316 memory=2860 CPUtime=0.65 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 10492 13081 0 0 53 4 5 3 20 0 15 0 443863280 11082051584 21265 33554432000 4194304 4196468 140720773982768 140337036335232 140337048585566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10822316 memory=2856 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863281 11082051584 21265 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10822316 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10822316 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10822316 memory=3036 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863281 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10822316 memory=1087716 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 5 13081 0 0 0 0 5 3 20 0 15 0 443863282 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10822316 memory=1412 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 13 13081 0 0 0 0 5 3 20 0 15 0 443863283 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336512886176 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10822316 memory=2420 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863283 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336378668528 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10822316 memory=2276 CPUtime=0.22 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) R 25556 25559 24657 0 -1 4202560 890 13081 0 0 14 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336590064352 140337045683187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10822316 memory=14068 CPUtime=0.18 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) R 25556 25559 24657 0 -1 4202560 583 13081 0 0 10 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336589031536 140337047999494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10822316 memory=524 CPUtime=0.24 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 763 13081 0 0 16 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10822316 memory=1568 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10822316 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863286 11082051584 21265 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 85060 KiB
[startup+1.50738 s]
/proc/loadavg: 1.48 1.42 1.46 3/228 25625
/proc/meminfo: memFree=29544248/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=10834680 memory=177008 CPUtime=2.47 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 21406 13081 0 0 228 11 5 3 20 0 15 0 443863269 11094712320 44252 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2708670 44252 3590 1 0 2670733 0
[pid=25559/tid=25612] ppid=25556 vsize=10834680 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 15373 13081 0 0 128 6 5 3 20 0 15 0 443863280 11094712320 44252 33554432000 4194304 4196468 140720773982768 140337036313408 140337048585566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10834680 memory=-3472574513799858003 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 24 13081 0 0 1 0 5 3 20 0 15 0 443863281 11094712320 44252 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10834680 memory=8693815869444314326 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 43 13081 0 0 1 0 5 3 20 0 15 0 443863281 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10834680 memory=-2127766515567069271 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 71 13081 0 0 1 0 5 3 20 0 15 0 443863281 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10834680 memory=8695216647258100950 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 336 13081 0 0 1 0 5 3 20 0 15 0 443863281 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10834680 memory=-2895393866193710375 CPUtime=0.09 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 122 13081 0 0 1 0 5 3 20 0 15 0 443863282 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10834680 memory=-2127767799640501289 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 13 13081 0 0 0 0 5 3 20 0 15 0 443863283 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336512886240 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10834680 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863283 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336378668544 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10834680 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10834680 memory=6655300316396806240 CPUtime=0.37 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 1069 13081 0 0 29 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10834680 memory=-4051592751533505334 CPUtime=0.3 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 704 13081 0 0 22 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10834680 memory=808 CPUtime=0.48 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) R 25556 25559 24657 0 -1 4202560 1439 13081 0 0 40 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336587975928 140337047874658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10834680 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10834680 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1 13081 0 0 0 0 5 3 20 0 15 0 443863286 11094712320 44252 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 177008 KiB
[startup+3.11052 s]
/proc/loadavg: 1.48 1.42 1.46 5/228 25625
/proc/meminfo: memFree=29391688/32770624 swapFree=66953060/67108860
[pid=25559] ppid=25556 vsize=10842892 memory=281356 CPUtime=7.13 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 39988 13081 0 0 689 16 5 3 20 0 15 0 443863269 11103121408 70339 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2710723 70339 3608 1 0 2672781 0
[pid=25559/tid=25612] ppid=25556 vsize=10842892 memory=280225275647936 CPUtime=3.01 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 21404 13081 0 0 285 8 5 3 20 0 15 0 443863280 11103121408 70339 33554432000 4194304 4196468 140720773982768 140337036336728 140336672103350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
################
# More data... #
################
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 66132 13081 0 0 223763 46 5 3 20 0 15 0 443863280 11107315712 173285 33554432000 4194304 4196468 140720773982768 140337036341088 140336682774586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10846988 memory=708528 CPUtime=13.2 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 16286 13081 0 0 1265 47 5 3 20 0 15 0 443863281 11107315712 173285 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10846988 memory=712120 CPUtime=13.19 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 16942 13081 0 0 1266 45 5 3 20 0 15 0 443863281 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10846988 memory=708528 CPUtime=13.19 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 20049 13081 0 0 1267 44 5 3 20 0 15 0 443863281 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10846988 memory=703912 CPUtime=13.14 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 16393 13081 0 0 1261 45 5 3 20 0 15 0 443863281 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10846988 memory=698268 CPUtime=8.53 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 16839 13081 0 0 792 53 5 3 20 0 15 0 443863282 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10846988 memory=280225275790528 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 18 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336512886240 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10846988 memory=696732 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 7 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336378668544 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10846988 memory=694164 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10846988 memory=696216 CPUtime=5.23 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 9740 13081 0 0 513 2 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10846988 memory=695704 CPUtime=5.17 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 10140 13081 0 0 504 5 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10846988 memory=1554044 CPUtime=2.19 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 14269 13081 0 0 207 4 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10846988 memory=1808 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10846988 memory=3472468390877579162 CPUtime=1.42 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1026 13081 0 0 67 67 5 3 20 0 15 0 443863286 11107315712 173285 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 2312.83 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 693140 KiB
[startup+2322.3 s]
/proc/loadavg: 1.40 1.40 1.41 3/227 25964
/proc/meminfo: memFree=28485404/32770624 swapFree=66953064/67108860
[pid=25559] ppid=25556 vsize=10846988 memory=680944 CPUtime=2373.99 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 191474 13081 0 0 237066 325 5 3 20 0 15 0 443863269 11107315712 170236 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2711747 170236 3631 1 0 2673805 0
[pid=25559/tid=25612] ppid=25556 vsize=10846988 memory=681968 CPUtime=2297.49 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 66715 13081 0 0 229694 47 5 3 20 0 15 0 443863280 11107315712 170236 33554432000 4194304 4196468 140720773982768 140337036341392 140336681516654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10846988 memory=681460 CPUtime=13.59 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 16358 13081 0 0 1303 48 5 3 20 0 15 0 443863281 11107315712 170236 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10846988 memory=689596 CPUtime=13.59 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 17109 13081 0 0 1305 46 5 3 20 0 15 0 443863281 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10846988 memory=685056 CPUtime=13.58 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 20129 13081 0 0 1305 45 5 3 20 0 15 0 443863281 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10846988 memory=683516 CPUtime=13.53 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 16681 13081 0 0 1299 46 5 3 20 0 15 0 443863281 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10846988 memory=683004 CPUtime=8.76 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 17049 13081 0 0 813 55 5 3 20 0 15 0 443863282 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10846988 memory=681972 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 18 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336512886240 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10846988 memory=680944 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 7 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336378668544 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10846988 memory=681456 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10846988 memory=681968 CPUtime=5.23 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 9742 13081 0 0 513 2 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10846988 memory=524 CPUtime=5.17 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 10142 13081 0 0 504 5 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10846988 memory=1568 CPUtime=2.19 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 14271 13081 0 0 207 4 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10846988 memory=681456 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10846988 memory=680948 CPUtime=1.46 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1043 13081 0 0 69 69 5 3 20 0 15 0 443863286 11107315712 170236 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 2373.99 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 680944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2347.9 s]
/proc/loadavg: 1.61 1.45 1.43 3/227 25966
/proc/meminfo: memFree=28501976/32770624 swapFree=66953064/67108860
[pid=25559] ppid=25556 vsize=10846988 memory=664248 CPUtime=2400.06 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 192204 13081 0 0 239669 329 5 3 20 0 15 0 443863269 11107315712 166062 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2711747 166062 3631 1 0 2673805 0
[pid=25559/tid=25612] ppid=25556 vsize=10846988 memory=685056 CPUtime=2322.81 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 67035 13081 0 0 232226 47 5 3 20 0 15 0 443863280 11107315712 166062 33554432000 4194304 4196468 140720773982768 140337036340992 140336683365904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10846988 memory=681968 CPUtime=13.76 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 16407 13081 0 0 1319 49 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10846988 memory=675352 CPUtime=13.75 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 17301 13081 0 0 1320 47 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10846988 memory=111950537165034 CPUtime=13.75 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 20214 13081 0 0 1321 46 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10846988 memory=666632 CPUtime=13.7 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 16743 13081 0 0 1315 47 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10846988 memory=667652 CPUtime=8.85 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 17067 13081 0 0 821 56 5 3 20 0 15 0 443863282 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10846988 memory=683516 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 18 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336512886240 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10846988 memory=667652 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 7 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336378668544 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10846988 memory=666628 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10846988 memory=665600 CPUtime=5.23 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 9742 13081 0 0 513 2 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10846988 memory=679456 CPUtime=5.17 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 10142 13081 0 0 504 5 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10846988 memory=664752 CPUtime=2.19 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 14271 13081 0 0 207 4 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10846988 memory=665600 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10846988 memory=666116 CPUtime=1.47 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1047 13081 0 0 69 70 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 664248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2347.93 s]
# the end of solver process 25559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.77 s, system=3.33799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2347.9 s]
/proc/loadavg: 1.61 1.45 1.43 3/227 25966
/proc/meminfo: memFree=28501976/32770624 swapFree=66953064/67108860
[pid=25559] ppid=25556 vsize=10846988 memory=664248 CPUtime=2400.06 cores=0,2,4,6
/proc/25559/stat : 25559 (java) S 25556 25559 24657 0 -1 1077944320 192204 13081 0 0 239669 329 5 3 20 0 15 0 443863269 11107315712 166062 33554432000 4194304 4196468 140720773982768 140720773965312 140337064505079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
/proc/25559/statm: 2711747 166062 3631 1 0 2673805 0
[pid=25559/tid=25612] ppid=25556 vsize=10846988 memory=685056 CPUtime=2322.81 cores=0,2,4,6
/proc/25559/task/25612/stat : 25612 (java) R 25556 25559 24657 0 -1 4202560 67035 13081 0 0 232226 47 5 3 20 0 15 0 443863280 11107315712 166062 33554432000 4194304 4196468 140720773982768 140337036340992 140336683365904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25613] ppid=25556 vsize=10846988 memory=681968 CPUtime=13.76 cores=0,2,4,6
/proc/25559/task/25613/stat : 25613 (java) S 25556 25559 24657 0 -1 1077944384 16407 13081 0 0 1319 49 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140337068747024 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25614] ppid=25556 vsize=10846988 memory=675352 CPUtime=13.75 cores=0,2,4,6
/proc/25559/task/25614/stat : 25614 (java) S 25556 25559 24657 0 -1 1077944384 17301 13081 0 0 1320 47 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336637335952 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25615] ppid=25556 vsize=10846988 memory=111950537165034 CPUtime=13.75 cores=0,2,4,6
/proc/25559/task/25615/stat : 25615 (java) S 25556 25559 24657 0 -1 1077944384 20214 13081 0 0 1321 46 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336636283408 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25616] ppid=25556 vsize=10846988 memory=666632 CPUtime=13.7 cores=0,2,4,6
/proc/25559/task/25616/stat : 25616 (java) S 25556 25559 24657 0 -1 1077944384 16743 13081 0 0 1315 47 5 3 20 0 15 0 443863281 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336635230864 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25617] ppid=25556 vsize=10846988 memory=667652 CPUtime=8.85 cores=0,2,4,6
/proc/25559/task/25617/stat : 25617 (java) S 25556 25559 24657 0 -1 1077944384 17067 13081 0 0 821 56 5 3 20 0 15 0 443863282 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336591137264 140337064516226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25618] ppid=25556 vsize=10846988 memory=683516 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25618/stat : 25618 (java) S 25556 25559 24657 0 -1 1077944384 18 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336512886240 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25619] ppid=25556 vsize=10846988 memory=667652 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25619/stat : 25619 (java) S 25556 25559 24657 0 -1 1077944384 7 13081 0 0 0 0 5 3 20 0 15 0 443863283 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336378668544 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25620] ppid=25556 vsize=10846988 memory=666628 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25620/stat : 25620 (java) S 25556 25559 24657 0 -1 1077944384 2 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140335774690000 140337064523675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25621] ppid=25556 vsize=10846988 memory=665600 CPUtime=5.23 cores=0,2,4,6
/proc/25559/task/25621/stat : 25621 (java) S 25556 25559 24657 0 -1 1077944384 9742 13081 0 0 513 2 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336590084080 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25622] ppid=25556 vsize=10846988 memory=679456 CPUtime=5.17 cores=0,2,4,6
/proc/25559/task/25622/stat : 25622 (java) S 25556 25559 24657 0 -1 1077944384 10142 13081 0 0 504 5 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336589031536 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25623] ppid=25556 vsize=10846988 memory=664752 CPUtime=2.19 cores=0,2,4,6
/proc/25559/task/25623/stat : 25623 (java) S 25556 25559 24657 0 -1 1077944384 14271 13081 0 0 207 4 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336587978992 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25624] ppid=25556 vsize=10846988 memory=665600 CPUtime=0.08 cores=0,2,4,6
/proc/25559/task/25624/stat : 25624 (java) S 25556 25559 24657 0 -1 1077944384 3 13081 0 0 0 0 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140335304927840 140337064515285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
[pid=25559/tid=25625] ppid=25556 vsize=10846988 memory=666116 CPUtime=1.47 cores=0,2,4,6
/proc/25559/task/25625/stat : 25625 (java) S 25556 25559 24657 0 -1 1077944384 1047 13081 0 0 69 70 5 3 20 0 15 0 443863286 11107315712 166062 33554432000 4194304 4196468 140720773982768 140336586926896 140337064516226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140720773987055 140720773989573 140720773989573 140720773992399 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 664248 KiB
Child status: 143
Real time (s): 2347.93
CPU time (s): 2400.11
CPU user time (s): 2396.77
CPU system time (s): 3.33799
CPU usage (%): 102.222
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1472364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.77
system time used= 3.33799
maximum resident set size= 1474908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206398
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236313
involuntary context switches= 7736
# summary of solver processes directly reported to runsolver:
# pid: 25559
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.77
# total CPU system time (s): 3.33799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9954 second user time and 18.4925 second system time
The end