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 (9962 MiB free)
memory of node 1: 16384 MiB (15456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401075-1568689297/watcher-4401075-1568689297 -o /tmp/evaluation-result-4401075-1568689297/solver-4401075-1568689297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13492 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4401075-1568689297.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
Current StackSize limit: 8192 KiB
solver pid=17653, runsolver pid=17650
[startup+0.100097 s]*
/proc/loadavg: 1.53 1.42 1.43 3/217 17699
/proc/meminfo: memFree=26028392/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=141156 memory=5216 CPUtime=0.07 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 2520 13311 0 0 0 0 5 2 20 0 2 0 445168424 144543744 1304 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 35289 1304 974 1 0 24747 0
[pid=17653/tid=17706] ppid=17650 vsize=141156 memory=4630099147014177165 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) S 17650 17653 13460 0 -1 1077944384 310 13311 0 0 0 0 5 2 20 0 2 0 445168435 144543744 1304 33554432000 4194304 4196468 140733714785072 139653111035280 139653131890173 0 0 0 16784584 18446744071581020693 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 141156 KiB
Current children cumulated memory: 5216 KiB
[startup+0.210029 s]*
/proc/loadavg: 1.53 1.42 1.43 4/229 17719
/proc/meminfo: memFree=26011104/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10819712 memory=34644 CPUtime=0.2 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 7022 13311 0 0 11 2 5 2 20 0 15 0 445168424 11079385088 8661 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2704928 8661 3148 1 0 2667149 0
[pid=17653/tid=17706] ppid=17650 vsize=10819712 memory=-8540663193526752614 CPUtime=0.15 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 3512 13311 0 0 7 1 5 2 20 0 15 0 445168435 11079385088 8661 33554432000 4194304 4196468 140733714785072 139653111026224 139652742301860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10819712 memory=4211973512958557578 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079385088 8661 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10819712 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079385088 8661 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 2 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10819712 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 2 13311 0 0 0 0 5 2 20 0 15 0 445168437 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 33 13311 0 0 0 0 5 2 20 0 15 0 445168437 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652597626528 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168438 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652002473200 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079385088 8661 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) R 17650 17653 13460 0 -1 4202560 349 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652564068592 139653117585266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) R 17650 17653 13460 0 -1 1077944384 278 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10819712 memory=139786753767040 CPUtime=0.09 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) R 17650 17653 13460 0 -1 4202560 629 13311 0 0 2 0 5 2 20 0 15 0 445168441 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652561959928 139653132293438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079385088 8661 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10819712 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168442 11079385088 8661 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 34644 KiB
[startup+0.31113 s]*
/proc/loadavg: 1.53 1.42 1.43 3/229 17719
/proc/meminfo: memFree=25995980/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10820196 memory=46564 CPUtime=0.36 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 10362 13311 0 0 26 3 5 2 20 0 15 0 445168424 11079880704 11641 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2705049 11641 3345 1 0 2667149 0
[pid=17653/tid=17706] ppid=17650 vsize=10820196 memory=279573245859448 CPUtime=0.25 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 6713 13311 0 0 16 2 5 2 20 0 15 0 445168435 11079880704 11641 33554432000 4194304 4196468 140733714785072 139653110995376 139653139215517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10820196 memory=3977295499677481552 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079880704 11641 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10820196 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079880704 11641 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 2 13311 0 0 0 0 5 2 20 0 15 0 445168436 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10820196 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 2 13311 0 0 0 0 5 2 20 0 15 0 445168437 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 33 13311 0 0 0 0 5 2 20 0 15 0 445168437 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652597626528 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10820196 memory=139786753767040 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168438 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652002473200 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079880704 11641 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) R 17650 17653 13460 0 -1 4202560 376 13311 0 0 2 0 5 2 20 0 15 0 445168441 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652564068592 139653123171053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) R 17650 17653 13460 0 -1 1077944384 331 13311 0 0 1 0 5 2 20 0 15 0 445168441 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) S 17650 17653 13460 0 -1 1077944384 687 13311 0 0 5 0 5 2 20 0 15 0 445168441 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652561962992 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11079880704 11641 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168442 11079880704 11641 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46564 KiB
[startup+0.700725 s]
/proc/loadavg: 1.53 1.42 1.43 3/229 17719
/proc/meminfo: memFree=25981680/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10822316 memory=77612 CPUtime=1.02 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 15200 13311 0 0 90 5 5 2 20 0 15 0 445168424 11082051584 19403 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2705579 19403 3509 1 0 2667661 0
[pid=17653/tid=17706] ppid=17650 vsize=10822316 memory=53 CPUtime=0.63 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 10292 13311 0 0 52 4 5 2 20 0 15 0 445168435 11082051584 19403 33554432000 4194304 4196468 140733714785072 139653111021920 139653139215517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10822316 memory=92 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11082051584 19403 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10822316 memory=3 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11082051584 19403 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168436 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 2 13311 0 0 0 0 5 2 20 0 15 0 445168436 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 5 13311 0 0 0 0 5 2 20 0 15 0 445168437 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 33 13311 0 0 0 0 5 2 20 0 15 0 445168437 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652597626528 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10822316 memory=8104553123276731697 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168438 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652002473200 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10822316 memory=7738703961521417024 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11082051584 19403 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10822316 memory=5859853075905800022 CPUtime=0.16 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) R 17650 17653 13460 0 -1 4202560 815 13311 0 0 9 0 5 2 20 0 15 0 445168441 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10822316 memory=4638778398333556840 CPUtime=0.18 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) R 17650 17653 13460 0 -1 4202560 821 13311 0 0 11 0 5 2 20 0 15 0 445168441 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652563016048 139653139205526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10822316 memory=7100839878645619564 CPUtime=0.23 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) R 17650 17653 13460 0 -1 4202560 1011 13311 0 0 16 0 5 2 20 0 15 0 445168441 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652561962992 139653139214938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11082051584 19403 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168442 11082051584 19403 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 77612 KiB
[startup+1.50065 s]
/proc/loadavg: 1.57 1.43 1.44 3/229 17719
/proc/meminfo: memFree=25939060/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10834680 memory=167580 CPUtime=2.32 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 21997 13311 0 0 215 10 5 2 20 0 15 0 445168424 11094712320 41895 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2708670 41895 3575 1 0 2670733 0
[pid=17653/tid=17706] ppid=17650 vsize=10834680 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 15271 13311 0 0 126 6 5 2 20 0 15 0 445168435 11094712320 41895 33554432000 4194304 4196468 140733714785072 139653110987776 139653139205526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10834680 memory=91528 CPUtime=0.08 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 26 13311 0 0 1 0 5 2 20 0 15 0 445168436 11094712320 41895 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 400 13311 0 0 0 0 5 2 20 0 15 0 445168436 11094712320 41895 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10834680 memory=279573245803328 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 88 13311 0 0 0 0 5 2 20 0 15 0 445168436 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 60 13311 0 0 1 0 5 2 20 0 15 0 445168436 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 184 13311 0 0 1 0 5 2 20 0 15 0 445168437 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 34 13311 0 0 0 0 5 2 20 0 15 0 445168437 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652597626592 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168438 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652002473200 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11094712320 41895 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10834680 memory=4580 CPUtime=0.28 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) S 17650 17653 13460 0 -1 1077944384 943 13311 0 0 21 0 5 2 20 0 15 0 445168441 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10834680 memory=7307484464653363287 CPUtime=0.31 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) S 17650 17653 13460 0 -1 1077944384 956 13311 0 0 24 0 5 2 20 0 15 0 445168441 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10834680 memory=11524553529 CPUtime=0.43 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) R 17650 17653 13460 0 -1 4202560 1819 13311 0 0 36 0 5 2 20 0 15 0 445168441 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652561962992 139653120603599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10834680 memory=139786623139298 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11094712320 41895 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1 13311 0 0 0 0 5 2 20 0 15 0 445168442 11094712320 41895 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 167580 KiB
[startup+3.11049 s]
/proc/loadavg: 1.57 1.43 1.44 5/229 17741
/proc/meminfo: memFree=25785764/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10849048 memory=261112 CPUtime=6.61 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 39398 13311 0 0 636 18 5 2 20 0 15 0 445168424 11109425152 65278 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2712262 65278 3611 1 0 2674317 0
################
# More data... #
################
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 68203 13311 0 0 235474 49 5 2 20 0 15 0 445168435 11109425152 217359 33554432000 4194304 4196468 140733714785072 139653111028672 139652753535300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10849048 memory=869436 CPUtime=12.53 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 13737 13311 0 0 1182 64 5 2 20 0 15 0 445168436 11109425152 217359 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10849048 memory=869436 CPUtime=12.48 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 12367 13311 0 0 1184 57 5 2 20 0 15 0 445168436 11109425152 217359 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10849048 memory=869436 CPUtime=12.51 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 14722 13311 0 0 1181 63 5 2 20 0 15 0 445168436 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10849048 memory=869436 CPUtime=12.51 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 12246 13311 0 0 1182 62 5 2 20 0 15 0 445168436 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10849048 memory=869436 CPUtime=11.45 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 14484 13311 0 0 1081 57 5 2 20 0 15 0 445168437 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10849048 memory=869436 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 43 13311 0 0 0 0 5 2 20 0 15 0 445168437 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652597626592 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10849048 memory=279573246053376 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 13 13311 0 0 0 0 5 2 20 0 15 0 445168438 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652002473216 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10849048 memory=869436 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217359 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10849048 memory=3620 CPUtime=3.87 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) S 17650 17653 13460 0 -1 1077944384 24423 13311 0 0 376 4 5 2 20 0 15 0 445168441 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10849048 memory=624 CPUtime=4.27 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) S 17650 17653 13460 0 -1 1077944384 16482 13311 0 0 416 4 5 2 20 0 15 0 445168441 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10849048 memory=4004 CPUtime=3.68 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) S 17650 17653 13460 0 -1 1077944384 26985 13311 0 0 355 6 5 2 20 0 15 0 445168441 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652561962992 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10849048 memory=869436 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217359 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10849048 memory=869436 CPUtime=1.36 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1539 13311 0 0 61 68 5 2 20 0 15 0 445168442 11109425152 217359 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 2429.44 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 869436 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.33 1.40 3/228 18476
/proc/meminfo: memFree=25436716/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10849048 memory=871484 CPUtime=2490.41 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 208914 13311 0 0 248658 376 5 2 20 0 15 0 445168424 11109425152 217871 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2712262 217871 3628 1 0 2674317 0
[pid=17653/tid=17706] ppid=17650 vsize=10849048 memory=871484 CPUtime=2414.63 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 68956 13311 0 0 241406 50 5 2 20 0 15 0 445168435 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653111028592 139652753536329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10849048 memory=780 CPUtime=12.86 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 13762 13311 0 0 1214 65 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10849048 memory=871484 CPUtime=12.81 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 12440 13311 0 0 1215 59 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10849048 memory=869436 CPUtime=12.84 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 14771 13311 0 0 1213 64 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10849048 memory=871484 CPUtime=12.84 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 12577 13311 0 0 1214 63 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10849048 memory=871484 CPUtime=11.74 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 14684 13311 0 0 1108 59 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 43 13311 0 0 0 0 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652597626592 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 13 13311 0 0 0 0 5 2 20 0 15 0 445168438 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652002473216 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10849048 memory=871484 CPUtime=3.87 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) S 17650 17653 13460 0 -1 1077944384 24425 13311 0 0 376 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10849048 memory=871484 CPUtime=4.27 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) S 17650 17653 13460 0 -1 1077944384 16484 13311 0 0 416 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10849048 memory=988 CPUtime=3.68 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) S 17650 17653 13460 0 -1 1077944384 26987 13311 0 0 355 6 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652561962992 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10849048 memory=871484 CPUtime=1.39 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1556 13311 0 0 63 69 5 2 20 0 15 0 445168442 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 2490.41 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 871484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.5 s]
/proc/loadavg: 1.40 1.34 1.40 3/229 18479
/proc/meminfo: memFree=25437812/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10849048 memory=871484 CPUtime=2520.1 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 209459 13311 0 0 251623 380 5 2 20 0 15 0 445168424 11109425152 217871 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2712262 217871 3628 1 0 2674317 0
[pid=17653/tid=17706] ppid=17650 vsize=10849048 memory=871484 CPUtime=2443.49 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 69267 13311 0 0 244292 50 5 2 20 0 15 0 445168435 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653111029280 139652753530115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10849048 memory=871484 CPUtime=13.03 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 13837 13311 0 0 1230 66 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10849048 memory=871484 CPUtime=12.98 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 12466 13311 0 0 1231 60 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10849048 memory=871484 CPUtime=13.01 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 14824 13311 0 0 1229 65 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10849048 memory=871484 CPUtime=13 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 12580 13311 0 0 1229 64 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10849048 memory=871484 CPUtime=11.88 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 14746 13311 0 0 1122 59 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 43 13311 0 0 0 0 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652597626592 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10849048 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 13 13311 0 0 0 0 5 2 20 0 15 0 445168438 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652002473216 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10849048 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10849048 memory=1720 CPUtime=3.87 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) S 17650 17653 13460 0 -1 1077944384 24425 13311 0 0 376 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10849048 memory=6791534058613427641 CPUtime=4.27 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) S 17650 17653 13460 0 -1 1077944384 16484 13311 0 0 416 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10849048 memory=14012 CPUtime=3.68 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) S 17650 17653 13460 0 -1 1077944384 26987 13311 0 0 355 6 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652561962992 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10849048 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10849048 memory=47744 CPUtime=1.41 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1571 13311 0 0 64 70 5 2 20 0 15 0 445168442 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 871484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.53 s]
# the end of solver process 17653 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.3 s, system=3.84422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.5 s]
/proc/loadavg: 1.40 1.34 1.40 3/229 18479
/proc/meminfo: memFree=25437812/32770624 swapFree=66941520/67108860
[pid=17653] ppid=17650 vsize=10849048 memory=871484 CPUtime=2520.1 cores=1,3,5,7
/proc/17653/stat : 17653 (java) S 17650 17653 13460 0 -1 1077944320 209459 13311 0 0 251623 380 5 2 20 0 15 0 445168424 11109425152 217871 33554432000 4194304 4196468 140733714785072 140733714767616 139653139193591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
/proc/17653/statm: 2712262 217871 3628 1 0 2674317 0
[pid=17653/tid=17706] ppid=17650 vsize=10849048 memory=871484 CPUtime=2443.49 cores=1,3,5,7
/proc/17653/task/17706/stat : 17706 (java) R 17650 17653 13460 0 -1 4202560 69267 13311 0 0 244292 50 5 2 20 0 15 0 445168435 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653111029280 139652753530115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17707] ppid=17650 vsize=10849048 memory=871484 CPUtime=13.03 cores=1,3,5,7
/proc/17653/task/17707/stat : 17707 (java) S 17650 17653 13460 0 -1 1077944384 13837 13311 0 0 1230 66 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653143435792 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17708] ppid=17650 vsize=10849048 memory=871484 CPUtime=12.98 cores=1,3,5,7
/proc/17653/task/17708/stat : 17708 (java) S 17650 17653 13460 0 -1 1077944384 12466 13311 0 0 1231 60 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139653077478032 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17709] ppid=17650 vsize=10849048 memory=871484 CPUtime=13.01 cores=1,3,5,7
/proc/17653/task/17709/stat : 17709 (java) S 17650 17653 13460 0 -1 1077944384 14824 13311 0 0 1229 65 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652711680272 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17710] ppid=17650 vsize=10849048 memory=871484 CPUtime=13 cores=1,3,5,7
/proc/17653/task/17710/stat : 17710 (java) S 17650 17653 13460 0 -1 1077944384 12580 13311 0 0 1229 64 5 2 20 0 15 0 445168436 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652710627728 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17711] ppid=17650 vsize=10849048 memory=871484 CPUtime=11.88 cores=1,3,5,7
/proc/17653/task/17711/stat : 17711 (java) S 17650 17653 13460 0 -1 1077944384 14746 13311 0 0 1122 59 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652598680304 139653139204738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17712] ppid=17650 vsize=10849048 memory=871484 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17712/stat : 17712 (java) S 17650 17653 13460 0 -1 1077944384 43 13311 0 0 0 0 5 2 20 0 15 0 445168437 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652597626592 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17713] ppid=17650 vsize=10849048 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17713/stat : 17713 (java) S 17650 17653 13460 0 -1 1077944384 13 13311 0 0 0 0 5 2 20 0 15 0 445168438 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652002473216 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17714] ppid=17650 vsize=10849048 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17714/stat : 17714 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651695073744 139653139212187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17715] ppid=17650 vsize=10849048 memory=1720 CPUtime=3.87 cores=1,3,5,7
/proc/17653/task/17715/stat : 17715 (java) S 17650 17653 13460 0 -1 1077944384 24425 13311 0 0 376 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652564068592 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17716] ppid=17650 vsize=10849048 memory=6791534058613427641 CPUtime=4.27 cores=1,3,5,7
/proc/17653/task/17716/stat : 17716 (java) S 17650 17653 13460 0 -1 1077944384 16484 13311 0 0 416 4 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652563016048 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17717] ppid=17650 vsize=10849048 memory=14012 CPUtime=3.68 cores=1,3,5,7
/proc/17653/task/17717/stat : 17717 (java) S 17650 17653 13460 0 -1 1077944384 26987 13311 0 0 355 6 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652561962992 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17718] ppid=17650 vsize=10849048 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/17653/task/17718/stat : 17718 (java) S 17650 17653 13460 0 -1 1077944384 3 13311 0 0 0 0 5 2 20 0 15 0 445168441 11109425152 217871 33554432000 4194304 4196468 140733714785072 139651661515104 139653139203797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
[pid=17653/tid=17719] ppid=17650 vsize=10849048 memory=47744 CPUtime=1.41 cores=1,3,5,7
/proc/17653/task/17719/stat : 17719 (java) S 17650 17653 13460 0 -1 1077944384 1571 13311 0 0 64 70 5 2 20 0 15 0 445168442 11109425152 217871 33554432000 4194304 4196468 140733714785072 139652560911408 139653139204738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140733714791151 140733714793669 140733714793669 140733714796495 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 871484 KiB
Child status: 143
Real time (s): 2471.53
CPU time (s): 2520.15
CPU user time (s): 2516.3
CPU system time (s): 3.84422
CPU usage (%): 101.967
Max. virtual memory (cumulated for all children) (KiB): 10852032
Max. memory (cumulated for all children) (KiB): 871484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.84422
maximum resident set size= 875680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306409
involuntary context switches= 11291
# summary of solver processes directly reported to runsolver:
# pid: 17653
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.3
# total CPU system time (s): 3.84422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8653 second user time and 24.2616 second system time
The end