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 (62181 MiB free)
memory of node 1: 64465 MiB (58820 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508464-1751510325/watcher-4508464-1751510325 -o /tmp/evaluation-result-4508464-1751510325/solver-4508464-1751510325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751506741-70405 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4508464-1751510325.opb
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=71103, runsolver pid=71100
[startup+0.100062 s]*
/proc/loadavg: 4.49 4.37 4.20 7/335 71121
/proc/meminfo: memFree=123672392/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=18930384 memory=57716 CPUtime=0.12 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 6568 0 0 0 10 2 0 0 20 0 18 0 66710900 19384713216 14429 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4732596 14429 5331 1 0 547620 0
[pid=71103/tid=71105] ppid=71100 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 5082 0 0 0 6 1 0 0 20 0 18 0 66710902 19384713216 14429 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66710904 19384713216 14429 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=18930384 memory=59585004339238 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66710904 19384713216 14429 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57716 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.49 4.37 4.20 8/335 71121
/proc/meminfo: memFree=123512460/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=18930384 memory=65484 CPUtime=0.32 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 7333 0 0 0 29 3 0 0 20 0 18 0 66710900 19384713216 16371 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4732596 16371 5491 1 0 548178 0
[pid=71103/tid=71105] ppid=71100 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) S 71100 71103 70394 0 -1 4194368 5478 0 0 0 15 2 0 0 20 0 18 0 66710902 19384713216 16371 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66710904 19384713216 16371 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66710904 19384713216 16371 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65484 KiB
[startup+0.305067 s]*
/proc/loadavg: 4.49 4.37 4.20 9/337 71123
/proc/meminfo: memFree=123453164/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=18996948 memory=76676 CPUtime=0.51 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 7573 0 0 0 48 3 0 0 20 0 19 0 66710900 19452874752 19169 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4749237 19169 5491 1 0 548556 0
[pid=71103/tid=71105] ppid=71100 vsize=18996948 memory=-6000919507150400360 CPUtime=0.26 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 5527 0 0 0 24 2 0 0 20 0 19 0 66710902 19452874752 19169 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66710904 19452874752 19169 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 66710904 19452874752 19169 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 66710922 19452874752 19169 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76676 KiB
[startup+0.700273 s]
/proc/loadavg: 4.49 4.37 4.20 7/337 71123
/proc/meminfo: memFree=123387820/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=168860 CPUtime=1.27 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 13364 0 0 0 121 6 0 0 20 0 20 0 66710900 19521036288 42215 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 42215 5523 1 0 551672 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=18688 CPUtime=0.62 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 5579 0 0 0 59 3 0 0 20 0 20 0 66710902 19521036288 42215 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 42215 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 42215 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 42215 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168860 KiB
[startup+1.50024 s]
/proc/loadavg: 4.49 4.37 4.20 7/338 71124
/proc/meminfo: memFree=123244844/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=226940 CPUtime=2.82 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 18469 0 0 0 274 8 0 0 20 0 20 0 66710900 19521036288 56735 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 56735 5523 1 0 552726 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=10752 CPUtime=1.35 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 5870 0 0 0 131 4 0 0 20 0 20 0 66710902 19521036288 56735 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 56735 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 56735 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 56735 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 226940 KiB
[startup+3.1055 s]
/proc/loadavg: 4.49 4.37 4.20 5/338 71124
/proc/meminfo: memFree=121681908/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=706208 CPUtime=5.35 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 20723 0 0 0 516 19 0 0 20 0 20 0 66710900 19521036288 176552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 176552 5523 1 0 934984 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=10752 CPUtime=2.88 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 6495 0 0 0 275 13 0 0 20 0 20 0 66710902 19521036288 176552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=-6000919507150400360 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 176552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 176552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 176552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 706208 KiB
[startup+6.30022 s]
/proc/loadavg: 4.45 4.37 4.20 5/338 71124
/proc/meminfo: memFree=120820164/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=1100312 CPUtime=9.02 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 22922 0 0 0 875 27 0 0 20 0 20 0 66710900 19521036288 275078 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 275078 5523 1 0 935003 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 7314 0 0 0 582 19 0 0 20 0 20 0 66710902 19521036288 275078 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 275078 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 275078 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=251524 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 275078 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1100312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.38 4.20 6/338 71255
/proc/meminfo: memFree=119927436/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=2298208 CPUtime=16.97 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 34924 0 0 0 1645 52 0 0 20 0 20 0 66710900 19521036288 574552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 574552 5523 1 0 942017 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=251524 CPUtime=12.22 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 8701 0 0 0 1183 39 0 0 20 0 20 0 66710902 19521036288 574552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 574552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 574552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=-6000919507150400360 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 574552 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2298208 KiB
[startup+25.5003 s]
/proc/loadavg: 4.38 4.36 4.20 5/338 71255
/proc/meminfo: memFree=118227596/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=2332112 CPUtime=30.44 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 47281 0 0 0 2990 54 0 0 20 0 20 0 66710900 19521036288 583028 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 583028 5523 1 0 942017 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=-6000919507150400360 CPUtime=24.78 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 10382 0 0 0 2438 40 0 0 20 0 20 0 66710902 19521036288 583028 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=-6000919507150400360 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 583028 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=251524 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 583028 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=1104440 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 583028 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 30.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2332112 KiB
[startup+51.1057 s]
/proc/loadavg: 4.31 4.35 4.20 5/339 71257
/proc/meminfo: memFree=118002088/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=2375176 CPUtime=56.32 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 51804 0 0 0 5575 57 0 0 20 0 20 0 66710900 19521036288 593794 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 593794 5523 1 0 942017 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=3328 CPUtime=49.98 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 12793 0 0 0 4958 40 0 0 20 0 20 0 66710902 19521036288 593794 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
################
# More data... #
################
/proc/meminfo: memFree=114471012/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478444 CPUtime=3287.57 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 133061 0 0 0 328570 187 0 0 20 0 20 0 66710900 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869611 5523 1 0 883571 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=3478444 CPUtime=3264.27 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 56040 0 0 0 326378 49 0 0 20 0 20 0 66710902 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1851 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3287.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/340 71427
/proc/meminfo: memFree=114473916/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478444 CPUtime=3347.67 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 135516 0 0 0 334578 189 0 0 20 0 20 0 66710900 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869611 5523 1 0 883571 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=18688 CPUtime=3323.64 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 57900 0 0 0 332315 49 0 0 20 0 20 0 66710902 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1851 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3347.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/341 71430
/proc/meminfo: memFree=114461472/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478444 CPUtime=3407.75 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 138029 0 0 0 340584 191 0 0 20 0 20 0 66710900 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869611 5523 1 0 883571 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=18688 CPUtime=3383.17 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 59199 0 0 0 338268 49 0 0 20 0 20 0 66710902 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1889 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869611 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3407.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/340 71432
/proc/meminfo: memFree=114444920/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3467.97 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 138223 0 0 0 346604 193 0 0 20 0 20 0 66710900 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869643 5523 1 0 883571 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=18688 CPUtime=3442.41 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 59253 0 0 0 344192 49 0 0 20 0 20 0 66710902 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478444 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1927 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=-6000919507150400360 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3467.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/339 71434
/proc/meminfo: memFree=114445020/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3527.93 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 138548 0 0 0 352599 194 0 0 20 0 20 0 66710900 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869643 5523 1 0 883571 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=18688 CPUtime=3502.19 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 59518 0 0 0 350170 49 0 0 20 0 20 0 66710902 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=7964 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3527.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/340 71508
/proc/meminfo: memFree=117146112/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3588.27 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 144201 0 0 0 358630 197 0 0 20 0 20 0 66710900 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869643 5523 1 0 883596 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=10752 CPUtime=3561.75 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 61163 0 0 0 356125 50 0 0 20 0 20 0 66710902 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=-6000919485541149544 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594.11 s]
/proc/loadavg: 4.16 4.12 4.10 5/320 71536
/proc/meminfo: memFree=119155808/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3600.06 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 144202 0 0 0 359808 198 0 0 20 0 20 0 66710900 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869643 5523 1 0 883596 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3573.53 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 61163 0 0 0 357303 50 0 0 20 0 20 0 66710902 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.19 s]
# the end of solver process 71103 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.22 s, system=1.99938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.11 s]
/proc/loadavg: 4.16 4.12 4.10 5/320 71536
/proc/meminfo: memFree=119155808/131249996 swapFree=33010160/33010684
[pid=71103] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3600.06 cores=4,6
/proc/71103/stat : 71103 (java) S 71100 71103 70394 0 -1 4194304 144202 0 0 0 359808 198 0 0 20 0 20 0 66710900 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
/proc/71103/statm: 4765878 869643 5523 1 0 883596 0
[pid=71103/tid=71105] ppid=71100 vsize=19063512 memory=3478572 CPUtime=3573.53 cores=4,6
/proc/71103/task/71105/stat : 71105 (java) R 71100 71103 70394 0 -1 4194368 61163 0 0 0 357303 50 0 0 20 0 20 0 66710902 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71114] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71114/stat : 71114 (Finalizer) S 71100 71103 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71121] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71121/stat : 71121 (Common-Cleaner) S 71100 71103 70394 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 66710904 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
[pid=71103/tid=71122] ppid=71100 vsize=19063512 memory=3478572 CPUtime=0 cores=4,6
/proc/71103/task/71122/stat : 71122 (Timer-0) S 71100 71103 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66710922 19521036288 869643 18446744073709551615 94643322818560 94643322822256 140735808658864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643322830072 94643322830864 94643354570752 140735808661886 140735808661990 140735808661990 140735808667592 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3478572 KiB
Child status: 143
Real time (s): 3594.19
CPU time (s): 3600.21
CPU user time (s): 3598.22
CPU system time (s): 1.99938
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 19066436
Max. memory (cumulated for all children) (KiB): 3659224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 1.99938
maximum resident set size= 3668824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187753
involuntary context switches= 7103
# summary of solver processes directly reported to runsolver:
# pid: 71103
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.22
# total CPU system time (s): 1.99938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10511 second user time and 15.1005 second system time
The end