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 (58107 MiB free)
memory of node 1: 64473 MiB (61663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457818-1721868644/watcher-4457818-1721868644 -o /tmp/evaluation-result-4457818-1721868644/solver-4457818-1721868644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264550 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457818-1721868644.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=266897, runsolver pid=266894
[startup+0.100423 s]*
/proc/loadavg: 4.25 4.26 4.19 7/332 266915
/proc/meminfo: memFree=122603720/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=18975048 memory=63144 CPUtime=0.14 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 7227 0 0 0 12 2 0 0 20 0 18 0 23387247 19430449152 15786 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4743762 15786 5652 1 0 549356 0
[pid=266897/tid=266899] ppid=266894 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 1078198336 5768 0 0 0 7 1 0 0 20 0 18 0 23387248 19430449152 15786 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23387250 19430449152 15786 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=18975048 memory=14135545649324636 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23387251 19430449152 15786 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63144 KiB
[startup+0.209312 s]*
/proc/loadavg: 4.25 4.26 4.19 8/333 266916
/proc/meminfo: memFree=122594552/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19041612 memory=72456 CPUtime=0.34 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 7917 0 0 0 32 2 0 0 20 0 19 0 23387247 19498610688 18114 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4760403 18114 5794 1 0 550025 0
[pid=266897/tid=266899] ppid=266894 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 1077936192 6144 0 0 0 17 1 0 0 20 0 19 0 23387248 19498610688 18114 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19041612 memory=1991471 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23387250 19498610688 18114 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19041612 memory=15823295995971300 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23387251 19498610688 18114 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23387265 19498610688 18114 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72456 KiB
[startup+0.306792 s]*
/proc/loadavg: 4.25 4.26 4.19 6/333 266916
/proc/meminfo: memFree=122572472/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19041612 memory=95064 CPUtime=0.53 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 9263 0 0 0 50 3 0 0 20 0 19 0 23387247 19498610688 23766 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4760403 23766 5890 1 0 550482 0
[pid=266897/tid=266899] ppid=266894 vsize=19041612 memory=-8886836156685853372 CPUtime=0.28 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 6158 0 0 0 26 2 0 0 20 0 19 0 23387248 19498610688 23766 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23387250 19498610688 23832 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23387251 19498610688 23832 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23387265 19498610688 23832 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95064 KiB
[startup+0.704793 s]
/proc/loadavg: 4.25 4.26 4.19 7/333 266916
/proc/meminfo: memFree=122518252/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19041612 memory=174324 CPUtime=1.29 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 15387 0 0 0 124 5 0 0 20 0 19 0 23387247 19498610688 43581 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4760403 43581 5890 1 0 554335 0
[pid=266897/tid=266899] ppid=266894 vsize=19041612 memory=76112 CPUtime=0.65 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 6205 0 0 0 62 3 0 0 20 0 19 0 23387248 19498610688 43581 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19041612 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23387250 19498610688 43581 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19041612 memory=2284 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23387251 19498610688 43581 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19041612 memory=25588 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23387265 19498610688 43581 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 174324 KiB
[startup+1.5008 s]
/proc/loadavg: 4.25 4.26 4.19 6/334 266917
/proc/meminfo: memFree=122485744/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=189748 CPUtime=2.86 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 24146 0 0 0 280 6 0 0 20 0 20 0 23387247 19566772224 47437 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 47437 5922 1 0 556717 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=12936 CPUtime=1.41 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 6846 0 0 0 138 3 0 0 20 0 20 0 23387248 19566772224 47437 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 47437 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 47437 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=25588 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 47437 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189748 KiB
[startup+3.10579 s]
/proc/loadavg: 4.25 4.26 4.19 7/334 266918
/proc/meminfo: memFree=122377664/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=283036 CPUtime=5.41 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 30397 0 0 0 532 9 0 0 20 0 20 0 23387247 19566772224 70759 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 70759 5922 1 0 559973 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=0 CPUtime=2.95 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 7924 0 0 0 291 4 0 0 20 0 20 0 23387248 19566772224 70759 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=-8886836156685853372 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 70759 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 70759 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 70759 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 283036 KiB
[startup+6.30079 s]
/proc/loadavg: 4.31 4.28 4.20 5/334 266918
/proc/meminfo: memFree=122023960/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=636024 CPUtime=8.76 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 30987 0 0 0 860 16 0 0 20 0 20 0 23387247 19566772224 159006 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 159006 5954 1 0 559974 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=2284 CPUtime=6.1 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 8350 0 0 0 600 10 0 0 20 0 20 0 23387248 19566772224 159006 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 159006 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 159006 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 159006 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 636024 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.29 4.20 5/334 266918
/proc/meminfo: memFree=121864156/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=860756 CPUtime=16.24 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 42493 0 0 0 1602 22 0 0 20 0 20 0 23387247 19566772224 215189 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 215189 5954 1 0 559974 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=12936 CPUtime=12.42 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 9599 0 0 0 1228 14 0 0 20 0 20 0 23387248 19566772224 215189 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=642312 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 215189 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=76112 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 215189 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 215189 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 16.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 860756 KiB
[startup+25.5003 s]
/proc/loadavg: 4.43 4.31 4.21 5/334 266921
/proc/meminfo: memFree=121363368/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=1250016 CPUtime=29.02 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 47860 0 0 0 2872 30 0 0 20 0 20 0 23387247 19566772224 312504 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 312504 5954 1 0 559974 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=6943526294502006880 CPUtime=25.11 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 11090 0 0 0 2489 22 0 0 20 0 20 0 23387248 19566772224 312504 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 312504 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=3453 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 312504 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 312504 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 29.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1250016 KiB
[startup+51.1058 s]
/proc/loadavg: 4.57 4.36 4.23 5/334 266992
/proc/meminfo: memFree=121901856/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=1364740 CPUtime=54.72 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 56258 0 0 0 5438 34 0 0 20 0 20 0 23387247 19566772224 341185 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 341185 5954 1 0 559974 0
################
# More data... #
################
/proc/meminfo: memFree=116316024/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2139620 CPUtime=3226.25 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 223530 0 0 0 322451 174 0 0 20 0 20 0 23387247 19566772224 534905 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 534905 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=2133472 CPUtime=3201.9 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 78316 0 0 0 320153 37 0 0 20 0 20 0 23387248 19566772224 534905 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=76160 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 534905 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2135524 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4355 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 534905 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 534905 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3226.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/335 268759
/proc/meminfo: memFree=116294704/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2149868 CPUtime=3286.2 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 226180 0 0 0 328443 177 0 0 20 0 20 0 23387247 19566772224 537467 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 537467 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=2147820 CPUtime=3261.56 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 79718 0 0 0 326119 37 0 0 20 0 20 0 23387248 19566772224 537467 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=2143720 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 537467 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2141668 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4445 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 537467 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=2143720 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 537467 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3286.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/333 268786
/proc/meminfo: memFree=116287808/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153964 CPUtime=3346.17 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 228615 0 0 0 334438 179 0 0 20 0 20 0 23387247 19566772224 538491 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538491 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=2145772 CPUtime=3321.27 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 81012 0 0 0 332089 38 0 0 20 0 20 0 23387248 19566772224 538491 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538491 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2151916 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4547 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538491 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538491 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3346.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153964 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/333 268796
/proc/meminfo: memFree=116275784/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153968 CPUtime=3406.13 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 231394 0 0 0 340432 181 0 0 20 0 20 0 23387247 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538492 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=12936 CPUtime=3380.96 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 82626 0 0 0 338058 38 0 0 20 0 20 0 23387248 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=2151916 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2153968 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4657 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=76160 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3406.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/333 268808
/proc/meminfo: memFree=116271236/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153968 CPUtime=3466.06 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 234062 0 0 0 346423 183 0 0 20 0 20 0 23387247 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538492 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=12936 CPUtime=3440.65 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 84229 0 0 0 344027 38 0 0 20 0 20 0 23387248 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=2151916 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=2153968 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4775 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538492 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3466.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/333 268885
/proc/meminfo: memFree=118127604/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153976 CPUtime=3526.01 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 236735 0 0 0 352415 186 0 0 20 0 20 0 23387247 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538494 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=76160 CPUtime=3500.38 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 85853 0 0 0 349999 39 0 0 20 0 20 0 23387248 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=2153972 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4869 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3526.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.25 4.20 5/333 269031
/proc/meminfo: memFree=122109712/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153976 CPUtime=3585.93 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 239399 0 0 0 358404 189 0 0 20 0 20 0 23387247 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538494 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=2153976 CPUtime=3560.05 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 87358 0 0 0 355966 39 0 0 20 0 20 0 23387248 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=2153976 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4971 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3596.4 s]
/proc/loadavg: 4.79 4.34 4.23 5/335 269038
/proc/meminfo: memFree=121548660/131524600 swapFree=131056028/131071996
[pid=266897] ppid=266894 vsize=19108176 memory=2153976 CPUtime=3600.02 cores=5,7
/proc/266897/stat : 266897 (java) S 266894 266897 264537 0 -1 1077936128 239677 0 0 0 359812 190 0 0 20 0 20 0 23387247 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
/proc/266897/statm: 4777044 538494 5969 1 0 560022 0
[pid=266897/tid=266899] ppid=266894 vsize=19108176 memory=32540 CPUtime=3574.1 cores=5,7
/proc/266897/task/266899/stat : 266899 (java) R 266894 266897 264537 0 -1 4194368 87631 0 0 0 357371 39 0 0 20 0 20 0 23387248 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266908] ppid=266894 vsize=19108176 memory=20256 CPUtime=0 cores=5,7
/proc/266897/task/266908/stat : 266908 (Finalizer) S 266894 266897 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23387250 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266915] ppid=266894 vsize=19108176 memory=39320 CPUtime=0 cores=5,7
/proc/266897/task/266915/stat : 266915 (Common-Cleaner) S 266894 266897 264537 0 -1 1077936192 4971 0 0 0 0 0 0 0 20 0 20 0 23387251 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
[pid=266897/tid=266916] ppid=266894 vsize=19108176 memory=2153976 CPUtime=0 cores=5,7
/proc/266897/task/266916/stat : 266916 (Timer-0) S 266894 266897 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23387265 19566772224 538494 134679101440 93830042058752 93830042062448 140733336787136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93830042070264 93830042071056 93830054133760 140733336790000 140733336790113 140733336790113 140733336797128 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.47 s]
# the end of solver process 266897 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.24 s, system=1.91485 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3596.47
CPU time (s): 3600.16
CPU user time (s): 3598.24
CPU system time (s): 1.91485
CPU usage (%): 100.102
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2153976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 1.91485
maximum resident set size= 2155484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122997
involuntary context switches= 4117
# summary of solver processes directly reported to runsolver:
# pid: 266897
# total CPU time (s): 3600.16
# total CPU user time (s): 3598.24
# total CPU system time (s): 1.91485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68213 second user time and 18.3277 second system time
The end