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 (61846 MiB free)
memory of node 1: 64507 MiB (61857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514598-1751228303/watcher-4514598-1751228303 -o /tmp/evaluation-result-4514598-1751228303/solver-4514598-1751228303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514598-1751228303.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30072, runsolver pid=30069
[startup+0.100062 s]*
/proc/loadavg: 4.17 4.11 4.10 5/337 30090
/proc/meminfo: memFree=126644852/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18930384 memory=57788 CPUtime=0.13 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 6562 0 0 0 12 1 0 0 20 0 18 0 38508026 19384713216 14447 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4732596 14447 5339 1 0 547609 0
[pid=30072/tid=30074] ppid=30069 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5059 0 0 0 7 0 0 0 20 0 18 0 38508027 19384713216 14447 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38508029 19384713216 14447 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38508030 19384713216 14447 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57788 KiB
[startup+0.205735 s]*
/proc/loadavg: 4.17 4.11 4.10 6/337 30090
/proc/meminfo: memFree=126639244/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18930384 memory=68216 CPUtime=0.32 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 7043 0 0 0 30 2 0 0 20 0 18 0 38508026 19384713216 17054 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4732596 17054 5435 1 0 547909 0
[pid=30072/tid=30074] ppid=30069 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5275 0 0 0 16 1 0 0 20 0 18 0 38508027 19384713216 17054 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38508029 19384713216 17054 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38508030 19384713216 17054 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68216 KiB
[startup+0.305713 s]*
/proc/loadavg: 4.17 4.11 4.10 6/338 30091
/proc/meminfo: memFree=126623176/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=83032 CPUtime=0.51 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 8635 0 0 0 49 2 0 0 20 0 19 0 38508026 19452874752 20758 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 20758 5435 1 0 549249 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=-6000919468395097196 CPUtime=0.23 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5316 0 0 0 22 1 0 0 20 0 19 0 38508027 19452874752 20758 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 20758 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 20758 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 20758 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83032 KiB
[startup+0.700246 s]
/proc/loadavg: 4.17 4.11 4.10 7/338 30091
/proc/meminfo: memFree=126571820/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=92916 CPUtime=1.27 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 10403 0 0 0 124 3 0 0 20 0 19 0 38508026 19452874752 23229 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 23229 5467 1 0 550566 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=17408 CPUtime=0.62 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5326 0 0 0 61 1 0 0 20 0 19 0 38508027 19452874752 23229 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 23229 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 23229 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 23229 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92916 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.11 4.10 5/338 30091
/proc/meminfo: memFree=126536788/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=98924 CPUtime=2.4 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 14447 0 0 0 236 4 0 0 20 0 19 0 38508026 19452874752 24731 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 24731 5467 1 0 550936 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=10752 CPUtime=1.41 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5736 0 0 0 140 1 0 0 20 0 19 0 38508027 19452874752 24731 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 24731 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 24731 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 24731 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98924 KiB
[startup+3.10552 s]
/proc/loadavg: 4.16 4.11 4.09 5/338 30091
/proc/meminfo: memFree=126528880/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=105068 CPUtime=4.01 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 14984 0 0 0 397 4 0 0 20 0 19 0 38508026 19452874752 26267 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 26267 5467 1 0 550938 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=10752 CPUtime=3.02 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 5992 0 0 0 300 2 0 0 20 0 19 0 38508027 19452874752 26267 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=-6000919468395097196 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 26267 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 26267 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 26267 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105068 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.11 4.09 5/338 30091
/proc/meminfo: memFree=126520948/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=111072 CPUtime=7.26 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 18696 0 0 0 722 4 0 0 20 0 19 0 38508026 19452874752 27768 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 27768 5467 1 0 550940 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=0 CPUtime=6.21 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 6590 0 0 0 619 2 0 0 20 0 19 0 38508027 19452874752 27768 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 27768 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 27768 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=98924 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 27768 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 7.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/338 30091
/proc/meminfo: memFree=126499216/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=18996948 memory=133004 CPUtime=13.92 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 23735 0 0 0 1387 5 0 0 20 0 19 0 38508026 19452874752 33251 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4749237 33251 5499 1 0 551236 0
[pid=30072/tid=30074] ppid=30069 vsize=18996948 memory=98924 CPUtime=12.59 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 7222 0 0 0 1257 2 0 0 20 0 19 0 38508027 19452874752 33251 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38508029 19452874752 33251 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=18996948 memory=130956 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38508030 19452874752 33251 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38508053 19452874752 33251 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/339 30092
/proc/meminfo: memFree=126459028/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=170248 CPUtime=26.71 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 25997 0 0 0 2664 7 0 0 20 0 20 0 38508026 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 42562 5499 1 0 551525 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=10752 CPUtime=25.35 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 7956 0 0 0 2532 3 0 0 20 0 20 0 38508027 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=130956 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170248 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/339 30093
/proc/meminfo: memFree=126415240/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=170248 CPUtime=52.25 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 26050 0 0 0 5218 7 0 0 20 0 20 0 38508026 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 42562 5499 1 0 551525 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=170248 CPUtime=50.89 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 8003 0 0 0 5086 3 0 0 20 0 20 0 38508027 19521036288 42562 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
################
# More data... #
################
/proc/meminfo: memFree=111687148/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3276.47 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 45049 0 0 0 327560 87 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3272.26 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 15929 0 0 0 327218 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1170364 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 537 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3276.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.13 3.27 4/312 30817
/proc/meminfo: memFree=111687528/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3336.32 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 45452 0 0 0 333544 88 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3332.09 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 16300 0 0 0 333201 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 537 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3336.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
[startup+3402.3 s]
/proc/loadavg: 3.06 3.12 3.26 4/312 30819
/proc/meminfo: memFree=111687916/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3396.16 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 45509 0 0 0 339527 89 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3391.91 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 16339 0 0 0 339183 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=-6000919468395097196 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 546 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3396.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
[startup+3462.3 s]
/proc/loadavg: 2.50 2.95 3.19 3/288 30855
/proc/meminfo: memFree=113167396/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3456 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 45541 0 0 0 345510 90 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3451.73 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 16366 0 0 0 345165 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 546 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3456 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
[startup+3522.3 s]
/proc/loadavg: 2.29 2.81 3.12 3/288 30857
/proc/meminfo: memFree=113167744/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3515.84 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 45750 0 0 0 351493 91 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3511.55 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 16570 0 0 0 351147 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 546 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3515.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
[startup+3582.3 s]
/proc/loadavg: 1.94 2.63 3.04 2/264 30894
/proc/meminfo: memFree=127915224/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3575.7 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 46047 0 0 0 357477 93 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3571.39 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 16824 0 0 0 357131 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3575.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.7 s]
/proc/loadavg: 1.70 2.51 2.99 2/264 30894
/proc/meminfo: memFree=127915224/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3600.05 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 46239 0 0 0 359912 93 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3595.74 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 17013 0 0 0 359566 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=-6000919468395097196 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.79 s]
# the end of solver process 30072 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.944382 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.7 s]
/proc/loadavg: 1.70 2.51 2.99 2/264 30894
/proc/meminfo: memFree=127915224/131249996 swapFree=33010684/33010684
[pid=30072] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3600.05 cores=4,6
/proc/30072/stat : 30072 (java) S 30069 30072 28429 0 -1 4194304 46239 0 0 0 359912 93 0 0 20 0 20 0 38508026 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
/proc/30072/statm: 4765878 305087 5499 1 0 551555 0
[pid=30072/tid=30074] ppid=30069 vsize=19063512 memory=1220348 CPUtime=3595.74 cores=4,6
/proc/30072/task/30074/stat : 30074 (java) R 30069 30072 28429 0 -1 4194368 17013 0 0 0 359566 8 0 0 20 0 20 0 38508027 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30083] ppid=30069 vsize=19063512 memory=1220348 CPUtime=0 cores=4,6
/proc/30072/task/30083/stat : 30083 (Finalizer) S 30069 30072 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38508029 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30090] ppid=30069 vsize=19063512 memory=-6000919468395097196 CPUtime=0 cores=4,6
/proc/30072/task/30090/stat : 30090 (Common-Cleaner) S 30069 30072 28429 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 38508030 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
[pid=30072/tid=30091] ppid=30069 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30072/task/30091/stat : 30091 (Timer-0) S 30069 30072 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38508053 19521036288 305087 18446744073709551615 94479752675328 94479752679024 140736103713248 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479752686840 94479752687632 94479761072128 140736103717249 140736103717350 140736103717350 140736103722952 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220348 KiB
Child status: 143
Real time (s): 3606.79
CPU time (s): 3600.19
CPU user time (s): 3599.24
CPU system time (s): 0.944382
CPU usage (%): 99.8169
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1220348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.944382
maximum resident set size= 1221372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103147
involuntary context switches= 2339
# summary of solver processes directly reported to runsolver:
# pid: 30072
# total CPU time (s): 3600.19
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.944382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84123 second user time and 16.0025 second system time
The end