runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688886-1337880273/watcher-3688886-1337880273 -o /tmp/evaluation-result-3688886-1337880273/solver-3688886-1337880273 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688886-1337880273.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.82 3.94 3.90 4/197 25649
/proc/meminfo: memFree=25591140/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 1159 0 0 0 0 0 0 0 20 0 2 0 254155832 91889664 879 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 22434 882 668 9 0 16769 0
[pid=25649/tid=25650] ppid=25647 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) R 25647 25649 23457 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 2 0 254155833 91889664 892 33554432000 1073741824 1073778376 140735792418272 140735792407336 139996422794336 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.090841 s]
/proc/loadavg: 3.82 3.94 3.90 4/197 25649
/proc/meminfo: memFree=25591140/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 4260 0 1 0 9 0 0 0 20 0 18 0 254155832 9787813888 5456 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2389603 5456 2109 9 0 2380296 0
[pid=25649/tid=25650] ppid=25647 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) R 25647 25649 23457 0 -1 4202560 2315 0 1 0 6 0 0 0 20 0 18 0 254155833 9787813888 5456 33554432000 1073741824 1073778376 140735792418272 139996416241896 139996419066579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100304 s]
/proc/loadavg: 3.82 3.94 3.90 4/197 25649
/proc/meminfo: memFree=25591140/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 4323 0 1 0 9 0 0 0 20 0 18 0 254155832 9787813888 6030 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2389603 6031 2109 9 0 2380296 0
[pid=25649/tid=25650] ppid=25647 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) R 25647 25649 23457 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 254155833 9787813888 6033 33554432000 1073741824 1073778376 140735792418272 139996416241896 245293879115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300223 s]
/proc/loadavg: 3.82 3.94 3.90 4/197 25649
/proc/meminfo: memFree=25591140/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 5447 0 1 0 50 1 0 0 20 0 18 0 254155832 9787813888 8830 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2389603 8830 2225 9 0 2380296 0
[pid=25649/tid=25650] ppid=25647 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) R 25647 25649 23457 0 -1 4202560 2455 0 1 0 27 0 0 0 20 0 18 0 254155833 9787813888 8831 33554432000 1073741824 1073778376 140735792418272 139996416239960 139996288138428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412
[startup+0.700255 s]
/proc/loadavg: 3.82 3.94 3.90 4/197 25649
/proc/meminfo: memFree=25591140/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 19546 0 1 0 203 5 0 0 20 0 22 0 254155832 10060460032 17029 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 17029 2234 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2477 0 1 0 28 0 0 0 20 0 22 0 254155833 10060460032 17029 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9824668
[startup+1.50086 s]
/proc/loadavg: 3.82 3.94 3.90 7/219 25671
/proc/meminfo: memFree=25494216/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=4.76 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 25681 0 1 0 468 8 0 0 20 0 22 0 254155832 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 43721 2277 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2477 0 1 0 28 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25660] ppid=25647 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25649/task/25660/stat : 25660 (java) S 25647 25649 23457 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 254155835 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996240374632 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25661] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25661/stat : 25661 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996239320952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25662] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25662/stat : 25662 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996238267784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25663] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25663/stat : 25663 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996237216528 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25664] ppid=25647 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/25649/task/25664/stat : 25664 (java) S 25647 25649 23457 0 -1 4202560 6837 0 0 0 101 2 0 0 20 0 22 0 254155838 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996236163384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25665] ppid=25647 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/25649/task/25665/stat : 25665 (java) S 25647 25649 23457 0 -1 4202560 14899 0 0 0 101 3 0 0 20 0 22 0 254155838 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996235110840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25666] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25666/stat : 25666 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996234057976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25667] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25667/stat : 25667 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996233005640 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25668] ppid=25647 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/25649/task/25668/stat : 25668 (java) R 25647 25649 23457 0 -1 4202560 51 0 0 0 113 0 0 0 20 0 22 0 254155863 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996231951288 139996288434733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25669] ppid=25647 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/25649/task/25669/stat : 25669 (java) R 25647 25649 23457 0 -1 4202560 161 0 0 0 111 2 0 0 20 0 22 0 254155863 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996230112008 139996288606817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25670] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25670/stat : 25670 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996228244776 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25671] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25671/stat : 25671 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 43721 33554432000 1073741824 1073778376 140735792418272 139996227192232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9824668
[startup+3.10088 s]
/proc/loadavg: 3.82 3.94 3.90 5/219 25671
/proc/meminfo: memFree=25387472/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=7.99 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 25867 0 1 0 785 14 0 0 20 0 22 0 254155832 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 83737 2277 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2477 0 1 0 28 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155833 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25660] ppid=25647 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/25649/task/25660/stat : 25660 (java) S 25647 25649 23457 0 -1 4202560 102 0 0 0 10 0 0 0 20 0 22 0 254155835 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996240374632 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25661] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25661/stat : 25661 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996239320952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25662] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25662/stat : 25662 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996238267784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25663] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25663/stat : 25663 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996237216528 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25664] ppid=25647 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25649/task/25664/stat : 25664 (java) S 25647 25649 23457 0 -1 4202560 6838 0 0 0 105 2 0 0 20 0 22 0 254155838 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996236163384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25665] ppid=25647 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25649/task/25665/stat : 25665 (java) S 25647 25649 23457 0 -1 4202560 14899 0 0 0 105 3 0 0 20 0 22 0 254155838 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996235110840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25666] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25666/stat : 25666 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996234057976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25667] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25667/stat : 25667 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996233005640 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25668] ppid=25647 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/25649/task/25668/stat : 25668 (java) R 25647 25649 23457 0 -1 4202560 55 0 0 0 259 0 0 0 20 0 22 0 254155863 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996231951200 139996288502134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25669] ppid=25647 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/25649/task/25669/stat : 25669 (java) R 25647 25649 23457 0 -1 4202560 220 0 0 0 255 4 0 0 20 0 22 0 254155863 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996230110368 139996288752853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25670] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25670/stat : 25670 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996228244776 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25671] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25671/stat : 25671 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 83737 33554432000 1073741824 1073778376 140735792418272 139996227192232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 9824668
[startup+6.30088 s]
/proc/loadavg: 3.83 3.94 3.90 4/219 25671
/proc/meminfo: memFree=25167592/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=14.35 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 26252 0 1 0 1418 17 0 0 20 0 22 0 254155832 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 108790 2278 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2477 0 1 0 28 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 3 0 0 0 20 0 22 0 254155833 10060460032 108790 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/25649/statm: 2456167 291814 2279 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2523 0 1 0 30 3 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996416242392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=2.36 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 333 0 0 0 230 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=2.55 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 582 0 0 0 249 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 699 0 0 0 218 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 683 0 0 0 239 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 916 0 0 0 240 8 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=2.33 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 650 0 0 0 227 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=2.31 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 432 0 0 0 225 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 488 0 0 0 226 6 0 0 20 0 22 0 254155833 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25660] ppid=25647 vsize=9824668 CPUtime=32.44 cores=1,3,5,7
/proc/25649/task/25660/stat : 25660 (java) R 25647 25649 23457 0 -1 4202560 1377 0 0 0 3227 17 0 0 20 0 22 0 254155835 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996240373480 139996423096543 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25661] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25661/stat : 25661 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996239320952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25662] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25662/stat : 25662 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996238267784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25663] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25663/stat : 25663 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996237216528 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25664] ppid=25647 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/25649/task/25664/stat : 25664 (java) S 25647 25649 23457 0 -1 4202560 18929 0 0 0 234 4 0 0 20 0 22 0 254155838 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996236163384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25665] ppid=25647 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25649/task/25665/stat : 25665 (java) S 25647 25649 23457 0 -1 4202560 14909 0 0 0 115 3 0 0 20 0 22 0 254155838 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996235110840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25666] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25666/stat : 25666 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996234057976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25667] ppid=25647 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25649/task/25667/stat : 25667 (java) S 25647 25649 23457 0 -1 4202560 49 0 0 0 21 19 0 0 20 0 22 0 254155838 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996233005640 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25668] ppid=25647 vsize=9824668 CPUtime=781.97 cores=1,3,5,7
/proc/25649/task/25668/stat : 25668 (java) S 25647 25649 23457 0 -1 4202560 264 0 0 0 78183 14 0 0 20 0 22 0 254155863 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996231951320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25669] ppid=25647 vsize=9824668 CPUtime=781.97 cores=1,3,5,7
/proc/25649/task/25669/stat : 25669 (java) S 25647 25649 23457 0 -1 4202560 1899 0 0 0 78147 50 0 0 20 0 22 0 254155863 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996230110456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25670] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25670/stat : 25670 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996228244776 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25671] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25671/stat : 25671 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 291814 33554432000 1073741824 1073778376 140735792418272 139996227192232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1623.78
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.88 3.93 3.90 5/219 25800
/proc/meminfo: memFree=24600488/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=1742.75 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 48037 0 1 0 174121 154 0 0 20 0 22 0 254155832 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 328189 2279 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2524 0 1 0 30 4 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 581 0 0 0 251 8 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=2.78 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 761 0 0 0 270 8 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 790 0 0 0 237 7 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=2.77 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 901 0 0 0 268 9 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=2.69 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 1137 0 0 0 260 9 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=2.54 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 1098 0 0 0 247 7 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=2.53 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 793 0 0 0 246 7 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=2.63 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 731 0 0 0 255 8 0 0 20 0 22 0 254155833 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25660] ppid=25647 vsize=9824668 CPUtime=34.34 cores=1,3,5,7
/proc/25649/task/25660/stat : 25660 (java) S 25647 25649 23457 0 -1 4202560 1470 0 0 0 3416 18 0 0 20 0 22 0 254155835 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996240374632 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25661] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25661/stat : 25661 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996239320952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25662] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25662/stat : 25662 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996238267784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25663] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25663/stat : 25663 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996237216528 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25664] ppid=25647 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/25649/task/25664/stat : 25664 (java) S 25647 25649 23457 0 -1 4202560 18929 0 0 0 234 4 0 0 20 0 22 0 254155838 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996236163384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25665] ppid=25647 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25649/task/25665/stat : 25665 (java) S 25647 25649 23457 0 -1 4202560 14909 0 0 0 115 3 0 0 20 0 22 0 254155838 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996235110840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25666] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25666/stat : 25666 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996234057976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25667] ppid=25647 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/25649/task/25667/stat : 25667 (java) S 25647 25649 23457 0 -1 4202560 51 0 0 0 23 20 0 0 20 0 22 0 254155838 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996233005640 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25668] ppid=25647 vsize=9824668 CPUtime=839.38 cores=1,3,5,7
/proc/25649/task/25668/stat : 25668 (java) R 25647 25649 23457 0 -1 4202560 267 0 0 0 83923 15 0 0 20 0 22 0 254155863 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996231949424 139996288482113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25669] ppid=25647 vsize=9824668 CPUtime=839.38 cores=1,3,5,7
/proc/25649/task/25669/stat : 25669 (java) R 25647 25649 23457 0 -1 4202560 1908 0 0 0 83887 51 0 0 20 0 22 0 254155863 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996230111152 139996288336343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25670] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25670/stat : 25670 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996228244776 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25671] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25671/stat : 25671 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 328189 33554432000 1073741824 1073778376 140735792418272 139996227192232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1742.75
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.401 s]
/proc/loadavg: 3.77 3.90 3.90 5/219 25800
/proc/meminfo: memFree=24425852/32873844 swapFree=7356/7356
[pid=25649] ppid=25647 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/25649/stat : 25649 (java) S 25647 25649 23457 0 -1 4202496 48203 0 1 0 179848 160 0 0 20 0 22 0 254155832 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 140735792409408 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25649/statm: 2456167 341558 2279 9 0 2446860 0
[pid=25649/tid=25650] ppid=25647 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/25649/task/25650/stat : 25650 (java) S 25647 25649 23457 0 -1 4202560 2526 0 1 0 30 4 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996416242680 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25652] ppid=25647 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/25649/task/25652/stat : 25652 (java) S 25647 25649 23457 0 -1 4202560 585 0 0 0 258 8 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996260154280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25653] ppid=25647 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/25649/task/25653/stat : 25653 (java) S 25647 25649 23457 0 -1 4202560 769 0 0 0 279 9 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996259101736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25654] ppid=25647 vsize=9824668 CPUtime=2.58 cores=1,3,5,7
/proc/25649/task/25654/stat : 25654 (java) S 25647 25649 23457 0 -1 4202560 812 0 0 0 250 8 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996258048680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25655] ppid=25647 vsize=9824668 CPUtime=2.86 cores=1,3,5,7
/proc/25649/task/25655/stat : 25655 (java) S 25647 25649 23457 0 -1 4202560 916 0 0 0 277 9 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996256996136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25656] ppid=25647 vsize=9824668 CPUtime=2.82 cores=1,3,5,7
/proc/25649/task/25656/stat : 25656 (java) S 25647 25649 23457 0 -1 4202560 1164 0 0 0 272 10 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996255943080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25657] ppid=25647 vsize=9824668 CPUtime=2.69 cores=1,3,5,7
/proc/25649/task/25657/stat : 25657 (java) S 25647 25649 23457 0 -1 4202560 1112 0 0 0 261 8 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996254890536 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25658] ppid=25647 vsize=9824668 CPUtime=2.67 cores=1,3,5,7
/proc/25649/task/25658/stat : 25658 (java) S 25647 25649 23457 0 -1 4202560 810 0 0 0 259 8 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996253837480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25659] ppid=25647 vsize=9824668 CPUtime=2.79 cores=1,3,5,7
/proc/25649/task/25659/stat : 25659 (java) S 25647 25649 23457 0 -1 4202560 752 0 0 0 270 9 0 0 20 0 22 0 254155833 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996252784936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25660] ppid=25647 vsize=9824668 CPUtime=35.65 cores=1,3,5,7
/proc/25649/task/25660/stat : 25660 (java) S 25647 25649 23457 0 -1 4202560 1499 0 0 0 3547 18 0 0 20 0 22 0 254155835 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996240374632 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25661] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25661/stat : 25661 (java) S 25647 25649 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996239320952 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25662] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25662/stat : 25662 (java) S 25647 25649 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254155835 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996238267784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25663] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25663/stat : 25663 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996237216528 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25649/tid=25664] ppid=25647 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/25649/task/25664/stat : 25664 (java) S 25647 25649 23457 0 -1 4202560 18929 0 0 0 234 4 0 0 20 0 22 0 254155838 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996236163384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25665] ppid=25647 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25649/task/25665/stat : 25665 (java) S 25647 25649 23457 0 -1 4202560 14909 0 0 0 115 3 0 0 20 0 22 0 254155838 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996235110840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25666] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25666/stat : 25666 (java) S 25647 25649 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254155838 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996234057976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25649/tid=25667] ppid=25647 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/25649/task/25667/stat : 25667 (java) S 25647 25649 23457 0 -1 4202560 53 0 0 0 24 20 0 0 20 0 22 0 254155838 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996233005640 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25668] ppid=25647 vsize=9824668 CPUtime=866.84 cores=1,3,5,7
/proc/25649/task/25668/stat : 25668 (java) R 25647 25649 23457 0 -1 4202560 270 0 0 0 86668 16 0 0 20 0 22 0 254155863 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996231951200 139996288482113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25669] ppid=25647 vsize=9824668 CPUtime=866.84 cores=1,3,5,7
/proc/25649/task/25669/stat : 25669 (java) R 25647 25649 23457 0 -1 4202560 1910 0 0 0 86632 52 0 0 20 0 22 0 254155863 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996230110336 139996288650961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25649/tid=25670] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25670/stat : 25670 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996228244776 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25649/tid=25671] ppid=25647 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25649/task/25671/stat : 25671 (java) S 25647 25649 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254155864 10060460032 341558 33554432000 1073741824 1073778376 140735792418272 139996227192232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25649 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=30265
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=19692
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 911.454
CPU time (s): 1800.08
CPU user time (s): 1798.48
CPU system time (s): 1.6
CPU usage (%): 197.495
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 2.01969
maximum resident set size= 2341996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28264
involuntary context switches= 50220
runsolver used 3.50147 second user time and 9.09362 second system time
The end