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: 63665 MiB (60521 MiB free)
memory of node 1: 64507 MiB (51779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524786-1751616947/watcher-4524786-1751616947 -o /tmp/evaluation-result-4524786-1751616947/solver-4524786-1751616947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751613340-97160 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524786-1751616947.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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.el
solver pid=97756, runsolver pid=97753
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.21 4.15 4.08 7/321 97774
/proc/meminfo: memFree=114968276/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=18930384 memory=59600 CPUtime=0.12 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 6527 0 0 0 11 1 0 0 20 0 18 0 77372625 19384713216 14900 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4732596 14900 5343 1 0 547643 0
[pid=97756/tid=97758] ppid=97753 vsize=18930384 memory=4026532141 CPUtime=0.07 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 5107 0 0 0 7 0 0 0 20 0 18 0 77372626 19384713216 14900 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=18930384 memory=245702609132 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77372628 19384713216 14900 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=18930384 memory=28925 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77372628 19384713216 14900 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59600 KiB
[startup+0.205797 s]*
/proc/loadavg: 4.21 4.15 4.08 8/321 97774
/proc/meminfo: memFree=114955988/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=18930384 memory=65800 CPUtime=0.32 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 6941 0 0 0 30 2 0 0 20 0 18 0 77372625 19384713216 16450 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4732596 16450 5439 1 0 548000 0
[pid=97756/tid=97758] ppid=97753 vsize=18930384 memory=3472328300254199928 CPUtime=0.17 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 5367 0 0 0 16 1 0 0 20 0 18 0 77372626 19384713216 16450 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77372628 19384713216 16450 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=18930384 memory=59585004324181 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77372628 19384713216 16450 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65800 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.21 4.15 4.08 5/321 97775
/proc/meminfo: memFree=114901984/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=18996948 memory=77328 CPUtime=0.51 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 7371 0 0 0 49 2 0 0 20 0 19 0 77372625 19452874752 19332 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4749237 19332 5471 1 0 548530 0
[pid=97756/tid=97758] ppid=97753 vsize=18996948 memory=-6000919494181217638 CPUtime=0.26 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 5512 0 0 0 25 1 0 0 20 0 19 0 77372626 19452874752 19332 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77372628 19452874752 19332 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77372628 19452874752 19332 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372651 19452874752 19332 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77328 KiB
[startup+0.704718 s]
/proc/loadavg: 4.21 4.15 4.08 7/319 97788
/proc/meminfo: memFree=114745656/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=171296 CPUtime=1.28 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 12045 0 0 0 124 4 0 0 20 0 20 0 77372625 19521036288 42824 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 42824 5503 1 0 551642 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=18944 CPUtime=0.64 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) S 97753 97756 96338 0 -1 4194368 5577 0 0 0 62 2 0 0 20 0 20 0 77372626 19521036288 42824 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 42824 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 42824 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 42824 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171296 KiB
[startup+1.50023 s]
/proc/loadavg: 4.21 4.15 4.08 9/341 97824
/proc/meminfo: memFree=114454996/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=181432 CPUtime=2.84 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 19926 0 0 0 278 6 0 0 20 0 20 0 77372625 19521036288 45358 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 45358 5503 1 0 554113 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=0 CPUtime=1.42 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 5940 0 0 0 140 2 0 0 20 0 20 0 77372626 19521036288 45358 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 45358 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 45358 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=224194199869 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 45358 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181432 KiB
[startup+3.10609 s]
/proc/loadavg: 4.21 4.15 4.08 8/343 97826
/proc/meminfo: memFree=113706496/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=212224 CPUtime=5.79 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 24254 0 0 0 571 8 0 0 20 0 20 0 77372625 19521036288 53056 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 53056 5503 1 0 554488 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=10752 CPUtime=2.94 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 6639 0 0 0 292 2 0 0 20 0 20 0 77372626 19521036288 53056 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=-6000919494181217638 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 53056 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 53056 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=33 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 53056 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212224 KiB
[startup+6.30021 s]
/proc/loadavg: 4.28 4.16 4.08 8/343 97826
/proc/meminfo: memFree=112329412/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=417252 CPUtime=9.38 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 24685 0 0 0 926 12 0 0 20 0 20 0 77372625 19521036288 104313 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 104313 5503 1 0 554488 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=0 CPUtime=6.09 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 6897 0 0 0 603 6 0 0 20 0 20 0 77372626 19521036288 104313 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=7100839870105756809 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 104313 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 104313 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=181560 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 104313 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 9.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 417252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.08 6/343 97827
/proc/meminfo: memFree=110844216/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=1097060 CPUtime=16.33 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 31441 0 0 0 1606 27 0 0 20 0 20 0 77372625 19521036288 274265 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 274265 5503 1 0 554488 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=10752 CPUtime=12.46 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 8188 0 0 0 1227 19 0 0 20 0 20 0 77372626 19521036288 274265 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=181560 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 274265 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=509540 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 274265 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 274265 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 16.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1097060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.18 4.09 5/343 97827
/proc/meminfo: memFree=108750920/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=1443436 CPUtime=29.43 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 35224 0 0 0 2908 35 0 0 20 0 20 0 77372625 19521036288 360859 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 360859 5503 1 0 554488 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=-6000919494181217638 CPUtime=25.12 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 9628 0 0 0 2488 24 0 0 20 0 20 0 77372626 19521036288 360859 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 360859 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=139953053208737 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 360859 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=1443436 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 360859 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 29.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1443436 KiB
[startup+51.1057 s]
/proc/loadavg: 4.31 4.18 4.10 5/342 97827
/proc/meminfo: memFree=108459984/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=1472296 CPUtime=55.12 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 37654 0 0 0 5475 37 0 0 20 0 20 0 77372625 19521036288 368074 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 368074 5503 1 0 554488 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=1472296 CPUtime=50.52 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 10863 0 0 0 5028 24 0 0 20 0 20 0 77372626 19521036288 368074 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=1111396 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1430676 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1151 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1430676 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5722704 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1430676 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3160.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5722704 KiB
[startup+2562.3 s]
/proc/loadavg: 4.87 5.05 4.90 6/341 97958
/proc/meminfo: memFree=90734548/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3239.33 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 173795 0 0 0 323204 729 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471347 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=2764 CPUtime=2526.26 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 50658 0 0 0 252500 126 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1152 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3239.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
[startup+2622.3 s]
/proc/loadavg: 4.60 4.93 4.87 5/340 97960
/proc/meminfo: memFree=90734700/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3304.51 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 177258 0 0 0 329716 735 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2586.09 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 52019 0 0 0 258482 127 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1175 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3304.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
[startup+2682.3 s]
/proc/loadavg: 4.45 4.84 4.84 5/340 97962
/proc/meminfo: memFree=90734576/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3369.64 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 180492 0 0 0 336222 742 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2645.89 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 53651 0 0 0 264460 129 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1202 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5722704 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3369.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
[startup+2742.3 s]
/proc/loadavg: 4.30 4.73 4.80 5/341 97978
/proc/meminfo: memFree=90735080/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3434.81 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 180925 0 0 0 342733 748 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2705.73 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 53661 0 0 0 270444 129 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1203 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3434.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
[startup+2802.3 s]
/proc/loadavg: 4.38 4.67 4.78 6/341 97980
/proc/meminfo: memFree=90734700/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3502.61 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 184767 0 0 0 349505 756 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2765.56 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 55335 0 0 0 276427 129 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1230 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3502.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
[startup+2862.3 s]
/proc/loadavg: 4.32 4.59 4.74 5/342 97983
/proc/meminfo: memFree=90734588/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3567.72 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 186862 0 0 0 356010 762 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2825.35 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 55781 0 0 0 282405 130 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3567.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2892.11 s]
/proc/loadavg: 4.42 4.59 4.73 6/342 97989
/proc/meminfo: memFree=90734732/131249996 swapFree=33010684/33010684
[pid=97756] ppid=97753 vsize=19063512 memory=5824884 CPUtime=3600.08 cores=0,2
/proc/97756/stat : 97756 (java) S 97753 97756 96338 0 -1 4194304 189171 0 0 0 359242 766 0 0 20 0 20 0 77372625 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
/proc/97756/statm: 4765878 1456221 5535 1 0 1471350 0
[pid=97756/tid=97758] ppid=97753 vsize=19063512 memory=5824884 CPUtime=2855.05 cores=0,2
/proc/97756/task/97758/stat : 97758 (java) R 97753 97756 96338 0 -1 4194368 56993 0 0 0 285374 131 0 0 20 0 20 0 77372626 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97767] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97767/stat : 97767 (Finalizer) S 97753 97756 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97774] ppid=97753 vsize=19063512 memory=21952 CPUtime=0 cores=0,2
/proc/97756/task/97774/stat : 97774 (Common-Cleaner) S 97753 97756 96338 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 77372628 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
[pid=97756/tid=97775] ppid=97753 vsize=19063512 memory=5824884 CPUtime=0 cores=0,2
/proc/97756/task/97775/stat : 97775 (Timer-0) S 97753 97756 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372651 19521036288 1456221 18446744073709551615 94303140417536 94303140421232 140721775071984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94303140429048 94303140429840 94303155437568 140721775073660 140721775073764 140721775073764 140721775079368 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5824884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2892.21 s]
# the end of solver process 97756 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.58 s, system=7.68901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2892.21 s]*
/proc/loadavg: 4.42 4.59 4.73 6/324 97992
/proc/meminfo: memFree=96445240/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2892.21
CPU time (s): 3600.26
CPU user time (s): 3592.58
CPU system time (s): 7.68901
CPU usage (%): 124.481
Max. virtual memory (cumulated for all children) (KiB): 19069540
Max. memory (cumulated for all children) (KiB): 5824884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.58
system time used= 7.68901
maximum resident set size= 5825652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150314
involuntary context switches= 54780
# summary of solver processes directly reported to runsolver:
# pid: 97756
# total CPU time (s): 3600.26
# total CPU user time (s): 3592.58
# total CPU system time (s): 7.68901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35355 second user time and 14.7128 second system time
The end