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: 63708 MiB (54431 MiB free)
memory of node 1: 64465 MiB (40666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515894-1751236007/watcher-4515894-1751236007 -o /tmp/evaluation-result-4515894-1751236007/solver-4515894-1751236007 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32351 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515894-1751236007.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=33017, runsolver pid=33014
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.29 3.88 3.39 5/336 33035
/proc/meminfo: memFree=97337560/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=18930384 memory=55588 CPUtime=0.12 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 6539 0 0 0 10 2 0 0 20 0 18 0 39278612 19384713216 13897 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4732596 13897 5345 1 0 547603 0
[pid=33017/tid=33019] ppid=33014 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 5044 0 0 0 6 1 0 0 20 0 18 0 39278613 19384713216 13897 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39278615 19384713216 13897 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39278616 19384713216 13897 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55588 KiB
[startup+0.205827 s]*
/proc/loadavg: 4.29 3.88 3.39 7/337 33036
/proc/meminfo: memFree=97329432/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=18996948 memory=62092 CPUtime=0.31 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 7046 0 0 0 29 2 0 0 20 0 19 0 39278612 19452874752 15523 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4749237 15523 5441 1 0 548183 0
[pid=33017/tid=33019] ppid=33014 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 5310 0 0 0 15 2 0 0 20 0 19 0 39278613 19452874752 15523 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=18996948 memory=16099 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278615 19452874752 15523 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39278616 19452874752 15523 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278630 19452874752 15523 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62092 KiB
[startup+0.305752 s]*
/proc/loadavg: 4.29 3.88 3.39 6/337 33036
/proc/meminfo: memFree=97326408/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=18996948 memory=67324 CPUtime=0.51 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 8815 0 0 0 48 3 0 0 20 0 19 0 39278612 19452874752 16831 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4749237 16831 5441 1 0 548970 0
[pid=33017/tid=33019] ppid=33014 vsize=18996948 memory=-6000919489953818988 CPUtime=0.25 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 5316 0 0 0 23 2 0 0 20 0 19 0 39278613 19452874752 16831 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278615 19452874752 16831 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39278616 19452874752 16831 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278630 19452874752 16831 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67324 KiB
[startup+0.700251 s]
/proc/loadavg: 4.29 3.88 3.39 6/337 33036
/proc/meminfo: memFree=97309584/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=18996948 memory=94468 CPUtime=1.27 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 11937 0 0 0 123 4 0 0 20 0 19 0 39278612 19452874752 23617 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4749237 23617 5441 1 0 551059 0
[pid=33017/tid=33019] ppid=33014 vsize=18996948 memory=17536 CPUtime=0.62 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 5357 0 0 0 60 2 0 0 20 0 19 0 39278613 19452874752 23617 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278615 19452874752 23617 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39278616 19452874752 23617 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278630 19452874752 23617 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94468 KiB
[startup+1.50027 s]
/proc/loadavg: 4.29 3.88 3.39 6/337 33036
/proc/meminfo: memFree=97275368/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=18996948 memory=152488 CPUtime=2.51 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 16115 0 0 0 246 5 0 0 20 0 19 0 39278612 19452874752 38122 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4749237 38122 5441 1 0 551620 0
[pid=33017/tid=33019] ppid=33014 vsize=18996948 memory=0 CPUtime=1.38 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 5836 0 0 0 135 3 0 0 20 0 19 0 39278613 19452874752 38122 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278615 19452874752 38122 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39278616 19452874752 38122 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278630 19452874752 38122 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152488 KiB
[startup+3.10567 s]
/proc/loadavg: 4.27 3.88 3.39 6/338 33037
/proc/meminfo: memFree=97115772/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=276164 CPUtime=4.2 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 18127 0 0 0 412 8 0 0 20 0 20 0 39278612 19521036288 69041 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 69041 5473 1 0 551927 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=10880 CPUtime=2.87 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 6126 0 0 0 283 4 0 0 20 0 20 0 39278613 19521036288 69041 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=-6000919489953818988 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 69041 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 69041 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 69041 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 276164 KiB
[startup+6.30023 s]
/proc/loadavg: 4.27 3.88 3.39 5/338 33037
/proc/meminfo: memFree=96976508/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=411096 CPUtime=7.58 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 19003 0 0 0 747 11 0 0 20 0 20 0 39278612 19521036288 102774 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 102774 5473 1 0 551927 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=0 CPUtime=5.94 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 6214 0 0 0 590 4 0 0 20 0 20 0 39278613 19521036288 102774 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 102774 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 102774 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=160680 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 102774 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 411096 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 3.88 3.40 5/338 33037
/proc/meminfo: memFree=96049552/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=824208 CPUtime=14.18 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 21019 0 0 0 1399 19 0 0 20 0 20 0 39278612 19521036288 206052 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 206052 5473 1 0 693958 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=160680 CPUtime=12.07 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 6615 0 0 0 1201 6 0 0 20 0 20 0 39278613 19521036288 206052 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=707452 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 206052 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 206052 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 206052 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 824208 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 3.91 3.41 5/339 33039
/proc/meminfo: memFree=94058600/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=1370344 CPUtime=27.32 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 25052 0 0 0 2703 29 0 0 20 0 20 0 39278612 19521036288 342586 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 342586 5473 1 0 827648 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=707452 CPUtime=24.49 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 7497 0 0 0 2440 9 0 0 20 0 20 0 39278613 19521036288 342586 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 342586 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=1060972 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 342586 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 342586 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1370344 KiB
[startup+51.1057 s]
/proc/loadavg: 4.43 3.98 3.45 5/340 33040
/proc/meminfo: memFree=91585040/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=2068552 CPUtime=53.83 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 36304 0 0 0 5337 46 0 0 20 0 20 0 39278612 19521036288 517138 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 517138 5505 1 0 828070 0
################
# More data... #
################
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=9293760 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2535 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3190.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.20 4.23 5/339 33472
/proc/meminfo: memFree=108128240/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3250.34 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 189699 0 0 0 324745 289 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=9293760 CPUtime=3188.75 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 84590 0 0 0 318801 74 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2535 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3250.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.22 5/339 33474
/proc/meminfo: memFree=107222056/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3310.48 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 191717 0 0 0 330757 291 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3248.32 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 85993 0 0 0 324757 75 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2576 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3310.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.19 4.22 5/340 33481
/proc/meminfo: memFree=106820112/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3370.57 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 195271 0 0 0 336763 294 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=2760 CPUtime=3307.96 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 88396 0 0 0 330721 75 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2619 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3370.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.20 4.22 5/339 33485
/proc/meminfo: memFree=105631784/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3430.86 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 198998 0 0 0 342791 295 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=0 CPUtime=3367.39 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 90160 0 0 0 336664 75 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2714 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3430.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.21 5/340 33488
/proc/meminfo: memFree=105556456/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3491.05 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 202425 0 0 0 348808 297 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=0 CPUtime=3426.9 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 92078 0 0 0 342615 75 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2806 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3491.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.19 4.21 5/340 33489
/proc/meminfo: memFree=105552496/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3551.03 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 204720 0 0 0 354804 299 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3486.64 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 94252 0 0 0 348588 76 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2806 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3551.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3571.11 s]
/proc/loadavg: 4.25 4.20 4.21 5/340 33491
/proc/meminfo: memFree=105121876/131249996 swapFree=33010684/33010684
[pid=33017] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3600.09 cores=0,2
/proc/33017/stat : 33017 (java) S 33014 33017 29257 0 -1 4194304 207075 0 0 0 359708 301 0 0 20 0 20 0 39278612 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
/proc/33017/statm: 4765878 2339825 5505 1 0 2893904 0
[pid=33017/tid=33019] ppid=33014 vsize=19063512 memory=9359300 CPUtime=3534.95 cores=0,2
/proc/33017/task/33019/stat : 33019 (java) R 33014 33017 29257 0 -1 4194368 95503 0 0 0 353419 76 0 0 20 0 20 0 39278613 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33028] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33028/stat : 33028 (Finalizer) S 33014 33017 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278615 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33035] ppid=33014 vsize=19063512 memory=-4050210904893472402 CPUtime=0 cores=0,2
/proc/33017/task/33035/stat : 33035 (Common-Cleaner) S 33014 33017 29257 0 -1 4194368 2853 0 0 0 0 0 0 0 20 0 20 0 39278616 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
[pid=33017/tid=33036] ppid=33014 vsize=19063512 memory=9359300 CPUtime=0 cores=0,2
/proc/33017/task/33036/stat : 33036 (Timer-0) S 33014 33017 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278630 19521036288 2339825 18446744073709551615 94785896603648 94785896607344 140730115324192 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94785896615160 94785896615952 94785906147328 140730115328385 140730115328486 140730115328486 140730115334088 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9359300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3571.25 s]
# the end of solver process 33017 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.21 s, system=3.04477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3571.21 s]*
/proc/loadavg: 4.25 4.20 4.21 5/322 33494
/proc/meminfo: memFree=106178644/131249996 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): 3571.25
CPU time (s): 3600.26
CPU user time (s): 3597.21
CPU system time (s): 3.04477
CPU usage (%): 100.812
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 9359300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.21
system time used= 3.04477
maximum resident set size= 9360068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112447
involuntary context switches= 11190
# summary of solver processes directly reported to runsolver:
# pid: 33017
# total CPU time (s): 3600.26
# total CPU user time (s): 3597.21
# total CPU system time (s): 3.04477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45016 second user time and 16.546 second system time
The end