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: 63794 MiB (62673 MiB free)
  memory of node 1: 64507 MiB (62970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526145-1751631131/watcher-4526145-1751631131 -o /tmp/evaluation-result-4526145-1751631131/solver-4526145-1751631131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751631131-89933 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526145-1751631131.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
Current StackSize limit: 8192 KiB

solver pid=89970, runsolver pid=89964

[startup+0.10007 s]*
/proc/loadavg: 2.57 3.43 3.83 6/284 90024
/proc/meminfo: memFree=128613516/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=18930344 memory=46288 CPUtime=0.09 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 5481 0 0 0 5 4 0 0 20 0 18 0 78791958 19384672256 11572 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4732586 11572 5079 1 0 546722 0
[pid=89970/tid=89982] ppid=89964 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 4555 0 0 0 3 2 0 0 20 0 18 0 78791961 19384672256 11636 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=18930344 memory=1593 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78791966 19384672256 11636 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=18930344 memory=60693105869820 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78791968 19384672256 11668 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46288 KiB

[startup+0.214939 s]*
/proc/loadavg: 2.57 3.43 3.83 8/319 90059
/proc/meminfo: memFree=128594796/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=18930384 memory=51908 CPUtime=0.27 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 6117 0 0 0 21 6 0 0 20 0 18 0 78791958 19384713216 12977 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4732596 12977 5367 1 0 547235 0
[pid=89970/tid=89982] ppid=89964 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 4947 0 0 0 12 3 0 0 20 0 18 0 78791961 19384713216 12977 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78791966 19384713216 12977 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78791968 19384713216 12977 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51908 KiB

[startup+0.314594 s]*
/proc/loadavg: 2.57 3.43 3.83 8/319 90059
/proc/meminfo: memFree=128584652/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=18930384 memory=58160 CPUtime=0.42 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 6650 0 0 0 36 6 0 0 20 0 18 0 78791958 19384713216 14540 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4732596 14540 5367 1 0 547690 0
[pid=89970/tid=89982] ppid=89964 vsize=18930384 memory=-6000919485524042599 CPUtime=0.24 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 5112 0 0 0 20 4 0 0 20 0 18 0 78791961 19384713216 14540 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78791966 19384713216 14540 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78791968 19384713216 14540 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58160 KiB

[startup+0.700366 s]
/proc/loadavg: 2.57 3.43 3.83 13/319 90059
/proc/meminfo: memFree=128563544/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=18930384 memory=71512 CPUtime=1.12 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 7326 0 0 0 103 9 0 0 20 0 18 0 78791958 19384713216 17878 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4732596 17878 5495 1 0 548092 0
[pid=89970/tid=89982] ppid=89964 vsize=18930384 memory=18688 CPUtime=0.52 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 5425 0 0 0 47 5 0 0 20 0 18 0 78791961 19384713216 17878 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78791966 19384713216 17878 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78791968 19384713216 17878 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71512 KiB

[startup+1.50025 s]
/proc/loadavg: 2.57 3.43 3.83 10/322 90062
/proc/meminfo: memFree=128263156/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=18996948 memory=145096 CPUtime=2.68 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 15869 0 0 0 256 12 0 0 20 0 19 0 78791958 19452874752 36274 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4749237 36274 5495 1 0 551688 0
[pid=89970/tid=89982] ppid=89964 vsize=18996948 memory=3200 CPUtime=1.27 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 5852 0 0 0 121 6 0 0 20 0 19 0 78791961 19452874752 36274 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78791966 19452874752 36274 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 78791968 19452874752 36274 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=18996948 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78792031 19452874752 36274 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145096 KiB

[startup+3.1055 s]
/proc/loadavg: 2.57 3.43 3.83 7/327 90067
/proc/meminfo: memFree=127916344/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=211764 CPUtime=5.3 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 18572 0 0 0 515 15 0 0 20 0 20 0 78791958 19521036288 52941 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 52941 5495 1 0 551985 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=11264 CPUtime=2.78 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 6238 0 0 0 271 7 0 0 20 0 20 0 78791961 19521036288 52941 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 52941 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 52941 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 52941 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211764 KiB

[startup+6.30028 s]
/proc/loadavg: 2.84 3.47 3.84 7/327 90067
/proc/meminfo: memFree=127784132/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=332860 CPUtime=9.29 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 22149 0 0 0 910 19 0 0 20 0 20 0 78791958 19521036288 83215 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 83215 5495 1 0 958310 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=0 CPUtime=5.66 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 6362 0 0 0 558 8 0 0 20 0 20 0 78791961 19521036288 83215 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 83215 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 83215 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=155352 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 83215 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 332860 KiB

[startup+12.7004 s]
/proc/loadavg: 2.93 3.48 3.84 6/327 90067
/proc/meminfo: memFree=127322860/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=778768 CPUtime=17.48 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 29963 0 0 0 1719 29 0 0 20 0 20 0 78791958 19521036288 194692 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 194692 5495 1 0 1273997 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=11264 CPUtime=11.82 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 7328 0 0 0 1168 14 0 0 20 0 20 0 78791961 19521036288 194692 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=155352 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 194692 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 194692 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 194692 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 17.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 778768 KiB

[startup+25.5004 s]
/proc/loadavg: 3.32 3.54 3.86 5/327 90068
/proc/meminfo: memFree=125347748/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=2572752 CPUtime=31.92 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 34995 0 0 0 3126 66 0 0 20 0 20 0 78791958 19521036288 643188 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 643188 5495 1 0 1274056 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=0 CPUtime=24.39 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 9929 0 0 0 2392 47 0 0 20 0 20 0 78791961 19521036288 643188 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=-6000919489869341543 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 643188 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=-6000919489869341543 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 643188 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 643188 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572752 KiB

[startup+51.1137 s]
/proc/loadavg: 3.68 3.61 3.87 5/327 90068
/proc/meminfo: memFree=123550872/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=3461148 CPUtime=58.52 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 40226 0 0 0 5766 86 0 0 20 0 20 0 78791958 19521036288 865287 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 865287 5495 1 0 1274194 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=11264 CPUtime=49.18 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 10829 0 0 0 4859 59 0 0 20 0 20 0 78791961 19521036288 865287 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=3392616 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 865287 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=3460884 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 865287 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=3357624 CPUtime=0 cores=4,6

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

[startup+2622.3 s]
/proc/loadavg: 4.53 4.45 4.39 5/330 90195
/proc/meminfo: memFree=103317072/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=10494992 CPUtime=3199.52 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 272550 0 0 0 319091 861 0 0 20 0 20 0 78791958 19521036288 2623748 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2623748 5495 1 0 2639479 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=10411548 CPUtime=2563.6 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 123730 0 0 0 256178 182 0 0 20 0 20 0 78791961 19521036288 2623748 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=10436636 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2623748 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=10494992 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1282 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2623748 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2623748 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3199.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10494992 KiB

[startup+2682.3 s]
/proc/loadavg: 4.41 4.43 4.38 6/330 90197
/proc/meminfo: memFree=102963156/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=10577940 CPUtime=3275.86 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 280144 0 0 0 326706 880 0 0 20 0 20 0 78791958 19521036288 2644485 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2644485 5495 1 0 2660360 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=10511696 CPUtime=2622.26 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 128988 0 0 0 262042 184 0 0 20 0 20 0 78791961 19521036288 2644485 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2644485 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1283 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2644485 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=10520028 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2644485 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3275.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10577940 KiB

[startup+2742.3 s]
/proc/loadavg: 4.39 4.42 4.38 6/329 90199
/proc/meminfo: memFree=102855984/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=10678532 CPUtime=3351.6 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 286485 0 0 0 334260 900 0 0 20 0 20 0 78791958 19521036288 2669633 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2669633 5495 1 0 2685434 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=10578324 CPUtime=2680.98 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 132828 0 0 0 267911 187 0 0 20 0 20 0 78791961 19521036288 2669633 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=10678532 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2669633 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=-6000919489869341543 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1320 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2669633 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2669633 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3351.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10678532 KiB

[startup+2802.3 s]
/proc/loadavg: 4.30 4.39 4.37 5/329 90201
/proc/meminfo: memFree=102685668/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=10845368 CPUtime=3425.16 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 292602 0 0 0 341599 917 0 0 20 0 20 0 78791958 19521036288 2711342 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2711342 5495 1 0 2727226 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=10761864 CPUtime=2739.48 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 137125 0 0 0 273757 191 0 0 20 0 20 0 78791961 19521036288 2711342 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=10761864 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2711342 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2711342 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=10720172 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2711342 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3425.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10845368 KiB

[startup+2862.3 s]
/proc/loadavg: 4.39 4.40 4.37 5/329 90203
/proc/meminfo: memFree=102577560/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=10955744 CPUtime=3502.7 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 298438 0 0 0 349335 935 0 0 20 0 20 0 78791958 19521036288 2738936 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2738936 5495 1 0 2754378 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=10887048 CPUtime=2798.26 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 141089 0 0 0 279632 194 0 0 20 0 20 0 78791961 19521036288 2738936 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2738936 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1416 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2738936 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=10912096 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2738936 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3502.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10955744 KiB

[startup+2922.3 s]
/proc/loadavg: 4.43 4.41 4.38 6/329 90205
/proc/meminfo: memFree=102518572/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=11014240 CPUtime=3579.25 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 306279 0 0 0 356970 955 0 0 20 0 20 0 78791958 19521036288 2753560 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2753560 5495 1 0 2769005 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=4892 CPUtime=2857.03 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 146447 0 0 0 285506 197 0 0 20 0 20 0 78791961 19521036288 2753560 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2753560 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=11014240 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2753560 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=11014240 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2753560 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3579.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11014240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2938.5 s]
/proc/loadavg: 4.56 4.44 4.39 6/329 90216
/proc/meminfo: memFree=102180036/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19063512 memory=11055596 CPUtime=3600 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 310224 0 0 0 359040 960 0 0 20 0 20 0 78791958 19521036288 2763899 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4765878 2763899 5495 1 0 2779445 0
[pid=89970/tid=89982] ppid=89964 vsize=19063512 memory=4892 CPUtime=2873.01 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 148403 0 0 0 287103 198 0 0 20 0 20 0 78791961 19521036288 2763899 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19063512 memory=11039212 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78791966 19521036288 2763899 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19063512 memory=11039212 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 78791968 19521036288 2763899 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90060] ppid=89964 vsize=19063512 memory=11039212 CPUtime=0 cores=4,6
/proc/89970/task/90060/stat : 90060 (Timer-0) S 89964 89970 89922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78792031 19521036288 2763899 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11055596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.64 s, system=9.6414 s

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

[startup+2938.6 s]
/proc/loadavg: 4.56 4.44 4.39 6/329 90216
/proc/meminfo: memFree=102180036/131382112 swapFree=33009904/33010684
[pid=89970] ppid=89964 vsize=19263204 memory=11056492 CPUtime=3600.2 cores=4,6
/proc/89970/stat : 89970 (java) S 89964 89970 89922 0 -1 4194304 311621 0 0 0 359060 960 0 0 20 0 21 0 78791958 19725520896 2764123 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
/proc/89970/statm: 4815801 2764123 5527 1 0 2780364 0
[pid=89970/tid=89982] ppid=89964 vsize=19263204 memory=4892 CPUtime=2873.11 cores=4,6
/proc/89970/task/89982/stat : 89982 (java) R 89964 89970 89922 0 -1 4194368 148403 0 0 0 287113 198 0 0 20 0 21 0 78791961 19725520896 2764123 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90001] ppid=89964 vsize=19263204 memory=2764 CPUtime=0 cores=4,6
/proc/89970/task/90001/stat : 90001 (Finalizer) S 89964 89970 89922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78791966 19725520896 2764123 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
[pid=89970/tid=90015] ppid=89964 vsize=19263204 memory=23532 CPUtime=0 cores=4,6
/proc/89970/task/90015/stat : 90015 (Common-Cleaner) S 89964 89970 89922 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 21 0 78791968 19725520896 2764123 18446744073709551615 94442520719360 94442520723056 140730006318560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442520730872 94442520731664 94442522038272 140730006325628 140730006325732 140730006325732 140730006331336 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11056492 KiB

Child status: 143

Real time (s): 2938.66
CPU time (s): 3600.28
CPU user time (s): 3590.64
CPU system time (s): 9.6414
CPU usage (%): 122.514
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11056492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.64
system time used= 9.6414
maximum resident set size= 11056748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133288
involuntary context switches= 42709


# summary of solver processes directly reported to runsolver:
#   pid: 89970
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3590.64
#   total CPU system time (s): 9.6414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7856 second user time and 25.9727 second system time

The end