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 (12904 MiB free)
memory of node 1: 16384 MiB (14129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401246-1568684765/watcher-4401246-1568684765 -o /tmp/evaluation-result-4401246-1568684765/solver-4401246-1568684765 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17352 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4401246-1568684765.xml
running on 4 cores: 1,3,5,7
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=20786, runsolver pid=20783
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.08 1.53 1.39 3/218 20843
/proc/meminfo: memFree=27674456/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=9972712 memory=17348 CPUtime=0.09 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 4561 13058 0 0 1 0 5 3 20 0 6 0 444416674 10212057088 4337 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2493178 4337 1958 1 0 2481616 0
[pid=20786/tid=20839] ppid=20783 vsize=9988792 memory=4279135704047321230 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 2398 13058 0 0 1 0 5 3 20 0 6 0 444416683 10228523008 4337 33554432000 4194304 4196468 140735864216672 139792393491024 139792405414096 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=9988792 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444416684 10228523008 4337 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=9988792 memory=140041152333440 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444416684 10228523008 4337 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444416684 10228523008 4337 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 6 0 444416684 10228523008 4337 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17348 KiB
[startup+0.209988 s]*
/proc/loadavg: 2.08 1.53 1.39 4/227 20852
/proc/meminfo: memFree=27651324/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10820196 memory=46832 CPUtime=0.28 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 7465 13058 0 0 18 2 5 3 20 0 15 0 444416674 11079880704 11708 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2705049 11708 3301 1 0 2667149 0
[pid=20786/tid=20839] ppid=20783 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 3966 13058 0 0 10 1 5 3 20 0 15 0 444416683 11079880704 11708 33554432000 4194304 4196468 140735864216672 139792393486544 139792421676189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10820196 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 11708 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10820196 memory=140041152352582 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 11708 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 11708 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10820196 memory=140041152333440 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416685 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444416686 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791857345312 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416686 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791723127920 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) R 20783 20786 17320 0 -1 4202560 472 13058 0 0 1 0 5 3 20 0 15 0 444416688 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791947266672 139792398914928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 186 13058 0 0 0 0 5 3 20 0 15 0 444416689 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10820196 memory=140041152333440 CPUtime=0.11 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 610 13058 0 0 3 0 5 3 20 0 15 0 444416689 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11079880704 11708 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10820196 memory=140041152333440 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416689 11079880704 11708 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46832 KiB
[startup+0.310507 s]*
/proc/loadavg: 2.08 1.53 1.39 3/227 20852
/proc/meminfo: memFree=27638736/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10820196 memory=54864 CPUtime=0.41 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 10926 13058 0 0 29 4 5 3 20 0 15 0 444416674 11079880704 13716 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2705049 13716 3312 1 0 2667149 0
[pid=20786/tid=20839] ppid=20783 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 7416 13058 0 0 19 3 5 3 20 0 15 0 444416683 11079880704 13716 33554432000 4194304 4196468 140735864216672 139792393471888 139792421676189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 13716 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 13716 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 13716 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416684 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416685 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444416686 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791857345312 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416686 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791723127920 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 472 13058 0 0 2 0 5 3 20 0 15 0 444416688 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 187 13058 0 0 1 0 5 3 20 0 15 0 444416689 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10820196 memory=140041152333440 CPUtime=0.13 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 618 13058 0 0 5 0 5 3 20 0 15 0 444416689 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11079880704 13716 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10820196 memory=140041152333440 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416689 11079880704 13716 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54864 KiB
[startup+0.701367 s]
/proc/loadavg: 2.08 1.53 1.39 3/227 20852
/proc/meminfo: memFree=27624200/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10824364 memory=88112 CPUtime=1.13 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 15176 13058 0 0 100 5 5 3 20 0 15 0 444416674 11084148736 22028 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2706091 22028 3515 1 0 2668173 0
[pid=20786/tid=20839] ppid=20783 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 10548 13058 0 0 55 4 5 3 20 0 15 0 444416683 11084148736 22028 33554432000 4194304 4196468 140735864216672 139792393479776 139792421676285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11084148736 22028 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11084148736 22028 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10824364 memory=140041032708912 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416684 11084148736 22028 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10824364 memory=140041703653956 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416684 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10824364 memory=2828 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 5 13058 0 0 0 0 5 3 20 0 15 0 444416685 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10824364 memory=7302135314614015848 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444416686 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791857345312 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10824364 memory=7739276948478061159 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416686 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791723127920 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10824364 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10824364 memory=25656 CPUtime=0.2 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) R 20783 20786 17320 0 -1 4202560 890 13058 0 0 12 0 5 3 20 0 15 0 444416688 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791947253488 139792401349401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10824364 memory=14048 CPUtime=0.21 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 692 13058 0 0 13 0 5 3 20 0 15 0 444416689 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10824364 memory=2124 CPUtime=0.25 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) R 20783 20786 17320 0 -1 4202560 810 13058 0 0 17 0 5 3 20 0 15 0 444416689 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791945161712 139792400788759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10824364 memory=500 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11084148736 22028 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10824364 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416689 11084148736 22028 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88112 KiB
[startup+1.50076 s]
/proc/loadavg: 2.08 1.53 1.39 3/227 20852
/proc/meminfo: memFree=27583552/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10834680 memory=179428 CPUtime=2.5 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 21854 13058 0 0 231 11 5 3 20 0 15 0 444416674 11094712320 44857 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2708670 44857 3585 1 0 2670733 0
[pid=20786/tid=20839] ppid=20783 vsize=10834680 memory=71872 CPUtime=1.43 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 15327 13058 0 0 129 6 5 3 20 0 15 0 444416683 11094712320 44857 33554432000 4194304 4196468 140735864216672 139792393470784 139792405734750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 42 13058 0 0 1 0 5 3 20 0 15 0 444416684 11094712320 44857 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10834680 memory=280082065449120 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 54 13058 0 0 1 0 5 3 20 0 15 0 444416684 11094712320 44857 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 307 13058 0 0 1 0 5 3 20 0 15 0 444416684 11094712320 44857 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 76 13058 0 0 1 0 5 3 20 0 15 0 444416684 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 142 13058 0 0 1 0 5 3 20 0 15 0 444416685 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 14 13058 0 0 0 0 5 3 20 0 15 0 444416686 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791857345376 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416686 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791723127936 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10834680 memory=-1088251628401078322 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 1176 13058 0 0 26 0 5 3 20 0 15 0 444416688 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10834680 memory=10 CPUtime=0.33 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 886 13058 0 0 25 0 5 3 20 0 15 0 444416689 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10834680 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 1618 13058 0 0 41 1 5 3 20 0 15 0 444416689 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10834680 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11094712320 44857 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10834680 memory=280082065693632 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444416689 11094712320 44857 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 66449 13058 0 0 223545 59 5 3 20 0 15 0 444416683 11107315712 261794 33554432000 4194304 4196468 140735864216672 139792393490544 139792027401860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10846988 memory=1047176 CPUtime=11.96 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 16195 13058 0 0 1132 56 5 3 20 0 15 0 444416684 11107315712 261794 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10846988 memory=1047176 CPUtime=11.92 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 19644 13058 0 0 1124 60 5 3 20 0 15 0 444416684 11107315712 261794 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10846988 memory=1047176 CPUtime=11.92 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 15067 13058 0 0 1127 57 5 3 20 0 15 0 444416684 11107315712 261794 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10846988 memory=1047176 CPUtime=11.95 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 14584 13058 0 0 1126 61 5 3 20 0 15 0 444416684 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10846988 memory=1047176 CPUtime=10.74 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 18434 13058 0 0 1008 58 5 3 20 0 15 0 444416685 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10846988 memory=1047176 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 19 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791857345440 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10846988 memory=229512 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 9 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791723127936 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10846988 memory=1047176 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10846988 memory=1047176 CPUtime=4.07 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 14927 13058 0 0 397 2 5 3 20 0 15 0 444416688 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10846988 memory=1047176 CPUtime=4.37 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 9826 13058 0 0 427 2 5 3 20 0 15 0 444416689 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10846988 memory=1047176 CPUtime=2.15 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 13577 13058 0 0 203 4 5 3 20 0 15 0 444416689 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10846988 memory=1047176 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11107315712 261794 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10846988 memory=48104 CPUtime=1.47 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 996 13058 0 0 62 77 5 3 20 0 15 0 444416689 11107315712 261794 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 2306.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047176 KiB
[startup+2322.3 s]
/proc/loadavg: 1.22 1.35 1.40 3/227 21237
/proc/meminfo: memFree=26639808/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10846988 memory=1047252 CPUtime=2366.94 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 194062 13058 0 0 236312 374 5 3 20 0 15 0 444416674 11107315712 261813 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2711747 261813 3626 1 0 2673805 0
[pid=20786/tid=20839] ppid=20783 vsize=10846988 memory=1047252 CPUtime=2295.44 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 67232 13058 0 0 229477 59 5 3 20 0 15 0 444416683 11107315712 261813 33554432000 4194304 4196468 140735864216672 139792393490544 139792026616327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10846988 memory=1047252 CPUtime=12.27 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 16275 13058 0 0 1162 57 5 3 20 0 15 0 444416684 11107315712 261813 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10846988 memory=1047252 CPUtime=12.24 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 19713 13058 0 0 1155 61 5 3 20 0 15 0 444416684 11107315712 261813 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10846988 memory=1047252 CPUtime=12.23 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 15121 13058 0 0 1157 58 5 3 20 0 15 0 444416684 11107315712 261813 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10846988 memory=1047252 CPUtime=12.25 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 14946 13058 0 0 1154 63 5 3 20 0 15 0 444416684 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10846988 memory=1047252 CPUtime=11.02 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 18648 13058 0 0 1034 60 5 3 20 0 15 0 444416685 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10846988 memory=1047252 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 19 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791857345440 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10846988 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 9 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791723127936 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10846988 memory=1660 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10846988 memory=1047252 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 15478 13058 0 0 398 2 5 3 20 0 15 0 444416688 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10846988 memory=3848 CPUtime=4.37 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 9828 13058 0 0 427 2 5 3 20 0 15 0 444416689 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10846988 memory=1047252 CPUtime=2.15 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 13579 13058 0 0 203 4 5 3 20 0 15 0 444416689 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10846988 memory=1047252 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11107315712 261813 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10846988 memory=1047252 CPUtime=1.49 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1003 13058 0 0 63 78 5 3 20 0 15 0 444416689 11107315712 261813 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 2366.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.9 s]
/proc/loadavg: 1.30 1.36 1.40 3/227 21241
/proc/meminfo: memFree=26639964/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2400.06 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 195119 13058 0 0 239619 379 5 3 20 0 15 0 444416674 11107315712 261816 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2711747 261816 3626 1 0 2673805 0
[pid=20786/tid=20839] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2327.64 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 67741 13058 0 0 232697 59 5 3 20 0 15 0 444416683 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792393489840 139792027475860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.45 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 16447 13058 0 0 1179 58 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.42 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 19745 13058 0 0 1172 62 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.41 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 15209 13058 0 0 1174 59 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.44 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 14979 13058 0 0 1172 64 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10846988 memory=0 CPUtime=11.19 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 18669 13058 0 0 1050 61 5 3 20 0 15 0 444416685 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10846988 memory=1047252 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 19 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791857345440 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 9 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791723127936 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10846988 memory=1047264 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 15480 13058 0 0 398 2 5 3 20 0 15 0 444416688 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10846988 memory=1047252 CPUtime=4.37 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 10018 13058 0 0 427 2 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2.15 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 13581 13058 0 0 203 4 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10846988 memory=776 CPUtime=1.51 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1011 13058 0 0 64 79 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2354.93 s]
# the end of solver process 20786 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.26 s, system=3.8377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.9 s]
/proc/loadavg: 1.30 1.36 1.40 3/227 21241
/proc/meminfo: memFree=26639964/32770624 swapFree=66959728/67108860
[pid=20786] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2400.06 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20783 20786 17320 0 -1 1077944320 195119 13058 0 0 239619 379 5 3 20 0 15 0 444416674 11107315712 261816 33554432000 4194304 4196468 140735864216672 140735864199216 139792421654263 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
/proc/20786/statm: 2711747 261816 3626 1 0 2673805 0
[pid=20786/tid=20839] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2327.64 cores=1,3,5,7
/proc/20786/task/20839/stat : 20839 (java) R 20783 20786 17320 0 -1 4202560 67741 13058 0 0 232697 59 5 3 20 0 15 0 444416683 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792393489840 139792027475860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20840] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.45 cores=1,3,5,7
/proc/20786/task/20840/stat : 20840 (java) S 20783 20786 17320 0 -1 1077944384 16447 13058 0 0 1179 58 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792425896848 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20841] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.42 cores=1,3,5,7
/proc/20786/task/20841/stat : 20841 (java) S 20783 20786 17320 0 -1 1077944384 19745 13058 0 0 1172 62 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792330099472 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20842] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.41 cores=1,3,5,7
/proc/20786/task/20842/stat : 20842 (java) S 20783 20786 17320 0 -1 1077944384 15209 13058 0 0 1174 59 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139792329047184 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20843] ppid=20783 vsize=10846988 memory=1047264 CPUtime=12.44 cores=1,3,5,7
/proc/20786/task/20843/stat : 20843 (java) S 20783 20786 17320 0 -1 1077944384 14979 13058 0 0 1172 64 5 3 20 0 15 0 444416684 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791992413200 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20844] ppid=20783 vsize=10846988 memory=0 CPUtime=11.19 cores=1,3,5,7
/proc/20786/task/20844/stat : 20844 (java) S 20783 20786 17320 0 -1 1077944384 18669 13058 0 0 1050 61 5 3 20 0 15 0 444416685 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791948318832 139792421665410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20845] ppid=20783 vsize=10846988 memory=1047252 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20845/stat : 20845 (java) S 20783 20786 17320 0 -1 1077944384 19 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791857345440 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20846] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20846/stat : 20846 (java) S 20783 20786 17320 0 -1 1077944384 9 13058 0 0 0 0 5 3 20 0 15 0 444416686 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791723127936 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20847] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20847/stat : 20847 (java) S 20783 20786 17320 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444416688 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791119149136 139792421672859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20848] ppid=20783 vsize=10846988 memory=1047264 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20848/stat : 20848 (java) S 20783 20786 17320 0 -1 1077944384 15480 13058 0 0 398 2 5 3 20 0 15 0 444416688 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791947266672 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20849] ppid=20783 vsize=10846988 memory=1047252 CPUtime=4.37 cores=1,3,5,7
/proc/20786/task/20849/stat : 20849 (java) S 20783 20786 17320 0 -1 1077944384 10018 13058 0 0 427 2 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791946213872 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20850] ppid=20783 vsize=10846988 memory=1047264 CPUtime=2.15 cores=1,3,5,7
/proc/20786/task/20850/stat : 20850 (java) S 20783 20786 17320 0 -1 1077944384 13581 13058 0 0 203 4 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791945161584 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20851] ppid=20783 vsize=10846988 memory=1047264 CPUtime=0.08 cores=1,3,5,7
/proc/20786/task/20851/stat : 20851 (java) S 20783 20786 17320 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139790649388000 139792421664469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
[pid=20786/tid=20852] ppid=20783 vsize=10846988 memory=776 CPUtime=1.51 cores=1,3,5,7
/proc/20786/task/20852/stat : 20852 (java) S 20783 20786 17320 0 -1 1077944384 1011 13058 0 0 64 79 5 3 20 0 15 0 444416689 11107315712 261816 33554432000 4194304 4196468 140735864216672 139791944108464 139792421665410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140735864224495 140735864227013 140735864227013 140735864229839 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047264 KiB
Child status: 143
Real time (s): 2354.93
CPU time (s): 2400.1
CPU user time (s): 2396.26
CPU system time (s): 3.8377
CPU usage (%): 101.918
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1111792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.26
system time used= 3.8377
maximum resident set size= 1111800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289889
involuntary context switches= 7446
# summary of solver processes directly reported to runsolver:
# pid: 20786
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.26
# total CPU system time (s): 3.8377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5594 second user time and 19.1209 second system time
The end