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: 63794 MiB (62539 MiB free)
memory of node 1: 64507 MiB (54514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498489-1751396662/watcher-4498489-1751396662 -o /tmp/evaluation-result-4498489-1751396662/solver-4498489-1751396662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59140 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498489-1751396662.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=59191, runsolver pid=59180
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.04 1.15 1.88 9/302 59246
/proc/meminfo: memFree=119792780/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18930344 memory=45468 CPUtime=0.08 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 5419 0 1 0 4 4 0 0 20 0 18 0 55345959 19384672256 11367 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4732586 11367 4949 1 0 546690 0
[pid=59191/tid=59202] ppid=59180 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 4558 0 1 0 3 3 0 0 20 0 18 0 55345962 19384672256 11367 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18930344 memory=16142 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345968 19384672256 11367 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18930344 memory=58494082614266 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55345969 19384672256 11367 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45468 KiB
[startup+0.214751 s]*
/proc/loadavg: 1.04 1.15 1.88 9/321 59265
/proc/meminfo: memFree=119773240/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18930384 memory=51844 CPUtime=0.25 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 6101 0 1 0 20 5 0 0 20 0 18 0 55345959 19384713216 12961 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4732596 12961 5365 1 0 547214 0
[pid=59191/tid=59202] ppid=59180 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 4956 0 1 0 13 3 0 0 20 0 18 0 55345962 19384713216 12961 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345968 19384713216 12961 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55345969 19384713216 12961 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51844 KiB
[startup+0.314615 s]*
/proc/loadavg: 1.04 1.15 1.88 10/321 59265
/proc/meminfo: memFree=119752396/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18930384 memory=58064 CPUtime=0.41 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 6634 0 1 0 35 6 0 0 20 0 18 0 55345959 19384713216 14516 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4732596 14516 5365 1 0 547689 0
[pid=59191/tid=59202] ppid=59180 vsize=18930384 memory=-6000919494114501482 CPUtime=0.26 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 5113 0 1 0 22 4 0 0 20 0 18 0 55345962 19384713216 14516 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345968 19384713216 14516 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55345969 19384713216 14516 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58064 KiB
[startup+0.700401 s]
/proc/loadavg: 1.04 1.15 1.88 14/322 59266
/proc/meminfo: memFree=119730720/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18930384 memory=79116 CPUtime=1.1 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 7833 0 1 0 102 8 0 0 20 0 18 0 55345959 19384713216 19779 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4732596 19779 5493 1 0 548126 0
[pid=59191/tid=59202] ppid=59180 vsize=18930384 memory=17920 CPUtime=0.54 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 5363 0 1 0 49 5 0 0 20 0 18 0 55345962 19384713216 19779 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18930384 memory=10624 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345968 19384713216 19779 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55345969 19384713216 19779 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 79116 KiB
[startup+1.5003 s]
/proc/loadavg: 1.04 1.15 1.88 8/302 59278
/proc/meminfo: memFree=119636780/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18996948 memory=92868 CPUtime=2.67 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 14937 0 1 0 256 11 0 0 20 0 19 0 55345959 19452874752 23217 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4749237 23217 5493 1 0 551041 0
[pid=59191/tid=59202] ppid=59180 vsize=18996948 memory=3200 CPUtime=1.27 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 5584 0 1 0 122 5 0 0 20 0 19 0 55345962 19452874752 23217 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345968 19452874752 23217 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55345969 19452874752 23217 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=18996948 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 23217 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92868 KiB
[startup+3.11114 s]
/proc/loadavg: 1.60 1.26 1.91 5/325 59334
/proc/meminfo: memFree=119495072/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18996948 memory=102300 CPUtime=4.91 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 17702 0 1 0 479 12 0 0 20 0 19 0 55345959 19452874752 25575 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4749237 25575 5493 1 0 551223 0
[pid=59191/tid=59202] ppid=59180 vsize=18996948 memory=10624 CPUtime=2.88 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 7300 0 1 0 282 6 0 0 20 0 19 0 55345962 19452874752 25575 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18996948 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345968 19452874752 25575 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55345969 19452874752 25575 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 25575 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102300 KiB
[startup+6.3004 s]
/proc/loadavg: 1.60 1.26 1.91 5/327 59336
/proc/meminfo: memFree=119256792/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=18996948 memory=124536 CPUtime=8.5 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 21044 0 1 0 836 14 0 0 20 0 19 0 55345959 19452874752 31134 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4749237 31134 5493 1 0 551226 0
[pid=59191/tid=59202] ppid=59180 vsize=18996948 memory=0 CPUtime=6.06 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 7914 0 1 0 599 7 0 0 20 0 19 0 55345962 19452874752 31134 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345968 19452874752 31134 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55345969 19452874752 31134 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=18996948 memory=92996 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 31134 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124536 KiB
[startup+12.7097 s]
/proc/loadavg: 2.05 1.37 1.94 5/328 59337
/proc/meminfo: memFree=118991148/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=180500 CPUtime=14.91 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 23482 0 1 0 1475 16 0 0 20 0 20 0 55345959 19521036288 45125 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 45125 5557 1 0 551515 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=92996 CPUtime=12.37 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 8574 0 1 0 1230 7 0 0 20 0 20 0 55345962 19521036288 45125 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 45125 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=180372 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 45125 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=180372 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 45125 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 14.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180500 KiB
[startup+25.5004 s]
/proc/loadavg: 2.43 1.48 1.97 5/329 59338
/proc/meminfo: memFree=118729320/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=227808 CPUtime=27.7 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 25732 0 1 0 2752 18 0 0 20 0 20 0 55345959 19521036288 56952 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 56952 5557 1 0 551531 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=0 CPUtime=24.95 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 9122 0 1 0 2488 7 0 0 20 0 20 0 55345962 19521036288 56952 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=227808 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 56952 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=180500 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 56952 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=280485792055552 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 56952 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 227808 KiB
[startup+51.1136 s]
/proc/loadavg: 3.10 1.71 2.04 5/329 59339
/proc/meminfo: memFree=118372988/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=359084 CPUtime=53.6 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 28352 0 1 0 5338 22 0 0 20 0 20 0 55345959 19521036288 89771 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 89771 5557 1 0 551531 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=359084 CPUtime=50.22 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 9198 0 1 0 5014 8 0 0 20 0 20 0 55345962 19521036288 89771 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 89771 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=227808 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 89771 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.07 5/326 59484
/proc/meminfo: memFree=107633236/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3293.07 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 92307 0 1 0 329014 293 0 0 20 0 20 0 55345959 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 622891 5557 1 0 657975 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=14560 CPUtime=3253.26 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 34839 0 1 0 325296 30 0 0 20 0 20 0 55345962 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3293.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.08 5/326 59486
/proc/meminfo: memFree=107546160/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3353.1 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 92463 0 1 0 335013 297 0 0 20 0 20 0 55345959 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 622891 5557 1 0 657976 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3312.98 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 34862 0 1 0 331268 30 0 0 20 0 20 0 55345962 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1520 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=17348 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3353.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/326 59499
/proc/meminfo: memFree=107372220/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3413.13 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 92526 0 1 0 341012 301 0 0 20 0 20 0 55345959 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 622891 5557 1 0 657976 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3372.65 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 34862 0 1 0 337234 31 0 0 20 0 20 0 55345962 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1520 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3413.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.52 4.24 4.12 5/326 59501
/proc/meminfo: memFree=107377148/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3473.16 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 92854 0 1 0 347012 304 0 0 20 0 20 0 55345959 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 622891 5557 1 0 657976 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3432.34 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 35130 0 1 0 343203 31 0 0 20 0 20 0 55345962 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1520 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3473.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.70 4.36 4.17 5/326 59505
/proc/meminfo: memFree=107377180/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3533.22 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 93668 0 1 0 353015 307 0 0 20 0 20 0 55345959 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 622891 5557 1 0 657976 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=2491564 CPUtime=3492.02 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 35656 0 1 0 349171 31 0 0 20 0 20 0 55345962 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=2491564 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=-6000919507016180586 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622891 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3533.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.31 4.16 5/327 59513
/proc/meminfo: memFree=107314000/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2557152 CPUtime=3594.16 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 97283 0 1 0 359102 314 0 0 20 0 20 0 55345959 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 639288 5557 1 0 659008 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=17920 CPUtime=3551.32 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 37649 0 1 0 355101 31 0 0 20 0 20 0 55345962 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=2557152 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=5888 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3594.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2557152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3588.2 s]
/proc/loadavg: 4.28 4.30 4.16 4/282 59585
/proc/meminfo: memFree=114442188/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19063512 memory=2557152 CPUtime=3600.04 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 97283 0 1 0 359690 314 0 0 20 0 20 0 55345959 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4765878 639288 5557 1 0 659008 0
[pid=59191/tid=59202] ppid=59180 vsize=19063512 memory=4788 CPUtime=3557.19 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 37649 0 1 0 355688 31 0 0 20 0 20 0 55345962 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19063512 memory=6980 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345968 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19063512 memory=7028 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 55345969 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59270] ppid=59180 vsize=19063512 memory=2497640 CPUtime=0 cores=5,7
/proc/59191/task/59270/stat : 59270 (Timer-0) S 59180 59191 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 639288 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2557152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3588.5 s]
# the end of solver process 59191 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.44 s, system=3.1687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588.4 s]
/proc/loadavg: 4.28 4.30 4.16 4/282 59585
/proc/meminfo: memFree=114442188/131382112 swapFree=33010160/33010684
[pid=59191] ppid=59180 vsize=19263204 memory=2557920 CPUtime=3600.43 cores=5,7
/proc/59191/stat : 59191 (java) S 59180 59191 59127 0 -1 4194304 98795 0 1 0 359728 315 0 0 20 0 21 0 55345959 19725520896 639480 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
/proc/59191/statm: 4815801 639480 5589 1 0 659945 0
[pid=59191/tid=59202] ppid=59180 vsize=19263204 memory=17920 CPUtime=3557.39 cores=5,7
/proc/59191/task/59202/stat : 59202 (java) R 59180 59191 59127 0 -1 4194368 37845 0 1 0 355708 31 0 0 20 0 21 0 55345962 19725520896 639480 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59231] ppid=59180 vsize=19263204 memory=10624 CPUtime=0 cores=5,7
/proc/59191/task/59231/stat : 59231 (Finalizer) S 59180 59191 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55345968 19725520896 639480 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
[pid=59191/tid=59245] ppid=59180 vsize=19263204 memory=5760 CPUtime=0 cores=5,7
/proc/59191/task/59245/stat : 59245 (Common-Cleaner) S 59180 59191 59127 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 21 0 55345969 19725520896 639480 18446744073709551615 94527583932416 94527583936112 140723694851952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94527583943928 94527583944720 94527606161408 140723694856577 140723694856678 140723694856678 140723694862280 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2557920 KiB
Child status: 143
Real time (s): 3588.5
CPU time (s): 3600.61
CPU user time (s): 3597.44
CPU system time (s): 3.1687
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2557920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.44
system time used= 3.1687
maximum resident set size= 2558048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98995
page faults= 1
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112619
involuntary context switches= 11159
# summary of solver processes directly reported to runsolver:
# pid: 59191
# total CPU time (s): 3600.61
# total CPU user time (s): 3597.44
# total CPU system time (s): 3.1687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9584 second user time and 37.179 second system time
The end