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 (58637 MiB free)
memory of node 1: 64465 MiB (51041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520210-1751569898/watcher-4520210-1751569898 -o /tmp/evaluation-result-4520210-1751569898/solver-4520210-1751569898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751563092-77674 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4520210-1751569898.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
solver pid=78602, runsolver pid=78599
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.49 4.54 4.54 5/338 78620
/proc/meminfo: memFree=112278752/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=18930384 memory=57900 CPUtime=0.13 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 6600 0 0 0 11 2 0 0 20 0 18 0 72668263 19384713216 14475 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4732596 14475 5339 1 0 547641 0
[pid=78602/tid=78604] ppid=78599 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 5093 0 0 0 7 1 0 0 20 0 18 0 72668264 19384713216 14475 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72668266 19384713216 14475 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=18930384 memory=59585004339238 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72668266 19384713216 14475 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57900 KiB
[startup+0.205782 s]*
/proc/loadavg: 4.49 4.54 4.54 7/338 78620
/proc/meminfo: memFree=112271632/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=18930384 memory=64360 CPUtime=0.32 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 7115 0 0 0 30 2 0 0 20 0 18 0 72668263 19384713216 16090 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4732596 16090 5435 1 0 547959 0
[pid=78602/tid=78604] ppid=78599 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) S 78599 78602 77663 0 -1 4194368 5370 0 0 0 15 1 0 0 20 0 18 0 72668264 19384713216 16090 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72668266 19384713216 16090 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72668266 19384713216 16090 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64360 KiB
[startup+0.305748 s]*
/proc/loadavg: 4.49 4.54 4.54 6/339 78621
/proc/meminfo: memFree=112259408/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=18996948 memory=77740 CPUtime=0.51 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 8088 0 0 0 48 3 0 0 20 0 19 0 72668263 19452874752 19435 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4749237 19435 5467 1 0 548824 0
[pid=78602/tid=78604] ppid=78599 vsize=18996948 memory=-6000919468344435816 CPUtime=0.25 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 5498 0 0 0 24 1 0 0 20 0 19 0 72668264 19452874752 19435 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72668266 19452874752 19435 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72668266 19452874752 19435 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72668285 19452874752 19435 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77740 KiB
[startup+0.700252 s]
/proc/loadavg: 4.49 4.54 4.54 6/339 78621
/proc/meminfo: memFree=112201940/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=162824 CPUtime=1.27 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 11283 0 0 0 122 5 0 0 20 0 20 0 72668263 19521036288 40706 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 40706 5499 1 0 550650 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=18688 CPUtime=0.59 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 5548 0 0 0 56 3 0 0 20 0 20 0 72668264 19521036288 40706 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 40706 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 40706 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 40706 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162824 KiB
[startup+1.50025 s]
/proc/loadavg: 4.49 4.54 4.54 6/340 78622
/proc/meminfo: memFree=112128028/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=389248 CPUtime=2.85 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 23730 0 0 0 274 11 0 0 20 0 20 0 72668263 19521036288 97312 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 97312 5499 1 0 556153 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=10752 CPUtime=1.35 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 5760 0 0 0 128 7 0 0 20 0 20 0 72668264 19521036288 97312 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 97312 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 97312 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 97312 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 389248 KiB
[startup+3.10569 s]
/proc/loadavg: 4.53 4.55 4.54 7/340 78622
/proc/meminfo: memFree=111391244/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=939840 CPUtime=6.01 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 31994 0 0 0 578 23 0 0 20 0 20 0 72668263 19521036288 234960 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 234960 5499 1 0 897084 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=10752 CPUtime=2.83 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 6605 0 0 0 267 16 0 0 20 0 20 0 72668264 19521036288 234960 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=-6000919468344435816 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 234960 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 234960 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 234960 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 939840 KiB
[startup+6.30022 s]
/proc/loadavg: 4.53 4.55 4.54 6/340 78622
/proc/meminfo: memFree=110529840/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=1965204 CPUtime=9.83 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 34263 0 0 0 940 43 0 0 20 0 20 0 72668263 19521036288 491301 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 491301 5499 1 0 1216719 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=0 CPUtime=5.87 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 7807 0 0 0 553 34 0 0 20 0 20 0 72668264 19521036288 491301 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 491301 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 491301 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=446592 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 491301 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1965204 KiB
[startup+12.7002 s]
/proc/loadavg: 4.57 4.55 4.55 5/340 78622
/proc/meminfo: memFree=109446740/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=3241212 CPUtime=16.27 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 35004 0 0 0 1561 66 0 0 20 0 20 0 72668263 19521036288 810303 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 810303 5499 1 0 1216731 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=446592 CPUtime=12.15 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 8465 0 0 0 1160 55 0 0 20 0 20 0 72668264 19521036288 810303 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 810303 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=2663676 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 810303 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 810303 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 16.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3241212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.54 4.54 5/340 78622
/proc/meminfo: memFree=108933748/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=3298432 CPUtime=29.5 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 45199 0 0 0 2881 69 0 0 20 0 20 0 72668263 19521036288 824608 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 824608 5499 1 0 1218824 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=10752 CPUtime=24.73 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 11608 0 0 0 2416 57 0 0 20 0 20 0 72668264 19521036288 824608 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=2663676 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 824608 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 824608 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 824608 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 29.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3298432 KiB
[startup+51.1057 s]
/proc/loadavg: 4.53 4.55 4.54 6/339 78689
/proc/meminfo: memFree=111908512/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=3311200 CPUtime=55.46 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 50119 0 0 0 5476 70 0 0 20 0 20 0 72668263 19521036288 827800 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 827800 5499 1 0 1218825 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=3311200 CPUtime=49.7 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 14094 0 0 0 4913 57 0 0 20 0 20 0 72668264 19521036288 827800 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=3290696 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204092 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=4816368 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2011 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204092 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=4816368 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204092 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3150.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816368 KiB
[startup+3102.3 s]
/proc/loadavg: 4.42 4.54 4.56 6/339 78986
/proc/meminfo: memFree=103891572/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3217.47 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 222276 0 0 0 321438 309 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=4816368 CPUtime=3061.76 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 93736 0 0 0 306090 86 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=4816368 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2011 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3217.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
[startup+3162.3 s]
/proc/loadavg: 4.71 4.58 4.57 5/339 78992
/proc/meminfo: memFree=103776076/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3286.21 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 226184 0 0 0 328303 318 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=4816368 CPUtime=3120.91 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 95233 0 0 0 312005 86 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=4816368 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2011 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3286.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.58 4.57 6/338 78994
/proc/meminfo: memFree=103702048/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3355.81 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 227559 0 0 0 335253 328 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=4816368 CPUtime=3180.15 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 96460 0 0 0 317928 87 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3355.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.60 4.58 4.57 6/338 78996
/proc/meminfo: memFree=103622900/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3425.31 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 232268 0 0 0 342190 341 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3239.56 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 98904 0 0 0 323869 87 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=1664 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2027 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=26512 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3425.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
[startup+3342.3 s]
/proc/loadavg: 3.78 4.35 4.49 4/313 79031
/proc/meminfo: memFree=110824928/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3491.82 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 235967 0 0 0 348834 348 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3299.03 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 100337 0 0 0 329816 87 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=5732 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3491.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
[startup+3402.3 s]
/proc/loadavg: 3.46 4.15 4.41 4/314 79036
/proc/meminfo: memFree=110722632/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816496 CPUtime=3561.72 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 236933 0 0 0 355813 359 0 0 20 0 20 0 72668263 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204124 5531 1 0 1224553 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=5632 CPUtime=3358.21 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 101124 0 0 0 335734 87 0 0 20 0 20 0 72668264 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=4816496 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2085 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=-6000919468344435816 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204124 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3561.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3434 s]*
/proc/loadavg: 3.40 4.05 4.36 4/314 79038
/proc/meminfo: memFree=110681536/131249996 swapFree=33010160/33010684
[pid=78602] ppid=78599 vsize=19063512 memory=4816624 CPUtime=3600.07 cores=4,6
/proc/78602/stat : 78602 (java) S 78599 78602 77663 0 -1 4194304 238190 0 0 0 359642 365 0 0 20 0 20 0 72668263 19521036288 1204156 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
/proc/78602/statm: 4765878 1204156 5531 1 0 1224573 0
[pid=78602/tid=78604] ppid=78599 vsize=19063512 memory=-6000919489902896232 CPUtime=3389.45 cores=4,6
/proc/78602/task/78604/stat : 78604 (java) R 78599 78602 77663 0 -1 4194368 102279 0 0 0 338857 88 0 0 20 0 20 0 72668264 19521036288 1204156 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78613] ppid=78599 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/78602/task/78613/stat : 78613 (Finalizer) S 78599 78602 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204156 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78620] ppid=78599 vsize=19063512 memory=8253848 CPUtime=0 cores=4,6
/proc/78602/task/78620/stat : 78620 (Common-Cleaner) S 78599 78602 77663 0 -1 4194368 2085 0 0 0 0 0 0 0 20 0 20 0 72668266 19521036288 1204156 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
[pid=78602/tid=78621] ppid=78599 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/78602/task/78621/stat : 78621 (Timer-0) S 78599 78602 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72668285 19521036288 1204156 18446744073709551615 94274777505792 94274777509488 140723785258448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94274777517304 94274777518096 94274807177216 140723785263486 140723785263590 140723785263590 140723785269192 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4816624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3434.12 s]
# the end of solver process 78602 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.61 s, system=3.67003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3434.11 s]*
/proc/loadavg: 3.40 4.05 4.36 5/296 79041
/proc/meminfo: memFree=112703700/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): 3434.12
CPU time (s): 3600.28
CPU user time (s): 3596.61
CPU system time (s): 3.67003
CPU usage (%): 104.838
Max. virtual memory (cumulated for all children) (KiB): 19066520
Max. memory (cumulated for all children) (KiB): 4823100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.61
system time used= 3.67003
maximum resident set size= 4823100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125521
involuntary context switches= 17984
# summary of solver processes directly reported to runsolver:
# pid: 78602
# total CPU time (s): 3600.28
# total CPU user time (s): 3596.61
# total CPU system time (s): 3.67003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28974 second user time and 16.9406 second system time
The end