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 (55283 MiB free)
memory of node 1: 64465 MiB (52607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525145-1751620534/watcher-4525145-1751620534 -o /tmp/evaluation-result-4525145-1751620534/solver-4525145-1751620534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86635 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525145-1751620534.wbo
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88790, runsolver pid=88787
[startup+0.100061 s]*
/proc/loadavg: 4.28 4.16 4.10 6/340 88808
/proc/meminfo: memFree=110454460/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18930384 memory=57700 CPUtime=0.11 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 6554 0 0 0 10 1 0 0 20 0 18 0 77732044 19384713216 14425 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4732596 14425 5338 1 0 547603 0
[pid=88790/tid=88792] ppid=88787 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 5057 0 0 0 6 1 0 0 20 0 18 0 77732045 19384713216 14425 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77732047 19384713216 14425 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18930384 memory=61784027576291 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77732048 19384713216 14425 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57700 KiB
[startup+0.205677 s]*
/proc/loadavg: 4.28 4.16 4.10 7/341 88809
/proc/meminfo: memFree=110448852/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=63324 CPUtime=0.31 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 7676 0 0 0 29 2 0 0 20 0 19 0 77732044 19452874752 15831 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 15831 5498 1 0 548412 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 5375 0 0 0 16 1 0 0 20 0 19 0 77732045 19452874752 15831 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=13937 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 15831 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=60684515935208 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 15831 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 15831 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63324 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.28 4.16 4.10 6/341 88809
/proc/meminfo: memFree=110445576/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=65940 CPUtime=0.5 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 9246 0 0 0 48 2 0 0 20 0 19 0 77732044 19452874752 16485 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 16485 5498 1 0 549014 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=-6000919476951016551 CPUtime=0.26 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 5385 0 0 0 25 1 0 0 20 0 19 0 77732045 19452874752 16485 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 16485 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 16485 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 16485 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65940 KiB
[startup+0.700229 s]
/proc/loadavg: 4.28 4.16 4.10 6/341 88809
/proc/meminfo: memFree=110433164/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=83212 CPUtime=1.27 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 13323 0 0 0 124 3 0 0 20 0 19 0 77732044 19452874752 20803 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 20803 5498 1 0 551689 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=18560 CPUtime=0.62 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 5448 0 0 0 61 1 0 0 20 0 19 0 77732045 19452874752 20803 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 20803 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 20803 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 20803 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83212 KiB
[startup+1.50021 s]
/proc/loadavg: 4.28 4.16 4.10 6/341 88809
/proc/meminfo: memFree=110367944/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=94924 CPUtime=2.43 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 16953 0 0 0 239 4 0 0 20 0 19 0 77732044 19452874752 23731 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 23731 5498 1 0 551969 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=0 CPUtime=1.41 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 5773 0 0 0 140 1 0 0 20 0 19 0 77732045 19452874752 23731 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 23731 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 23731 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 23731 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94924 KiB
[startup+3.10548 s]
/proc/loadavg: 4.28 4.16 4.10 5/341 88809
/proc/meminfo: memFree=110347716/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=111436 CPUtime=4.19 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 18451 0 0 0 415 4 0 0 20 0 19 0 77732044 19452874752 27859 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 27859 5498 1 0 551969 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=11136 CPUtime=3 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 6081 0 0 0 298 2 0 0 20 0 19 0 77732045 19452874752 27859 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=-6000919476951016551 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 27859 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 27859 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 27859 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111436 KiB
[startup+6.30022 s]
/proc/loadavg: 4.26 4.16 4.10 5/341 88809
/proc/meminfo: memFree=110237416/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=18996948 memory=133996 CPUtime=7.38 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 18617 0 0 0 733 5 0 0 20 0 19 0 77732044 19452874752 33499 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4749237 33499 5498 1 0 551969 0
[pid=88790/tid=88792] ppid=88787 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 6161 0 0 0 616 2 0 0 20 0 19 0 77732045 19452874752 33499 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77732047 19452874752 33499 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77732048 19452874752 33499 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=18996948 memory=94924 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77732062 19452874752 33499 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.17 4.11 5/342 88810
/proc/meminfo: memFree=109991412/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=187668 CPUtime=13.77 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 21722 0 0 0 1371 6 0 0 20 0 20 0 77732044 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 46917 5498 1 0 552258 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=94924 CPUtime=12.54 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 7205 0 0 0 1251 3 0 0 20 0 20 0 77732045 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=164716 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 13.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.18 4.11 5/342 88810
/proc/meminfo: memFree=109737964/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=187668 CPUtime=26.59 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 24117 0 0 0 2652 7 0 0 20 0 20 0 77732044 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 46917 5498 1 0 552258 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=164716 CPUtime=25.31 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 7638 0 0 0 2528 3 0 0 20 0 20 0 77732045 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=-6000919476951016551 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 46917 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187668 KiB
[startup+51.1056 s]
/proc/loadavg: 4.21 4.16 4.10 5/342 88811
/proc/meminfo: memFree=108968168/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=243296 CPUtime=52.2 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 25376 0 0 0 5211 9 0 0 20 0 20 0 77732044 19521036288 60824 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 60824 5498 1 0 552258 0
################
# More data... #
################
/proc/meminfo: memFree=91506196/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3278.92 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 66519 0 0 0 327754 138 0 0 20 0 20 0 77732044 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 459575 5562 1 0 554062 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3272.5 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 26142 0 0 0 327238 12 0 0 20 0 20 0 77732045 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 972 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3278.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1838300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/340 89144
/proc/meminfo: memFree=91403380/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3338.8 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 66835 0 0 0 333740 140 0 0 20 0 20 0 77732044 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 459575 5562 1 0 554065 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=-6000919476951016551 CPUtime=3332.36 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 26418 0 0 0 333224 12 0 0 20 0 20 0 77732045 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=1838300 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 972 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3338.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1838300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/341 89150
/proc/meminfo: memFree=91276660/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3398.69 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 67258 0 0 0 339726 143 0 0 20 0 20 0 77732044 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 459575 5562 1 0 554068 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=16496 CPUtime=3392.22 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 26829 0 0 0 339210 12 0 0 20 0 20 0 77732045 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=1838300 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=1838300 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 972 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3398.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1838300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.15 5/341 89152
/proc/meminfo: memFree=91075488/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3458.58 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 68083 0 0 0 345713 145 0 0 20 0 20 0 77732044 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 459575 5562 1 0 554070 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=16496 CPUtime=3452.08 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 27440 0 0 0 345196 12 0 0 20 0 20 0 77732045 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=1838300 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 1094 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3458.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1838300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.18 4.15 5/341 89154
/proc/meminfo: memFree=90932192/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1838300 CPUtime=3518.45 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 68748 0 0 0 351699 146 0 0 20 0 20 0 77732044 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 459575 5562 1 0 554072 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=0 CPUtime=3511.93 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 27933 0 0 0 351181 12 0 0 20 0 20 0 77732045 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=23156 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 459575 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3518.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1838300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/341 89290
/proc/meminfo: memFree=107202416/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1914220 CPUtime=3578.51 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 69937 0 0 0 357701 150 0 0 20 0 20 0 77732044 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 478555 5562 1 0 554073 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=5632 CPUtime=3571.63 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 27988 0 0 0 357150 13 0 0 20 0 20 0 77732045 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=-6000919476984898407 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3578.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.9 s]
/proc/loadavg: 4.18 4.18 4.15 5/341 89290
/proc/meminfo: memFree=107142368/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1914220 CPUtime=3600.06 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 70048 0 0 0 359856 150 0 0 20 0 20 0 77732044 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 478555 5562 1 0 554073 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=18560 CPUtime=3593.18 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 28098 0 0 0 359305 13 0 0 20 0 20 0 77732045 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=1914220 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604 s]
# the end of solver process 88790 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.72 s, system=1.52128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3603.9 s]
/proc/loadavg: 4.18 4.18 4.15 5/341 89290
/proc/meminfo: memFree=107142368/131249996 swapFree=33010160/33010684
[pid=88790] ppid=88787 vsize=19063512 memory=1914220 CPUtime=3600.06 cores=4,6
/proc/88790/stat : 88790 (java) S 88787 88790 86624 0 -1 4194304 70048 0 0 0 359856 150 0 0 20 0 20 0 77732044 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
/proc/88790/statm: 4765878 478555 5562 1 0 554073 0
[pid=88790/tid=88792] ppid=88787 vsize=19063512 memory=18560 CPUtime=3593.18 cores=4,6
/proc/88790/task/88792/stat : 88792 (java) R 88787 88790 86624 0 -1 4194368 28098 0 0 0 359305 13 0 0 20 0 20 0 77732045 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88801] ppid=88787 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/88790/task/88801/stat : 88801 (Finalizer) S 88787 88790 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77732047 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88808] ppid=88787 vsize=19063512 memory=1914220 CPUtime=0 cores=4,6
/proc/88790/task/88808/stat : 88808 (Common-Cleaner) S 88787 88790 86624 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 77732048 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
[pid=88790/tid=88809] ppid=88787 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/88790/task/88809/stat : 88809 (Timer-0) S 88787 88790 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77732062 19521036288 478555 18446744073709551615 94067898257408 94067898261104 140729679158880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94067898268920 94067898269712 94067923529728 140729679161727 140729679161828 140729679161828 140729679167432 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914220 KiB
Child status: 143
Real time (s): 3604
CPU time (s): 3600.24
CPU user time (s): 3598.72
CPU system time (s): 1.52128
CPU usage (%): 99.8956
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1914220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.52128
maximum resident set size= 1915116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104221
involuntary context switches= 2981
# summary of solver processes directly reported to runsolver:
# pid: 88790
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.72
# total CPU system time (s): 1.52128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56466 second user time and 17.3878 second system time
The end