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: 63837 MiB (59125 MiB free)
memory of node 1: 64465 MiB (61026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525353-1751622811/watcher-4525353-1751622811 -o /tmp/evaluation-result-4525353-1751622811/solver-4525353-1751622811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751619215-91091 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525353-1751622811.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=91925, runsolver pid=91922
[startup+0.10007 s]*
/proc/loadavg: 4.25 4.18 4.14 7/325 91943
/proc/meminfo: memFree=123001856/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=18930384 memory=48516 CPUtime=0.13 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 5802 0 0 0 9 4 0 0 20 0 18 0 77959808 19384713216 12129 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4732596 12129 5334 1 0 547012 0
[pid=91925/tid=91927] ppid=91922 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 4694 0 0 0 5 2 0 0 20 0 18 0 77959810 19384713216 12129 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77959814 19384713216 12129 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=18930384 memory=59593594259917 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77959815 19384713216 12129 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48516 KiB
[startup+0.217164 s]*
/proc/loadavg: 4.25 4.18 4.14 6/325 91943
/proc/meminfo: memFree=122992972/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=18930384 memory=55484 CPUtime=0.31 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 6529 0 0 0 26 5 0 0 20 0 18 0 77959808 19384713216 13871 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4732596 13871 5334 1 0 547604 0
[pid=91925/tid=91927] ppid=91922 vsize=18930384 memory=4026794268 CPUtime=0.19 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 5045 0 0 0 16 3 0 0 20 0 18 0 77959810 19384713216 13871 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=18930384 memory=16878 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77959814 19384713216 13871 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77959815 19384713216 13871 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55484 KiB
[startup+0.313587 s]*
/proc/loadavg: 4.25 4.18 4.14 7/325 91943
/proc/meminfo: memFree=122988876/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=18930384 memory=59148 CPUtime=0.48 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 6813 0 0 0 43 5 0 0 20 0 18 0 77959808 19384713216 14787 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4732596 14787 5462 1 0 547811 0
[pid=91925/tid=91927] ppid=91922 vsize=18930384 memory=-6000919498526387046 CPUtime=0.29 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 5238 0 0 0 26 3 0 0 20 0 18 0 77959810 19384713216 14787 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77959814 19384713216 14787 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77959815 19384713216 14787 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59148 KiB
[startup+0.701628 s]
/proc/loadavg: 4.25 4.18 4.14 7/326 91944
/proc/meminfo: memFree=122980244/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=18996948 memory=76892 CPUtime=1.17 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 7915 0 0 0 111 6 0 0 20 0 19 0 77959808 19452874752 19223 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4749237 19223 5494 1 0 548685 0
[pid=91925/tid=91927] ppid=91922 vsize=18996948 memory=18688 CPUtime=0.63 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 5518 0 0 0 59 4 0 0 20 0 19 0 77959810 19452874752 19223 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77959814 19452874752 19223 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77959815 19452874752 19223 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77959857 19452874752 19223 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76892 KiB
[startup+1.50026 s]
/proc/loadavg: 4.25 4.18 4.14 8/326 91944
/proc/meminfo: memFree=122922460/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=172244 CPUtime=2.74 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 16859 0 0 0 265 9 0 0 20 0 20 0 77959808 19521036288 43061 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 43061 5526 1 0 551976 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=0 CPUtime=1.29 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 5876 0 0 0 124 5 0 0 20 0 20 0 77959810 19521036288 43061 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 43061 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 43061 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 43061 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172244 KiB
[startup+3.10544 s]
/proc/loadavg: 4.31 4.19 4.14 8/327 91945
/proc/meminfo: memFree=122311836/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=662928 CPUtime=5.88 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 26965 0 0 0 567 21 0 0 20 0 20 0 77959808 19521036288 165732 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 165732 5526 1 0 894861 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=11136 CPUtime=2.8 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 7361 0 0 0 266 14 0 0 20 0 20 0 77959810 19521036288 165732 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=-6000919498526387046 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 165732 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 165732 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 165732 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 662928 KiB
[startup+6.30043 s]
/proc/loadavg: 4.31 4.19 4.14 6/327 91945
/proc/meminfo: memFree=120643676/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=2161212 CPUtime=10.16 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 30572 0 0 0 964 52 0 0 20 0 20 0 77959808 19521036288 540303 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 540303 5526 1 0 895931 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=0 CPUtime=5.94 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 8343 0 0 0 551 43 0 0 20 0 20 0 77959810 19521036288 540303 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 540303 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 540303 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=179884 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 540303 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 10.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161212 KiB
[startup+12.7004 s]
/proc/loadavg: 4.28 4.19 4.14 5/304 91956
/proc/meminfo: memFree=121903820/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=2196136 CPUtime=17.01 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 31273 0 0 0 1647 54 0 0 20 0 20 0 77959808 19521036288 549034 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 549034 5526 1 0 895933 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=179884 CPUtime=12.24 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 8952 0 0 0 1181 43 0 0 20 0 20 0 77959810 19521036288 549034 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=16596 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 549034 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=2196136 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 549034 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 549034 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 17.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2196136 KiB
[startup+25.5005 s]
/proc/loadavg: 4.22 4.18 4.14 5/328 92013
/proc/meminfo: memFree=118239984/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=2214700 CPUtime=29.89 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 34372 0 0 0 2933 56 0 0 20 0 20 0 77959808 19521036288 553675 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 553675 5526 1 0 895933 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=2214700 CPUtime=24.83 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 11281 0 0 0 2440 43 0 0 20 0 20 0 77959810 19521036288 553675 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=2212652 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 553675 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=2208556 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 553675 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 553675 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2214700 KiB
[startup+51.1138 s]
/proc/loadavg: 4.26 4.20 4.14 5/328 92014
/proc/meminfo: memFree=116595740/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=2816164 CPUtime=55.63 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 40192 0 0 0 5492 71 0 0 20 0 20 0 77959808 19521036288 704041 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 704041 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=2807940 CPUtime=49.71 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 14033 0 0 0 4918 53 0 0 20 0 20 0 77959810 19521036288 704041 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=-6000919498526387046 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 704041 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/328 92240
/proc/meminfo: memFree=112114940/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3287.24 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 121291 0 0 0 328386 338 0 0 20 0 20 0 77959808 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995410 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=16596 CPUtime=3259.22 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 60803 0 0 0 325845 77 0 0 20 0 20 0 77959810 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=-6000919498526387046 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3287.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/328 92242
/proc/meminfo: memFree=112115652/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3347.19 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 123436 0 0 0 334378 341 0 0 20 0 20 0 77959808 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995410 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=18688 CPUtime=3319.1 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 61993 0 0 0 331832 78 0 0 20 0 20 0 77959810 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1781 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3347.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/328 92244
/proc/meminfo: memFree=112115876/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3407.13 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 125205 0 0 0 340368 345 0 0 20 0 20 0 77959808 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995410 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3378.98 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 62875 0 0 0 337819 79 0 0 20 0 20 0 77959810 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1781 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3407.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/328 92247
/proc/meminfo: memFree=112114220/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3467.07 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 125723 0 0 0 346360 347 0 0 20 0 20 0 77959808 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995410 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3438.87 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 63333 0 0 0 343808 79 0 0 20 0 20 0 77959810 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=16596 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3467.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/327 92249
/proc/meminfo: memFree=112115408/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3527 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 127347 0 0 0 352350 350 0 0 20 0 20 0 77959808 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995410 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3498.74 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 64484 0 0 0 349795 79 0 0 20 0 20 0 77959810 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=16596 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=3981640 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995410 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3527 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.15 4.16 5/326 92317
/proc/meminfo: memFree=116978436/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981768 CPUtime=3587.32 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 128320 0 0 0 358377 355 0 0 20 0 20 0 77959808 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995442 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=3981640 CPUtime=3558.56 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 64733 0 0 0 355775 81 0 0 20 0 20 0 77959810 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=3981768 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=16596 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595 s]*
/proc/loadavg: 4.25 4.16 4.16 5/327 92321
/proc/meminfo: memFree=116977932/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19063512 memory=3981768 CPUtime=3600.02 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 128332 0 0 0 359646 356 0 0 20 0 20 0 77959808 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4765878 995442 5526 1 0 1025445 0
[pid=91925/tid=91927] ppid=91922 vsize=19063512 memory=-6000919494114437734 CPUtime=3571.22 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 64733 0 0 0 357041 81 0 0 20 0 20 0 77959810 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77959814 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19063512 memory=3979266928454926624 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 20 0 77959815 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91944] ppid=91922 vsize=19063512 memory=19148 CPUtime=0 cores=1,3
/proc/91925/task/91944/stat : 91944 (Timer-0) S 91922 91925 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77959857 19521036288 995442 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3981768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.2 s]
# the end of solver process 91925 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.76 s, system=3.59338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3595.12 s]
/proc/loadavg: 4.25 4.16 4.16 5/327 92321
/proc/meminfo: memFree=116977932/131382120 swapFree=33010416/33010684
[pid=91925] ppid=91922 vsize=19263204 memory=3982664 CPUtime=3600.22 cores=1,3
/proc/91925/stat : 91925 (java) S 91922 91925 91079 0 -1 4194304 130406 0 0 0 359666 356 0 0 20 0 21 0 77959808 19725520896 995666 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
/proc/91925/statm: 4815801 995666 5558 1 0 1026364 0
[pid=91925/tid=91927] ppid=91922 vsize=19263204 memory=3981640 CPUtime=3571.32 cores=1,3
/proc/91925/task/91927/stat : 91927 (java) R 91922 91925 91079 0 -1 4194368 64733 0 0 0 357051 81 0 0 20 0 21 0 77959810 19725520896 995666 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91936] ppid=91922 vsize=19263204 memory=16596 CPUtime=0 cores=1,3
/proc/91925/task/91936/stat : 91936 (Finalizer) S 91922 91925 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77959814 19725520896 995666 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
[pid=91925/tid=91943] ppid=91922 vsize=19263204 memory=3981768 CPUtime=0 cores=1,3
/proc/91925/task/91943/stat : 91943 (Common-Cleaner) S 91922 91925 91079 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 21 0 77959815 19725520896 995666 18446744073709551615 94480750395392 94480750399088 140721289277408 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94480750406904 94480750407696 94480756641792 140721289283964 140721289284068 140721289284068 140721289289672 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3982664 KiB
Child status: 143
Real time (s): 3595.2
CPU time (s): 3600.36
CPU user time (s): 3596.76
CPU system time (s): 3.59338
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3982664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.76
system time used= 3.59338
maximum resident set size= 3982920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164240
involuntary context switches= 5134
# summary of solver processes directly reported to runsolver:
# pid: 91925
# total CPU time (s): 3600.36
# total CPU user time (s): 3596.76
# total CPU system time (s): 3.59338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5333 second user time and 36.591 second system time
The end