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 (59530 MiB free)
memory of node 1: 64507 MiB (61009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514058-1751222874/watcher-4514058-1751222874 -o /tmp/evaluation-result-4514058-1751222874/solver-4514058-1751222874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28442 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514058-1751222874.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=29135, runsolver pid=29132
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.28 4.16 4.10 5/337 29153
/proc/meminfo: memFree=123407396/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18930384 memory=57696 CPUtime=0.12 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 6578 0 0 0 11 1 0 0 20 0 18 0 37965155 19384713216 14424 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4732596 14424 5338 1 0 547622 0
[pid=29135/tid=29137] ppid=29132 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5077 0 0 0 7 1 0 0 20 0 18 0 37965156 19384713216 14424 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37965158 19384713216 14424 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37965159 19384713216 14424 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57696 KiB
[startup+0.206052 s]*
/proc/loadavg: 4.28 4.16 4.10 6/338 29154
/proc/meminfo: memFree=123405128/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=64568 CPUtime=0.31 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 8329 0 0 0 29 2 0 0 20 0 19 0 37965155 19452874752 16142 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 16142 5434 1 0 548843 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5292 0 0 0 16 1 0 0 20 0 19 0 37965156 19452874752 16142 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=16880 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 16142 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 16142 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 16142 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64568 KiB
[startup+0.305931 s]*
/proc/loadavg: 4.28 4.16 4.10 6/338 29154
/proc/meminfo: memFree=123404376/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=68112 CPUtime=0.5 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 9652 0 0 0 48 2 0 0 20 0 19 0 37965155 19452874752 17028 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 17028 5434 1 0 549734 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=-6000919498510132077 CPUtime=0.25 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5301 0 0 0 24 1 0 0 20 0 19 0 37965156 19452874752 17028 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 17028 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 17028 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 17028 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68112 KiB
[startup+0.700236 s]
/proc/loadavg: 4.28 4.16 4.10 6/338 29154
/proc/meminfo: memFree=123400032/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=80552 CPUtime=1.26 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 11848 0 0 0 123 3 0 0 20 0 19 0 37965155 19452874752 20138 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 20138 5434 1 0 551141 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=17408 CPUtime=0.61 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5340 0 0 0 60 1 0 0 20 0 19 0 37965156 19452874752 20138 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 20138 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 20138 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 20138 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80552 KiB
[startup+1.50019 s]
/proc/loadavg: 4.28 4.16 4.10 5/338 29154
/proc/meminfo: memFree=123394424/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=87736 CPUtime=2.3 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 15272 0 0 0 226 4 0 0 20 0 19 0 37965155 19452874752 21934 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 21934 5434 1 0 551375 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=0 CPUtime=1.41 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5432 0 0 0 139 2 0 0 20 0 19 0 37965156 19452874752 21934 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 21934 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 21934 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 21934 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87736 KiB
[startup+3.10583 s]
/proc/loadavg: 4.28 4.16 4.10 5/338 29154
/proc/meminfo: memFree=123382144/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=98104 CPUtime=3.91 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 16066 0 0 0 386 5 0 0 20 0 19 0 37965155 19452874752 24526 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 24526 5434 1 0 551377 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=10752 CPUtime=2.99 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 5922 0 0 0 297 2 0 0 20 0 19 0 37965156 19452874752 24526 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=-6000919498510132077 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 24526 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 24526 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 24526 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98104 KiB
[startup+6.30024 s]
/proc/loadavg: 4.25 4.15 4.10 5/338 29154
/proc/meminfo: memFree=123369944/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=114512 CPUtime=7.13 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 19197 0 0 0 707 6 0 0 20 0 19 0 37965155 19452874752 28628 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 28628 5434 1 0 551377 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=0 CPUtime=6.17 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 6526 0 0 0 614 3 0 0 20 0 19 0 37965156 19452874752 28628 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 28628 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 28628 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=87736 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 28628 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114512 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.15 4.10 5/338 29155
/proc/meminfo: memFree=123349560/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=18996948 memory=141236 CPUtime=13.48 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 20550 0 0 0 1342 6 0 0 20 0 19 0 37965155 19452874752 35309 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4749237 35309 5434 1 0 551377 0
[pid=29135/tid=29137] ppid=29132 vsize=18996948 memory=87736 CPUtime=12.52 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 7045 0 0 0 1249 3 0 0 20 0 19 0 37965156 19452874752 35309 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=18996948 memory=137140 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37965158 19452874752 35309 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37965159 19452874752 35309 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37965170 19452874752 35309 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 13.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.10 5/339 29156
/proc/meminfo: memFree=123304268/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=178724 CPUtime=26.36 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 24546 0 0 0 2628 8 0 0 20 0 20 0 37965155 19521036288 44681 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 44681 5498 1 0 551666 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=137140 CPUtime=25.2 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 8104 0 0 0 2517 3 0 0 20 0 20 0 37965156 19521036288 44681 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 44681 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=178724 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 44681 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 44681 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 26.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178724 KiB
[startup+51.106 s]
/proc/loadavg: 4.18 4.15 4.10 5/339 29156
/proc/meminfo: memFree=123275108/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=187048 CPUtime=51.91 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 25859 0 0 0 5183 8 0 0 20 0 20 0 37965155 19521036288 46762 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 46762 5498 1 0 551666 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=178724 CPUtime=50.73 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=123047020/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3218.4 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 57208 0 0 0 321725 115 0 0 20 0 20 0 37965155 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 372590 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1486904 CPUtime=3212.91 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 22622 0 0 0 321285 6 0 0 20 0 20 0 37965156 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3218.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1490360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/339 29522
/proc/meminfo: memFree=122985692/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3278.29 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 57782 0 0 0 327712 117 0 0 20 0 20 0 37965155 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 372590 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3272.77 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 23166 0 0 0 327271 6 0 0 20 0 20 0 37965156 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3278.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1490360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/339 29524
/proc/meminfo: memFree=122782852/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3338.18 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 57952 0 0 0 333700 118 0 0 20 0 20 0 37965155 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 372590 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3332.63 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 23271 0 0 0 333257 6 0 0 20 0 20 0 37965156 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3338.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1490360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/339 29526
/proc/meminfo: memFree=122782988/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3398.06 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 58005 0 0 0 339687 119 0 0 20 0 20 0 37965155 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 372590 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3392.49 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 23318 0 0 0 339243 6 0 0 20 0 20 0 37965156 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3398.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1490360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/339 29528
/proc/meminfo: memFree=122644516/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3457.95 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 58153 0 0 0 345674 121 0 0 20 0 20 0 37965155 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 372590 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3452.35 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 23461 0 0 0 345229 6 0 0 20 0 20 0 37965156 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=1490360 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 372590 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3457.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1490360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/339 29530
/proc/meminfo: memFree=122635972/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1498676 CPUtime=3517.89 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 58753 0 0 0 351665 124 0 0 20 0 20 0 37965155 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 374669 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1490360 CPUtime=3512.13 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 23815 0 0 0 351207 6 0 0 20 0 20 0 37965156 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=1498676 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1498676 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3517.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1498676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/339 29534
/proc/meminfo: memFree=122636156/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1498676 CPUtime=3577.77 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 59190 0 0 0 357652 125 0 0 20 0 20 0 37965155 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 374669 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=1498676 CPUtime=3571.99 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 24199 0 0 0 357193 6 0 0 20 0 20 0 37965156 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=1498676 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=1498676 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1498676 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3577.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1498676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.6 s]
/proc/loadavg: 4.20 4.14 4.10 5/339 29534
/proc/meminfo: memFree=122636188/131249996 swapFree=33010684/33010684
[pid=29135] ppid=29132 vsize=19063512 memory=1498676 CPUtime=3600.03 cores=5,7
/proc/29135/stat : 29135 (java) S 29132 29135 28429 0 -1 4194304 59357 0 0 0 359878 125 0 0 20 0 20 0 37965155 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
/proc/29135/statm: 4765878 374669 5530 1 0 553928 0
[pid=29135/tid=29137] ppid=29132 vsize=19063512 memory=19712 CPUtime=3594.24 cores=5,7
/proc/29135/task/29137/stat : 29137 (java) R 29132 29135 28429 0 -1 4194368 24337 0 0 0 359418 6 0 0 20 0 20 0 37965156 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29146] ppid=29132 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/29135/task/29146/stat : 29146 (Finalizer) S 29132 29135 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37965158 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29153] ppid=29132 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/29135/task/29153/stat : 29153 (Common-Cleaner) S 29132 29135 28429 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 37965159 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
[pid=29135/tid=29154] ppid=29132 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/29135/task/29154/stat : 29154 (Timer-0) S 29132 29135 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37965170 19521036288 374669 18446744073709551615 94057242644480 94057242648176 140732058691792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94057242655992 94057242656784 94057273827328 140732058696065 140732058696166 140732058696166 140732058701768 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1498676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.7 s]
# the end of solver process 29135 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.9 s, system=1.27115 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3604.7
CPU time (s): 3600.17
CPU user time (s): 3598.9
CPU system time (s): 1.27115
CPU usage (%): 99.8742
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1498676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.9
system time used= 1.27115
maximum resident set size= 1499572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103699
involuntary context switches= 2344
# summary of solver processes directly reported to runsolver:
# pid: 29135
# total CPU time (s): 3600.17
# total CPU user time (s): 3598.9
# total CPU system time (s): 1.27115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.23295 second user time and 16.7099 second system time
The end