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 (61480 MiB free)
  memory of node 1: 64507 MiB (60732 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503608-1751164551/watcher-4503608-1751164551 -o /tmp/evaluation-result-4503608-1751164551/solver-4503608-1751164551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751157346-19470 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503608-1751164551.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=21818, runsolver pid=21815
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.18 4.16 5/338 21836
/proc/meminfo: memFree=125120672/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18930384 memory=57880 CPUtime=0.13 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 6610 0 0 0 11 2 0 0 20 0 18 0 32132877 19384713216 14470 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4732596 14470 5330 1 0 547642 0
[pid=21818/tid=21820] ppid=21815 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5106 0 0 0 7 1 0 0 20 0 18 0 32132878 19384713216 14470 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18930384 memory=224227754321 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 14470 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18930384 memory=58485492707711 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 14470 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.205755 s]*
/proc/loadavg: 4.11 4.18 4.16 7/338 21836
/proc/meminfo: memFree=125103784/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18930384 memory=80460 CPUtime=0.32 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 7061 0 0 0 30 2 0 0 20 0 18 0 32132877 19384713216 20115 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4732596 20115 5426 1 0 547939 0
[pid=21818/tid=21820] ppid=21815 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5302 0 0 0 17 2 0 0 20 0 18 0 32132878 19384713216 20115 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18930384 memory=16195 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 20115 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 20115 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 80460 KiB

[startup+0.305613 s]*
/proc/loadavg: 4.11 4.18 4.16 6/338 21836
/proc/meminfo: memFree=125050600/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18930384 memory=131672 CPUtime=0.52 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 8541 0 0 0 48 4 0 0 20 0 18 0 32132877 19384713216 32918 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4732596 32918 5426 1 0 548913 0
[pid=21818/tid=21820] ppid=21815 vsize=18930384 memory=-6000919485658327917 CPUtime=0.28 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5328 0 0 0 25 3 0 0 20 0 18 0 32132878 19384713216 32918 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 32918 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32132880 19384713216 32918 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 131672 KiB

[startup+0.700217 s]
/proc/loadavg: 4.11 4.18 4.16 6/339 21837
/proc/meminfo: memFree=125004788/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18996948 memory=181388 CPUtime=1.28 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 11200 0 0 0 122 6 0 0 20 0 19 0 32132877 19452874752 45347 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4749237 45347 5458 1 0 551148 0
[pid=21818/tid=21820] ppid=21815 vsize=18996948 memory=17280 CPUtime=0.61 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5341 0 0 0 58 3 0 0 20 0 19 0 32132878 19452874752 45347 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 45347 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 45347 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181388 KiB

[startup+1.50024 s]
/proc/loadavg: 4.18 4.19 4.17 6/339 21837
/proc/meminfo: memFree=124883804/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18996948 memory=460808 CPUtime=2.84 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 17166 0 0 0 272 12 0 0 20 0 19 0 32132877 19452874752 115202 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4749237 115202 5458 1 0 1039274 0
[pid=21818/tid=21820] ppid=21815 vsize=18996948 memory=3328 CPUtime=1.22 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5439 0 0 0 115 7 0 0 20 0 19 0 32132878 19452874752 115202 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 115202 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 115202 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 460808 KiB

[startup+3.10558 s]
/proc/loadavg: 4.18 4.19 4.17 5/316 21848
/proc/meminfo: memFree=125835880/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=18996948 memory=1349596 CPUtime=4.64 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 18092 0 0 0 435 29 0 0 20 0 19 0 32132877 19452874752 337399 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4749237 337399 5458 1 0 1649241 0
[pid=21818/tid=21820] ppid=21815 vsize=18996948 memory=10752 CPUtime=2.64 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5784 0 0 0 244 20 0 0 20 0 19 0 32132878 19452874752 337399 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 337399 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=18996948 memory=5760 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32132880 19452874752 337399 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1349596 KiB

[startup+6.30023 s]
/proc/loadavg: 4.33 4.22 4.18 5/340 21905
/proc/meminfo: memFree=125420144/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=1542028 CPUtime=8.59 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 19631 0 0 0 826 33 0 0 20 0 20 0 32132877 19521036288 385507 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 385507 5490 1 0 2079979 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=5760 CPUtime=5.74 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 5975 0 0 0 551 23 0 0 20 0 20 0 32132878 19521036288 385507 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 385507 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 385507 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 385507 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1542028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.22 4.18 5/340 21906
/proc/meminfo: memFree=125388960/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=1557104 CPUtime=15.56 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 23482 0 0 0 1522 34 0 0 20 0 20 0 32132877 19521036288 389276 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 389276 5490 1 0 2079979 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=1548400 CPUtime=12.12 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 6439 0 0 0 1188 24 0 0 20 0 20 0 32132878 19521036288 389276 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 389276 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=140015866803169 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 389276 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 389276 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1557104 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.21 4.18 5/340 21906
/proc/meminfo: memFree=125315232/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=1576528 CPUtime=28.35 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 25038 0 0 0 2800 35 0 0 20 0 20 0 32132877 19521036288 394132 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 394132 5490 1 0 2079979 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=5760 CPUtime=24.89 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 7305 0 0 0 2464 25 0 0 20 0 20 0 32132878 19521036288 394132 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=1558096 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 394132 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=1572432 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 394132 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=-6000919485658327917 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 394132 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 28.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1576528 KiB

[startup+51.1057 s]
/proc/loadavg: 4.23 4.21 4.18 5/340 21906
/proc/meminfo: memFree=125204656/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=1605492 CPUtime=54.25 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 31098 0 0 0 5388 37 0 0 20 0 20 0 32132877 19521036288 401373 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 401373 5490 1 0 2080011 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=1605492 CPUtime=50.42 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 9451 0 0 0 5017 25 0 0 20 0 20 0 32132878 19521036288 401373 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=1594960 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 401373 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=1592912 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 401373 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=1572432 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 401373 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 54.25 s
Current children cumulated vsize: 19063512 KiB

################
# More data... #
################

/proc/meminfo: memFree=106973076/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3221.27 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 89419 0 0 0 321942 185 0 0 20 0 20 0 32132877 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1019088 5490 1 0 2080154 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=3920636 CPUtime=3210.88 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 44270 0 0 0 321046 42 0 0 20 0 20 0 32132878 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1669 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3221.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/340 22267
/proc/meminfo: memFree=106972376/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3281.14 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 90382 0 0 0 327928 186 0 0 20 0 20 0 32132877 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1019088 5490 1 0 2080154 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3270.72 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 45121 0 0 0 327030 42 0 0 20 0 20 0 32132878 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1749 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3281.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/339 22270
/proc/meminfo: memFree=106972900/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3341.01 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 92037 0 0 0 333913 188 0 0 20 0 20 0 32132877 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1019088 5490 1 0 2080154 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3330.57 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 46657 0 0 0 333014 43 0 0 20 0 20 0 32132878 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1749 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3341.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/339 22272
/proc/meminfo: memFree=106814612/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4076352 CPUtime=3400.89 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 93185 0 0 0 339898 191 0 0 20 0 20 0 32132877 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1019088 5490 1 0 2080163 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=-6000919485658327917 CPUtime=3390.39 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 47327 0 0 0 338996 43 0 0 20 0 20 0 32132878 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4076352 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1019088 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3400.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/340 22279
/proc/meminfo: memFree=106699996/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4191084 CPUtime=3460.87 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 94844 0 0 0 345893 194 0 0 20 0 20 0 32132877 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1047771 5490 1 0 2080164 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=-6000919485658327917 CPUtime=3450.1 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 48348 0 0 0 344966 44 0 0 20 0 20 0 32132878 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4191084 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1920 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4191084 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3460.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/340 22283
/proc/meminfo: memFree=106593196/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4191084 CPUtime=3520.71 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 96430 0 0 0 351876 195 0 0 20 0 20 0 32132877 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1047771 5490 1 0 2080164 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=10752 CPUtime=3509.91 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 49760 0 0 0 350947 44 0 0 20 0 20 0 32132878 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=4191084 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=4191084 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1920 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=4191084 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3520.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/341 22286
/proc/meminfo: memFree=106267648/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4191084 CPUtime=3580.55 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 97208 0 0 0 357858 197 0 0 20 0 20 0 32132877 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1047771 5490 1 0 2080164 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=10752 CPUtime=3569.74 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 50404 0 0 0 356929 45 0 0 20 0 20 0 32132878 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/341 22287
/proc/meminfo: memFree=106201748/131249996 swapFree=33010684/33010684
[pid=21818] ppid=21815 vsize=19063512 memory=4191084 CPUtime=3600.01 cores=0,2
/proc/21818/stat : 21818 (java) S 21815 21818 19460 0 -1 4194304 97668 0 0 0 359803 198 0 0 20 0 20 0 32132877 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
/proc/21818/statm: 4765878 1047771 5490 1 0 2080164 0
[pid=21818/tid=21820] ppid=21815 vsize=19063512 memory=10752 CPUtime=3589.18 cores=0,2
/proc/21818/task/21820/stat : 21820 (java) R 21815 21818 19460 0 -1 4194368 50739 0 0 0 358873 45 0 0 20 0 20 0 32132878 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21829] ppid=21815 vsize=19063512 memory=-6000919485658327917 CPUtime=0 cores=0,2
/proc/21818/task/21829/stat : 21829 (Finalizer) S 21815 21818 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21836] ppid=21815 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21818/task/21836/stat : 21836 (Common-Cleaner) S 21815 21818 19460 0 -1 4194368 2092 0 0 0 0 0 0 0 20 0 20 0 32132880 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
[pid=21818/tid=21877] ppid=21815 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21818/task/21877/stat : 21877 (Timer-0) S 21815 21818 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32133219 19521036288 1047771 18446744073709551615 94279847575552 94279847579248 140735529774800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94279847587064 94279847587856 94279871176704 140735529777537 140735529777638 140735529777638 140735529783240 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191084 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3601.9 s]
# the end of solver process 21818 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.14 s, system=1.99906 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

Real time (s): 3601.9
CPU time (s): 3600.14
CPU user time (s): 3598.14
CPU system time (s): 1.99906
CPU usage (%): 99.9511
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4191084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.14
system time used= 1.99906
maximum resident set size= 4192364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137428
involuntary context switches= 5841


# summary of solver processes directly reported to runsolver:
#   pid: 21818
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.14
#   total CPU system time (s): 1.99906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55373 second user time and 16.8396 second system time

The end