runsolver version 3.4.2 (svn: 4680) 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: 63665 MiB (62077 MiB free)
memory of node 1: 64507 MiB (61477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514166-1751224691/watcher-4514166-1751224691 -o /tmp/evaluation-result-4514166-1751224691/solver-4514166-1751224691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514166-1751224691.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29435, runsolver pid=29432
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.09 4.09 5/337 29453
/proc/meminfo: memFree=126497792/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18930384 memory=61460 CPUtime=0.13 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 6476 0 0 0 11 2 0 0 20 0 18 0 38146890 19384713216 14834 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4732596 15365 5338 1 0 547604 0
[pid=29435/tid=29437] ppid=29432 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5055 0 0 0 6 1 0 0 20 0 18 0 38146891 19384713216 15365 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38146893 19384713216 15365 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38146894 19384713216 15365 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61460 KiB
[startup+0.205757 s]*
/proc/loadavg: 4.11 4.09 4.09 7/338 29454
/proc/meminfo: memFree=126496532/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18997932 memory=67452 CPUtime=0.31 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 8011 0 0 0 29 2 0 0 20 0 19 0 38146890 19453882368 16863 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749483 16863 5434 1 0 548990 0
[pid=29435/tid=29437] ppid=29432 vsize=18997932 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5302 0 0 0 15 1 0 0 20 0 19 0 38146891 19453882368 16863 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18997932 memory=16880 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19453882368 16863 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18997932 memory=59585004307431 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19453882368 16863 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18997932 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19453882368 16863 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18997932 KiB
Current children cumulated memory: 67452 KiB
[startup+0.305725 s]*
/proc/loadavg: 4.11 4.09 4.09 6/338 29454
/proc/meminfo: memFree=126494768/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=68588 CPUtime=0.5 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 8496 0 0 0 48 2 0 0 20 0 19 0 38146890 19452874752 17147 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 17147 5434 1 0 548984 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=-6000919498509935469 CPUtime=0.25 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5304 0 0 0 24 1 0 0 20 0 19 0 38146891 19452874752 17147 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 17147 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 17147 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 17147 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68588 KiB
[startup+0.700243 s]
/proc/loadavg: 4.11 4.09 4.09 8/338 29454
/proc/meminfo: memFree=126483364/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=83364 CPUtime=1.26 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 11413 0 0 0 123 3 0 0 20 0 19 0 38146890 19452874752 20841 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 20841 5434 1 0 551085 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=17408 CPUtime=0.61 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5350 0 0 0 60 1 0 0 20 0 19 0 38146891 19452874752 20841 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 20841 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 20841 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 20841 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83364 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.09 4.09 6/338 29454
/proc/meminfo: memFree=126476504/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=87592 CPUtime=2.21 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 11529 0 0 0 218 3 0 0 20 0 19 0 38146890 19452874752 21898 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 21898 5434 1 0 551100 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=0 CPUtime=1.41 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5427 0 0 0 140 1 0 0 20 0 19 0 38146891 19452874752 21898 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 21898 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 21898 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 21898 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87592 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.09 4.09 5/338 29454
/proc/meminfo: memFree=126464252/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=97960 CPUtime=3.84 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 13159 0 0 0 380 4 0 0 20 0 19 0 38146890 19452874752 24490 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 24490 5434 1 0 551102 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=10752 CPUtime=3.01 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 5926 0 0 0 300 1 0 0 20 0 19 0 38146891 19452874752 24490 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=-6000919498509935469 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 24490 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 24490 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 24490 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97960 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.09 5/338 29454
/proc/meminfo: memFree=126406944/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=109796 CPUtime=7.09 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 16837 0 0 0 705 4 0 0 20 0 19 0 38146890 19452874752 27449 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 27449 5434 1 0 551102 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=0 CPUtime=6.21 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 6558 0 0 0 619 2 0 0 20 0 19 0 38146891 19452874752 27449 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 27449 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 27449 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=89640 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 27449 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/338 29454
/proc/meminfo: memFree=126382376/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=18996948 memory=136420 CPUtime=13.49 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 18405 0 0 0 1344 5 0 0 20 0 19 0 38146890 19452874752 34105 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4749237 34105 5434 1 0 551118 0
[pid=29435/tid=29437] ppid=29432 vsize=18996948 memory=89640 CPUtime=12.58 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 7653 0 0 0 1256 2 0 0 20 0 19 0 38146891 19452874752 34105 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=18996948 memory=132324 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38146893 19452874752 34105 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38146894 19452874752 34105 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38146906 19452874752 34105 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 13.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136420 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/339 29455
/proc/meminfo: memFree=126333240/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=180096 CPUtime=26.32 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 20144 0 0 0 2626 6 0 0 20 0 20 0 38146890 19521036288 45024 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 45024 5498 1 0 551407 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=132324 CPUtime=25.34 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 7734 0 0 0 2531 3 0 0 20 0 20 0 38146891 19521036288 45024 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 45024 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=160996 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 45024 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 45024 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 26.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180096 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/339 29456
/proc/meminfo: memFree=126210360/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=184292 CPUtime=51.91 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 21659 0 0 0 5184 7 0 0 20 0 20 0 38146890 19521036288 46073 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 46073 5498 1 0 551407 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=180096 CPUtime=50.88 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=123617896/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3218.02 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 60344 0 0 0 321716 86 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553903 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=1602048 CPUtime=3212.82 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 22961 0 0 0 321274 8 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1602048 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1602048 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1233 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3218.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/340 29751
/proc/meminfo: memFree=123543504/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3277.89 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 60896 0 0 0 327703 86 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553903 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=1602048 CPUtime=3272.67 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 23436 0 0 0 327259 8 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1233 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3277.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/339 29753
/proc/meminfo: memFree=123466620/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3337.76 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 61897 0 0 0 333689 87 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553906 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3332.54 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 24181 0 0 0 333245 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=7582728746945256980 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3337.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/338 29755
/proc/meminfo: memFree=123393032/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3397.64 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 62310 0 0 0 339676 88 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553908 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=2760 CPUtime=3392.39 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 24460 0 0 0 339230 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1481 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=-6000919498509935469 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3397.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/338 29823
/proc/meminfo: memFree=125219916/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3457.51 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 62467 0 0 0 345662 89 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553909 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3452.24 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 24612 0 0 0 345215 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1481 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3457.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/338 29825
/proc/meminfo: memFree=125190724/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3517.49 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 64076 0 0 0 351659 90 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553913 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=3328 CPUtime=3511.98 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 25121 0 0 0 351189 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1481 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3517.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/339 29828
/proc/meminfo: memFree=125117736/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3577.36 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 64765 0 0 0 357645 91 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553913 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3571.83 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 25700 0 0 0 357174 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1519 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3577.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605 s]*
/proc/loadavg: 4.19 4.11 4.10 5/339 29830
/proc/meminfo: memFree=125085508/131249996 swapFree=33010684/33010684
[pid=29435] ppid=29432 vsize=19063512 memory=1610404 CPUtime=3600.01 cores=4,6
/proc/29435/stat : 29435 (java) S 29432 29435 28429 0 -1 4194304 65038 0 0 0 359909 92 0 0 20 0 20 0 38146890 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
/proc/29435/statm: 4765878 402601 5530 1 0 553913 0
[pid=29435/tid=29437] ppid=29432 vsize=19063512 memory=-6000919468344304493 CPUtime=3594.47 cores=4,6
/proc/29435/task/29437/stat : 29437 (java) R 29432 29435 28429 0 -1 4194368 25967 0 0 0 359438 9 0 0 20 0 20 0 38146891 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29446] ppid=29432 vsize=19063512 memory=4283659486130499233 CPUtime=0 cores=4,6
/proc/29435/task/29446/stat : 29446 (Finalizer) S 29432 29435 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38146893 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29453] ppid=29432 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/29435/task/29453/stat : 29453 (Common-Cleaner) S 29432 29435 28429 0 -1 4194368 1519 0 0 0 0 0 0 0 20 0 20 0 38146894 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
[pid=29435/tid=29454] ppid=29432 vsize=19063512 memory=1610404 CPUtime=0 cores=4,6
/proc/29435/task/29454/stat : 29454 (Timer-0) S 29432 29435 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38146906 19521036288 402601 18446744073709551615 94273108082688 94273108086384 140721560966240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94273108094200 94273108094992 94273113276416 140721560967553 140721560967654 140721560967654 140721560973256 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1610404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.1 s]
# the end of solver process 29435 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.22 s, system=0.934338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3605.1
CPU time (s): 3600.15
CPU user time (s): 3599.22
CPU system time (s): 0.934338
CPU usage (%): 99.8628
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1610404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 0.934338
maximum resident set size= 1611172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103683
involuntary context switches= 2707
# summary of solver processes directly reported to runsolver:
# pid: 29435
# total CPU time (s): 3600.15
# total CPU user time (s): 3599.22
# total CPU system time (s): 0.934338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43155 second user time and 18.2234 second system time
The end