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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459647-1721932566/watcher-4459647-1721932566 -o /tmp/evaluation-result-4459647-1721932566/solver-4459647-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721932566-301984 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459647-1721932566.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
solver pid=302002, runsolver pid=301997
Current StackSize limit: 8192 KiB


[startup+0.102711 s]*
/proc/loadavg: 0.15 0.10 0.09 9/286 302073
/proc/meminfo: memFree=115125632/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=18975048 memory=62720 CPUtime=0.12 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 7069 0 0 0 11 1 0 0 20 0 18 0 29779176 19430449152 15680 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4743762 15680 5702 1 0 549298 0
[pid=302002/tid=302004] ppid=301997 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 5657 0 0 0 7 0 0 0 20 0 18 0 29779177 19430449152 15680 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=18975048 memory=738093 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779180 19430449152 15680 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779181 19430449152 15680 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62720 KiB

[startup+0.208302 s]*
/proc/loadavg: 0.15 0.10 0.09 13/322 302112
/proc/meminfo: memFree=115018268/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=18975048 memory=79064 CPUtime=0.32 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 7538 0 0 0 31 1 0 0 20 0 18 0 29779176 19430449152 19766 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4743762 19766 5808 1 0 549586 0
[pid=302002/tid=302004] ppid=301997 vsize=18975048 memory=7301190626353741955 CPUtime=0.18 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 5871 0 0 0 17 1 0 0 20 0 18 0 29779177 19430449152 19766 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=18975048 memory=738093 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779180 19430449152 19766 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779181 19430449152 19766 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79064 KiB

[startup+0.305889 s]*
/proc/loadavg: 0.15 0.10 0.09 14/326 302116
/proc/meminfo: memFree=114937900/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19041612 memory=138856 CPUtime=0.51 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 9591 0 0 0 49 2 0 0 20 0 19 0 29779176 19498610688 34714 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4760403 34714 5808 1 0 550906 0
[pid=302002/tid=302004] ppid=301997 vsize=19041612 memory=-9175356821187764924 CPUtime=0.27 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 5946 0 0 0 25 2 0 0 20 0 19 0 29779177 19498610688 35226 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779180 19498610688 35226 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29779181 19498610688 35226 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779205 19498610688 35226 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138856 KiB

[startup+0.700301 s]
/proc/loadavg: 0.15 0.10 0.09 11/326 302116
/proc/meminfo: memFree=114890772/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19041612 memory=159904 CPUtime=1.27 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 12846 0 0 0 124 3 0 0 20 0 19 0 29779176 19498610688 39976 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4760403 39976 5824 1 0 553166 0
[pid=302002/tid=302004] ppid=301997 vsize=19041612 memory=16140 CPUtime=0.64 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 5967 0 0 0 62 2 0 0 20 0 19 0 29779177 19498610688 39976 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19041612 memory=13048 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779180 19498610688 39976 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19041612 memory=1816 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29779181 19498610688 39976 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19041612 memory=32712 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779205 19498610688 39976 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159904 KiB

[startup+1.5034 s]
/proc/loadavg: 0.15 0.10 0.09 9/304 302127
/proc/meminfo: memFree=114869176/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=202180 CPUtime=2.53 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 13198 0 0 0 249 4 0 0 20 0 20 0 29779176 19566772224 50545 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 50545 5824 1 0 553458 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=13048 CPUtime=1.41 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 5979 0 0 0 139 2 0 0 20 0 20 0 29779177 19566772224 50545 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 50545 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=1816 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 50545 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=32712 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 50545 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202180 KiB

[startup+3.10613 s]
/proc/loadavg: 0.54 0.19 0.12 8/326 302182
/proc/meminfo: memFree=114569184/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=336248 CPUtime=4.36 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 16264 0 0 0 429 7 0 0 20 0 20 0 29779176 19566772224 84062 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 84062 5840 1 0 553521 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=0 CPUtime=2.86 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 6385 0 0 0 284 2 0 0 20 0 20 0 29779177 19566772224 84062 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 84062 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=162216 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 84062 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=202376 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 84062 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 336248 KiB

[startup+6.30026 s]
/proc/loadavg: 0.54 0.19 0.12 5/331 302189
/proc/meminfo: memFree=113444552/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=803132 CPUtime=7.81 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 18062 0 0 0 765 16 0 0 20 0 20 0 29779176 19566772224 200783 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 200783 5872 1 0 919063 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=0 CPUtime=5.76 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 6839 0 0 0 571 5 0 0 20 0 20 0 29779177 19566772224 200783 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=268564 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 200783 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 200783 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=-7385037615309293161 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 200783 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 803132 KiB

[startup+12.7002 s]
/proc/loadavg: 0.82 0.25 0.14 5/331 302189
/proc/meminfo: memFree=111486964/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=1546648 CPUtime=14.61 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 20077 0 0 0 1430 31 0 0 20 0 20 0 29779176 19566772224 386662 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 386662 5872 1 0 1364000 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=0 CPUtime=11.67 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 7212 0 0 0 1158 9 0 0 20 0 20 0 29779177 19566772224 386662 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 386662 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 386662 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 386662 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1546648 KiB

[startup+25.5003 s]
/proc/loadavg: 1.52 0.43 0.20 5/309 302232
/proc/meminfo: memFree=108415104/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=2426716 CPUtime=27.97 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 26213 0 0 0 2752 45 0 0 20 0 20 0 29779176 19566772224 606679 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 606679 5872 1 0 1480978 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=0 CPUtime=23.83 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 8248 0 0 0 2370 13 0 0 20 0 20 0 29779177 19566772224 606679 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 606679 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 606679 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=2266968 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 606679 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 27.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2426716 KiB

[startup+51.1061 s]
/proc/loadavg: 2.56 0.77 0.32 5/330 302328
/proc/meminfo: memFree=103561228/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=4238908 CPUtime=55.64 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 47163 0 0 0 5477 87 0 0 20 0 20 0 29779176 19566772224 1059727 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 1059727 5872 1 0 1641192 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=3172236 CPUtime=47.58 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 12957 0 0 0 4738 20 0 0 20 0 20 0 29779177 19566772224 1059727 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0

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

/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3664715 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1187 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3664715 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=14658860 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3664715 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3201.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14658860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.40 4.29 4.13 6/335 304150
/proc/meminfo: memFree=82512316/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14659016 CPUtime=3265.93 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 493898 0 0 0 326154 439 0 0 20 0 20 0 29779176 19566772224 3664754 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3664754 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=14659016 CPUtime=3065.75 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 173682 0 0 0 306476 99 0 0 20 0 20 0 29779177 19566772224 3664754 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3664754 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14658860 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3664754 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3664754 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3265.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14659016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.25 4.13 5/336 304161
/proc/meminfo: memFree=82452484/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661064 CPUtime=3326.72 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 501165 0 0 0 332231 441 0 0 20 0 20 0 29779176 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665266 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=14661064 CPUtime=3124.68 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 176309 0 0 0 312369 99 0 0 20 0 20 0 29779177 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=14661064 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661064 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1275 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3326.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.26 4.14 5/335 304231
/proc/meminfo: memFree=82287484/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661064 CPUtime=3388.16 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 504725 0 0 0 338373 443 0 0 20 0 20 0 29779176 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665266 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=14661064 CPUtime=3182.96 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 177755 0 0 0 318196 100 0 0 20 0 20 0 29779177 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=14661064 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661064 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1283 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=14658860 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665266 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3388.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.23 4.13 4/313 304258
/proc/meminfo: memFree=97227244/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661068 CPUtime=3449.26 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 506858 0 0 0 344481 445 0 0 20 0 20 0 29779176 19566772224 3665267 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665267 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=11684 CPUtime=3241.57 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 178806 0 0 0 324057 100 0 0 20 0 20 0 29779177 19566772224 3665267 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665267 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661068 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1283 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665267 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665267 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3449.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661068 KiB

[startup+3402.3 s]
/proc/loadavg: 3.53 4.03 4.07 4/309 304285
/proc/meminfo: memFree=97164152/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661072 CPUtime=3509.82 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 513243 0 0 0 350534 448 0 0 20 0 20 0 29779176 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665268 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=13048 CPUtime=3300.01 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 180894 0 0 0 329901 100 0 0 20 0 20 0 29779177 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3509.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661072 KiB

[startup+3462.3 s]
/proc/loadavg: 3.30 3.87 4.01 4/308 304296
/proc/meminfo: memFree=97098220/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661072 CPUtime=3571.07 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 516537 0 0 0 356657 450 0 0 20 0 20 0 29779176 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665268 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=14661072 CPUtime=3358.07 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 182845 0 0 0 335707 100 0 0 20 0 20 0 29779177 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3490.8 s]
/proc/loadavg: 3.26 3.81 3.98 4/307 304302
/proc/meminfo: memFree=96987252/131524600 swapFree=131071216/131071996
[pid=302002] ppid=301997 vsize=19108176 memory=14661072 CPUtime=3600.07 cores=5,7
/proc/302002/stat : 302002 (java) S 301997 302002 301971 0 -1 1077936128 517318 0 0 0 359556 451 0 0 20 0 20 0 29779176 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
/proc/302002/statm: 4777044 3665268 5888 1 0 4093347 0
[pid=302002/tid=302004] ppid=301997 vsize=19108176 memory=2628 CPUtime=3385.95 cores=5,7
/proc/302002/task/302004/stat : 302004 (java) R 301997 302002 301971 0 -1 4194368 183282 0 0 0 338495 100 0 0 20 0 20 0 29779177 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302019] ppid=301997 vsize=19108176 memory=5092 CPUtime=0 cores=5,7
/proc/302002/task/302019/stat : 302019 (Finalizer) S 301997 302002 301971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779180 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302031] ppid=301997 vsize=19108176 memory=14661072 CPUtime=0 cores=5,7
/proc/302002/task/302031/stat : 302031 (Common-Cleaner) S 301997 302002 301971 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 29779181 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
[pid=302002/tid=302115] ppid=301997 vsize=19108176 memory=6760 CPUtime=0 cores=5,7
/proc/302002/task/302115/stat : 302115 (Timer-0) S 301997 302002 301971 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779205 19566772224 3665268 134679101440 94550578786304 94550578790000 140733395102656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94550578797816 94550578798608 94550610145280 140733395108870 140733395108960 140733395108960 140733395115976 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14661072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.69 s, system=4.56043 s

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

[startup+3490.92 s]*
/proc/loadavg: 3.26 3.81 3.98 5/290 304305
/proc/meminfo: memFree=111258692/131524600 swapFree=131071216/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): 3490.93
CPU time (s): 3600.25
CPU user time (s): 3595.69
CPU system time (s): 4.56043
CPU usage (%): 103.131
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14661072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.69
system time used= 4.56043
maximum resident set size= 14662596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113152
involuntary context switches= 17909


# summary of solver processes directly reported to runsolver:
#   pid: 302002
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3595.69
#   total CPU system time (s): 4.56043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48991 second user time and 19.4772 second system time

The end