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 (63106 MiB free)
memory of node 1: 64507 MiB (64042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493704-1751156866/watcher-4493704-1751156866 -o /tmp/evaluation-result-4493704-1751156866/solver-4493704-1751156866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751156866-21071 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4493704-1751156866.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=21127, runsolver pid=21112
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.93 1.58 2.45 5/273 21136
/proc/meminfo: memFree=130190688/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=18130736 memory=20012 CPUtime=0.01 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 1704 0 173 0 0 1 0 0 20 0 7 0 31364470 18565873664 5003 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4532684 5003 3072 1 0 540973 0
[pid=21127/tid=21134] ppid=21112 vsize=18130736 memory=4026531960 CPUtime=0 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) D 21112 21127 21059 0 -1 4194368 1162 0 81 0 0 0 0 0 20 0 7 0 31364477 18565873664 5003 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16784588 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 20012 KiB
[startup+0.205536 s]*
/proc/loadavg: 0.93 1.58 2.45 8/337 21200
/proc/meminfo: memFree=130103204/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=18930384 memory=47836 CPUtime=0.06 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 5574 0 444 0 4 2 0 0 20 0 18 0 31364470 19384713216 11959 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4732596 11959 5153 1 0 547013 0
[pid=21127/tid=21134] ppid=21112 vsize=18930384 memory=3472328132922704156 CPUtime=0.03 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 4443 0 328 0 2 1 0 0 20 0 18 0 31364477 19384713216 11959 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=18930384 memory=16163 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31364487 19384713216 11959 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 31364488 19384713216 11959 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47836 KiB
[startup+0.305564 s]*
/proc/loadavg: 0.93 1.58 2.45 10/337 21200
/proc/meminfo: memFree=130071776/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=18930384 memory=58588 CPUtime=0.2 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 6594 0 444 0 17 3 0 0 20 0 18 0 31364470 19384713216 14647 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4732596 14647 5313 1 0 547771 0
[pid=21127/tid=21134] ppid=21112 vsize=18930384 memory=-6000919498543688557 CPUtime=0.11 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 4999 0 328 0 9 2 0 0 20 0 18 0 31364477 19384713216 14647 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=18930384 memory=-4421386496248146533 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31364487 19384713216 14647 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 31364488 19384713216 14647 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58588 KiB
[startup+0.700202 s]
/proc/loadavg: 0.93 1.58 2.45 9/341 21204
/proc/meminfo: memFree=130029512/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=18996948 memory=81636 CPUtime=0.96 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 10378 0 444 0 92 4 0 0 20 0 19 0 31364470 19452874752 20409 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4749237 20409 5345 1 0 550482 0
[pid=21127/tid=21134] ppid=21112 vsize=18996948 memory=17408 CPUtime=0.48 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 5142 0 328 0 46 2 0 0 20 0 19 0 31364477 19452874752 20409 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31364487 19452874752 20409 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=18996948 memory=5760 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 19 0 31364488 19452874752 20409 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=18996948 memory=2208 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31364508 19452874752 20409 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81636 KiB
[startup+1.50025 s]
/proc/loadavg: 0.93 1.58 2.45 9/341 21204
/proc/meminfo: memFree=129949368/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=18996948 memory=113892 CPUtime=2.33 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 15396 0 445 0 228 5 0 0 20 0 19 0 31364470 19452874752 28473 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4749237 28473 5345 1 0 551779 0
[pid=21127/tid=21134] ppid=21112 vsize=18996948 memory=0 CPUtime=1.26 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 5562 0 329 0 123 3 0 0 20 0 19 0 31364477 19452874752 28473 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31364487 19452874752 28473 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=18996948 memory=5760 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 19 0 31364488 19452874752 28473 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=18996948 memory=2208 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31364508 19452874752 28473 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113892 KiB
[startup+3.10568 s]
/proc/loadavg: 0.93 1.58 2.45 6/342 21205
/proc/meminfo: memFree=129745940/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=188536 CPUtime=4.17 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 17590 0 450 0 410 7 0 0 20 0 20 0 31364470 19521036288 47134 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 47134 5409 1 0 552071 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=10496 CPUtime=2.82 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 5911 0 329 0 278 4 0 0 20 0 20 0 31364477 19521036288 47134 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 47134 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=-6000919498543688557 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 59 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 47134 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 47134 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188536 KiB
[startup+6.3002 s]
/proc/loadavg: 1.18 1.62 2.46 5/344 21207
/proc/meminfo: memFree=129598380/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=221812 CPUtime=7.4 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 17733 0 450 0 732 8 0 0 20 0 20 0 31364470 19521036288 55453 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 55453 5409 1 0 552071 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=10496 CPUtime=5.97 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 5913 0 329 0 593 4 0 0 20 0 20 0 31364477 19521036288 55453 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 55453 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=2241 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 59 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 55453 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=120036 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 55453 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 221812 KiB
[startup+12.7002 s]
/proc/loadavg: 1.65 1.71 2.49 5/344 21272
/proc/meminfo: memFree=129372296/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=353256 CPUtime=13.9 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 20265 0 450 0 1379 11 0 0 20 0 20 0 31364470 19521036288 88314 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 88314 5409 1 0 552071 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=120036 CPUtime=12.23 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 6674 0 329 0 1219 4 0 0 20 0 20 0 31364477 19521036288 88314 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=353256 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 88314 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 59 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 88314 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 88314 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 13.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 353256 KiB
[startup+25.5002 s]
/proc/loadavg: 2.17 1.82 2.51 5/345 21274
/proc/meminfo: memFree=128859840/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=556500 CPUtime=26.88 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 24563 0 450 0 2673 15 0 0 20 0 20 0 31364470 19521036288 139125 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 139125 5409 1 0 552071 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=10496 CPUtime=24.82 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 7713 0 329 0 2478 4 0 0 20 0 20 0 31364477 19521036288 139125 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=6371021615184110162 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 139125 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=488728 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 59 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 139125 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=488728 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 139125 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 26.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 556500 KiB
[startup+51.1059 s]
/proc/loadavg: 2.87 2.02 2.56 5/345 21274
/proc/meminfo: memFree=128096340/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=825384 CPUtime=52.66 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 24984 0 450 0 5244 22 0 0 20 0 20 0 31364470 19521036288 206346 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 206346 5409 1 0 552071 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=16520 CPUtime=50.13 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 7731 0 329 0 5009 4 0 0 20 0 20 0 31364477 19521036288 206346 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 206346 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 59 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 206346 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=353256 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 206346 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 52.66 s
################
# More data... #
################
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1570 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=3755484 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3227.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3755612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/341 21458
/proc/meminfo: memFree=119165724/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3287.44 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 119326 0 451 0 328558 186 0 0 20 0 20 0 31364470 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 938903 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=16520 CPUtime=3264.61 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 54975 0 329 0 326422 39 0 0 20 0 20 0 31364477 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1570 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3287.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3755612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/341 21460
/proc/meminfo: memFree=119166168/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3347.48 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 121343 0 451 0 334560 188 0 0 20 0 20 0 31364470 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 938903 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=10496 CPUtime=3324.29 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 55772 0 329 0 332389 40 0 0 20 0 20 0 31364477 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1687 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3347.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3755612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/341 21462
/proc/meminfo: memFree=119166364/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3407.52 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 122524 0 451 0 340562 190 0 0 20 0 20 0 31364470 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 938903 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3383.96 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 56150 0 329 0 338356 40 0 0 20 0 20 0 31364477 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1698 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3407.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3755612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/342 21465
/proc/meminfo: memFree=119165520/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3467.39 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 123535 0 451 0 346547 192 0 0 20 0 20 0 31364470 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 938903 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3443.8 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 57106 0 329 0 344340 40 0 0 20 0 20 0 31364477 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1698 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 938903 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3467.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3755612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/341 21467
/proc/meminfo: memFree=119161592/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3757764 CPUtime=3527.39 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 126128 0 451 0 352546 193 0 0 20 0 20 0 31364470 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 939441 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3503.51 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 58458 0 329 0 350311 40 0 0 20 0 20 0 31364477 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=3757764 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1778 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3527.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3757764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/340 21470
/proc/meminfo: memFree=119162308/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3757764 CPUtime=3587.27 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 126489 0 451 0 358532 195 0 0 20 0 20 0 31364470 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 939441 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3563.36 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 58672 0 329 0 356296 40 0 0 20 0 20 0 31364477 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=3755612 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=3757764 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1912 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3757764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.11 s]
/proc/loadavg: 4.11 4.11 4.08 5/340 21470
/proc/meminfo: memFree=119162112/131250000 swapFree=33010684/33010684
[pid=21127] ppid=21112 vsize=19063512 memory=3757764 CPUtime=3600.04 cores=1,3
/proc/21127/stat : 21127 (java) S 21112 21127 21059 0 -1 4194304 127002 0 451 0 359809 195 0 0 20 0 20 0 31364470 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
/proc/21127/statm: 4765878 939441 5441 1 0 1008861 0
[pid=21127/tid=21134] ppid=21112 vsize=19063512 memory=3755612 CPUtime=3576.13 cores=1,3
/proc/21127/task/21134/stat : 21134 (java) R 21112 21127 21059 0 -1 4194368 59185 0 329 0 357573 40 0 0 20 0 20 0 31364477 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21172] ppid=21112 vsize=19063512 memory=3757764 CPUtime=0 cores=1,3
/proc/21127/task/21172/stat : 21172 (Finalizer) S 21112 21127 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31364487 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21200] ppid=21112 vsize=19063512 memory=3757764 CPUtime=0 cores=1,3
/proc/21127/task/21200/stat : 21200 (Common-Cleaner) S 21112 21127 21059 0 -1 4194368 1912 0 1 0 0 0 0 0 20 0 20 0 31364488 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
[pid=21127/tid=21203] ppid=21112 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21127/task/21203/stat : 21203 (Timer-0) S 21112 21127 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31364508 19521036288 939441 18446744073709551615 94903697219584 94903697223280 140727328915360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94903697231096 94903697231888 94903727075328 140727328921985 140727328922086 140727328922086 140727328927688 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3757764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.21 s]
# the end of solver process 21127 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.21 s, system=1.97243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3595.2 s]*
/proc/loadavg: 4.11 4.11 4.08 5/322 21473
/proc/meminfo: memFree=122799576/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3595.21
CPU time (s): 3600.18
CPU user time (s): 3598.21
CPU system time (s): 1.97243
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3757764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 1.97243
maximum resident set size= 3758660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129421
page faults= 451
swaps= 0
block input operations= 7216
block output operations= 6792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108250
involuntary context switches= 8483
# summary of solver processes directly reported to runsolver:
# pid: 21127
# total CPU time (s): 3600.18
# total CPU user time (s): 3598.21
# total CPU system time (s): 1.97243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55816 second user time and 17.8603 second system time
The end