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: 63968 MiB (62345 MiB free)
  memory of node 1: 64473 MiB (63233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459599-1721932566/watcher-4459599-1721932566 -o /tmp/evaluation-result-4459599-1721932566/solver-4459599-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721932566-301991 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459599-1721932566.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=302008, runsolver pid=302005
Current StackSize limit: 8192 KiB


[startup+0.100508 s]*
/proc/loadavg: 0.14 0.09 0.09 4/255 302026
/proc/meminfo: memFree=128554048/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=18975048 memory=62124 CPUtime=0.11 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 7126 0 0 0 9 2 0 0 20 0 18 0 29779483 19430449152 15531 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4743762 15531 5545 1 0 549281 0
[pid=302008/tid=302010] ppid=302005 vsize=18975048 memory=4026532033 CPUtime=0.06 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 5683 0 0 0 5 1 0 0 20 0 18 0 29779484 19430449152 15531 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=18975048 memory=219932787024 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779487 19430449152 15531 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=18975048 memory=56299389870672 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779487 19430449152 15531 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62124 KiB

[startup+0.213019 s]*
/proc/loadavg: 0.14 0.09 0.09 4/262 302042
/proc/meminfo: memFree=128537476/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=18975048 memory=71056 CPUtime=0.31 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 7623 0 0 0 29 2 0 0 20 0 18 0 29779483 19430449152 17764 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4743762 17764 5750 1 0 549557 0
[pid=302008/tid=302010] ppid=302005 vsize=18975048 memory=4028598266 CPUtime=0.16 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 5920 0 0 0 15 1 0 0 20 0 18 0 29779484 19430449152 17764 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=18975048 memory=1991445 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779487 19430449152 17764 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=18975048 memory=54108954559808 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779487 19430449152 17764 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71056 KiB

[startup+0.312139 s]*
/proc/loadavg: 0.14 0.09 0.09 9/281 302063
/proc/meminfo: memFree=128463196/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19041612 memory=108336 CPUtime=0.49 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 9628 0 0 0 46 3 0 0 20 0 19 0 29779483 19498610688 27084 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4760403 27084 5850 1 0 550805 0
[pid=302008/tid=302010] ppid=302005 vsize=19041612 memory=-8672361037805822652 CPUtime=0.24 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 5987 0 0 0 22 2 0 0 20 0 19 0 29779484 19498610688 27084 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 27084 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 27084 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (java) R 302005 302008 301981 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 29779513 19498610688 27084 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108336 KiB

[startup+0.704256 s]
/proc/loadavg: 0.14 0.09 0.09 9/309 302109
/proc/meminfo: memFree=128335520/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19041612 memory=127856 CPUtime=1.25 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 11348 0 0 0 121 4 0 0 20 0 19 0 29779483 19498610688 31964 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4760403 31964 5850 1 0 552028 0
[pid=302008/tid=302010] ppid=302005 vsize=19041612 memory=77172 CPUtime=0.62 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 6012 0 0 0 59 3 0 0 20 0 19 0 29779484 19498610688 31964 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19041612 memory=12936 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 31964 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19041612 memory=2284 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 31964 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19041612 memory=25588 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779513 19498610688 31964 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127856 KiB

[startup+1.50104 s]
/proc/loadavg: 0.14 0.09 0.09 6/306 302139
/proc/meminfo: memFree=128249340/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19041612 memory=157348 CPUtime=2.29 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 13613 0 0 0 224 5 0 0 20 0 19 0 29779483 19498610688 39337 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4760403 39337 5850 1 0 552071 0
[pid=302008/tid=302010] ppid=302005 vsize=19041612 memory=12936 CPUtime=1.4 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 7031 0 0 0 137 3 0 0 20 0 19 0 29779484 19498610688 39337 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19041612 memory=7391413433648273289 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 39337 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29779487 19498610688 39337 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779513 19498610688 39337 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157348 KiB

[startup+3.10603 s]
/proc/loadavg: 0.14 0.09 0.09 3/282 302196
/proc/meminfo: memFree=128156580/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=209152 CPUtime=4.04 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 16472 0 0 0 397 7 0 0 20 0 20 0 29779483 19566772224 52288 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 52288 5882 1 0 552371 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=65 CPUtime=2.94 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 7496 0 0 0 290 4 0 0 20 0 20 0 29779484 19566772224 52288 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=132216 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 52288 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=4713743356180977476 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 52288 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=7391413433648273289 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 52288 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209152 KiB

[startup+6.30102 s]
/proc/loadavg: 0.61 0.19 0.12 5/332 302330
/proc/meminfo: memFree=127134336/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=561368 CPUtime=7.5 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 18368 0 0 0 736 14 0 0 20 0 20 0 29779483 19566772224 140342 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 140342 5898 1 0 894927 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=0 CPUtime=5.78 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 7544 0 0 0 573 5 0 0 20 0 20 0 29779484 19566772224 140342 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 140342 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=-8817320650811810492 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 140342 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 140342 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 561368 KiB

[startup+12.701 s]
/proc/loadavg: 1.04 0.29 0.16 6/332 302331
/proc/meminfo: memFree=124933296/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=1116540 CPUtime=14.25 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 23203 0 0 0 1396 29 0 0 20 0 20 0 29779483 19566772224 279135 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 279135 5898 1 0 894954 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=361276 CPUtime=11.74 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 8188 0 0 0 1168 6 0 0 20 0 20 0 29779484 19566772224 279135 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=-8817320650811810492 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 279135 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 279135 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=209152 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 279135 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1116540 KiB

[startup+25.5003 s]
/proc/loadavg: 1.70 0.47 0.22 5/333 302334
/proc/meminfo: memFree=122301436/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=1834492 CPUtime=27.42 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 25074 0 0 0 2696 46 0 0 20 0 20 0 29779483 19566772224 458623 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 458623 5898 1 0 1153978 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=209152 CPUtime=24.02 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 8658 0 0 0 2393 9 0 0 20 0 20 0 29779484 19566772224 458623 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 458623 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=1629692 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 458623 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=1834492 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 458623 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1834492 KiB

[startup+51.106 s]
/proc/loadavg: 2.56 0.77 0.33 5/333 302338
/proc/meminfo: memFree=117466344/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=2962300 CPUtime=54.31 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 40239 0 0 0 5358 73 0 0 20 0 20 0 29779483 19566772224 740575 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 740575 5898 1 0 1253427 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=2567840 CPUtime=48.41 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 10889 0 0 0 4828 13 0 0 20 0 20 0 29779484 19566772224 740575 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0

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

/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2442397 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=9769588 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1020 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2442397 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=77172 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2442397 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3216.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9769588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.10 5/334 304032
/proc/meminfo: memFree=85315148/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=10279544 CPUtime=3277.6 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 342164 0 0 0 327381 379 0 0 20 0 20 0 29779483 19566772224 2569886 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2569886 5914 1 0 2719464 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=77172 CPUtime=3146.92 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 80943 0 0 0 314610 82 0 0 20 0 20 0 29779484 19566772224 2569886 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2569886 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1020 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2569886 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2569886 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3277.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10279544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.22 4.11 5/336 304101
/proc/meminfo: memFree=84218108/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373592 CPUtime=3340.8 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 364665 0 0 0 333673 407 0 0 20 0 20 0 29779483 19566772224 2843398 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843398 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=11373592 CPUtime=3205.61 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 84909 0 0 0 320467 94 0 0 20 0 20 0 29779484 19566772224 2843398 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843398 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=11267096 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1022 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843398 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=10279544 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843398 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3340.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.12 5/335 304111
/proc/meminfo: memFree=84164872/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373620 CPUtime=3401.53 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 370749 0 0 0 339744 409 0 0 20 0 20 0 29779483 19566772224 2843405 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843405 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=129 CPUtime=3263.76 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 86252 0 0 0 326282 94 0 0 20 0 20 0 29779484 19566772224 2843405 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=11373620 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843405 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1155 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843405 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843405 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3401.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.23 4.12 5/335 304122
/proc/meminfo: memFree=84164644/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373624 CPUtime=3462.23 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 372976 0 0 0 345811 412 0 0 20 0 20 0 29779483 19566772224 2843406 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843406 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=11373620 CPUtime=3321.91 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 86795 0 0 0 332097 94 0 0 20 0 20 0 29779484 19566772224 2843406 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=11373592 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843406 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=-8817320650811810492 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1155 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843406 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=11373624 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843406 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3462.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.22 4.12 6/335 304133
/proc/meminfo: memFree=84164288/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373636 CPUtime=3522.63 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 373888 0 0 0 351848 415 0 0 20 0 20 0 29779483 19566772224 2843409 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843409 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=11373620 CPUtime=3380.67 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 87121 0 0 0 337973 94 0 0 20 0 20 0 29779484 19566772224 2843409 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=11373592 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843409 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=77172 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1155 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843409 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=11373636 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843409 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3522.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373636 KiB

[startup+3522.3 s]
/proc/loadavg: 3.93 4.16 4.11 4/307 304177
/proc/meminfo: memFree=100073612/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373640 CPUtime=3582.98 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 374571 0 0 0 357881 417 0 0 20 0 20 0 29779483 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843410 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=11373640 CPUtime=3439.39 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 87290 0 0 0 343845 94 0 0 20 0 20 0 29779484 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=11373636 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1155 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=11373640 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3582.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539 s]*
/proc/loadavg: 3.64 4.08 4.08 3/281 304213
/proc/meminfo: memFree=115039568/131524600 swapFree=131056028/131071996
[pid=302008] ppid=302005 vsize=19108176 memory=11373640 CPUtime=3600.01 cores=0,2
/proc/302008/stat : 302008 (java) S 302005 302008 301981 0 -1 1077936128 374886 0 0 0 359584 417 0 0 20 0 20 0 29779483 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
/proc/302008/statm: 4777044 2843410 5914 1 0 3321289 0
[pid=302008/tid=302010] ppid=302005 vsize=19108176 memory=-8745259758238999228 CPUtime=3455.57 cores=0,2
/proc/302008/task/302010/stat : 302010 (java) R 302005 302008 301981 0 -1 4194368 87330 0 0 0 345463 94 0 0 20 0 20 0 29779484 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302019] ppid=302005 vsize=19108176 memory=4342489072520795237 CPUtime=0 cores=0,2
/proc/302008/task/302019/stat : 302019 (Finalizer) S 302005 302008 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302026] ppid=302005 vsize=19108176 memory=2804 CPUtime=0 cores=0,2
/proc/302008/task/302026/stat : 302026 (Common-Cleaner) S 302005 302008 301981 0 -1 1077936192 1155 0 0 0 0 0 0 0 20 0 20 0 29779487 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
[pid=302008/tid=302063] ppid=302005 vsize=19108176 memory=5016 CPUtime=0 cores=0,2
/proc/302008/task/302063/stat : 302063 (Timer-0) S 302005 302008 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779513 19566772224 2843410 134679101440 94287678517248 94287678520944 140725653543664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287678528760 94287678529552 94287711801344 140725653550086 140725653550176 140725653550176 140725653557192 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11373640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.96 s, system=4.212 s

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

[startup+3539.11 s]*
/proc/loadavg: 3.64 4.08 4.08 5/263 304216
/proc/meminfo: memFree=124831472/131524600 swapFree=131056028/131071996
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): 3539.12
CPU time (s): 3600.17
CPU user time (s): 3595.96
CPU system time (s): 4.212
CPU usage (%): 101.725
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 11373640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 4.212
maximum resident set size= 11375476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117777
involuntary context switches= 36110


# summary of solver processes directly reported to runsolver:
#   pid: 302008
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3595.96
#   total CPU system time (s): 4.212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78939 second user time and 18.1147 second system time

The end