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-3741034-1338750637/watcher-3741034-1338750637 -o /tmp/evaluation-result-3741034-1338750637/solver-3741034-1338750637 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741034-1338750637.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.75 3.83 3.19 3/174 13278
/proc/meminfo: memFree=31113440/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13278/stat : 13278 (java) D 13276 13278 13088 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341188738 9515008 182 33554432000 1073741824 1073778376 140737188102048 140737188093080 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13278/statm: 2323 182 140 9 0 71 0
[startup+0.0847149 s]
/proc/loadavg: 3.75 3.83 3.19 3/174 13278
/proc/meminfo: memFree=31113440/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586364 CPUtime=0.05 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 3889 0 1 0 4 1 0 0 20 0 18 0 341188738 11864436736 12762 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896591 12762 1754 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586364
[startup+0.100287 s]
/proc/loadavg: 3.75 3.83 3.19 3/174 13278
/proc/meminfo: memFree=31113440/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 3962 0 1 0 6 1 0 0 20 0 18 0 341188738 11864465408 12835 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.30017 s]
/proc/loadavg: 3.75 3.83 3.19 3/174 13278
/proc/meminfo: memFree=31113440/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 5744 0 1 0 43 2 0 0 20 0 18 0 341188738 11864465408 17382 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 17383 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.700282 s]
/proc/loadavg: 3.75 3.83 3.19 3/174 13278
/proc/meminfo: memFree=31113440/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=1.24 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 9282 0 1 0 118 6 0 0 20 0 18 0 341188738 11864465408 61693 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 61693 2238 9 0 2887285 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 11586392
[startup+1.50738 s]
/proc/loadavg: 3.75 3.83 3.19 3/212 13323
/proc/meminfo: memFree=29810232/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=2.15 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 9541 0 1 0 198 17 0 0 20 0 18 0 341188738 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 194301 2238 9 0 2887285 0
[pid=13278/tid=13280] ppid=13276 vsize=11586392 CPUtime=1.46 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) R 13276 13278 13088 0 -1 4202560 3203 0 1 0 131 15 0 0 20 0 18 0 341188739 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722488365024 140722339030514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341188743 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11586392 CPUtime=0.34 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 2198 0 0 0 34 0 0 0 20 0 18 0 341188746 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11586392 CPUtime=0.3 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 2955 0 0 0 30 0 0 0 20 0 18 0 341188746 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 194301 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 11586392
[startup+3.10072 s]
/proc/loadavg: 3.75 3.83 3.19 3/212 13323
/proc/meminfo: memFree=28178972/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=3.8 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 10060 0 1 0 345 35 0 0 20 0 18 0 341188738 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 460029 2238 9 0 2887285 0
[pid=13278/tid=13280] ppid=13276 vsize=11586392 CPUtime=3.05 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) R 13276 13278 13088 0 -1 4202560 3722 0 1 0 272 33 0 0 20 0 18 0 341188739 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722488365024 240568558861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341188742 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341188743 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11586392 CPUtime=0.37 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 2198 0 0 0 37 0 0 0 20 0 18 0 341188746 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11586392 CPUtime=0.32 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 2955 0 0 0 32 0 0 0 20 0 18 0 341188746 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 460029 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 11586392
[startup+6.30072 s]
/proc/loadavg: 3.61 3.80 3.19 3/212 13323
/proc/meminfo: memFree=25660752/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11586392 CPUtime=7.56 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 10715 0 1 0 692 64 0 0 20 0 18 0 341188738 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2896598 688247 2254 9 0 2887285 0
[pid=13278/tid=13280] ppid=13276 vsize=11586392 CPUtime=6.06 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) R 13276 13278 13088 0 -1 4202560 4109 0 1 0 559 47 0 0 20 0 18 0 341188739 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722488365024 240568558861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 32 0 0 0 6 1 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 18 0 341188742 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341188743 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341188744 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11586392 CPUtime=0.39 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 2198 0 0 0 39 0 0 0 20 0 18 0 341188746 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11586392 CPUtime=0.32 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 2955 0 0 0 32 0 0 0 20 0 18 0 341188746 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341188746 11864465408 688247 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 11586392
[startup+12.7009 s]
/proc/loadavg: 3.56 3.78 3.19 10/216 13327
/proc/meminfo: memFree=24724468/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11852648 CPUtime=21.85 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 21409 0 1 0 2072 113 0 0 20 0 22 0 341188738 12137111552 796503 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2963162 796503 2284 9 0 2953849 0
[pid=13278/tid=13280] ppid=13276 vsize=11852648 CPUtime=7.12 cores=1,3,5,7
################
# More data... #
################
/proc/13278/statm: 2963162 1007998 2290 9 0 2953849 0
[pid=13278/tid=13280] ppid=13276 vsize=11852648 CPUtime=7.16 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) S 13276 13278 13088 0 -1 4202560 4167 0 1 0 667 49 0 0 20 0 22 0 341188739 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722488374424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 202 0 0 0 87 11 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 214 0 0 0 100 12 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 208 0 0 0 97 11 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 196 0 0 0 89 10 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 209 0 0 0 104 11 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 200 0 0 0 85 11 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 201 0 0 0 91 11 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 193 0 0 0 97 10 0 0 20 0 22 0 341188742 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11852648 CPUtime=41.08 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 362 0 0 0 4094 14 0 0 20 0 22 0 341188743 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 9093 0 0 0 133 2 0 0 20 0 22 0 341188746 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 9834 0 0 0 134 2 0 0 20 0 22 0 341188746 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 52 0 0 0 22 23 0 0 20 0 22 0 341188746 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 1 0 0
[pid=13278/tid=13324] ppid=13276 vsize=11852648 CPUtime=829.35 cores=1,3,5,7
/proc/13278/task/13324/stat : 13324 (java) R 13276 13278 13088 0 -1 4202560 56 0 0 0 82922 13 0 0 20 0 22 0 341189508 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722228750736 140722339406241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13325] ppid=13276 vsize=11852648 CPUtime=829.26 cores=1,3,5,7
/proc/13278/task/13325/stat : 13325 (java) R 13276 13278 13088 0 -1 4202560 126 0 0 0 82912 14 0 0 20 0 22 0 341189508 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722227699792 140722339442647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13326] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13326/stat : 13326 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722226648232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13327] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13327/stat : 13327 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1007998 33554432000 1073741824 1073778376 140733792484320 140722225595432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1722.67
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.301 s]
/proc/loadavg: 3.99 3.95 3.65 5/219 13337
/proc/meminfo: memFree=22984000/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 26527 0 1 0 179822 182 0 0 20 0 22 0 341188738 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2963162 1010057 2290 9 0 2953849 0
[pid=13278/tid=13280] ppid=13276 vsize=11852648 CPUtime=7.17 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) S 13276 13278 13088 0 -1 4202560 4168 0 1 0 668 49 0 0 20 0 22 0 341188739 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722488374424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 202 0 0 0 89 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 215 0 0 0 105 12 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 220 0 0 0 100 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 196 0 0 0 92 10 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 209 0 0 0 106 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 200 0 0 0 87 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 202 0 0 0 92 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 194 0 0 0 99 10 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11852648 CPUtime=41.79 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 369 0 0 0 4164 15 0 0 20 0 22 0 341188743 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 9093 0 0 0 133 2 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 9834 0 0 0 134 2 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 54 0 0 0 22 24 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=13278/tid=13324] ppid=13276 vsize=11852648 CPUtime=867.48 cores=1,3,5,7
/proc/13278/task/13324/stat : 13324 (java) R 13276 13278 13088 0 -1 4202560 57 0 0 0 86734 14 0 0 20 0 22 0 341189508 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722228752592 140722339328380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13325] ppid=13276 vsize=11852648 CPUtime=867.38 cores=1,3,5,7
/proc/13278/task/13325/stat : 13325 (java) R 13276 13278 13088 0 -1 4202560 126 0 0 0 86723 15 0 0 20 0 22 0 341189508 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722227698032 140722339442196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13326] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13326/stat : 13326 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722226648232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13327] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13327/stat : 13327 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722225595432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+921.301 s]
/proc/loadavg: 3.99 3.95 3.65 5/219 13337
/proc/meminfo: memFree=22984000/32873844 swapFree=7116/7116
[pid=13278] ppid=13276 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/13278/stat : 13278 (java) S 13276 13278 13088 0 -1 4202496 26527 0 1 0 179822 182 0 0 20 0 22 0 341188738 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140733792475456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13278/statm: 2963162 1010057 2290 9 0 2953849 0
[pid=13278/tid=13280] ppid=13276 vsize=11852648 CPUtime=7.17 cores=1,3,5,7
/proc/13278/task/13280/stat : 13280 (java) S 13276 13278 13088 0 -1 4202560 4168 0 1 0 668 49 0 0 20 0 22 0 341188739 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722488374424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13281] ppid=13276 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/13278/task/13281/stat : 13281 (java) S 13276 13278 13088 0 -1 4202560 202 0 0 0 89 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722324867368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13282] ppid=13276 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/13278/task/13282/stat : 13282 (java) S 13276 13278 13088 0 -1 4202560 215 0 0 0 105 12 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722323814568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13283] ppid=13276 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/13278/task/13283/stat : 13283 (java) S 13276 13278 13088 0 -1 4202560 220 0 0 0 100 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722254637608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13284] ppid=13276 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/13278/task/13284/stat : 13284 (java) S 13276 13278 13088 0 -1 4202560 196 0 0 0 92 10 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722253584808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13285] ppid=13276 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/13278/task/13285/stat : 13285 (java) S 13276 13278 13088 0 -1 4202560 209 0 0 0 106 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722252532520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13286] ppid=13276 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/13278/task/13286/stat : 13286 (java) S 13276 13278 13088 0 -1 4202560 200 0 0 0 87 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722251479720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13287] ppid=13276 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/13278/task/13287/stat : 13287 (java) S 13276 13278 13088 0 -1 4202560 202 0 0 0 92 11 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722250427432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13288] ppid=13276 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/13278/task/13288/stat : 13288 (java) S 13276 13278 13088 0 -1 4202560 194 0 0 0 99 10 0 0 20 0 22 0 341188742 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722249374632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13289] ppid=13276 vsize=11852648 CPUtime=41.79 cores=1,3,5,7
/proc/13278/task/13289/stat : 13289 (java) S 13276 13278 13088 0 -1 4202560 369 0 0 0 4164 15 0 0 20 0 22 0 341188743 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722237176040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13290] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13290/stat : 13290 (java) S 13276 13278 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722236122104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13291] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13291/stat : 13291 (java) S 13276 13278 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341188744 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722235069704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13292] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13292/stat : 13292 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722234018192 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13293] ppid=13276 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/13278/task/13293/stat : 13293 (java) S 13276 13278 13088 0 -1 4202560 9093 0 0 0 133 2 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722232965816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13294] ppid=13276 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/13278/task/13294/stat : 13294 (java) S 13276 13278 13088 0 -1 4202560 9834 0 0 0 134 2 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722231913016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13278/tid=13295] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13295/stat : 13295 (java) S 13276 13278 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722230860920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13278/tid=13296] ppid=13276 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/13278/task/13296/stat : 13296 (java) S 13276 13278 13088 0 -1 4202560 54 0 0 0 22 24 0 0 20 0 22 0 341188746 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722229808328 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=13278/tid=13324] ppid=13276 vsize=11852648 CPUtime=867.48 cores=1,3,5,7
/proc/13278/task/13324/stat : 13324 (java) R 13276 13278 13088 0 -1 4202560 57 0 0 0 86734 14 0 0 20 0 22 0 341189508 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722228752592 140722339328380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13325] ppid=13276 vsize=11852648 CPUtime=867.38 cores=1,3,5,7
/proc/13278/task/13325/stat : 13325 (java) R 13276 13278 13088 0 -1 4202560 126 0 0 0 86723 15 0 0 20 0 22 0 341189508 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722227698032 140722339442196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13278/tid=13326] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13326/stat : 13326 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722226648232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13278/tid=13327] ppid=13276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13278/task/13327/stat : 13327 (java) S 13276 13278 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341189511 12137111552 1010057 33554432000 1073741824 1073778376 140733792484320 140722225595432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13278 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=748308
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=251657
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 921.359
CPU time (s): 1800.04
CPU user time (s): 1798.22
CPU system time (s): 1.82
CPU usage (%): 195.368
Max. virtual memory (cumulated for all children) (KiB): 11854556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.75
system time used= 2.25166
maximum resident set size= 4040348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26559
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= 24113
involuntary context switches= 22106
runsolver used 3.45247 second user time and 8.99263 second system time
The end