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 (57016 MiB free)
memory of node 1: 64507 MiB (57803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521314-1751582020/watcher-4521314-1751582020 -o /tmp/evaluation-result-4521314-1751582020/solver-4521314-1751582020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751578574-83018 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4521314-1751582020.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
Starting watchdog thread
solver pid=83587, runsolver pid=83584
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.36 4.30 4.35 5/337 83605
/proc/meminfo: memFree=117558008/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=18930384 memory=55744 CPUtime=0.13 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 6553 0 0 0 11 2 0 0 20 0 18 0 73879731 19384713216 13936 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4732596 13936 5367 1 0 547611 0
[pid=83587/tid=83589] ppid=83584 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 73879732 19384713216 13936 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73879735 19384713216 13936 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 73879735 19384713216 13936 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55744 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.36 4.30 4.35 8/337 83605
/proc/meminfo: memFree=117551896/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=18930384 memory=64372 CPUtime=0.32 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 7120 0 0 0 29 3 0 0 20 0 18 0 73879731 19384713216 16093 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4732596 16093 5431 1 0 548003 0
[pid=83587/tid=83589] ppid=83584 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 5350 0 0 0 15 2 0 0 20 0 18 0 73879732 19384713216 16093 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=18930384 memory=16880 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73879735 19384713216 16093 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 73879735 19384713216 16093 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64372 KiB
[startup+0.305731 s]*
/proc/loadavg: 4.36 4.30 4.35 7/338 83606
/proc/meminfo: memFree=117545284/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=18996948 memory=80088 CPUtime=0.5 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 8924 0 0 0 47 3 0 0 20 0 19 0 73879731 19452874752 20022 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4749237 20022 5463 1 0 549485 0
[pid=83587/tid=83589] ppid=83584 vsize=18996948 memory=-6000919489836050791 CPUtime=0.24 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 5493 0 0 0 22 2 0 0 20 0 19 0 73879732 19452874752 20022 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73879735 19452874752 20022 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 73879735 19452874752 20022 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73879758 19452874752 20022 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80088 KiB
[startup+0.700255 s]
/proc/loadavg: 4.42 4.32 4.36 6/338 83606
/proc/meminfo: memFree=117518328/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=165208 CPUtime=1.27 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 11219 0 0 0 121 6 0 0 20 0 20 0 73879731 19521036288 41302 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 41302 5495 1 0 550695 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=18688 CPUtime=0.55 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 5549 0 0 0 51 4 0 0 20 0 20 0 73879732 19521036288 41302 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 41302 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 41302 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 41302 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165208 KiB
[startup+1.50025 s]
/proc/loadavg: 4.42 4.32 4.36 7/339 83607
/proc/meminfo: memFree=117466424/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=255800 CPUtime=2.85 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 17391 0 0 0 276 9 0 0 20 0 20 0 73879731 19521036288 63950 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 63950 5527 1 0 552177 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=10752 CPUtime=1.28 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 5834 0 0 0 122 6 0 0 20 0 20 0 73879732 19521036288 63950 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 63950 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 63950 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 63950 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 255800 KiB
[startup+3.10565 s]
/proc/loadavg: 4.42 4.32 4.36 6/339 83607
/proc/meminfo: memFree=116831380/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=781676 CPUtime=4.86 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 19910 0 0 0 466 20 0 0 20 0 20 0 73879731 19521036288 195419 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 195419 5527 1 0 907277 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=10752 CPUtime=2.84 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 6476 0 0 0 268 16 0 0 20 0 20 0 73879732 19521036288 195419 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=-6000919489836050791 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 195419 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 195419 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 195419 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 781676 KiB
[startup+6.30021 s]
/proc/loadavg: 4.46 4.33 4.36 6/339 83607
/proc/meminfo: memFree=116117668/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=1615048 CPUtime=8.11 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 20670 0 0 0 775 36 0 0 20 0 20 0 73879731 19521036288 403762 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 403762 5527 1 0 907282 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 6891 0 0 0 565 31 0 0 20 0 20 0 73879732 19521036288 403762 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 403762 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 403762 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=309048 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 403762 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 8.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1615048 KiB
[startup+12.7002 s]
/proc/loadavg: 4.43 4.32 4.36 6/339 83607
/proc/meminfo: memFree=115797584/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=1779020 CPUtime=14.68 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 21901 0 0 0 1428 40 0 0 20 0 20 0 73879731 19521036288 444755 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 444755 5527 1 0 907284 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=309048 CPUtime=12.32 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 7950 0 0 0 1197 35 0 0 20 0 20 0 73879732 19521036288 444755 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 444755 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=1772872 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 444755 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 444755 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1779020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.33 4.36 6/339 83607
/proc/meminfo: memFree=115260232/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=2190780 CPUtime=27.62 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 28548 0 0 0 2712 50 0 0 20 0 20 0 73879731 19521036288 547695 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 547695 5527 1 0 907287 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=10752 CPUtime=24.95 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 10500 0 0 0 2452 43 0 0 20 0 20 0 73879732 19521036288 547695 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=1772872 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 547695 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 547695 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 547695 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190780 KiB
[startup+51.1058 s]
/proc/loadavg: 4.58 4.38 4.38 6/339 83608
/proc/meminfo: memFree=114940960/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=2220780 CPUtime=54.28 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 47161 0 0 0 5374 54 0 0 20 0 20 0 73879731 19521036288 555195 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 555195 5527 1 0 915512 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=2220780 CPUtime=50.25 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 13244 0 0 0 4981 44 0 0 20 0 20 0 73879732 19521036288 555195 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=2218220 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.19 4.45 4.50 5/341 83970
/proc/meminfo: memFree=115707712/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3523820 CPUtime=3233.92 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 123137 0 0 0 323190 202 0 0 20 0 20 0 73879731 19521036288 880955 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 880955 5527 1 0 915587 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=3523820 CPUtime=3196.77 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 60830 0 0 0 319623 54 0 0 20 0 20 0 73879732 19521036288 880955 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3523820 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 880955 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3523820 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1423 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 880955 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3523820 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 880955 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3233.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3523820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.39 4.48 5/340 83972
/proc/meminfo: memFree=115224704/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3578548 CPUtime=3294.88 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 132834 0 0 0 329281 207 0 0 20 0 20 0 73879731 19521036288 894637 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 894637 5527 1 0 915785 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=14384 CPUtime=3256.34 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 60886 0 0 0 325580 54 0 0 20 0 20 0 73879732 19521036288 894637 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 894637 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1424 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 894637 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 894637 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3294.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3578548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.34 4.45 5/338 83974
/proc/meminfo: memFree=114144892/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3358.85 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 134751 0 0 0 335674 211 0 0 20 0 20 0 73879731 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 896515 5527 1 0 915841 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=5632 CPUtime=3315.8 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 62522 0 0 0 331525 55 0 0 20 0 20 0 73879732 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1424 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=-6000919489836050791 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3358.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3586060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.29 4.43 5/338 83976
/proc/meminfo: memFree=114046740/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3424.36 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 139303 0 0 0 342217 219 0 0 20 0 20 0 73879731 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 896515 5527 1 0 915841 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3375.25 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 64524 0 0 0 337470 55 0 0 20 0 20 0 73879732 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1424 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3424.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3586060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.27 4.41 5/339 83982
/proc/meminfo: memFree=113817320/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3493.08 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 142620 0 0 0 349080 228 0 0 20 0 20 0 73879731 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 896515 5527 1 0 915841 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3434.61 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 65883 0 0 0 343406 55 0 0 20 0 20 0 73879732 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1452 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3493.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3586060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.25 4.39 5/339 83988
/proc/meminfo: memFree=113254372/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3563.34 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 143132 0 0 0 356096 238 0 0 20 0 20 0 73879731 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 896515 5527 1 0 915841 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3493.97 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 66290 0 0 0 349342 55 0 0 20 0 20 0 73879732 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3563.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3586060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3553.5 s]
/proc/loadavg: 4.30 4.27 4.39 6/339 83989
/proc/meminfo: memFree=113253904/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3600.01 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 143986 0 0 0 359757 244 0 0 20 0 20 0 73879731 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4765878 896515 5527 1 0 915841 0
[pid=83587/tid=83589] ppid=83584 vsize=19063512 memory=3586060 CPUtime=3524.74 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 67053 0 0 0 352419 55 0 0 20 0 20 0 73879732 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 73879735 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83606] ppid=83584 vsize=19063512 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83606/stat : 83606 (Timer-0) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73879758 19521036288 896515 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3586060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3553.63 s]
# the end of solver process 83587 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.8 s, system=2.46445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3553.6 s]
/proc/loadavg: 4.30 4.27 4.39 6/339 83989
/proc/meminfo: memFree=113253904/131249996 swapFree=33010416/33010684
[pid=83587] ppid=83584 vsize=19263204 memory=3587084 CPUtime=3600.22 cores=5,7
/proc/83587/stat : 83587 (java) S 83584 83587 83005 0 -1 4194304 145397 0 0 0 359777 245 0 0 20 0 21 0 73879731 19725520896 896771 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
/proc/83587/statm: 4815801 896771 5559 1 0 916760 0
[pid=83587/tid=83589] ppid=83584 vsize=19263204 memory=3586060 CPUtime=3524.79 cores=5,7
/proc/83587/task/83589/stat : 83589 (java) R 83584 83587 83005 0 -1 4194368 67053 0 0 0 352424 55 0 0 20 0 21 0 73879732 19725520896 896771 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83598] ppid=83584 vsize=19263204 memory=3586060 CPUtime=0 cores=5,7
/proc/83587/task/83598/stat : 83598 (Finalizer) S 83584 83587 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 73879735 19725520896 896771 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
[pid=83587/tid=83605] ppid=83584 vsize=19263204 memory=46464 CPUtime=0 cores=5,7
/proc/83587/task/83605/stat : 83605 (Common-Cleaner) S 83584 83587 83005 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 21 0 73879735 19725520896 896771 18446744073709551615 94391408893952 94391408897648 140725397699424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94391408905464 94391408906256 94391428562944 140725397703038 140725397703142 140725397703142 140725397708744 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3587084 KiB
Child status: 143
Real time (s): 3553.63
CPU time (s): 3600.27
CPU user time (s): 3597.8
CPU system time (s): 2.46445
CPU usage (%): 101.312
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3587084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.46445
maximum resident set size= 3587212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155541
involuntary context switches= 10708
# summary of solver processes directly reported to runsolver:
# pid: 83587
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.8
# total CPU system time (s): 2.46445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7938 second user time and 16.5134 second system time
The end