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 (1337 MiB free)
memory of node 1: 16384 MiB (2396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402611-1568985656/watcher-4402611-1568985656 -o /var/tmp/evaluation-result-4402611-1568985656/solver-4402611-1568985656 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16260 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402611-1568985656.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=20852, runsolver pid=20849
[startup+0.100121 s]*
/proc/loadavg: 1.59 1.52 1.44 3/219 20909
/proc/meminfo: memFree=3818048/32770624 swapFree=66993164/67108860
[pid=20852] ppid=20849 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 4500 13305 0 0 1 0 5 3 20 0 6 0 474833340 10212057088 4269 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2493178 4269 1934 1 0 2481616 0
[pid=20852/tid=20905] ppid=20849 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 2307 13305 0 0 1 0 5 3 20 0 6 0 474833349 10212057088 4269 33554432000 4194304 4196468 140735731267376 139701324026448 139701337872213 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 474833350 10212057088 4269 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=9972712 memory=3546777799762372256 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 474833350 10212057088 4269 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 474833350 10212057088 4269 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 6 0 474833350 10212057088 4269 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.218243 s]*
/proc/loadavg: 1.59 1.52 1.44 4/228 20918
/proc/meminfo: memFree=3792540/32770624 swapFree=66993164/67108860
[pid=20852] ppid=20849 vsize=10821220 memory=48188 CPUtime=0.28 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 9806 13305 0 0 18 2 5 3 20 0 15 0 474833340 11080929280 12047 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2705305 12047 3298 1 0 2667405 0
[pid=20852/tid=20905] ppid=20849 vsize=10821220 memory=753035770744996145 CPUtime=0.2 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 6284 13305 0 0 11 1 5 3 20 0 15 0 474833349 11080929280 12047 33554432000 4194304 4196468 140735731267376 139701324002048 139701344869405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11080929280 12047 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10821220 memory=3546777799762372256 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833350 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833351 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 474833352 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700267378208 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 21 13305 0 0 0 0 5 3 20 0 15 0 474833352 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700233819504 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10821220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 468 13305 0 0 1 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10821220 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 189 13305 0 0 1 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10821220 memory=140071014491776 CPUtime=0.11 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 613 13305 0 0 3 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10821220 memory=140071014491776 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833355 11080929280 12047 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 48188 KiB
[startup+0.310819 s]*
/proc/loadavg: 1.59 1.52 1.44 4/228 20918
/proc/meminfo: memFree=3783696/32770624 swapFree=66993164/67108860
[pid=20852] ppid=20849 vsize=10820196 memory=53028 CPUtime=0.41 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 10945 13305 0 0 30 3 5 3 20 0 15 0 474833340 11079880704 13257 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2705049 13257 3310 1 0 2667149 0
[pid=20852/tid=20905] ppid=20849 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 7415 13305 0 0 19 2 5 3 20 0 15 0 474833349 11079880704 13257 33554432000 4194304 4196468 140735731267376 139701323998608 139701336270174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11079880704 13257 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833350 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10820196 memory=140071014491775 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833351 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 474833352 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700267378208 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 21 13305 0 0 0 0 5 3 20 0 15 0 474833352 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700233819504 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 468 13305 0 0 2 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 190 13305 0 0 1 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10820196 memory=140071014491776 CPUtime=0.13 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 621 13305 0 0 5 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10820196 memory=140071014491776 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833355 11079880704 13257 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53028 KiB
[startup+0.707735 s]
/proc/loadavg: 1.59 1.52 1.44 3/228 20918
/proc/meminfo: memFree=3767444/32770624 swapFree=66993164/67108860
[pid=20852] ppid=20849 vsize=10824364 memory=86216 CPUtime=1.17 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 15279 13305 0 0 105 4 5 3 20 0 15 0 474833340 11084148736 21554 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2706091 21554 3512 1 0 2668173 0
[pid=20852/tid=20905] ppid=20849 vsize=10824364 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 10573 13305 0 0 56 3 5 3 20 0 15 0 474833349 11084148736 21554 33554432000 4194304 4196468 140735731267376 139701324016640 139701352211613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10824364 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11084148736 21554 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10824364 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10824364 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833350 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833350 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 5 13305 0 0 0 0 5 3 20 0 15 0 474833351 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 474833352 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700267378208 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 21 13305 0 0 0 0 5 3 20 0 15 0 474833352 11084148736 21554 33554432000 4194304 4196468 140735731267376 139700233819504 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11085197312 21554 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10825388 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) R 20849 20852 16228 0 -1 4202560 1103 13305 0 0 16 0 5 3 20 0 15 0 474833355 11085197312 21554 33554432000 4194304 4196468 140735731267376 139700877693744 139701345295344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10825388 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 558 13305 0 0 13 0 5 3 20 0 15 0 474833355 11085197312 21554 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10825388 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 790 13305 0 0 17 0 5 3 20 0 15 0 474833355 11085197312 21554 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11085197312 21572 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10824364 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833355 11084148736 21572 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86216 KiB
[startup+1.50273 s]
/proc/loadavg: 1.59 1.52 1.44 7/228 20918
/proc/meminfo: memFree=3691060/32770624 swapFree=66993164/67108860
[pid=20852] ppid=20849 vsize=10826488 memory=217932 CPUtime=3.61 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 21703 13305 0 0 343 10 5 3 20 0 15 0 474833340 11086323712 54483 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2706622 54483 3577 1 0 2668685 0
[pid=20852/tid=20905] ppid=20849 vsize=10826488 memory=140070896013912 CPUtime=1.46 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 11978 13305 0 0 132 6 5 3 20 0 15 0 474833349 11086323712 54483 33554432000 4194304 4196468 140735731267376 139701324020960 139701336270174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 320 13305 0 0 0 0 5 3 20 0 15 0 474833350 11086323712 54483 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10826488 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 22 13305 0 0 0 0 5 3 20 0 15 0 474833350 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10826488 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 51 13305 0 0 0 0 5 3 20 0 15 0 474833350 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10826488 memory=280141792434592 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 63 13305 0 0 0 0 5 3 20 0 15 0 474833350 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10826488 memory=229613246653214 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 97 13305 0 0 0 0 5 3 20 0 15 0 474833351 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 474833352 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700267378208 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10826488 memory=7517785029265819448 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 42 13305 0 0 0 0 5 3 20 0 15 0 474833352 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700233819504 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10826488 memory=-8412658770403813517 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10826488 memory=-7668917182949848256 CPUtime=0.9 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 3207 13305 0 0 82 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10826488 memory=8514726395714956677 CPUtime=0.88 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 2243 13305 0 0 80 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10826488 memory=7100839887184299122 CPUtime=0.52 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) R 20849 20852 16228 0 -1 4202560 1457 13305 0 0 44 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700875604088 139701330705019 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10826488 memory=4628420171383865741 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 474833355 11086323712 54483 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 10826488 KiB
################
# More data... #
################
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 535729 13305 0 0 235788 165 5 3 20 0 15 0 474833349 11109412864 120512 33554432000 4194304 4196468 140735731267376 139701324024912 139700963683337 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10849036 memory=6791534058613427641 CPUtime=14.97 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 50464 13305 0 0 1434 55 5 3 20 0 15 0 474833350 11109412864 120512 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10849036 memory=478456 CPUtime=14.94 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 53547 13305 0 0 1433 53 5 3 20 0 15 0 474833350 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10849036 memory=467764 CPUtime=14.96 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 50329 13305 0 0 1440 48 5 3 20 0 15 0 474833350 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10849036 memory=475948 CPUtime=14.91 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 53327 13305 0 0 1431 52 5 3 20 0 15 0 474833350 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10849036 memory=480512 CPUtime=5.51 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 20599 13305 0 0 470 73 5 3 20 0 15 0 474833351 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10849036 memory=476192 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 23 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700267378272 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10849036 memory=497112 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 49 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700233819520 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10849036 memory=489416 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10849036 memory=476248 CPUtime=10.31 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 34074 13305 0 0 1020 3 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10849036 memory=476764 CPUtime=9.99 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 35023 13305 0 0 987 4 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10849036 memory=984 CPUtime=3.02 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 25509 13305 0 0 288 6 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10849036 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10849036 memory=477276 CPUtime=1.41 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1428 13305 0 0 59 74 5 3 20 0 15 0 474833355 11109412864 120512 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 2449.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 482048 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.54 1.49 3/229 21662
/proc/meminfo: memFree=5441264/32770624 swapFree=66993200/67108860
[pid=20852] ppid=20849 vsize=10849036 memory=482748 CPUtime=2510.25 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 871001 13305 0 0 250510 507 5 3 20 0 15 0 474833340 11109412864 120687 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2712259 120687 3644 1 0 2674317 0
[pid=20852/tid=20905] ppid=20849 vsize=10849036 memory=483004 CPUtime=2418.94 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 542260 13305 0 0 241720 166 5 3 20 0 15 0 474833349 11109412864 120687 33554432000 4194304 4196468 140735731267376 139701324025200 139700959550910 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10849036 memory=480436 CPUtime=15.41 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 50853 13305 0 0 1477 56 5 3 20 0 15 0 474833350 11109412864 120687 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10849036 memory=483004 CPUtime=15.37 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 54065 13305 0 0 1475 54 5 3 20 0 15 0 474833350 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10849036 memory=482748 CPUtime=15.39 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 50816 13305 0 0 1482 49 5 3 20 0 15 0 474833350 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10849036 memory=482748 CPUtime=15.33 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 54029 13305 0 0 1472 53 5 3 20 0 15 0 474833350 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10849036 memory=480208 CPUtime=5.67 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 20658 13305 0 0 484 75 5 3 20 0 15 0 474833351 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10849036 memory=481236 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 23 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700267378272 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10849036 memory=9520 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 49 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700233819520 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10849036 memory=4076 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10849036 memory=483516 CPUtime=10.31 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 34074 13305 0 0 1020 3 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10849036 memory=3620 CPUtime=9.99 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 35023 13305 0 0 987 4 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10849036 memory=476104 CPUtime=3.02 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 25509 13305 0 0 288 6 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10849036 memory=479184 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10849036 memory=485852 CPUtime=1.44 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1432 13305 0 0 60 76 5 3 20 0 15 0 474833355 11109412864 120687 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 2510.25 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 482748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.9 s]
/proc/loadavg: 1.33 1.53 1.48 3/230 21687
/proc/meminfo: memFree=5441856/32770624 swapFree=66993212/67108860
[pid=20852] ppid=20849 vsize=10849036 memory=486276 CPUtime=2520.06 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 871499 13305 0 0 251489 509 5 3 20 0 15 0 474833340 11109412864 121569 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2712259 121569 3644 1 0 2674317 0
[pid=20852/tid=20905] ppid=20849 vsize=10849036 memory=1228 CPUtime=2428.42 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 542551 13305 0 0 242668 166 5 3 20 0 15 0 474833349 11109412864 121569 33554432000 4194304 4196468 140735731267376 139701324025520 139700959550968 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10849036 memory=482180 CPUtime=15.48 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 50904 13305 0 0 1484 56 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10849036 memory=6791534058613427641 CPUtime=15.44 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 54119 13305 0 0 1482 54 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10849036 memory=473044 CPUtime=15.45 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 50848 13305 0 0 1488 49 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10849036 memory=473044 CPUtime=15.41 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 54084 13305 0 0 1480 53 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10849036 memory=475608 CPUtime=5.69 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 20671 13305 0 0 486 75 5 3 20 0 15 0 474833351 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10849036 memory=475104 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 23 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700267378272 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10849036 memory=482168 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 49 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700233819520 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10849036 memory=479712 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10849036 memory=473044 CPUtime=10.31 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 34074 13305 0 0 1020 3 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10849036 memory=474068 CPUtime=9.99 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 35023 13305 0 0 987 4 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10849036 memory=483516 CPUtime=3.02 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 25509 13305 0 0 288 6 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10849036 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10849036 memory=482180 CPUtime=1.45 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1434 13305 0 0 61 76 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 486276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.94 s]
# the end of solver process 20852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.97 s, system=5.1345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.9 s]
/proc/loadavg: 1.33 1.53 1.48 3/230 21687
/proc/meminfo: memFree=5441856/32770624 swapFree=66993212/67108860
[pid=20852] ppid=20849 vsize=10849036 memory=486276 CPUtime=2520.06 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 16228 0 -1 1077944320 871499 13305 0 0 251489 509 5 3 20 0 15 0 474833340 11109412864 121569 33554432000 4194304 4196468 140735731267376 140735731249920 139701352189687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
/proc/20852/statm: 2712259 121569 3644 1 0 2674317 0
[pid=20852/tid=20905] ppid=20849 vsize=10849036 memory=1228 CPUtime=2428.42 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 16228 0 -1 4202560 542551 13305 0 0 242668 166 5 3 20 0 15 0 474833349 11109412864 121569 33554432000 4194304 4196468 140735731267376 139701324025520 139700959550968 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20906] ppid=20849 vsize=10849036 memory=482180 CPUtime=15.48 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 16228 0 -1 1077944384 50904 13305 0 0 1484 56 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139701356432016 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20907] ppid=20849 vsize=10849036 memory=6791534058613427641 CPUtime=15.44 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 16228 0 -1 1077944384 54119 13305 0 0 1482 54 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700925684240 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20908] ppid=20849 vsize=10849036 memory=473044 CPUtime=15.45 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 16228 0 -1 1077944384 50848 13305 0 0 1488 49 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700924631440 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20909] ppid=20849 vsize=10849036 memory=473044 CPUtime=15.41 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 16228 0 -1 1077944384 54084 13305 0 0 1480 53 5 3 20 0 15 0 474833350 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700923578640 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20910] ppid=20849 vsize=10849036 memory=475608 CPUtime=5.69 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 16228 0 -1 1077944384 20671 13305 0 0 486 75 5 3 20 0 15 0 474833351 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700878764912 139701352200834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20911] ppid=20849 vsize=10849036 memory=475104 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 16228 0 -1 1077944384 23 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700267378272 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20912] ppid=20849 vsize=10849036 memory=482168 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 16228 0 -1 1077944384 49 13305 0 0 0 0 5 3 20 0 15 0 474833352 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700233819520 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20913] ppid=20849 vsize=10849036 memory=479712 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 16228 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700119529808 139701352208283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20914] ppid=20849 vsize=10849036 memory=473044 CPUtime=10.31 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 16228 0 -1 1077944384 34074 13305 0 0 1020 3 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700877711728 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20915] ppid=20849 vsize=10849036 memory=474068 CPUtime=9.99 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 16228 0 -1 1077944384 35023 13305 0 0 987 4 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700876658928 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20916] ppid=20849 vsize=10849036 memory=483516 CPUtime=3.02 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 16228 0 -1 1077944384 25509 13305 0 0 288 6 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700875606128 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20917] ppid=20849 vsize=10849036 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 16228 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139699649767648 139701352199893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
[pid=20852/tid=20918] ppid=20849 vsize=10849036 memory=482180 CPUtime=1.45 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 16228 0 -1 1077944384 1434 13305 0 0 61 76 5 3 20 0 15 0 474833355 11109412864 121569 33554432000 4194304 4196468 140735731267376 139700874554544 139701352200834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 19357696 140735731272291 140735731274933 140735731274933 140735731277775 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 486276 KiB
Child status: 143
Real time (s): 2451.94
CPU time (s): 2520.1
CPU user time (s): 2514.97
CPU system time (s): 5.1345
CPU usage (%): 102.78
Max. virtual memory (cumulated for all children) (KiB): 10849576
Max. memory (cumulated for all children) (KiB): 2719972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.97
system time used= 5.1345
maximum resident set size= 2720700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170230
involuntary context switches= 7456
# summary of solver processes directly reported to runsolver:
# pid: 20852
# total CPU time (s): 2520.1
# total CPU user time (s): 2514.97
# total CPU system time (s): 5.1345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9456 second user time and 19.9685 second system time
The end