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 (51551 MiB free)
memory of node 1: 64465 MiB (44139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524258-1751613477/watcher-4524258-1751613477 -o /tmp/evaluation-result-4524258-1751613477/solver-4524258-1751613477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751606432-85238 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524258-1751613477.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86248, runsolver pid=86245
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.25 4.26 4/317 86267
/proc/meminfo: memFree=97950836/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18930384 memory=59448 CPUtime=0.12 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 6478 0 0 0 11 1 0 0 20 0 18 0 77026677 19384713216 14862 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4732596 14862 5348 1 0 547612 0
[pid=86248/tid=86250] ppid=86245 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 5061 0 0 0 6 1 0 0 20 0 18 0 77026679 19384713216 14862 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18930384 memory=224227767625 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 14862 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18930384 memory=33073 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 14862 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59448 KiB
[startup+0.206027 s]*
/proc/loadavg: 4.12 4.25 4.26 9/338 86293
/proc/meminfo: memFree=97846500/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18930384 memory=155784 CPUtime=0.29 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 6979 0 0 0 26 3 0 0 20 0 18 0 77026677 19384713216 38946 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4732596 38946 5444 1 0 547947 0
[pid=86248/tid=86250] ppid=86245 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 5461 0 0 0 14 3 0 0 20 0 18 0 77026679 19384713216 38946 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 38946 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 38946 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 155784 KiB
[startup+0.305659 s]*
/proc/loadavg: 4.12 4.25 4.26 6/338 86293
/proc/meminfo: memFree=97514564/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18930384 memory=490116 CPUtime=0.48 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 8061 0 0 0 38 10 0 0 20 0 18 0 77026677 19384713216 122529 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4732596 122529 5444 1 0 548633 0
[pid=86248/tid=86250] ppid=86245 vsize=18930384 memory=-6000919498442958439 CPUtime=0.27 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 5672 0 0 0 18 9 0 0 20 0 18 0 77026679 19384713216 122529 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 122529 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77026681 19384713216 122529 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 490116 KiB
[startup+0.700237 s]
/proc/loadavg: 4.12 4.25 4.26 7/339 86294
/proc/meminfo: memFree=96989840/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=924480 CPUtime=1.22 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 12522 0 0 0 103 19 0 0 20 0 19 0 77026677 19452874752 231120 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 231120 5476 1 0 551688 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=18560 CPUtime=0.6 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 5876 0 0 0 44 16 0 0 20 0 19 0 77026679 19452874752 231120 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 231120 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 231120 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 924480 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.25 4.26 7/340 86295
/proc/meminfo: memFree=96375380/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=1501872 CPUtime=2.8 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 19339 0 0 0 249 31 0 0 20 0 19 0 77026677 19452874752 375468 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 375468 5476 1 0 891141 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=3200 CPUtime=1.33 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) S 86245 86248 85227 0 -1 4194368 6201 0 0 0 106 27 0 0 20 0 19 0 77026679 19452874752 375468 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 375468 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 375468 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1501872 KiB
[startup+3.10572 s]
/proc/loadavg: 4.11 4.25 4.26 5/340 86295
/proc/meminfo: memFree=94358076/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=2068364 CPUtime=4.7 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 20048 0 0 0 428 42 0 0 20 0 19 0 77026677 19452874752 517091 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 517091 5476 1 0 1217012 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=11136 CPUtime=2.8 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 6527 0 0 0 245 35 0 0 20 0 19 0 77026679 19452874752 517091 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 517091 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 517091 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2068364 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.25 4.26 5/340 86295
/proc/meminfo: memFree=91657688/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=3077956 CPUtime=8.13 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 21874 0 0 0 751 62 0 0 20 0 19 0 77026677 19452874752 769489 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 769489 5476 1 0 1636884 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=5632 CPUtime=5.7 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 7203 0 0 0 519 51 0 0 20 0 19 0 77026679 19452874752 769489 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 769489 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=-6000919485608388199 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 769489 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3077956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.26 4.27 5/340 86295
/proc/meminfo: memFree=88543748/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=4576348 CPUtime=15.11 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 24507 0 0 0 1420 91 0 0 20 0 19 0 77026677 19452874752 1144087 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 1144087 5508 1 0 2184176 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=3184488 CPUtime=11.44 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 8301 0 0 0 1071 73 0 0 20 0 19 0 77026679 19452874752 1144087 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=18560 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 1144087 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 1144087 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4576348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.28 4.27 5/340 86295
/proc/meminfo: memFree=82501340/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=7036076 CPUtime=29.28 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 27907 0 0 0 2789 139 0 0 20 0 19 0 77026677 19452874752 1759019 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 1759019 5508 1 0 2833827 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=5210992 CPUtime=22.7 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 9566 0 0 0 2170 100 0 0 20 0 19 0 77026679 19452874752 1759019 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=6681720 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 1759019 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=18560 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 1759019 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 29.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 7036076 KiB
[startup+51.1057 s]
/proc/loadavg: 4.66 4.37 4.30 7/342 86298
/proc/meminfo: memFree=76553904/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=10384692 CPUtime=57.47 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 31213 0 0 0 5539 208 0 0 20 0 19 0 77026677 19452874752 2596173 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 2596173 5508 1 0 3487654 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=9229692 CPUtime=45.33 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 10591 0 0 0 4390 143 0 0 20 0 19 0 77026679 19452874752 2596173 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 2596173 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=18996948 memory=9293820 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77026681 19452874752 2596173 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 57.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 10384692 KiB
[startup+102.3 s]
/proc/loadavg: 4.74 4.44 4.33 6/342 86300
/proc/meminfo: memFree=71532408/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=18996948 memory=13195548 CPUtime=114.11 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 39120 0 0 0 11136 275 0 0 20 0 19 0 77026677 19452874752 3298887 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4749237 3298887 5508 1 0 4005701 0
[pid=86248/tid=86250] ppid=86245 vsize=18996948 memory=16496 CPUtime=90.23 cores=4,6
################
# More data... #
################
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16301196 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1712 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=18560 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3113.78 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16301196 KiB
[startup+2622.3 s]
/proc/loadavg: 4.27 4.38 4.43 5/345 86443
/proc/meminfo: memFree=59125060/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16301196 CPUtime=3187.38 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 652323 0 0 0 318025 713 0 0 20 0 21 0 77026677 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075299 5604 1 0 4101390 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=16301196 CPUtime=2469.48 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 345314 0 0 0 246621 327 0 0 20 0 21 0 77026679 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=16496 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16496 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1753 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=3200 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075299 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3187.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16301196 KiB
[startup+2682.3 s]
/proc/loadavg: 4.47 4.42 4.44 5/345 86445
/proc/meminfo: memFree=59125932/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3268.19 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 667440 0 0 0 326094 725 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101390 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=16302988 CPUtime=2525.78 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 352024 0 0 0 252250 328 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=0 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=2764 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1772 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3268.19 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
[startup+2742.3 s]
/proc/loadavg: 4.78 4.51 4.47 5/344 86448
/proc/meminfo: memFree=59125584/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3342.81 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 679618 0 0 0 333546 735 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101393 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=11136 CPUtime=2583.91 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 360689 0 0 0 258062 329 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=28268 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=11136 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3342.81 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
[startup+2802.3 s]
/proc/loadavg: 4.47 4.46 4.45 5/344 86450
/proc/meminfo: memFree=58990960/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3411.84 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 695837 0 0 0 340445 739 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101393 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=16302988 CPUtime=2641.43 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 372363 0 0 0 263813 330 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=3104 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1910 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3411.84 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
[startup+2862.3 s]
/proc/loadavg: 4.63 4.50 4.47 6/343 86452
/proc/meminfo: memFree=58908916/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3484.26 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 706411 0 0 0 347676 750 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101393 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=18560 CPUtime=2699.81 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 377206 0 0 0 269650 331 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=-6000919485608388199 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 1981 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3484.26 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.37 4.45 4.45 6/343 86454
/proc/meminfo: memFree=58909204/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3546.22 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 718062 0 0 0 353868 754 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101393 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=4496 CPUtime=2758.86 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 384941 0 0 0 275553 333 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 2056 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=16496 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3546.22 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2964 s]*
/proc/loadavg: 4.41 4.45 4.45 5/343 86455
/proc/meminfo: memFree=58908548/131249996 swapFree=33010160/33010684
[pid=86248] ppid=86245 vsize=19130076 memory=16302988 CPUtime=3600.02 cores=4,6
/proc/86248/stat : 86248 (java) S 86245 86248 85227 0 -1 4194304 728874 0 0 0 359239 763 0 0 20 0 21 0 77026677 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
/proc/86248/statm: 4782519 4075747 5604 1 0 4101393 0
[pid=86248/tid=86250] ppid=86245 vsize=19130076 memory=-6000919498442958439 CPUtime=2798.7 cores=4,6
/proc/86248/task/86250/stat : 86250 (java) R 86245 86248 85227 0 -1 4194368 389088 0 0 0 279536 334 0 0 20 0 21 0 77026679 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86259] ppid=86245 vsize=19130076 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/86248/task/86259/stat : 86259 (Finalizer) S 86245 86248 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86266] ppid=86245 vsize=19130076 memory=16302988 CPUtime=0 cores=4,6
/proc/86248/task/86266/stat : 86266 (Common-Cleaner) S 86245 86248 85227 0 -1 4194368 2107 0 0 0 0 0 0 0 20 0 21 0 77026681 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
[pid=86248/tid=86309] ppid=86245 vsize=19130076 memory=6724 CPUtime=0 cores=4,6
/proc/86248/task/86309/stat : 86309 (Timer-0) S 86245 86248 85227 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 77047410 19589197824 4075747 18446744073709551615 94206331555840 94206331559536 140734169942656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94206331567352 94206331568144 94206360809472 140734169946494 140734169946598 140734169946598 140734169952200 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16302988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2964.13 s]
# the end of solver process 86248 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.53 s, system=7.68046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2964.11 s]*
/proc/loadavg: 4.41 4.45 4.45 5/324 86458
/proc/meminfo: memFree=74602252/131249996 swapFree=33010160/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): 2964.13
CPU time (s): 3600.21
CPU user time (s): 3592.53
CPU system time (s): 7.68046
CPU usage (%): 121.459
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 16313568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.53
system time used= 7.68046
maximum resident set size= 16313568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133302
involuntary context switches= 53013
# summary of solver processes directly reported to runsolver:
# pid: 86248
# total CPU time (s): 3600.21
# total CPU user time (s): 3592.53
# total CPU system time (s): 7.68046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.298 second user time and 14.6762 second system time
The end