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 (62474 MiB free)
memory of node 1: 64507 MiB (63043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544187-1753232633/watcher-4544187-1753232633 -o /tmp/evaluation-result-4544187-1753232633/solver-4544187-1753232633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753232630-166545 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4544187-1753232633.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
Current StackSize limit: 8192 KiB
solver pid=166790, runsolver pid=166787
[startup+0.10006 s]*
/proc/loadavg: 1.44 2.74 3.55 6/340 166808
/proc/meminfo: memFree=128506172/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=18930384 memory=57900 CPUtime=0.13 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 6619 0 0 0 11 2 0 0 20 0 18 0 238941099 19384713216 14475 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4732596 14475 5353 1 0 547678 0
[pid=166790/tid=166792] ppid=166787 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5114 0 0 0 7 1 0 0 20 0 18 0 238941100 19384713216 14475 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238941102 19384713216 14475 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=18930384 memory=60684515963265 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238941102 19384713216 14475 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57900 KiB
[startup+0.207824 s]*
/proc/loadavg: 1.44 2.74 3.55 7/342 166810
/proc/meminfo: memFree=128387640/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=18996948 memory=150444 CPUtime=0.33 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 7136 0 0 0 29 4 0 0 20 0 19 0 238941099 19452874752 37611 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4749237 37611 5481 1 0 548194 0
[pid=166790/tid=166792] ppid=166787 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5313 0 0 0 14 3 0 0 20 0 19 0 238941100 19452874752 37611 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=18996948 memory=16198 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238941102 19452874752 37611 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238941102 19452874752 37611 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150444 KiB
[startup+0.305754 s]*
/proc/loadavg: 1.44 2.74 3.55 6/343 166811
/proc/meminfo: memFree=128382852/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=155908 CPUtime=0.51 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 8941 0 0 0 47 4 0 0 20 0 20 0 238941099 19521036288 38977 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 38977 5481 1 0 549725 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=-8670945949060473532 CPUtime=0.26 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5375 0 0 0 23 3 0 0 20 0 20 0 238941100 19521036288 38977 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 38977 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 38977 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 38977 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 155908 KiB
[startup+0.700227 s]
/proc/loadavg: 1.44 2.74 3.55 7/343 166811
/proc/meminfo: memFree=128378756/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=164872 CPUtime=1.28 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 12383 0 0 0 123 5 0 0 20 0 20 0 238941099 19521036288 41218 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 41218 5481 1 0 552032 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=27520 CPUtime=0.61 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5381 0 0 0 58 3 0 0 20 0 20 0 238941100 19521036288 41218 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 41218 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 41218 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 41218 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164872 KiB
[startup+1.50023 s]
/proc/loadavg: 1.44 2.74 3.55 5/343 166811
/proc/meminfo: memFree=128333860/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=212460 CPUtime=2.37 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 13179 0 0 0 231 6 0 0 20 0 20 0 238941099 19521036288 53115 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 53115 5481 1 0 552034 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5481 0 0 0 133 3 0 0 20 0 20 0 238941100 19521036288 53115 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 53115 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 53115 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 53115 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212460 KiB
[startup+3.10577 s]
/proc/loadavg: 1.73 2.78 3.56 6/343 166811
/proc/meminfo: memFree=128176528/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=386624 CPUtime=4.14 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 15157 0 0 0 404 10 0 0 20 0 20 0 238941099 19521036288 96656 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 96656 5481 1 0 552035 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=10752 CPUtime=2.81 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 5816 0 0 0 278 3 0 0 20 0 20 0 238941100 19521036288 96656 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=-8670945949060473532 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 96656 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 96656 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 96656 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 386624 KiB
[startup+6.30021 s]
/proc/loadavg: 1.73 2.78 3.56 5/343 166811
/proc/meminfo: memFree=127722700/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=762936 CPUtime=7.61 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 18893 0 0 0 743 18 0 0 20 0 20 0 238941099 19521036288 190734 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 190734 5481 1 0 852849 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=0 CPUtime=5.79 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 6876 0 0 0 574 5 0 0 20 0 20 0 238941100 19521036288 190734 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 190734 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 190734 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 190734 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 762936 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 2.84 3.57 5/343 166811
/proc/meminfo: memFree=127153332/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=1254084 CPUtime=14.44 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 20684 0 0 0 1417 27 0 0 20 0 20 0 238941099 19521036288 313521 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 313521 5481 1 0 1176620 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=0 CPUtime=11.83 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 7194 0 0 0 1176 7 0 0 20 0 20 0 238941100 19521036288 313521 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 313521 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 313521 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=-8670945949060473532 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 313521 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1254084 KiB
[startup+25.5002 s]
/proc/loadavg: 2.52 2.89 3.58 6/343 166811
/proc/meminfo: memFree=125514400/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=2535436 CPUtime=28.09 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 26802 0 0 0 2755 54 0 0 20 0 20 0 238941099 19521036288 633859 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 633859 5481 1 0 1310319 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=14824 CPUtime=23.79 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 8525 0 0 0 2364 15 0 0 20 0 20 0 238941100 19521036288 633859 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=1784580 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 633859 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=2322316 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 633859 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=2336652 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 633859 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535436 KiB
[startup+51.1056 s]
/proc/loadavg: 3.11 3.00 3.60 5/342 166811
/proc/meminfo: memFree=123584744/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=3915616 CPUtime=56.13 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 44071 0 0 0 5529 84 0 0 20 0 20 0 238941099 19521036288 978904 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 978904 5481 1 0 1424536 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=14824 CPUtime=48.04 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 11035 0 0 0 4783 21 0 0 20 0 20 0 238941100 19521036288 978904 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
################
# More data... #
################
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2233 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3186.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/341 166958
/proc/meminfo: memFree=95079492/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3247.4 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 419692 0 0 0 324286 454 0 0 20 0 20 0 238941099 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922376 5481 1 0 4084756 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=1920 CPUtime=2936.82 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 221018 0 0 0 293575 107 0 0 20 0 20 0 238941100 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=27648 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2269 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3247.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.28 4.20 4.18 5/341 166960
/proc/meminfo: memFree=94763272/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3317.01 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 427416 0 0 0 331242 459 0 0 20 0 20 0 238941099 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922376 5481 1 0 4084756 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=15689504 CPUtime=2994.98 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 225849 0 0 0 299390 108 0 0 20 0 20 0 238941100 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=12112 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2273 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3317.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.21 4.19 5/342 166963
/proc/meminfo: memFree=94476284/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3378.51 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 431673 0 0 0 337390 461 0 0 20 0 20 0 238941099 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922376 5481 1 0 4084756 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3053.13 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 229034 0 0 0 305205 108 0 0 20 0 20 0 238941100 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2273 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3378.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.22 4.19 5/341 166965
/proc/meminfo: memFree=93660580/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3439.72 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 439132 0 0 0 343508 464 0 0 20 0 20 0 238941099 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922376 5481 1 0 4084756 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3111.62 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 234380 0 0 0 311052 110 0 0 20 0 20 0 238941100 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=15689504 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2303 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3439.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/340 166967
/proc/meminfo: memFree=93304200/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689504 CPUtime=3501.74 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 445102 0 0 0 349708 466 0 0 20 0 20 0 238941099 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922376 5481 1 0 4084756 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=-8670945949060473532 CPUtime=3169.31 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 238126 0 0 0 316819 112 0 0 20 0 20 0 238941100 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=-8670945949060473532 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2369 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922376 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3501.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.19 5/340 166969
/proc/meminfo: memFree=93115708/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689632 CPUtime=3576.73 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 455984 0 0 0 357200 473 0 0 20 0 20 0 238941099 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922408 5481 1 0 4084809 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=2764 CPUtime=3227.45 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 245155 0 0 0 322633 112 0 0 20 0 20 0 238941100 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=15689632 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2383 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3576.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3365.2 s]
/proc/loadavg: 4.29 4.23 4.19 5/340 166970
/proc/meminfo: memFree=93115748/131249996 swapFree=33010416/33010684
[pid=166790] ppid=166787 vsize=19063512 memory=15689632 CPUtime=3600.02 cores=0,2
/proc/166790/stat : 166790 (java) S 166787 166790 166535 0 -1 4194304 457882 0 0 0 359528 474 0 0 20 0 20 0 238941099 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
/proc/166790/statm: 4765878 3922408 5481 1 0 4084809 0
[pid=166790/tid=166792] ppid=166787 vsize=19063512 memory=4051046371686779716 CPUtime=3249.84 cores=0,2
/proc/166790/task/166792/stat : 166792 (java) R 166787 166790 166535 0 -1 4194368 246041 0 0 0 324872 112 0 0 20 0 20 0 238941100 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166801] ppid=166787 vsize=19063512 memory=10112 CPUtime=0 cores=0,2
/proc/166790/task/166801/stat : 166801 (Finalizer) S 166787 166790 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166808] ppid=166787 vsize=19063512 memory=5744 CPUtime=0 cores=0,2
/proc/166790/task/166808/stat : 166808 (Common-Cleaner) S 166787 166790 166535 0 -1 4194368 2383 0 0 0 0 0 0 0 20 0 20 0 238941102 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
[pid=166790/tid=166811] ppid=166787 vsize=19063512 memory=9088 CPUtime=0 cores=0,2
/proc/166790/task/166811/stat : 166811 (Timer-0) S 166787 166790 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238941125 19521036288 3922408 18446744073709551615 94689689235456 94689689239152 140737252253728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94689689246968 94689689247760 94689720426496 140737252256127 140737252256228 140737252256228 140737252261832 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15689632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3365.36 s]
# the end of solver process 166790 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.42 s, system=4.79272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3365.3 s]*
/proc/loadavg: 4.29 4.23 4.19 5/322 166973
/proc/meminfo: memFree=93118160/131249996 swapFree=33010416/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): 3365.36
CPU time (s): 3600.22
CPU user time (s): 3595.42
CPU system time (s): 4.79272
CPU usage (%): 106.978
Max. virtual memory (cumulated for all children) (KiB): 19065364
Max. memory (cumulated for all children) (KiB): 15689632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.79272
maximum resident set size= 15690656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111056
involuntary context switches= 16223
# summary of solver processes directly reported to runsolver:
# pid: 166790
# total CPU time (s): 3600.22
# total CPU user time (s): 3595.42
# total CPU system time (s): 4.79272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06879 second user time and 16.0333 second system time
The end