runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454639-1307191903/watcher-3454639-1307191903 -o /tmp/evaluation-result-3454639-1307191903/solver-3454639-1307191903 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454639-1307191903.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.63 3.84 3.69 4/596 2020
/proc/meminfo: memFree=21648724/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2020/stat : 2020 (java) R 2018 2020 30921 0 -1 4202496 664 0 0 0 0 0 0 0 25 0 1 0 830788020 23580672 408 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212682712832 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2020/statm: 5757 419 318 9 0 124 0
[pid=2020/tid=2021] ppid=2018 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) R 2018 2020 30921 0 -1 4202560 7575 0 1 0 0 0 0 0 25 0 2 0 830788021 10694979584 8391 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.112794 s]
/proc/loadavg: 3.63 3.84 3.69 4/596 2020
/proc/meminfo: memFree=21648724/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10539548 CPUtime=0.12 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 13256 0 1 0 10 2 0 0 25 0 18 0 830788020 10792497152 12909 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2634887 12910 2122 9 0 2625621 0
[pid=2020/tid=2021] ppid=2018 vsize=10539548 CPUtime=0.09 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) R 2018 2020 30921 0 -1 4202560 11245 0 1 0 8 1 0 0 25 0 18 0 830788021 10792497152 12910 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539548
[startup+0.200778 s]
/proc/loadavg: 3.63 3.84 3.69 4/596 2020
/proc/meminfo: memFree=21648724/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10540160 CPUtime=0.27 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 14200 0 1 0 25 2 0 0 25 0 18 0 830788020 10793123840 13793 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2635040 13794 2185 9 0 2625774 0
[pid=2020/tid=2021] ppid=2018 vsize=10540160 CPUtime=0.18 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) R 2018 2020 30921 0 -1 4202560 11847 0 1 0 16 2 0 0 25 0 18 0 830788021 10793123840 13794 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 47309961018164 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540160
[startup+0.300765 s]
/proc/loadavg: 3.63 3.84 3.69 4/596 2020
/proc/meminfo: memFree=21648724/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10550208 CPUtime=0.57 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 23367 0 1 0 54 3 0 0 25 0 18 0 830788020 10803412992 19969 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2637552 19970 2201 9 0 2628286 0
[pid=2020/tid=2021] ppid=2018 vsize=10550208 CPUtime=0.28 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) R 2018 2020 30921 0 -1 4202560 12829 0 1 0 26 2 0 0 25 0 18 0 830788021 10803412992 19970 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10550208
[startup+0.700688 s]
/proc/loadavg: 3.63 3.84 3.69 4/596 2020
/proc/meminfo: memFree=21648724/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10551152 CPUtime=1.42 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 47368 0 1 0 136 6 0 0 25 0 18 0 830788020 10804379648 43807 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2637788 43811 2211 9 0 2628522 0
[pid=2020/tid=2021] ppid=2018 vsize=10551152 CPUtime=0.68 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) R 2018 2020 30921 0 -1 4202560 35930 0 1 0 63 5 0 0 25 0 18 0 830788021 10804379648 43813 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10551152
[startup+1.50159 s]
/proc/loadavg: 3.63 3.84 3.69 5/618 2042
/proc/meminfo: memFree=21398264/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10555264 CPUtime=3.54 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 84233 0 1 0 342 12 0 0 25 0 22 0 830788020 10808590336 80670 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2638816 80672 2234 9 0 2629550 0
[pid=2020/tid=2021] ppid=2018 vsize=10555264 CPUtime=0.72 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39525 0 1 0 66 6 0 0 20 0 22 0 830788021 10808590336 80672 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80674 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80674 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80675 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80676 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80679 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80681 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80683 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 80685 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830788024 10808590336 80686 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830788024 10808590336 80687 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788024 10808590336 80688 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2034] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2034/stat : 2034 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10808590336 80689 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699498929 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2035] ppid=2018 vsize=10555264 CPUtime=0.68 cores=1,3,5,7
/proc/2020/task/2035/stat : 2035 (java) S 2018 2020 30921 0 -1 4202560 4553 0 0 0 68 0 0 0 15 0 22 0 830788026 10808590336 80690 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2036] ppid=2018 vsize=10555264 CPUtime=0.59 cores=1,3,5,7
/proc/2020/task/2036/stat : 2036 (java) S 2018 2020 30921 0 -1 4202560 5906 0 0 0 59 0 0 0 15 0 22 0 830788026 10808590336 80691 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2037] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2037/stat : 2037 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10808590336 80692 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2038] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2038/stat : 2038 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830788026 10808590336 80693 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2039] ppid=2018 vsize=10555264 CPUtime=0.76 cores=1,3,5,7
/proc/2020/task/2039/stat : 2039 (java) R 2018 2020 30921 0 -1 4202560 324 0 0 0 76 0 0 0 25 0 22 0 830788094 10808590336 80694 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505851657 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2020/tid=2040] ppid=2018 vsize=10555264 CPUtime=0.75 cores=1,3,5,7
/proc/2020/task/2040/stat : 2040 (java) R 2018 2020 30921 0 -1 4202560 32784 0 0 0 71 4 0 0 18 0 22 0 830788094 10808590336 80696 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505825985 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2020/tid=2041] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2041/stat : 2041 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10808590336 80697 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2042] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2042/stat : 2042 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10808590336 80698 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10555264
[startup+3.10129 s]
/proc/loadavg: 3.63 3.84 3.69 5/618 2042
/proc/meminfo: memFree=21163656/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10555264 CPUtime=6.83 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 171538 0 1 0 660 23 0 0 25 0 22 0 830788020 10808590336 167973 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2638816 167975 2236 9 0 2629550 0
[pid=2020/tid=2021] ppid=2018 vsize=10555264 CPUtime=0.72 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39530 0 1 0 66 6 0 0 15 0 22 0 830788021 10808590336 167976 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167978 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167980 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167982 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167985 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167987 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167988 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167990 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808590336 167992 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830788024 10808590336 167993 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830788024 10808590336 167995 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788024 10808590336 167997 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2034] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2034/stat : 2034 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10808590336 167999 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699498929 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2035] ppid=2018 vsize=10555264 CPUtime=0.81 cores=1,3,5,7
/proc/2020/task/2035/stat : 2035 (java) S 2018 2020 30921 0 -1 4202560 4571 0 0 0 81 0 0 0 15 0 22 0 830788026 10808590336 168001 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2036] ppid=2018 vsize=10555264 CPUtime=0.69 cores=1,3,5,7
/proc/2020/task/2036/stat : 2036 (java) S 2018 2020 30921 0 -1 4202560 5916 0 0 0 69 0 0 0 15 0 22 0 830788026 10808590336 168003 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2037] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2037/stat : 2037 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10808590336 168005 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2038] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2038/stat : 2038 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830788026 10808590336 168007 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2041] ppid=2018 vsize=10555264 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2041/stat : 2041 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10808590336 168009 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 10555264
[startup+6.3017 s]
/proc/loadavg: 3.66 3.84 3.69 5/618 2052
/proc/meminfo: memFree=20440172/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10555212 CPUtime=13.14 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 351983 0 1 0 1271 43 0 0 25 0 22 0 830788020 10808537088 347654 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2638803 347657 2241 9 0 2629537 0
[pid=2020/tid=2021] ppid=2018 vsize=10555212 CPUtime=0.72 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39541 0 1 0 66 6 0 0 15 0 22 0 830788021 10808537088 347659 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347660 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347662 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347664 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347665 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347667 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347668 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347670 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788023 10808537088 347671 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830788024 10808537088 347672 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830788024 10808537088 347673 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10555212 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788024 10808537088 347675 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18272004/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10556344 CPUtime=1624.7 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 902248 0 1 0 162364 106 0 0 25 0 22 0 830788020 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2639086 893447 2265 9 0 2629820 0
[pid=2020/tid=2021] ppid=2018 vsize=10556344 CPUtime=0.73 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39566 0 1 0 67 6 0 0 15 0 22 0 830788021 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10556344 CPUtime=0.44 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 385 0 0 0 44 0 0 0 16 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10556344 CPUtime=0.45 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 216 0 0 0 45 0 0 0 15 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10556344 CPUtime=0.42 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 373 0 0 0 42 0 0 0 16 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10556344 CPUtime=0.38 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 534 0 0 0 38 0 0 0 15 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10556344 CPUtime=0.45 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 237 0 0 0 45 0 0 0 16 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10556344 CPUtime=0.53 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 2281 0 0 0 53 0 0 0 15 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10556344 CPUtime=0.46 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 2059 0 0 0 46 0 0 0 15 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10556344 CPUtime=0.47 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 2183 0 0 0 47 0 0 0 16 0 22 0 830788023 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10556344 CPUtime=17.75 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 31628 0 0 0 1772 3 0 0 15 0 22 0 830788024 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 830788024 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830788024 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2034] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2034/stat : 2034 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699498929 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2035] ppid=2018 vsize=10556344 CPUtime=1.98 cores=1,3,5,7
/proc/2020/task/2035/stat : 2035 (java) S 2018 2020 30921 0 -1 4202560 9804 0 0 0 197 1 0 0 15 0 22 0 830788026 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2036] ppid=2018 vsize=10556344 CPUtime=0.94 cores=1,3,5,7
/proc/2020/task/2036/stat : 2036 (java) S 2018 2020 30921 0 -1 4202560 5940 0 0 0 94 0 0 0 15 0 22 0 830788026 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2037] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2037/stat : 2037 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2038] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2038/stat : 2038 (java) S 2018 2020 30921 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830788026 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2041] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2041/stat : 2041 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2113] ppid=2018 vsize=10556344 CPUtime=135.35 cores=1,3,5,7
/proc/2020/task/2113/stat : 2113 (java) R 2018 2020 30921 0 -1 4202560 13 0 0 0 13535 0 0 0 25 0 22 0 830856274 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505905519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2020/tid=2114] ppid=2018 vsize=10556344 CPUtime=135.35 cores=1,3,5,7
/proc/2020/task/2114/stat : 2114 (java) R 2018 2020 30921 0 -1 4202560 1 0 0 0 13535 0 0 0 25 0 22 0 830856274 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505872499 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2020/tid=2115] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2115/stat : 2115 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830856281 10809696256 893447 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1624.7
Current children cumulated vsize (KiB) 10556344
[startup+882.323 s]
/proc/loadavg: 3.91 3.94 3.84 5/618 2287
/proc/meminfo: memFree=18256476/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10556344 CPUtime=1741.79 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 903199 0 1 0 174073 106 0 0 25 0 22 0 830788020 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2639086 894379 2265 9 0 2629820 0
[pid=2020/tid=2021] ppid=2018 vsize=10556344 CPUtime=0.73 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39568 0 1 0 67 6 0 0 15 0 22 0 830788021 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10556344 CPUtime=0.5 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 409 0 0 0 50 0 0 0 15 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10556344 CPUtime=0.53 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 224 0 0 0 53 0 0 0 16 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10556344 CPUtime=0.48 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 381 0 0 0 48 0 0 0 16 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10556344 CPUtime=0.44 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 538 0 0 0 44 0 0 0 15 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10556344 CPUtime=0.48 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 237 0 0 0 48 0 0 0 16 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10556344 CPUtime=0.58 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 2299 0 0 0 58 0 0 0 15 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10556344 CPUtime=0.51 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 2068 0 0 0 51 0 0 0 15 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10556344 CPUtime=0.49 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 2183 0 0 0 49 0 0 0 16 0 22 0 830788023 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10556344 CPUtime=20.17 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 32493 0 0 0 2013 4 0 0 16 0 22 0 830788024 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 830788024 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830788024 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2034] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2034/stat : 2034 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699498929 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2035] ppid=2018 vsize=10556344 CPUtime=1.98 cores=1,3,5,7
/proc/2020/task/2035/stat : 2035 (java) S 2018 2020 30921 0 -1 4202560 9804 0 0 0 197 1 0 0 15 0 22 0 830788026 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2036] ppid=2018 vsize=10556344 CPUtime=0.94 cores=1,3,5,7
/proc/2020/task/2036/stat : 2036 (java) S 2018 2020 30921 0 -1 4202560 5940 0 0 0 94 0 0 0 15 0 22 0 830788026 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2037] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2037/stat : 2037 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2038] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2038/stat : 2038 (java) S 2018 2020 30921 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830788026 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2041] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2041/stat : 2041 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2283] ppid=2018 vsize=10556344 CPUtime=55.83 cores=1,3,5,7
/proc/2020/task/2283/stat : 2283 (java) R 2018 2020 30921 0 -1 4202560 6 0 0 0 5583 0 0 0 23 0 22 0 830870416 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505885664 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2020/tid=2284] ppid=2018 vsize=10556344 CPUtime=55.83 cores=1,3,5,7
/proc/2020/task/2284/stat : 2284 (java) R 2018 2020 30921 0 -1 4202560 1 0 0 0 5583 0 0 0 23 0 22 0 830870416 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505873177 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2020/tid=2285] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2285/stat : 2285 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830870424 10809696256 894379 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1741.79
Current children cumulated vsize (KiB) 10556344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.802 s]
/proc/loadavg: 3.94 3.95 3.84 5/618 2288
/proc/meminfo: memFree=18251620/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=10556344 CPUtime=1800.13 cores=1,3,5,7
/proc/2020/stat : 2020 (java) S 2018 2020 30921 0 -1 4202496 903673 0 1 0 179906 107 0 0 25 0 22 0 830788020 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 2639086 894846 2265 9 0 2629820 0
[pid=2020/tid=2021] ppid=2018 vsize=10556344 CPUtime=0.73 cores=1,3,5,7
/proc/2020/task/2021/stat : 2021 (java) S 2018 2020 30921 0 -1 4202560 39568 0 1 0 67 6 0 0 15 0 22 0 830788021 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2023] ppid=2018 vsize=10556344 CPUtime=0.51 cores=1,3,5,7
/proc/2020/task/2023/stat : 2023 (java) S 2018 2020 30921 0 -1 4202560 409 0 0 0 51 0 0 0 16 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2024] ppid=2018 vsize=10556344 CPUtime=0.53 cores=1,3,5,7
/proc/2020/task/2024/stat : 2024 (java) S 2018 2020 30921 0 -1 4202560 224 0 0 0 53 0 0 0 15 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2025] ppid=2018 vsize=10556344 CPUtime=0.5 cores=1,3,5,7
/proc/2020/task/2025/stat : 2025 (java) S 2018 2020 30921 0 -1 4202560 397 0 0 0 50 0 0 0 16 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2026] ppid=2018 vsize=10556344 CPUtime=0.47 cores=1,3,5,7
/proc/2020/task/2026/stat : 2026 (java) S 2018 2020 30921 0 -1 4202560 541 0 0 0 47 0 0 0 16 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 7 0 0 0
[pid=2020/tid=2027] ppid=2018 vsize=10556344 CPUtime=0.5 cores=1,3,5,7
/proc/2020/task/2027/stat : 2027 (java) S 2018 2020 30921 0 -1 4202560 242 0 0 0 50 0 0 0 15 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2028] ppid=2018 vsize=10556344 CPUtime=0.61 cores=1,3,5,7
/proc/2020/task/2028/stat : 2028 (java) S 2018 2020 30921 0 -1 4202560 2308 0 0 0 61 0 0 0 16 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2029] ppid=2018 vsize=10556344 CPUtime=0.51 cores=1,3,5,7
/proc/2020/task/2029/stat : 2029 (java) S 2018 2020 30921 0 -1 4202560 2068 0 0 0 51 0 0 0 15 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2030] ppid=2018 vsize=10556344 CPUtime=0.53 cores=1,3,5,7
/proc/2020/task/2030/stat : 2030 (java) S 2018 2020 30921 0 -1 4202560 2192 0 0 0 53 0 0 0 16 0 22 0 830788023 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2031] ppid=2018 vsize=10556344 CPUtime=20.88 cores=1,3,5,7
/proc/2020/task/2031/stat : 2031 (java) S 2018 2020 30921 0 -1 4202560 32920 0 0 0 2084 4 0 0 15 0 22 0 830788024 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 0 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2032] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2032/stat : 2032 (java) S 2018 2020 30921 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 830788024 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2033] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2033/stat : 2033 (java) S 2018 2020 30921 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830788024 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2034] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2034/stat : 2034 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699498929 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2035] ppid=2018 vsize=10556344 CPUtime=1.98 cores=1,3,5,7
/proc/2020/task/2035/stat : 2035 (java) S 2018 2020 30921 0 -1 4202560 9804 0 0 0 197 1 0 0 15 0 22 0 830788026 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2036] ppid=2018 vsize=10556344 CPUtime=0.94 cores=1,3,5,7
/proc/2020/task/2036/stat : 2036 (java) S 2018 2020 30921 0 -1 4202560 5940 0 0 0 94 0 0 0 15 0 22 0 830788026 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2037] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2037/stat : 2037 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830788026 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491225 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
[pid=2020/tid=2038] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2038/stat : 2038 (java) S 2018 2020 30921 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830788026 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 1 0 0 0
[pid=2020/tid=2041] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2041/stat : 2041 (java) S 2018 2020 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830788095 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 3 0 0 0
[pid=2020/tid=2283] ppid=2018 vsize=10556344 CPUtime=84.58 cores=1,3,5,7
/proc/2020/task/2283/stat : 2283 (java) R 2018 2020 30921 0 -1 4202560 9 0 0 0 8458 0 0 0 25 0 22 0 830870416 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505852724 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2020/tid=2284] ppid=2018 vsize=10556344 CPUtime=84.58 cores=1,3,5,7
/proc/2020/task/2284/stat : 2284 (java) R 2018 2020 30921 0 -1 4202560 1 0 0 0 8458 0 0 0 25 0 22 0 830870416 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 46912505871912 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2020/tid=2285] ppid=2018 vsize=10556344 CPUtime=0 cores=1,3,5,7
/proc/2020/task/2285/stat : 2285 (java) S 2018 2020 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830870424 10809696256 894846 33554432000 1073741824 1073778376 140735750466000 18446744073709551615 212699491840 0 4 0 16800975 18446604455843571648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10556344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.928 s]
/proc/loadavg: 3.94 3.95 3.84 4/599 2291
/proc/meminfo: memFree=20088448/32951124 swapFree=58940260/67111528
[pid=2020] ppid=2018 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/2020/stat : 2020 (java) Z 2018 2020 30921 0 -1 4203548 903705 0 1 0 179918 115 0 0 17 0 2 0 830788020 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2020/statm: 0 0 0 0 0 0 0
[pid=2020/tid=2290] ppid=2018 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/2020/task/2290/stat : 2290 (java) R 2018 2020 30921 0 -1 4203588 11 0 0 0 0 9 0 0 19 0 2 0 830879203 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.996
CPU time (s): 1800.4
CPU user time (s): 1799.18
CPU system time (s): 1.21881
CPU usage (%): 197.413
Max. virtual memory (cumulated for all children) (KiB): 10571152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.21881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903705
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24584
involuntary context switches= 28897
runsolver used 5.30519 second user time and 12.978 second system time
The end