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-3742015-1338784547/watcher-3742015-1338784547 -o /tmp/evaluation-result-3742015-1338784547/solver-3742015-1338784547 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742015-1338784547.opb
running on 4 cores: 0,2,4,6
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.93 3.75 2.90 6/197 15705
/proc/meminfo: memFree=25379260/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 344581979 95129600 928 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 23225 928 703 9 0 16769 0
[pid=15705/tid=15706] ppid=15703 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) D 15703 15705 15509 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 344581980 95129600 928 33554432000 1073741824 1073778376 140733309701360 140278198431272 213857168679 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0
[startup+0.0919209 s]
/proc/loadavg: 3.93 3.75 2.90 6/197 15705
/proc/meminfo: memFree=25379260/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 4782 0 1 0 8 1 0 0 20 0 18 0 344581979 2764726272 5978 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 674982 5980 2109 9 0 665676 0
[pid=15705/tid=15706] ppid=15703 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) R 15703 15705 15509 0 -1 4202560 2833 0 1 0 7 0 0 0 20 0 18 0 344581980 2764726272 5980 33554432000 1073741824 1073778376 140733309701360 140278198423672 140278196316798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100236 s]
/proc/loadavg: 3.93 3.75 2.90 6/197 15705
/proc/meminfo: memFree=25379260/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 4858 0 1 0 10 1 0 0 20 0 18 0 344581979 2764726272 6042 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 674982 6042 2139 9 0 665676 0
[pid=15705/tid=15706] ppid=15703 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) R 15703 15705 15509 0 -1 4202560 2837 0 1 0 8 0 0 0 20 0 18 0 344581980 2764726272 6042 33554432000 1073741824 1073778376 140733309701360 140278198423672 213869716749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300237 s]
/proc/loadavg: 3.93 3.75 2.90 6/197 15705
/proc/meminfo: memFree=25379260/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2699928 CPUtime=0.59 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 7908 0 1 0 57 2 0 0 20 0 18 0 344581979 2764726272 10252 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 674982 10252 2221 9 0 665676 0
[pid=15705/tid=15706] ppid=15703 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) R 15703 15705 15509 0 -1 4202560 2852 0 1 0 26 1 0 0 20 0 18 0 344581980 2764726272 10252 33554432000 1073741824 1073778376 140733309701360 140278198434632 140278070205090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2699928
[startup+0.700184 s]
/proc/loadavg: 3.93 3.75 2.90 6/197 15705
/proc/meminfo: memFree=25379260/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=2 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 13351 0 1 0 196 4 0 0 20 0 22 0 344581979 3037372416 20466 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 20466 2255 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2875 0 1 0 39 1 0 0 20 0 22 0 344581980 3037372416 20466 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 2966184
[startup+1.50069 s]
/proc/loadavg: 3.93 3.75 2.90 8/219 15727
/proc/meminfo: memFree=25078112/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=4.32 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 22158 0 1 0 421 11 0 0 20 0 22 0 344581979 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 99322 2258 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2875 0 1 0 39 1 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15716] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15716/stat : 15716 (java) S 15703 15705 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277844171624 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15717] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15717/stat : 15717 (java) S 15703 15705 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277843117944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15718] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15718/stat : 15718 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277842064776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15719] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15719/stat : 15719 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277841013520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15720] ppid=15703 vsize=2966184 CPUtime=0.87 cores=0,2,4,6
/proc/15705/task/15720/stat : 15720 (java) S 15703 15705 15509 0 -1 4202560 9360 0 0 0 85 2 0 0 20 0 22 0 344581984 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277839960376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15721] ppid=15703 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/15705/task/15721/stat : 15721 (java) S 15703 15705 15509 0 -1 4202560 8480 0 0 0 86 2 0 0 20 0 22 0 344581984 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277838907832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15722] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15722/stat : 15722 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277837854968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15723] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15723/stat : 15723 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277836802632 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15724] ppid=15703 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/15705/task/15724/stat : 15724 (java) R 15703 15705 15509 0 -1 4202560 26 0 0 0 104 0 0 0 20 0 22 0 344582022 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277835746448 140278070680300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15725] ppid=15703 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/15705/task/15725/stat : 15725 (java) R 15703 15705 15509 0 -1 4202560 213 0 0 0 100 5 0 0 20 0 22 0 344582022 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277834693320 140278071171491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15726] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15726/stat : 15726 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277833643304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15727] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15727/stat : 15727 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 99322 33554432000 1073741824 1073778376 140733309701360 140277832590760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 2966184
[startup+3.10071 s]
/proc/loadavg: 3.93 3.75 2.90 6/219 15727
/proc/meminfo: memFree=24607028/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=8.01 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 25773 0 1 0 788 13 0 0 20 0 22 0 344581979 3037372416 107664 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 107665 2284 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2875 0 1 0 39 1 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15716] ppid=15703 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15705/task/15716/stat : 15716 (java) S 15703 15705 15509 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 344581982 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277844171624 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15717] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15717/stat : 15717 (java) S 15703 15705 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277843117944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15718] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15718/stat : 15718 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277842064776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15719] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15719/stat : 15719 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277841013520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15720] ppid=15703 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/15705/task/15720/stat : 15720 (java) S 15703 15705 15509 0 -1 4202560 9373 0 0 0 94 2 0 0 20 0 22 0 344581984 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277839960376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15721] ppid=15703 vsize=2966184 CPUtime=1.3 cores=0,2,4,6
/proc/15705/task/15721/stat : 15721 (java) S 15703 15705 15509 0 -1 4202560 11994 0 0 0 128 2 0 0 20 0 22 0 344581984 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277838907832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15722] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15722/stat : 15722 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277837854968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15723] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15723/stat : 15723 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277836802632 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15724] ppid=15703 vsize=2966184 CPUtime=2.59 cores=0,2,4,6
/proc/15705/task/15724/stat : 15724 (java) R 15703 15705 15509 0 -1 4202560 27 0 0 0 259 0 0 0 20 0 22 0 344582022 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277835746000 140278070884747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15725] ppid=15703 vsize=2966184 CPUtime=2.6 cores=0,2,4,6
/proc/15705/task/15725/stat : 15725 (java) R 15703 15705 15509 0 -1 4202560 220 0 0 0 255 5 0 0 20 0 22 0 344582022 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277834695832 140278071171687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15726] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15726/stat : 15726 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277833643304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15727] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15727/stat : 15727 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 107665 33554432000 1073741824 1073778376 140733309701360 140277832590760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 2966184
[startup+6.30082 s]
/proc/loadavg: 3.93 3.75 2.91 5/219 15727
/proc/meminfo: memFree=24602272/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=14.64 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 25816 0 1 0 1450 14 0 0 20 0 22 0 344581979 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 108642 2284 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2875 0 1 0 39 1 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344581980 3037372416 108642 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/15705/statm: 741546 235179 2285 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2906 0 1 0 40 3 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=3.57 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 203 0 0 0 351 6 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 210 0 0 0 357 7 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=3.49 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 219 0 0 0 343 6 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=3.88 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 246 0 0 0 381 7 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=3.8 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 229 0 0 0 373 7 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=3.59 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 179 0 0 0 353 6 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=3.61 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 202 0 0 0 354 7 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=3.71 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 225 0 0 0 365 6 0 0 20 0 22 0 344581980 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15716] ppid=15703 vsize=2966184 CPUtime=47.41 cores=0,2,4,6
/proc/15705/task/15716/stat : 15716 (java) S 15703 15705 15509 0 -1 4202560 130 0 0 0 4714 27 0 0 20 0 22 0 344581982 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277844171624 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15717] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15717/stat : 15717 (java) S 15703 15705 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277843117944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15718] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15718/stat : 15718 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277842064776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15719] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15719/stat : 15719 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277841013520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15720] ppid=15703 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/15705/task/15720/stat : 15720 (java) S 15703 15705 15509 0 -1 4202560 9380 0 0 0 112 2 0 0 20 0 22 0 344581984 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277839960376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15721] ppid=15703 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/15705/task/15721/stat : 15721 (java) S 15703 15705 15509 0 -1 4202560 12429 0 0 0 196 2 0 0 20 0 22 0 344581984 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277838907832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15722] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15722/stat : 15722 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277837854968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15723] ppid=15703 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/15705/task/15723/stat : 15723 (java) S 15703 15705 15509 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 344581984 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277836802632 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15724] ppid=15703 vsize=2966184 CPUtime=763.63 cores=0,2,4,6
/proc/15705/task/15724/stat : 15724 (java) R 15703 15705 15509 0 -1 4202560 335 0 0 0 76349 14 0 0 20 0 22 0 344582022 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277835748176 140278070680176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15725] ppid=15703 vsize=2966184 CPUtime=763.83 cores=0,2,4,6
/proc/15705/task/15725/stat : 15725 (java) R 15703 15705 15509 0 -1 4202560 486 0 0 0 76364 19 0 0 20 0 22 0 344582022 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277834693904 140278071149659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15726] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15726/stat : 15726 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277833643304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15727] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15727/stat : 15727 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 235179 33554432000 1073741824 1073778376 140733309701360 140277832590760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1611.7
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.76 3.87 3.47 5/220 15796
/proc/meminfo: memFree=23850916/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=1726.87 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 28713 0 1 0 172573 114 0 0 20 0 22 0 344581979 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 235238 2285 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2909 0 1 0 40 3 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 205 0 0 0 379 7 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 210 0 0 0 387 7 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=3.76 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 234 0 0 0 370 6 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=4.1 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 250 0 0 0 403 7 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=4.12 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 242 0 0 0 405 7 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=3.87 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 191 0 0 0 381 6 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=3.89 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 211 0 0 0 381 8 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=3.98 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 229 0 0 0 392 6 0 0 20 0 22 0 344581980 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15716] ppid=15703 vsize=2966184 CPUtime=53.14 cores=0,2,4,6
/proc/15705/task/15716/stat : 15716 (java) S 15703 15705 15509 0 -1 4202560 134 0 0 0 5285 29 0 0 20 0 22 0 344581982 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277844171624 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15717] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15717/stat : 15717 (java) S 15703 15705 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277843117944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15718] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15718/stat : 15718 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277842064776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15719] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15719/stat : 15719 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277841013520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15720] ppid=15703 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/15705/task/15720/stat : 15720 (java) S 15703 15705 15509 0 -1 4202560 9380 0 0 0 112 2 0 0 20 0 22 0 344581984 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277839960376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15721] ppid=15703 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/15705/task/15721/stat : 15721 (java) S 15703 15705 15509 0 -1 4202560 12429 0 0 0 196 2 0 0 20 0 22 0 344581984 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277838907832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15722] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15722/stat : 15722 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277837854968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15723] ppid=15703 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/15705/task/15723/stat : 15723 (java) S 15703 15705 15509 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 344581984 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277836802632 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15724] ppid=15703 vsize=2966184 CPUtime=817.1 cores=0,2,4,6
/proc/15705/task/15724/stat : 15724 (java) R 15703 15705 15509 0 -1 4202560 351 0 0 0 81695 15 0 0 20 0 22 0 344582022 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277835747352 140278070878768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15725] ppid=15703 vsize=2966184 CPUtime=817.32 cores=0,2,4,6
/proc/15705/task/15725/stat : 15725 (java) R 15703 15705 15509 0 -1 4202560 497 0 0 0 81712 20 0 0 20 0 22 0 344582022 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277834693904 140278071149254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15726] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15726/stat : 15726 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277833643304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15727] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15727/stat : 15727 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 235238 33554432000 1073741824 1073778376 140733309701360 140277832590760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.87
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.607 s]
/proc/loadavg: 3.87 3.88 3.49 5/219 15796
/proc/meminfo: memFree=23811764/32873648 swapFree=6852/6852
[pid=15705] ppid=15703 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/15705/stat : 15705 (java) S 15703 15705 15509 0 -1 4202496 28789 0 1 0 179899 117 0 0 20 0 22 0 344581979 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140733309692496 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15705/statm: 741546 236820 2285 9 0 732240 0
[pid=15705/tid=15706] ppid=15703 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/15705/task/15706/stat : 15706 (java) S 15703 15705 15509 0 -1 4202560 2912 0 1 0 40 3 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140278198437016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15708] ppid=15703 vsize=2966184 CPUtime=4.04 cores=0,2,4,6
/proc/15705/task/15708/stat : 15708 (java) S 15703 15705 15509 0 -1 4202560 218 0 0 0 397 7 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140278065306536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15709] ppid=15703 vsize=2966184 CPUtime=4.12 cores=0,2,4,6
/proc/15705/task/15709/stat : 15709 (java) S 15703 15705 15509 0 -1 4202560 211 0 0 0 405 7 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140278064253992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15710] ppid=15703 vsize=2966184 CPUtime=3.92 cores=0,2,4,6
/proc/15705/task/15710/stat : 15710 (java) S 15703 15705 15509 0 -1 4202560 241 0 0 0 386 6 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140278063200936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15711] ppid=15703 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/15705/task/15711/stat : 15711 (java) S 15703 15705 15509 0 -1 4202560 259 0 0 0 421 7 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140278062148392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15712] ppid=15703 vsize=2966184 CPUtime=4.27 cores=0,2,4,6
/proc/15705/task/15712/stat : 15712 (java) S 15703 15705 15509 0 -1 4202560 244 0 0 0 419 8 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277859740072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15713] ppid=15703 vsize=2966184 CPUtime=4 cores=0,2,4,6
/proc/15705/task/15713/stat : 15713 (java) S 15703 15705 15509 0 -1 4202560 197 0 0 0 394 6 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277858687528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15714] ppid=15703 vsize=2966184 CPUtime=4.05 cores=0,2,4,6
/proc/15705/task/15714/stat : 15714 (java) S 15703 15705 15509 0 -1 4202560 216 0 0 0 397 8 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277857634472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15715] ppid=15703 vsize=2966184 CPUtime=4.14 cores=0,2,4,6
/proc/15705/task/15715/stat : 15715 (java) S 15703 15705 15509 0 -1 4202560 238 0 0 0 408 6 0 0 20 0 22 0 344581980 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277856581928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15716] ppid=15703 vsize=2966184 CPUtime=55.03 cores=0,2,4,6
/proc/15705/task/15716/stat : 15716 (java) S 15703 15705 15509 0 -1 4202560 136 0 0 0 5474 29 0 0 20 0 22 0 344581982 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277844171624 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15717] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15717/stat : 15717 (java) S 15703 15705 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277843117944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15718] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15718/stat : 15718 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344581982 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277842064776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15719] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15719/stat : 15719 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277841013520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15720] ppid=15703 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/15705/task/15720/stat : 15720 (java) S 15703 15705 15509 0 -1 4202560 9380 0 0 0 112 2 0 0 20 0 22 0 344581984 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277839960376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15705/tid=15721] ppid=15703 vsize=2966184 CPUtime=1.98 cores=0,2,4,6
/proc/15705/task/15721/stat : 15721 (java) S 15703 15705 15509 0 -1 4202560 12429 0 0 0 196 2 0 0 20 0 22 0 344581984 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277838907832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15722] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15722/stat : 15722 (java) S 15703 15705 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344581984 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277837854968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15705/tid=15723] ppid=15703 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/15705/task/15723/stat : 15723 (java) S 15703 15705 15509 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 344581984 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277836802632 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15724] ppid=15703 vsize=2966184 CPUtime=852.05 cores=0,2,4,6
/proc/15705/task/15724/stat : 15724 (java) R 15703 15705 15509 0 -1 4202560 357 0 0 0 85190 15 0 0 20 0 22 0 344582022 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277835747216 140278070962183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15705/tid=15725] ppid=15703 vsize=2966184 CPUtime=852.27 cores=0,2,4,6
/proc/15705/task/15725/stat : 15725 (java) R 15703 15705 15509 0 -1 4202560 508 0 0 0 85207 20 0 0 20 0 22 0 344582022 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277834693504 140278071171405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15726] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15726/stat : 15726 (java) S 15703 15705 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277833643304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15705/tid=15727] ppid=15703 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15705/task/15727/stat : 15727 (java) S 15703 15705 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344582023 3037372416 236820 33554432000 1073741824 1073778376 140733309701360 140277832590760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184
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 15705 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=798149
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=602756
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 919.662
CPU time (s): 1800.16
CPU user time (s): 1798.99
CPU system time (s): 1.17
CPU usage (%): 195.742
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.60276
maximum resident set size= 947400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39251
involuntary context switches= 67691
runsolver used 3.2915 second user time and 8.20475 second system time
The end