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 (53640 MiB free)
memory of node 1: 64465 MiB (46264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543405-1753225622/watcher-4543405-1753225622 -o /tmp/evaluation-result-4543405-1753225622/solver-4543405-1753225622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753222103-162645 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4543405-1753225622.opb
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.el9_5.x86_64
Starting watchdog thread
solver pid=163009, runsolver pid=163006
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.27 4.29 4.32 7/326 163027
/proc/meminfo: memFree=102277940/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=18930384 memory=48408 CPUtime=0.12 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 5795 0 0 0 9 3 0 0 20 0 18 0 238240964 19384713216 12102 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4732596 12102 5339 1 0 547004 0
[pid=163009/tid=163011] ppid=163006 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 4697 0 0 0 6 2 0 0 20 0 18 0 238240966 19384713216 12102 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238240970 19384713216 12102 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=18930384 memory=55195547748946 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238240972 19384713216 12102 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48408 KiB
[startup+0.218984 s]*
/proc/loadavg: 4.27 4.29 4.32 6/326 163027
/proc/meminfo: memFree=102274520/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=18930384 memory=55600 CPUtime=0.32 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 6538 0 0 0 28 4 0 0 20 0 18 0 238240964 19384713216 13900 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4732596 13900 5371 1 0 547603 0
[pid=163009/tid=163011] ppid=163006 vsize=18930384 memory=4026990876 CPUtime=0.19 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 5056 0 0 0 17 2 0 0 20 0 18 0 238240966 19384713216 13900 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238240970 19384713216 13900 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238240972 19384713216 13900 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55600 KiB
[startup+0.314755 s]*
/proc/loadavg: 4.27 4.29 4.32 6/326 163027
/proc/meminfo: memFree=102272504/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=18930384 memory=59144 CPUtime=0.48 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 6843 0 0 0 44 4 0 0 20 0 18 0 238240964 19384713216 14786 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4732596 14786 5435 1 0 547829 0
[pid=163009/tid=163011] ppid=163006 vsize=18930384 memory=-8745263052378383036 CPUtime=0.29 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 5254 0 0 0 26 3 0 0 20 0 18 0 238240966 19384713216 14786 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238240970 19384713216 14786 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238240972 19384713216 14786 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59144 KiB
[startup+0.700517 s]
/proc/loadavg: 4.27 4.29 4.32 7/327 163028
/proc/meminfo: memFree=102266644/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=18996948 memory=71136 CPUtime=1.17 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 8486 0 0 0 112 5 0 0 20 0 19 0 238240964 19452874752 17784 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4749237 17784 5435 1 0 548857 0
[pid=163009/tid=163011] ppid=163006 vsize=18996948 memory=27392 CPUtime=0.59 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 5429 0 0 0 56 3 0 0 20 0 19 0 238240966 19452874752 17784 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238240970 19452874752 17784 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238240972 19452874752 17784 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=18996948 memory=4896 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238241014 19452874752 17784 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71136 KiB
[startup+1.5003 s]
/proc/loadavg: 4.27 4.29 4.32 6/327 163028
/proc/meminfo: memFree=102220000/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=166376 CPUtime=2.75 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 14923 0 0 0 265 10 0 0 20 0 20 0 238240964 19521036288 41594 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 41594 5467 1 0 551038 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=0 CPUtime=1.27 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 5818 0 0 0 122 5 0 0 20 0 20 0 238240966 19521036288 41594 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 41594 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 41594 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=4896 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 41594 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166376 KiB
[startup+3.10569 s]
/proc/loadavg: 4.33 4.30 4.32 6/328 163029
/proc/meminfo: memFree=101824620/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=556296 CPUtime=5.88 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 23481 0 0 0 569 19 0 0 20 0 20 0 238240964 19521036288 139074 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 139074 5467 1 0 933845 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=11264 CPUtime=2.77 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 6526 0 0 0 265 12 0 0 20 0 20 0 238240966 19521036288 139074 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=-8745263052378383036 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 139074 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 139074 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 139074 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 556296 KiB
[startup+6.30044 s]
/proc/loadavg: 4.33 4.30 4.32 4/304 163105
/proc/meminfo: memFree=110023108/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=1105460 CPUtime=9.76 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 23866 0 0 0 947 29 0 0 20 0 20 0 238240964 19521036288 276365 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 276365 5467 1 0 933857 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=0 CPUtime=5.85 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 6750 0 0 0 565 20 0 0 20 0 20 0 238240966 19521036288 276365 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 276365 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 276365 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=171896 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 276365 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1105460 KiB
[startup+12.7004 s]
/proc/loadavg: 4.44 4.33 4.33 8/327 163227
/proc/meminfo: memFree=109267896/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=1899356 CPUtime=16.57 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 24750 0 0 0 1611 46 0 0 20 0 20 0 238240964 19521036288 474839 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 474839 5467 1 0 1061283 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=171896 CPUtime=12.09 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 7278 0 0 0 1174 35 0 0 20 0 20 0 238240966 19521036288 474839 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=1612616 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 474839 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 474839 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 474839 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 16.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1899356 KiB
[startup+25.5005 s]
/proc/loadavg: 4.52 4.35 4.33 6/326 163362
/proc/meminfo: memFree=121569892/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=2394972 CPUtime=29.73 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 28259 0 0 0 2915 58 0 0 20 0 20 0 238240964 19521036288 598743 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 598743 5467 1 0 1061288 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=0 CPUtime=24.5 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 8935 0 0 0 2404 46 0 0 20 0 20 0 238240966 19521036288 598743 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=171896 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 598743 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=1105460 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 598743 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=2394972 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 598743 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 29.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2394972 KiB
[startup+51.1138 s]
/proc/loadavg: 4.56 4.37 4.34 5/326 163362
/proc/meminfo: memFree=119140864/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=2680208 CPUtime=56.61 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 37666 0 0 0 5593 68 0 0 20 0 20 0 238240964 19521036288 670052 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 670052 5467 1 0 1061338 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=0 CPUtime=49.49 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 12486 0 0 0 4902 47 0 0 20 0 20 0 238240966 19521036288 670052 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=2680208 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 670052 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
################
# More data... #
################
[startup+2922.3 s]
/proc/loadavg: 4.61 4.48 4.35 5/327 163502
/proc/meminfo: memFree=108489220/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3149.88 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 203231 0 0 0 314423 565 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=7374232 CPUtime=2865.05 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 101567 0 0 0 286385 120 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7362448 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 1916 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3149.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.56 4.48 4.37 5/327 163504
/proc/meminfo: memFree=108490504/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3225.63 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 208828 0 0 0 321979 584 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=7376300 CPUtime=2924.02 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 105512 0 0 0 292282 120 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 1928 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3225.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
[startup+3042.3 s]
/proc/loadavg: 4.53 4.49 4.37 6/327 163506
/proc/meminfo: memFree=108493620/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3299.25 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 213432 0 0 0 329323 602 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=14464 CPUtime=2982.92 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 108232 0 0 0 298171 121 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 1979 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3299.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.58 4.52 4.39 5/326 163508
/proc/meminfo: memFree=108493272/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3372.18 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 216055 0 0 0 336598 620 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=6606840 CPUtime=3042.03 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 110446 0 0 0 304081 122 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3372.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.46 4.50 4.39 5/327 163513
/proc/meminfo: memFree=108072712/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3447.25 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 222135 0 0 0 344086 639 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=6606840 CPUtime=3101.03 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 113130 0 0 0 309981 122 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3447.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
[startup+3222.33 s]
/proc/loadavg: 4.30 4.45 4.38 5/326 163519
/proc/meminfo: memFree=108072972/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3525.33 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 227055 0 0 0 351872 661 0 0 20 0 20 0 238240964 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844075 5499 1 0 1856999 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=7376300 CPUtime=3159.86 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) S 163006 163009 162635 0 -1 4194368 115377 0 0 0 315863 123 0 0 20 0 20 0 238240966 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 2057 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=7376300 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844075 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3525.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3281.7 s]
/proc/loadavg: 4.28 4.42 4.37 5/326 163536
/proc/meminfo: memFree=108069840/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19063512 memory=7376428 CPUtime=3600.06 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 231937 0 0 0 359325 681 0 0 20 0 20 0 238240964 19521036288 1844107 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4765878 1844107 5499 1 0 1857035 0
[pid=163009/tid=163011] ppid=163006 vsize=19063512 memory=7376428 CPUtime=3218.36 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 118222 0 0 0 321713 123 0 0 20 0 20 0 238240966 19521036288 1844107 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238240970 19521036288 1844107 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19063512 memory=10240 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 20 0 238240972 19521036288 1844107 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163028] ppid=163006 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/163009/task/163028/stat : 163028 (Timer-0) S 163006 163009 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238241014 19521036288 1844107 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7376428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3281.86 s]
# the end of solver process 163009 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.51 s, system=6.83698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3281.8 s]
/proc/loadavg: 4.28 4.42 4.37 5/326 163536
/proc/meminfo: memFree=108069840/131382120 swapFree=33010416/33010684
[pid=163009] ppid=163006 vsize=19263204 memory=7377324 CPUtime=3600.26 cores=0,2
/proc/163009/stat : 163009 (java) S 163006 163009 162635 0 -1 4194304 233328 0 0 0 359345 681 0 0 20 0 21 0 238240964 19725520896 1844331 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
/proc/163009/statm: 4815801 1844331 5531 1 0 1857954 0
[pid=163009/tid=163011] ppid=163006 vsize=19263204 memory=280098037039360 CPUtime=3218.47 cores=0,2
/proc/163009/task/163011/stat : 163011 (java) R 163006 163009 162635 0 -1 4194368 118222 0 0 0 321724 123 0 0 20 0 21 0 238240966 19725520896 1844331 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163020] ppid=163006 vsize=19263204 memory=14464 CPUtime=0 cores=0,2
/proc/163009/task/163020/stat : 163020 (Finalizer) S 163006 163009 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238240970 19725520896 1844331 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
[pid=163009/tid=163027] ppid=163006 vsize=19263204 memory=27392 CPUtime=0 cores=0,2
/proc/163009/task/163027/stat : 163027 (Common-Cleaner) S 163006 163009 162635 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 21 0 238240972 19725520896 1844331 18446744073709551615 94867582660608 94867582664304 140735784345696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94867582672120 94867582672912 94867599859712 140735784352124 140735784352228 140735784352228 140735784357832 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7377324 KiB
Child status: 143
Real time (s): 3281.86
CPU time (s): 3600.35
CPU user time (s): 3593.51
CPU system time (s): 6.83698
CPU usage (%): 109.705
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7377324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.51
system time used= 6.83698
maximum resident set size= 7377580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143772
involuntary context switches= 29801
# summary of solver processes directly reported to runsolver:
# pid: 163009
# total CPU time (s): 3600.35
# total CPU user time (s): 3593.51
# total CPU system time (s): 6.83698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1045 second user time and 34.4483 second system time
The end