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: 63708 MiB (48199 MiB free)
memory of node 1: 64465 MiB (50383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525317-1751620754/watcher-4525317-1751620754 -o /tmp/evaluation-result-4525317-1751620754/solver-4525317-1751620754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751617233-86408 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525317-1751620754.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86966, runsolver pid=86963
[startup+0.100061 s]*
/proc/loadavg: 4.38 4.48 4.47 5/338 86984
/proc/meminfo: memFree=100926124/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=18930384 memory=55720 CPUtime=0.12 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 6552 0 0 0 10 2 0 0 20 0 18 0 77753989 19384713216 13930 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4732596 13930 5369 1 0 547603 0
[pid=86966/tid=86968] ppid=86963 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 5048 0 0 0 6 1 0 0 20 0 18 0 77753991 19384713216 13930 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77753993 19384713216 13930 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=18930384 memory=57385981078066 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77753993 19384713216 13930 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55720 KiB
[startup+0.205884 s]*
/proc/loadavg: 4.38 4.48 4.47 7/338 86984
/proc/meminfo: memFree=100920012/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=18930384 memory=64456 CPUtime=0.31 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 7142 0 0 0 29 2 0 0 20 0 18 0 77753989 19384713216 16114 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4732596 16114 5433 1 0 547997 0
[pid=86966/tid=86968] ppid=86963 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 5367 0 0 0 15 1 0 0 20 0 18 0 77753991 19384713216 16114 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=18930384 memory=15156 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77753993 19384713216 16114 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=18930384 memory=56286469424100 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77753993 19384713216 16114 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64456 KiB
[startup+0.305799 s]*
/proc/loadavg: 4.38 4.48 4.47 8/339 86985
/proc/meminfo: memFree=100911820/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=18996948 memory=72132 CPUtime=0.49 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 7683 0 0 0 46 3 0 0 20 0 19 0 77753989 19452874752 18033 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4749237 18033 5465 1 0 548533 0
[pid=86966/tid=86968] ppid=86963 vsize=18996948 memory=-6000919494164309607 CPUtime=0.24 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 5504 0 0 0 22 2 0 0 20 0 19 0 77753991 19452874752 18033 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77753993 19452874752 18033 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77753993 19452874752 18033 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77754016 19452874752 18033 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72132 KiB
[startup+0.700248 s]
/proc/loadavg: 4.38 4.48 4.47 6/339 86985
/proc/meminfo: memFree=100879872/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=164784 CPUtime=1.25 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 11120 0 0 0 119 6 0 0 20 0 20 0 77753989 19521036288 41196 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 41196 5529 1 0 550621 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=18560 CPUtime=0.57 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 5553 0 0 0 54 3 0 0 20 0 20 0 77753991 19521036288 41196 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 41196 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 41196 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 41196 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164784 KiB
[startup+1.50026 s]
/proc/loadavg: 4.51 4.50 4.48 6/340 86986
/proc/meminfo: memFree=100808164/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=224856 CPUtime=2.84 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 19721 0 0 0 275 9 0 0 20 0 20 0 77753989 19521036288 56214 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 56214 5529 1 0 553223 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=10752 CPUtime=1.32 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 6134 0 0 0 128 4 0 0 20 0 20 0 77753991 19521036288 56214 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 56214 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 56214 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 56214 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224856 KiB
[startup+3.1058 s]
/proc/loadavg: 4.51 4.50 4.48 6/340 86986
/proc/meminfo: memFree=100406704/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=573976 CPUtime=5.65 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 23503 0 0 0 549 16 0 0 20 0 20 0 77753989 19521036288 143494 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 143494 5529 1 0 743920 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=10752 CPUtime=2.82 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 6919 0 0 0 272 10 0 0 20 0 20 0 77753991 19521036288 143494 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=-6000919494164309607 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 143494 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 143494 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 143494 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 573976 KiB
[startup+6.30025 s]
/proc/loadavg: 4.47 4.50 4.47 6/340 86987
/proc/meminfo: memFree=100001228/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=967008 CPUtime=9.3 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 24029 0 0 0 906 24 0 0 20 0 20 0 77753989 19521036288 241752 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 241752 5529 1 0 743925 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=0 CPUtime=5.91 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 7267 0 0 0 575 16 0 0 20 0 20 0 77753991 19521036288 241752 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 241752 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 241752 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=253636 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 241752 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 967008 KiB
[startup+12.7003 s]
/proc/loadavg: 4.43 4.49 4.47 5/340 86987
/proc/meminfo: memFree=98600784/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=2336364 CPUtime=15.87 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 26030 0 0 0 1536 51 0 0 20 0 20 0 77753989 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 584091 5529 1 0 877620 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=253636 CPUtime=12.18 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 8847 0 0 0 1177 41 0 0 20 0 20 0 77753991 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=2336364 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2336364 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.47 4.46 5/340 86987
/proc/meminfo: memFree=98568032/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=2336364 CPUtime=28.85 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 32233 0 0 0 2833 52 0 0 20 0 20 0 77753989 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 584091 5529 1 0 877622 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=10752 CPUtime=24.73 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 11322 0 0 0 2431 42 0 0 20 0 20 0 77753991 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=2336364 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3100 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 584091 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2336364 KiB
[startup+51.1057 s]
/proc/loadavg: 4.34 4.46 4.46 5/339 86987
/proc/meminfo: memFree=98449256/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=2349176 CPUtime=54.98 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 38987 0 0 0 5444 54 0 0 20 0 20 0 77753989 19521036288 587294 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 587294 5529 1 0 877638 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=2349176 CPUtime=49.74 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 14460 0 0 0 4932 42 0 0 20 0 20 0 77753991 19521036288 587294 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.68 4.69 4.50 5/339 87149
/proc/meminfo: memFree=94308520/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3150.66 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 168732 0 0 0 314751 315 0 0 20 0 20 0 77753989 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 868928 5529 1 0 885613 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=10752 CPUtime=2941.98 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 77239 0 0 0 294138 60 0 0 20 0 20 0 77753991 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 1937 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3150.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475712 KiB
[startup+3042.3 s]
/proc/loadavg: 4.85 4.75 4.53 6/339 87217
/proc/meminfo: memFree=95453372/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3227.01 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 172719 0 0 0 322370 331 0 0 20 0 20 0 77753989 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 868928 5529 1 0 885613 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=14344 CPUtime=3001.23 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 79130 0 0 0 300062 61 0 0 20 0 20 0 77753991 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=23860 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 1986 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3227.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.62 4.70 4.53 7/338 87219
/proc/meminfo: memFree=95363912/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3306.27 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 173067 0 0 0 330279 348 0 0 20 0 20 0 77753989 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 868928 5529 1 0 885613 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3060.35 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 79452 0 0 0 305974 61 0 0 20 0 20 0 77753991 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 1987 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3306.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475712 KiB
[startup+3162.3 s]
/proc/loadavg: 4.67 4.71 4.55 5/339 87224
/proc/meminfo: memFree=95273988/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3383 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 177740 0 0 0 337937 363 0 0 20 0 20 0 77753989 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 868928 5529 1 0 885613 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3119.49 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 82108 0 0 0 311888 61 0 0 20 0 20 0 77753991 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3100 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 868928 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3383 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475712 KiB
[startup+3222.3 s]
/proc/loadavg: 4.63 4.69 4.55 7/337 87423
/proc/meminfo: memFree=98319220/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3992820 CPUtime=3462.17 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 180364 0 0 0 345814 403 0 0 20 0 20 0 77753989 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 998205 5529 1 0 1015118 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3178.47 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 83917 0 0 0 317768 79 0 0 20 0 20 0 77753991 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3475712 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3462.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3992820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.64 4.54 5/339 87623
/proc/meminfo: memFree=97931796/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3992820 CPUtime=3533.71 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 183781 0 0 0 352946 425 0 0 20 0 20 0 77753989 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 998205 5529 1 0 1015119 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3237.49 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 85040 0 0 0 323660 89 0 0 20 0 20 0 77753991 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3533.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3992820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3336.3 s]
/proc/loadavg: 4.54 4.63 4.54 6/339 87625
/proc/meminfo: memFree=97899984/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19063512 memory=3992820 CPUtime=3600.16 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 183969 0 0 0 359580 436 0 0 20 0 20 0 77753989 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4765878 998205 5529 1 0 1015120 0
[pid=86966/tid=86968] ppid=86963 vsize=19063512 memory=3475712 CPUtime=3290.6 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 85175 0 0 0 328971 89 0 0 20 0 20 0 77753991 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 20 0 77753993 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86985] ppid=86963 vsize=19063512 memory=3992820 CPUtime=0 cores=4,6
/proc/86966/task/86985/stat : 86985 (Timer-0) S 86963 86966 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77754016 19521036288 998205 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3992820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3336.44 s]
# the end of solver process 86966 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.05 s, system=4.38488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3336.4 s]
/proc/loadavg: 4.54 4.63 4.54 6/339 87625
/proc/meminfo: memFree=97899984/131249988 swapFree=33010416/33010684
[pid=86966] ppid=86963 vsize=19263204 memory=3993460 CPUtime=3600.36 cores=4,6
/proc/86966/stat : 86966 (java) S 86963 86966 86397 0 -1 4194304 185261 0 0 0 359600 436 0 0 20 0 21 0 77753989 19725520896 998365 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
/proc/86966/statm: 4815801 998365 5529 1 0 1016039 0
[pid=86966/tid=86968] ppid=86963 vsize=19263204 memory=3992820 CPUtime=3290.65 cores=4,6
/proc/86966/task/86968/stat : 86968 (java) R 86963 86966 86397 0 -1 4194368 85200 0 0 0 328976 89 0 0 20 0 21 0 77753991 19725520896 998365 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86977] ppid=86963 vsize=19263204 memory=2483228 CPUtime=0 cores=4,6
/proc/86966/task/86977/stat : 86977 (Finalizer) S 86963 86966 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77753993 19725520896 998365 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
[pid=86966/tid=86984] ppid=86963 vsize=19263204 memory=6640 CPUtime=0 cores=4,6
/proc/86966/task/86984/stat : 86984 (Common-Cleaner) S 86963 86966 86397 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 21 0 77753993 19725520896 998365 18446744073709551615 94286323679232 94286323682928 140733616656544 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94286323690744 94286323691536 94286348488704 140733616662908 140733616663012 140733616663012 140733616668616 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3993460 KiB
Child status: 143
Real time (s): 3336.44
CPU time (s): 3600.43
CPU user time (s): 3596.05
CPU system time (s): 4.38488
CPU usage (%): 107.912
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3993460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.05
system time used= 4.38488
maximum resident set size= 3993588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130779
involuntary context switches= 23602
# summary of solver processes directly reported to runsolver:
# pid: 86966
# total CPU time (s): 3600.43
# total CPU user time (s): 3596.05
# total CPU system time (s): 4.38488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74777 second user time and 16.8909 second system time
The end