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 (55645 MiB free)
memory of node 1: 64465 MiB (53345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524695-1751616933/watcher-4524695-1751616933 -o /tmp/evaluation-result-4524695-1751616933/solver-4524695-1751616933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86635 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524695-1751616933.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
Starting watchdog thread
solver pid=86680, runsolver pid=86674
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.32 2.45 3.53 8/333 86761
/proc/meminfo: memFree=111535232/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18930384 memory=52008 CPUtime=0.09 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 6168 0 0 0 8 1 0 0 20 0 18 0 77371992 19384713216 13002 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4732596 13002 5329 1 0 547274 0
[pid=86680/tid=86694] ppid=86674 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 4961 0 0 0 5 1 0 0 20 0 18 0 77371995 19384713216 13002 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77371997 19384713216 13002 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77371997 19384713216 13002 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52008 KiB
[startup+0.205778 s]*
/proc/loadavg: 1.32 2.45 3.53 14/335 86763
/proc/meminfo: memFree=111483248/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=62652 CPUtime=0.28 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 7195 0 0 0 27 1 0 0 20 0 19 0 77371992 19452874752 15663 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 15663 5457 1 0 548363 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=4026794268 CPUtime=0.15 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 5360 0 0 0 14 1 0 0 20 0 19 0 77371995 19452874752 15663 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=13937 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 15663 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=60684515935208 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 15663 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) R 86674 86680 86624 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 15663 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62652 KiB
[startup+0.305686 s]*
/proc/loadavg: 1.32 2.45 3.53 10/337 86765
/proc/meminfo: memFree=111461384/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=67392 CPUtime=0.47 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 8978 0 0 0 45 2 0 0 20 0 19 0 77371992 19452874752 16848 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 16848 5457 1 0 549466 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=-6000919476967859815 CPUtime=0.24 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 5370 0 0 0 23 1 0 0 20 0 19 0 77371995 19452874752 16848 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 16848 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 16848 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 16848 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67392 KiB
[startup+0.700245 s]
/proc/loadavg: 1.32 2.45 3.53 9/337 86765
/proc/meminfo: memFree=111435048/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=80152 CPUtime=1.23 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 11383 0 0 0 121 2 0 0 20 0 19 0 77371992 19452874752 20038 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 20038 5457 1 0 551019 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=18560 CPUtime=0.62 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 5406 0 0 0 61 1 0 0 20 0 19 0 77371995 19452874752 20038 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 20038 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 20038 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 20038 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80152 KiB
[startup+1.50026 s]
/proc/loadavg: 1.32 2.45 3.53 6/337 86765
/proc/meminfo: memFree=111371032/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=93284 CPUtime=2.36 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 14330 0 0 0 233 3 0 0 20 0 19 0 77371992 19452874752 23321 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 23321 5457 1 0 551746 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 5537 0 0 0 139 1 0 0 20 0 19 0 77371995 19452874752 23321 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 23321 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 23321 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 23321 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93284 KiB
[startup+3.10554 s]
/proc/loadavg: 1.32 2.45 3.53 5/338 86766
/proc/meminfo: memFree=111209616/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=115940 CPUtime=4 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 15519 0 0 0 396 4 0 0 20 0 19 0 77371992 19452874752 28985 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 28985 5457 1 0 551748 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=11136 CPUtime=3 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 6284 0 0 0 299 1 0 0 20 0 19 0 77371995 19452874752 28985 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=-6000919489852761703 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 28985 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 28985 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 28985 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115940 KiB
[startup+6.30022 s]
/proc/loadavg: 1.54 2.48 3.54 5/339 86767
/proc/meminfo: memFree=110980348/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=18996948 memory=150760 CPUtime=7.28 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 19459 0 0 0 724 4 0 0 20 0 19 0 77371992 19452874752 37690 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4749237 37690 5457 1 0 551750 0
[pid=86680/tid=86694] ppid=86674 vsize=18996948 memory=0 CPUtime=6.19 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 6468 0 0 0 617 2 0 0 20 0 19 0 77371995 19452874752 37690 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 37690 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371997 19452874752 37690 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=18996948 memory=93284 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372012 19452874752 37690 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 7.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150760 KiB
[startup+12.7002 s]
/proc/loadavg: 1.73 2.50 3.54 5/340 86768
/proc/meminfo: memFree=110556980/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=202824 CPUtime=13.71 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 22277 0 0 0 1365 6 0 0 20 0 20 0 77371992 19521036288 50706 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 50706 5521 1 0 552039 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=93284 CPUtime=12.54 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 6989 0 0 0 1252 2 0 0 20 0 20 0 77371995 19521036288 50706 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=202824 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 50706 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 50706 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 50706 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202824 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 2.59 3.55 5/340 86769
/proc/meminfo: memFree=109678560/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=344348 CPUtime=26.64 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 25777 0 0 0 2655 9 0 0 20 0 20 0 77371992 19521036288 86087 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 86087 5521 1 0 552039 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=202824 CPUtime=25.19 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 7856 0 0 0 2517 2 0 0 20 0 20 0 77371995 19521036288 86087 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 86087 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 86087 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=272600 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 86087 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 344348 KiB
[startup+51.1057 s]
/proc/loadavg: 2.96 2.72 3.57 5/341 86770
/proc/meminfo: memFree=107837772/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=497980 CPUtime=52.3 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 26986 0 0 0 5217 13 0 0 20 0 20 0 77371992 19521036288 124495 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 124495 5521 1 0 552039 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=497980 CPUtime=50.6 cores=4,6
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/341 88592
/proc/meminfo: memFree=87695400/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3283.12 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 78242 0 0 0 328148 164 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=11136 CPUtime=3269.09 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 31369 0 0 0 326881 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3283.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/341 88598
/proc/meminfo: memFree=87691532/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3343 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 78664 0 0 0 334136 164 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3328.95 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 31786 0 0 0 332867 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3343 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/341 88600
/proc/meminfo: memFree=87462240/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3402.89 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 79343 0 0 0 340123 166 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3388.81 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 32440 0 0 0 338853 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3402.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 88602
/proc/meminfo: memFree=87107016/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3462.9 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 80691 0 0 0 346123 167 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3448.56 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 33232 0 0 0 344828 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1417 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=-6000919489852761703 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3462.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/341 88605
/proc/meminfo: memFree=86595144/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3522.79 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 80772 0 0 0 352110 169 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3508.42 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 33232 0 0 0 350814 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3522.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/340 88740
/proc/meminfo: memFree=108366368/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3582.67 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 81374 0 0 0 358096 171 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=16496 CPUtime=3568.28 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 33800 0 0 0 356800 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3582.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.7 s]
/proc/loadavg: 4.13 4.13 4.09 5/342 88743
/proc/meminfo: memFree=108009492/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3600.04 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 81533 0 0 0 359832 172 0 0 20 0 20 0 77371992 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4765878 633854 5553 1 0 647142 0
[pid=86680/tid=86694] ppid=86674 vsize=19063512 memory=2535416 CPUtime=3585.64 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 33959 0 0 0 358536 28 0 0 20 0 20 0 77371995 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19063512 memory=2535416 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 77371997 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86763] ppid=86674 vsize=19063512 memory=-6000919489852761703 CPUtime=0 cores=4,6
/proc/86680/task/86763/stat : 86763 (Timer-0) S 86674 86680 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372012 19521036288 633854 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2535416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.82 s]
# the end of solver process 86680 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.53 s, system=1.73317 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3599.8 s]
/proc/loadavg: 4.13 4.13 4.09 5/342 88743
/proc/meminfo: memFree=108009492/131249996 swapFree=33010160/33010684
[pid=86680] ppid=86674 vsize=19263204 memory=2536056 CPUtime=3600.25 cores=4,6
/proc/86680/stat : 86680 (java) S 86674 86680 86624 0 -1 4194304 83503 0 0 0 359853 172 0 0 20 0 21 0 77371992 19725520896 634014 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
/proc/86680/statm: 4815801 634014 5553 1 0 648065 0
[pid=86680/tid=86694] ppid=86674 vsize=19263204 memory=3200 CPUtime=3585.73 cores=4,6
/proc/86680/task/86694/stat : 86694 (java) R 86674 86680 86624 0 -1 4194368 34043 0 0 0 358545 28 0 0 20 0 21 0 77371995 19725520896 634014 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86719] ppid=86674 vsize=19263204 memory=-6000919489852761703 CPUtime=0 cores=4,6
/proc/86680/task/86719/stat : 86719 (Finalizer) S 86674 86680 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77371997 19725520896 634014 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
[pid=86680/tid=86728] ppid=86674 vsize=19263204 memory=2764 CPUtime=0 cores=4,6
/proc/86680/task/86728/stat : 86728 (Common-Cleaner) S 86674 86680 86624 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 21 0 77371997 19725520896 634014 18446744073709551615 94726260310016 94726260313712 140730256698768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94726260321528 94726260322320 94726271021056 140730256705919 140730256706020 140730256706020 140730256711624 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2536056 KiB
Child status: 143
Real time (s): 3599.82
CPU time (s): 3600.26
CPU user time (s): 3598.53
CPU system time (s): 1.73317
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2536056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.53
system time used= 1.73317
maximum resident set size= 2536184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106194
involuntary context switches= 3622
# summary of solver processes directly reported to runsolver:
# pid: 86680
# total CPU time (s): 3600.26
# total CPU user time (s): 3598.53
# total CPU system time (s): 1.73317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63696 second user time and 17.4286 second system time
The end