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 (59370 MiB free)
memory of node 1: 64473 MiB (60878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457596-1721865114/watcher-4457596-1721865114 -o /tmp/evaluation-result-4457596-1721865114/solver-4457596-1721865114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266852 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457596-1721865114.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=266911, runsolver pid=266906
[startup+0.100327 s]*
/proc/loadavg: 0.13 0.10 0.09 10/327 266984
/proc/meminfo: memFree=122995660/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=18975048 memory=55896 CPUtime=0.05 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 6309 0 10 0 3 2 0 0 20 0 18 0 23035414 19430449152 13974 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4743762 13974 5368 1 0 548687 0
[pid=266911/tid=266917] ppid=266906 vsize=18975048 memory=4026531971 CPUtime=0.03 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 5279 0 10 0 2 1 0 0 20 0 18 0 23035414 19430449152 13974 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=18975048 memory=1574935 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035422 19430449152 13974 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035423 19430449152 14002 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55896 KiB
[startup+0.206694 s]*
/proc/loadavg: 0.13 0.10 0.09 14/328 266985
/proc/meminfo: memFree=122950152/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=18975048 memory=71652 CPUtime=0.24 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 7312 0 10 0 21 3 0 0 20 0 18 0 23035414 19430449152 17913 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4743762 17913 5712 1 0 549456 0
[pid=266911/tid=266917] ppid=266906 vsize=18975048 memory=4782652875487838339 CPUtime=0.14 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 5769 0 10 0 12 2 0 0 20 0 18 0 23035414 19430449152 17913 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=18975048 memory=1574935 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035422 19430449152 17913 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035423 19430449152 17913 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71652 KiB
[startup+0.312321 s]*
/proc/loadavg: 0.13 0.10 0.09 13/310 266994
/proc/meminfo: memFree=122952304/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19041612 memory=85012 CPUtime=0.44 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 9033 0 10 0 41 3 0 0 20 0 19 0 23035414 19498610688 21253 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4760403 21253 5859 1 0 550952 0
[pid=266911/tid=266917] ppid=266906 vsize=19041612 memory=-6000919498408945257 CPUtime=0.23 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 5913 0 10 0 21 2 0 0 20 0 19 0 23035414 19498610688 21253 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 21253 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 21253 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (java) R 266906 266911 266840 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 21253 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85012 KiB
[startup+0.70632 s]
/proc/loadavg: 0.13 0.10 0.09 8/310 267004
/proc/meminfo: memFree=122928784/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19041612 memory=105184 CPUtime=1.19 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 9492 0 10 0 116 3 0 0 20 0 19 0 23035414 19498610688 26296 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4760403 26296 5859 1 0 551192 0
[pid=266911/tid=266917] ppid=266906 vsize=19041612 memory=12992 CPUtime=0.61 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 5959 0 10 0 59 2 0 0 20 0 19 0 23035414 19498610688 26296 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19041612 memory=12992 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 26296 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 26296 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19041612 memory=32404 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 26296 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105184 KiB
[startup+1.50032 s]
/proc/loadavg: 0.13 0.10 0.09 10/331 267054
/proc/meminfo: memFree=122741804/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=295708 CPUtime=2.38 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 10916 0 10 0 230 8 0 0 20 0 20 0 23035414 19566772224 73927 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 73927 5875 1 0 552215 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=12992 CPUtime=1.27 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 6039 0 10 0 124 3 0 0 20 0 20 0 23035414 19566772224 74439 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19108176 memory=32404 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 74439 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 74439 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 74439 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 295708 KiB
[startup+3.11232 s]
/proc/loadavg: 0.52 0.18 0.12 6/334 267059
/proc/meminfo: memFree=121849816/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=613236 CPUtime=4.25 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 12329 0 10 0 411 14 0 0 20 0 20 0 23035414 19566772224 153309 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 153309 5891 1 0 1134996 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=0 CPUtime=2.59 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 6199 0 10 0 256 3 0 0 20 0 20 0 23035414 19566772224 153309 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 153309 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 153309 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 153309 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 613236 KiB
[startup+6.30033 s]
/proc/loadavg: 0.52 0.18 0.12 5/335 267060
/proc/meminfo: memFree=120758348/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=1198920 CPUtime=7.82 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 16414 0 10 0 756 26 0 0 20 0 20 0 23035414 19566772224 299730 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 299730 5891 1 0 1135313 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=0 CPUtime=5.41 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 6623 0 10 0 534 7 0 0 20 0 20 0 23035414 19566772224 299730 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 299730 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19108176 memory=7100839878746413932 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 299730 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 299730 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1198920 KiB
[startup+12.7003 s]
/proc/loadavg: 1.06 0.30 0.16 6/335 267061
/proc/meminfo: memFree=118776728/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=2178272 CPUtime=14.87 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 20187 0 10 0 1440 47 0 0 20 0 20 0 23035414 19566772224 544568 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 544568 5891 1 0 1724710 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=0 CPUtime=11.16 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 8389 0 10 0 1101 15 0 0 20 0 20 0 23035414 19566772224 544568 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 544568 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19108176 memory=2178272 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 544568 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 544568 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 14.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178272 KiB
[startup+25.5003 s]
/proc/loadavg: 1.59 0.44 0.21 5/335 267064
/proc/meminfo: memFree=114860028/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=4052328 CPUtime=28.99 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 21962 0 10 0 2814 85 0 0 20 0 20 0 23035414 19566772224 1013082 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 1013082 5891 1 0 1971203 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=2178272 CPUtime=22.55 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 8735 0 10 0 2233 22 0 0 20 0 20 0 23035414 19566772224 1013082 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 1013082 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19108176 memory=3679592 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 1013082 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19108176 memory=-8745253143888765628 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 1013082 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4052328 KiB
[startup+51.1058 s]
/proc/loadavg: 2.72 0.79 0.33 5/335 267068
/proc/meminfo: memFree=106841088/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19108176 memory=5833096 CPUtime=59.98 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 45991 0 10 0 5872 126 0 0 20 0 20 0 23035414 19566772224 1458274 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4777044 1458274 5891 1 0 2186448 0
[pid=266911/tid=266917] ppid=266906 vsize=19108176 memory=11624 CPUtime=45.68 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) R 266906 266911 266840 0 -1 4194368 9791 0 10 0 4538 30 0 0 20 0 20 0 23035414 19566772224 1458274 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
################
# More data... #
################
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 426983 0 11 0 312195 552 0 0 20 0 20 0 23035414 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095357 5931 1 0 4107159 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=-8745253143888765628 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76198 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=16381404 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=16381404 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 507 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=16381424 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3127.47 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381428 KiB
[startup+2322.3 s]
/proc/loadavg: 5.37 5.09 4.56 7/334 268678
/proc/meminfo: memFree=62773152/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381428 CPUtime=3246.57 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 430141 0 11 0 324104 553 0 0 20 0 20 0 23035414 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095357 5931 1 0 4107169 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=1900 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76276 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=16381348 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=11624 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 509 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=-8745253143888765628 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095357 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3246.57 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381428 KiB
[startup+2382.31 s]
/proc/loadavg: 5.33 5.13 4.61 6/334 268689
/proc/meminfo: memFree=62772088/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381412 CPUtime=3365.64 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 432907 0 11 0 336011 553 0 0 20 0 20 0 23035414 19633881088 4095353 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095353 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=16381348 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76319 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095353 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=0 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095353 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=11624 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 511 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095353 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=16381440 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095353 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3365.64 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381412 KiB
[startup+2442.3 s]
/proc/loadavg: 5.76 5.27 4.69 7/334 268700
/proc/meminfo: memFree=62771284/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381444 CPUtime=3484.68 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 462589 0 11 0 347911 557 0 0 20 0 20 0 23035414 19633881088 4095361 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095361 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=16381348 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76321 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095361 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=2808 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095361 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=16381444 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 579 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095361 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=16381336 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095361 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3484.68 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.5 s]
/proc/loadavg: 5.41 5.26 4.73 6/334 268710
/proc/meminfo: memFree=62770632/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381396 CPUtime=3600.14 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 464558 0 11 0 359457 557 0 0 20 0 20 0 23035414 19633881088 4095349 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095349 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=16381444 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76355 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095349 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=16381396 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095349 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=73996 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 579 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095349 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=7228393213193642048 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095349 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.31 s]
/proc/loadavg: 5.41 5.26 4.73 6/333 268710
/proc/meminfo: memFree=62770632/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381400 CPUtime=3603.72 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 464817 0 11 0 359815 557 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095350 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=16381444 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76355 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=73996 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=16381400 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 579 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=16381396 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3603.72 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381400 KiB
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2502.56 s]
# the end of solver process 266911 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.56 s, system=5.62913 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2502.4 s]
/proc/loadavg: 5.41 5.26 4.73 6/333 268710
/proc/meminfo: memFree=62770632/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381400 CPUtime=3603.91 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 464817 0 11 0 359834 557 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095350 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=29972 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76355 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=2336 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=32404 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 579 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=-8745253143888765628 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3603.91 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381400 KiB
[startup+2502.5 s]
/proc/loadavg: 5.41 5.26 4.73 6/333 268710
/proc/meminfo: memFree=62770632/131524600 swapFree=131056796/131071996
[pid=266911] ppid=266906 vsize=19173712 memory=16381400 CPUtime=3604.11 cores=1,3
/proc/266911/stat : 266911 (java) S 266906 266911 266840 0 -1 1077936128 464817 0 11 0 359854 557 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
/proc/266911/statm: 4793428 4095350 5931 1 0 4107171 0
[pid=266911/tid=266917] ppid=266906 vsize=19173712 memory=16381444 CPUtime=1845.58 cores=1,3
/proc/266911/task/266917/stat : 266917 (java) S 266906 266911 266840 0 -1 1077936192 76355 0 10 0 184447 111 0 0 20 0 20 0 23035414 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266952] ppid=266906 vsize=19173712 memory=73996 CPUtime=0 cores=1,3
/proc/266911/task/266952/stat : 266952 (Finalizer) S 266906 266911 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266980] ppid=266906 vsize=19173712 memory=16381400 CPUtime=0 cores=1,3
/proc/266911/task/266980/stat : 266980 (Common-Cleaner) S 266906 266911 266840 0 -1 1077936192 579 0 0 0 0 0 0 0 20 0 20 0 23035423 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
[pid=266911/tid=266989] ppid=266906 vsize=19173712 memory=16381396 CPUtime=0 cores=1,3
/proc/266911/task/266989/stat : 266989 (Timer-0) S 266906 266911 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19633881088 4095350 134679101440 94904023666688 94904023670384 140733185923696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94904023678200 94904023678992 94904030679040 140733185930247 140733185930337 140733185930337 140733185937352 0
Current children cumulated CPU time: 3604.11 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16381400 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2502.56
CPU time (s): 3604.19
CPU user time (s): 3598.56
CPU system time (s): 5.62913
CPU usage (%): 144.02
Max. virtual memory (cumulated for all children) (KiB): 19173712
Max. memory (cumulated for all children) (KiB): 16381464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.56
system time used= 5.62913
maximum resident set size= 16382060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464820
page faults= 11
swaps= 0
block input operations= 4080
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87792
involuntary context switches= 52731
# summary of solver processes directly reported to runsolver:
# pid: 266911
# total CPU time (s): 3604.19
# total CPU user time (s): 3598.56
# total CPU system time (s): 5.62913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84097 second user time and 12.9984 second system time
The end