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 (47255 MiB free)
memory of node 1: 64465 MiB (48184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525416-1751623749/watcher-4525416-1751623749 -o /tmp/evaluation-result-4525416-1751623749/solver-4525416-1751623749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751617233-86407 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525416-1751623749.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87196, runsolver pid=87193
[startup+0.100061 s]*
/proc/loadavg: 4.89 4.74 4.51 5/337 87214
/proc/meminfo: memFree=97708380/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=18930384 memory=57764 CPUtime=0.13 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 6565 0 0 0 11 2 0 0 20 0 18 0 78053494 19384713216 14441 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4732596 14441 5352 1 0 547603 0
[pid=87196/tid=87198] ppid=87193 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 5059 0 0 0 6 1 0 0 20 0 18 0 78053495 19384713216 14441 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78053497 19384713216 14441 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=18930384 memory=57385981078066 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78053497 19384713216 14441 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57764 KiB
[startup+0.205767 s]*
/proc/loadavg: 4.89 4.74 4.51 7/337 87214
/proc/meminfo: memFree=97703844/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=18930384 memory=65020 CPUtime=0.32 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 7275 0 0 0 30 2 0 0 20 0 18 0 78053494 19384713216 16255 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4732596 16255 5448 1 0 548131 0
[pid=87196/tid=87198] ppid=87193 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 5469 0 0 0 15 1 0 0 20 0 18 0 78053495 19384713216 16255 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=18930384 memory=15156 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78053497 19384713216 16255 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78053497 19384713216 16255 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65020 KiB
[startup+0.305727 s]*
/proc/loadavg: 4.89 4.74 4.51 6/338 87215
/proc/meminfo: memFree=97689540/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=18996948 memory=76364 CPUtime=0.51 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 7648 0 0 0 48 3 0 0 20 0 19 0 78053494 19452874752 19091 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4749237 19091 5448 1 0 548523 0
[pid=87196/tid=87198] ppid=87193 vsize=18996948 memory=-6000919494114501991 CPUtime=0.26 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 5525 0 0 0 24 2 0 0 20 0 19 0 78053495 19452874752 19091 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78053497 19452874752 19091 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78053497 19452874752 19091 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78053515 19452874752 19091 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76364 KiB
[startup+0.7002 s]
/proc/loadavg: 4.89 4.74 4.51 6/338 87215
/proc/meminfo: memFree=97622556/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=168668 CPUtime=1.27 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 13396 0 0 0 121 6 0 0 20 0 20 0 78053494 19521036288 42167 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 42167 5512 1 0 551731 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=18560 CPUtime=0.63 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 5562 0 0 0 60 3 0 0 20 0 20 0 78053495 19521036288 42167 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 42167 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 42167 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 42167 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168668 KiB
[startup+1.50026 s]
/proc/loadavg: 4.89 4.74 4.51 7/339 87216
/proc/meminfo: memFree=97596848/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=229188 CPUtime=2.83 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 18376 0 0 0 274 9 0 0 20 0 20 0 78053494 19521036288 57297 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 57297 5512 1 0 552753 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=10752 CPUtime=1.34 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 6467 0 0 0 130 4 0 0 20 0 20 0 78053495 19521036288 57297 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 57297 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 57297 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 57297 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229188 KiB
[startup+3.10601 s]
/proc/loadavg: 4.90 4.74 4.52 6/339 87216
/proc/meminfo: memFree=96792164/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=972600 CPUtime=5.7 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 30810 0 0 0 544 26 0 0 20 0 20 0 78053494 19521036288 243150 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 243150 5512 1 0 888002 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 7254 0 0 0 272 18 0 0 20 0 20 0 78053495 19521036288 243150 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=-6000919494114501991 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 243150 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 243150 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 243150 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 972600 KiB
[startup+6.3002 s]
/proc/loadavg: 4.90 4.74 4.52 6/339 87216
/proc/meminfo: memFree=95977312/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=1772124 CPUtime=9.12 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 31666 0 0 0 871 41 0 0 20 0 20 0 78053494 19521036288 443031 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 443031 5512 1 0 888009 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=0 CPUtime=6.06 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 7920 0 0 0 574 32 0 0 20 0 20 0 78053495 19521036288 443031 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 443031 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 443031 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=235472 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 443031 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1772124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.84 4.73 4.52 6/339 87216
/proc/meminfo: memFree=95597140/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=2153112 CPUtime=15.62 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 32639 0 0 0 1513 49 0 0 20 0 20 0 78053494 19521036288 538278 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 538278 5512 1 0 888011 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=235472 CPUtime=12.38 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 8766 0 0 0 1199 39 0 0 20 0 20 0 78053495 19521036288 538278 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 538278 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=2144896 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 538278 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 538278 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153112 KiB
[startup+25.5003 s]
/proc/loadavg: 4.79 4.72 4.52 7/339 87217
/proc/meminfo: memFree=95520464/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=2210576 CPUtime=28.55 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 37678 0 0 0 2803 52 0 0 20 0 20 0 78053494 19521036288 552644 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 552644 5512 1 0 888011 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=10752 CPUtime=25 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 9892 0 0 0 2461 39 0 0 20 0 20 0 78053495 19521036288 552644 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=2144896 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 552644 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3100 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 552644 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 552644 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2210576 KiB
[startup+51.1057 s]
/proc/loadavg: 4.85 4.75 4.53 5/339 87217
/proc/meminfo: memFree=95453380/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=2218808 CPUtime=54.29 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 42483 0 0 0 5375 54 0 0 20 0 20 0 78053494 19521036288 554702 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 554702 5512 1 0 888011 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=2218808 CPUtime=50.47 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 11814 0 0 0 5007 40 0 0 20 0 20 0 78053495 19521036288 554702 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=2218808 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=96590356/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3223.6 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 121099 0 0 0 322164 196 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3205.1 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 47585 0 0 0 320457 53 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 1988 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3223.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/340 87908
/proc/meminfo: memFree=96454272/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3283.49 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 121436 0 0 0 328153 196 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3264.97 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 47730 0 0 0 326444 53 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 1989 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3283.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/340 87910
/proc/meminfo: memFree=96454536/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3343.38 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 122613 0 0 0 334141 197 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3324.83 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 48639 0 0 0 332430 53 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2040 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3343.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/340 87912
/proc/meminfo: memFree=96315016/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3403.27 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 122805 0 0 0 340129 198 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3384.69 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 48816 0 0 0 338416 53 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2040 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3403.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/340 87918
/proc/meminfo: memFree=96316320/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3463.14 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 123807 0 0 0 346115 199 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3444.55 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 49688 0 0 0 344401 54 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=-6000919494114501991 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2055 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3463.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/339 87919
/proc/meminfo: memFree=96316124/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3522.97 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 123837 0 0 0 352098 199 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3504.36 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 49689 0 0 0 350382 54 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3522.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/338 87921
/proc/meminfo: memFree=96315300/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3582.82 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 125294 0 0 0 358081 201 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=18560 CPUtime=3564.16 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 50934 0 0 0 356362 54 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=3486136 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/339 87923
/proc/meminfo: memFree=96278284/131249988 swapFree=33010416/33010684
[pid=87196] ppid=87193 vsize=19063512 memory=3486136 CPUtime=3600.09 cores=0,2
/proc/87196/stat : 87196 (java) S 87193 87196 86397 0 -1 4194304 125337 0 0 0 359808 201 0 0 20 0 20 0 78053494 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
/proc/87196/statm: 4765878 871534 5512 1 0 888032 0
[pid=87196/tid=87198] ppid=87193 vsize=19063512 memory=12416 CPUtime=3581.37 cores=0,2
/proc/87196/task/87198/stat : 87198 (java) R 87193 87196 86397 0 -1 4194368 50965 0 0 0 358083 54 0 0 20 0 20 0 78053495 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87207] ppid=87193 vsize=19063512 memory=-6000919494114501991 CPUtime=0 cores=0,2
/proc/87196/task/87207/stat : 87207 (Finalizer) S 87193 87196 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87214] ppid=87193 vsize=19063512 memory=-6000919489903027559 CPUtime=0 cores=0,2
/proc/87196/task/87214/stat : 87214 (Common-Cleaner) S 87193 87196 86397 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 78053497 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
[pid=87196/tid=87215] ppid=87193 vsize=19063512 memory=4283938787853758108 CPUtime=0 cores=0,2
/proc/87196/task/87215/stat : 87215 (Timer-0) S 87193 87196 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78053515 19521036288 871534 18446744073709551615 94075778961408 94075778965104 140720358927728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94075778972920 94075778973712 94075789930496 140720358934908 140720358935012 140720358935012 140720358940616 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3486136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.68 s]
# the end of solver process 87196 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.21 s, system=2.03525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3599.68
CPU time (s): 3600.24
CPU user time (s): 3598.21
CPU system time (s): 2.03525
CPU usage (%): 100.016
Max. virtual memory (cumulated for all children) (KiB): 19066184
Max. memory (cumulated for all children) (KiB): 3486136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 2.03525
maximum resident set size= 3487416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186116
involuntary context switches= 10619
# summary of solver processes directly reported to runsolver:
# pid: 87196
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.21
# total CPU system time (s): 2.03525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58964 second user time and 14.9095 second system time
The end