runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60890 MiB free)
  memory of node 1: 64507 MiB (59972 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514094-1751223936/watcher-4514094-1751223936 -o /tmp/evaluation-result-4514094-1751223936/solver-4514094-1751223936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28439 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514094-1751223936.opb 

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
solver pid=29263, runsolver pid=29260
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.06 4.08 4.09 5/338 29281
/proc/meminfo: memFree=123752056/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18930384 memory=57712 CPUtime=0.12 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 6568 0 0 0 10 2 0 0 20 0 18 0 38071340 19384713216 14428 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4732596 14428 5342 1 0 547620 0
[pid=29263/tid=29265] ppid=29260 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 5067 0 0 0 6 1 0 0 20 0 18 0 38071341 19384713216 14428 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38071343 19384713216 14428 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38071344 19384713216 14428 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57712 KiB

[startup+0.205951 s]*
/proc/loadavg: 4.06 4.08 4.09 7/339 29282
/proc/meminfo: memFree=123754728/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=62096 CPUtime=0.32 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 7252 0 0 0 30 2 0 0 20 0 19 0 38071340 19452874752 15524 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 15524 5438 1 0 548275 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 5296 0 0 0 16 1 0 0 20 0 19 0 38071341 19452874752 15524 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=16880 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 15524 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 15524 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 15524 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62096 KiB

[startup+0.305919 s]*
/proc/loadavg: 4.06 4.08 4.09 6/339 29282
/proc/meminfo: memFree=123750696/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=66520 CPUtime=0.52 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 8867 0 0 0 49 3 0 0 20 0 19 0 38071340 19452874752 16630 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 16630 5438 1 0 549266 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=-6000919507049669485 CPUtime=0.27 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 5303 0 0 0 25 2 0 0 20 0 19 0 38071341 19452874752 16630 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 16630 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 16630 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 16630 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66520 KiB

[startup+0.700238 s]
/proc/loadavg: 4.06 4.08 4.09 6/339 29282
/proc/meminfo: memFree=123738320/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=80908 CPUtime=1.27 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 12310 0 0 0 123 4 0 0 20 0 19 0 38071340 19452874752 20227 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 20227 5438 1 0 551231 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=17408 CPUtime=0.63 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 5344 0 0 0 61 2 0 0 20 0 19 0 38071341 19452874752 20227 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 20227 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 20227 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 20227 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80908 KiB

[startup+1.50024 s]
/proc/loadavg: 4.06 4.08 4.09 5/339 29282
/proc/meminfo: memFree=123734224/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=87228 CPUtime=2.25 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 15269 0 0 0 220 5 0 0 20 0 19 0 38071340 19452874752 21807 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 21807 5438 1 0 551232 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=0 CPUtime=1.43 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 5810 0 0 0 141 2 0 0 20 0 19 0 38071341 19452874752 21807 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 21807 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 21807 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 21807 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87228 KiB

[startup+3.10576 s]
/proc/loadavg: 4.14 4.10 4.09 5/339 29282
/proc/meminfo: memFree=123721940/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=97724 CPUtime=4.02 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 16555 0 0 0 397 5 0 0 20 0 19 0 38071340 19452874752 24431 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 24431 5438 1 0 551278 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=10752 CPUtime=3.03 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 6092 0 0 0 301 2 0 0 20 0 19 0 38071341 19452874752 24431 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=-6000919507049669485 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 24431 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 24431 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 24431 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97724 KiB

[startup+6.30023 s]
/proc/loadavg: 4.14 4.10 4.09 5/339 29282
/proc/meminfo: memFree=123701500/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=112584 CPUtime=7.25 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 19880 0 0 0 719 6 0 0 20 0 19 0 38071340 19452874752 28146 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 28146 5438 1 0 551278 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=0 CPUtime=6.21 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 6740 0 0 0 619 2 0 0 20 0 19 0 38071341 19452874752 28146 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 28146 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 28146 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=87228 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 28146 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112584 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/339 29282
/proc/meminfo: memFree=123672836/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=18996948 memory=143304 CPUtime=13.63 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 21371 0 0 0 1357 6 0 0 20 0 19 0 38071340 19452874752 35826 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4749237 35826 5438 1 0 551294 0
[pid=29263/tid=29265] ppid=29260 vsize=18996948 memory=87228 CPUtime=12.6 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 7350 0 0 0 1257 3 0 0 20 0 19 0 38071341 19452874752 35826 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=18996948 memory=139208 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38071343 19452874752 35826 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38071344 19452874752 35826 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38071356 19452874752 35826 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 13.63 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143304 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/340 29283
/proc/meminfo: memFree=123640572/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=176668 CPUtime=26.47 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 24934 0 0 0 2639 8 0 0 20 0 20 0 38071340 19521036288 44167 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 44167 5502 1 0 551583 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=139208 CPUtime=25.34 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 8007 0 0 0 2531 3 0 0 20 0 20 0 38071341 19521036288 44167 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 44167 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=176668 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 44167 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 44167 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 26.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176668 KiB

[startup+51.1059 s]
/proc/loadavg: 4.14 4.10 4.09 5/340 29283
/proc/meminfo: memFree=123489272/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=203556 CPUtime=52.04 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 26417 0 0 0 5195 9 0 0 20 0 20 0 38071340 19521036288 50889 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 50889 5502 1 0 551583 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=176668 CPUtime=50.85 cores=0,2

################
# More data... #
################

/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=1671316 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1013 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=1671316 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3217.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1671316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.12 6/340 29638
/proc/meminfo: memFree=123129996/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1671316 CPUtime=3277.6 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 65550 0 0 0 327661 99 0 0 20 0 20 0 38071340 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 417829 5534 1 0 555165 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=1671316 CPUtime=3271.69 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 26479 0 0 0 327154 15 0 0 20 0 20 0 38071341 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3277.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1671316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/340 29651
/proc/meminfo: memFree=123127900/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1671316 CPUtime=3337.45 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 65614 0 0 0 333645 100 0 0 20 0 20 0 38071340 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 417829 5534 1 0 555165 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=10752 CPUtime=3331.52 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 26516 0 0 0 333136 16 0 0 20 0 20 0 38071341 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=1671316 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1109 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 417829 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3337.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1671316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.11 6/339 29653
/proc/meminfo: memFree=123067716/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1675464 CPUtime=3397.4 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 66505 0 0 0 339638 102 0 0 20 0 20 0 38071340 19521036288 418866 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 418866 5534 1 0 555165 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=10752 CPUtime=3391.25 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 26566 0 0 0 339109 16 0 0 20 0 20 0 38071341 19521036288 418866 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 418866 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 418866 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=1675464 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 418866 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3397.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1675464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.14 4.12 6/340 29656
/proc/meminfo: memFree=123045600/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1678024 CPUtime=3457.26 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 66524 0 0 0 345622 104 0 0 20 0 20 0 38071340 19521036288 419506 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 419506 5534 1 0 555169 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=10752 CPUtime=3451.08 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 26578 0 0 0 345091 17 0 0 20 0 20 0 38071341 19521036288 419506 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=1677896 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 419506 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 419506 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 419506 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3457.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1678024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.11 6/339 29658
/proc/meminfo: memFree=122995888/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1682760 CPUtime=3517.1 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 66735 0 0 0 351605 105 0 0 20 0 20 0 38071340 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 420690 5534 1 0 555174 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=7686721470264483783 CPUtime=3510.91 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 26784 0 0 0 351074 17 0 0 20 0 20 0 38071341 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=1682760 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=1682760 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3517.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1682760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.23 4.15 5/339 29660
/proc/meminfo: memFree=122995552/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1682760 CPUtime=3576.95 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 67097 0 0 0 357588 107 0 0 20 0 20 0 38071340 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 420690 5534 1 0 555180 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=7686721470264483783 CPUtime=3570.74 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 27124 0 0 0 357056 18 0 0 20 0 20 0 38071341 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=1682760 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3576.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1682760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.4 s]
/proc/loadavg: 4.30 4.21 4.14 6/339 29660
/proc/meminfo: memFree=122995568/131249996 swapFree=33010684/33010684
[pid=29263] ppid=29260 vsize=19063512 memory=1682760 CPUtime=3600 cores=0,2
/proc/29263/stat : 29263 (java) S 29260 29263 28429 0 -1 4194304 67325 0 0 0 359892 108 0 0 20 0 20 0 38071340 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
/proc/29263/statm: 4765878 420690 5534 1 0 555184 0
[pid=29263/tid=29265] ppid=29260 vsize=19063512 memory=2157708 CPUtime=3593.78 cores=0,2
/proc/29263/task/29265/stat : 29265 (java) R 29260 29263 28429 0 -1 4194368 27348 0 0 0 359360 18 0 0 20 0 20 0 38071341 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29274] ppid=29260 vsize=19063512 memory=6896 CPUtime=0 cores=0,2
/proc/29263/task/29274/stat : 29274 (Finalizer) S 29260 29263 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38071343 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29281] ppid=29260 vsize=19063512 memory=1599996 CPUtime=0 cores=0,2
/proc/29263/task/29281/stat : 29281 (Common-Cleaner) S 29260 29263 28429 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 38071344 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
[pid=29263/tid=29282] ppid=29260 vsize=19063512 memory=7024 CPUtime=0 cores=0,2
/proc/29263/task/29282/stat : 29282 (Timer-0) S 29260 29263 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38071356 19521036288 420690 18446744073709551615 93999914065920 93999914069616 140728202903664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93999914077432 93999914078224 93999935664128 140728202905985 140728202906086 140728202906086 140728202911688 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1682760 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3605.53 s]
# the end of solver process 29263 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.09631 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3605.5 s]*
/proc/loadavg: 4.30 4.21 4.14 5/318 29663
/proc/meminfo: memFree=124638672/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3605.53
CPU time (s): 3600.14
CPU user time (s): 3599.05
CPU system time (s): 1.09631
CPU usage (%): 99.8506
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1682760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.09631
maximum resident set size= 1683528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103946
involuntary context switches= 8770


# summary of solver processes directly reported to runsolver:
#   pid: 29263
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.09631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62535 second user time and 16.9977 second system time

The end