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-3735386-1338748703/watcher-3735386-1338748703 -o /tmp/evaluation-result-3735386-1338748703/solver-3735386-1338748703 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735386-1338748703.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.88 3.84 3.06 4/197 4219
/proc/meminfo: memFree=27646348/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/4219/stat : 4219 (java) R 4217 4219 3937 0 -1 4202496 1114 0 0 0 0 0 0 0 20 0 1 0 340996273 23793664 842 33554432000 1073741824 1073778376 140734956191952 140734956181016 140013464141200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 5809 858 648 9 0 128 0
[startup+0.0551119 s]
/proc/loadavg: 3.88 3.84 3.06 4/197 4219
/proc/meminfo: memFree=27646348/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 3848 0 1 0 4 0 0 0 20 0 18 0 340996273 2764726272 5567 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 674982 5567 1757 9 0 665676 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.100203 s]
/proc/loadavg: 3.88 3.84 3.06 4/197 4219
/proc/meminfo: memFree=27646348/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 4831 0 1 0 10 1 0 0 20 0 18 0 340996273 2764726272 6506 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 674982 6506 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300169 s]
/proc/loadavg: 3.88 3.84 3.06 4/197 4219
/proc/meminfo: memFree=27646348/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2699928 CPUtime=0.52 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 6166 0 1 0 51 1 0 0 20 0 18 0 340996273 2764726272 10221 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 674982 10221 2221 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928
[startup+0.700244 s]
/proc/loadavg: 3.88 3.84 3.06 4/197 4219
/proc/meminfo: memFree=27646348/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2699928 CPUtime=1.38 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 14097 0 1 0 133 5 0 0 20 0 18 0 340996273 2764726272 51925 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 674982 51925 2233 9 0 665676 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.88 3.84 3.06 4/215 4237
/proc/meminfo: memFree=27286888/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2699928 CPUtime=2.56 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 17568 0 1 0 243 13 0 0 20 0 18 0 340996273 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 674982 110033 2260 9 0 665676 0
[pid=4219/tid=4220] ppid=4217 vsize=2699928 CPUtime=1.42 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) R 4217 4219 3937 0 -1 4202560 2965 0 1 0 135 7 0 0 20 0 18 0 340996274 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013461208488 140013334153183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 340996275 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340996276 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340996276 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340996276 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340996278 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2699928 CPUtime=0.38 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5544 0 0 0 37 1 0 0 20 0 18 0 340996278 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) R 4217 4219 3937 0 -1 4202560 7777 0 0 0 50 0 0 0 20 0 18 0 340996278 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012833137984 140013468196426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340996278 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340996278 2764726272 110033 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 2699928
[startup+3.10071 s]
/proc/loadavg: 3.88 3.84 3.06 7/219 4241
/proc/meminfo: memFree=27220488/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2966184 CPUtime=6.32 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 17707 0 1 0 619 13 0 0 20 0 22 0 340996273 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 741546 108473 2268 9 0 732240 0
[pid=4219/tid=4220] ppid=4217 vsize=2966184 CPUtime=1.56 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) S 4217 4219 3937 0 -1 4202560 2969 0 1 0 149 7 0 0 20 0 22 0 340996274 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013461210264 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2966184 CPUtime=0.69 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5566 0 0 0 68 1 0 0 20 0 22 0 340996278 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) S 4217 4219 3937 0 -1 4202560 7782 0 0 0 91 0 0 0 20 0 22 0 340996278 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012833151160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4238] ppid=4217 vsize=2966184 CPUtime=1.44 cores=1,3,5,7
/proc/4219/task/4238/stat : 4238 (java) R 4217 4219 3937 0 -1 4202560 23 0 0 0 144 0 0 0 20 0 22 0 340996437 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012829991320 140013334146999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4239] ppid=4217 vsize=2966184 CPUtime=1.44 cores=1,3,5,7
/proc/4219/task/4239/stat : 4239 (java) R 4217 4219 3937 0 -1 4202560 69 0 0 0 144 0 0 0 20 0 22 0 340996437 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012828938536 140013334581546 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4240] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4240/stat : 4240 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012827887144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4241] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4241/stat : 4241 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 108473 33554432000 1073741824 1073778376 140734956191952 140012826834600 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 2966184
[startup+6.3007 s]
/proc/loadavg: 3.89 3.84 3.07 5/219 4241
/proc/meminfo: memFree=27221424/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2966184 CPUtime=12.82 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 17727 0 1 0 1269 13 0 0 20 0 22 0 340996273 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 741546 108089 2268 9 0 732240 0
[pid=4219/tid=4220] ppid=4217 vsize=2966184 CPUtime=1.56 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) S 4217 4219 3937 0 -1 4202560 2969 0 1 0 149 7 0 0 20 0 22 0 340996274 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013461210264 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340996275 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2966184 CPUtime=0.73 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5566 0 0 0 72 1 0 0 20 0 22 0 340996278 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) S 4217 4219 3937 0 -1 4202560 7799 0 0 0 99 0 0 0 20 0 22 0 340996278 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012833151160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4238] ppid=4217 vsize=2966184 CPUtime=4.64 cores=1,3,5,7
/proc/4219/task/4238/stat : 4238 (java) R 4217 4219 3937 0 -1 4202560 23 0 0 0 464 0 0 0 20 0 22 0 340996437 3037372416 108089 33554432000 1073741824 1073778376 140734956191952 140012829989912 140013334146981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=4219/tid=4239] ppid=4217 vsize=2966184 CPUtime=809.29 cores=1,3,5,7
/proc/4219/task/4239/stat : 4239 (java) R 4217 4219 3937 0 -1 4202560 627 0 0 0 80914 15 0 0 20 0 22 0 340996437 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012828936912 140013334607556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4240] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4240/stat : 4240 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012827887144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4241] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4241/stat : 4241 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012826834600 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1659.42
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.32 4.04 3.64 3/217 4312
/proc/meminfo: memFree=26611300/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2966184 CPUtime=1781.57 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 22586 0 1 0 177939 218 0 0 20 0 22 0 340996273 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 741546 359575 2279 9 0 732240 0
[pid=4219/tid=4220] ppid=4217 vsize=2966184 CPUtime=1.58 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) S 4217 4219 3937 0 -1 4202560 2976 0 1 0 149 9 0 0 20 0 22 0 340996274 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013461210264 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2966184 CPUtime=5.99 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 477 0 0 0 581 18 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2966184 CPUtime=5.56 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 455 0 0 0 540 16 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2966184 CPUtime=5.75 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 476 0 0 0 559 16 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2966184 CPUtime=5.75 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 454 0 0 0 559 16 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2966184 CPUtime=5.91 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 503 0 0 0 572 19 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2966184 CPUtime=5.87 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 545 0 0 0 565 22 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2966184 CPUtime=5.8 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 440 0 0 0 564 16 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2966184 CPUtime=5.96 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 487 0 0 0 580 16 0 0 20 0 22 0 340996275 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2966184 CPUtime=3.87 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 80 0 0 0 343 44 0 0 20 0 22 0 340996276 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5634 0 0 0 112 1 0 0 20 0 22 0 340996278 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) S 4217 4219 3937 0 -1 4202560 7806 0 0 0 114 0 0 0 20 0 22 0 340996278 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012833151160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 49 0 0 0 10 20 0 0 20 0 22 0 340996278 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4238] ppid=4217 vsize=2966184 CPUtime=863.39 cores=1,3,5,7
/proc/4219/task/4238/stat : 4238 (java) R 4217 4219 3937 0 -1 4202560 334 0 0 0 86324 15 0 0 20 0 22 0 340996437 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012829989728 140013334156036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4239] ppid=4217 vsize=2966184 CPUtime=863.4 cores=1,3,5,7
/proc/4219/task/4239/stat : 4239 (java) R 4217 4219 3937 0 -1 4202560 682 0 0 0 86324 16 0 0 20 0 22 0 340996437 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012828937536 140013334219691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4240] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4240/stat : 4240 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012827887144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4241] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4241/stat : 4241 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359575 33554432000 1073741824 1073778376 140734956191952 140012826834600 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+891.701 s]
/proc/loadavg: 4.35 4.06 3.65 5/219 4322
/proc/meminfo: memFree=26437096/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2966184 CPUtime=1800.16 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 22592 0 1 0 179797 219 0 0 20 0 22 0 340996273 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 741546 359576 2279 9 0 732240 0
[pid=4219/tid=4220] ppid=4217 vsize=2966184 CPUtime=1.58 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) S 4217 4219 3937 0 -1 4202560 2976 0 1 0 149 9 0 0 20 0 22 0 340996274 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013461210264 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2966184 CPUtime=6.01 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 477 0 0 0 583 18 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2966184 CPUtime=5.58 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 455 0 0 0 542 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2966184 CPUtime=5.78 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 476 0 0 0 562 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2966184 CPUtime=5.79 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 454 0 0 0 563 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2966184 CPUtime=5.91 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 504 0 0 0 572 19 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2966184 CPUtime=5.88 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 545 0 0 0 566 22 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2966184 CPUtime=5.84 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 440 0 0 0 568 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2966184 CPUtime=5.98 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 487 0 0 0 582 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2966184 CPUtime=4.17 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 80 0 0 0 373 44 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5634 0 0 0 112 1 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) S 4217 4219 3937 0 -1 4202560 7806 0 0 0 114 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012833151160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 49 0 0 0 10 20 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4238] ppid=4217 vsize=2966184 CPUtime=872.44 cores=1,3,5,7
/proc/4219/task/4238/stat : 4238 (java) R 4217 4219 3937 0 -1 4202560 335 0 0 0 87229 15 0 0 20 0 22 0 340996437 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012829989728 140013334147050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4239] ppid=4217 vsize=2966184 CPUtime=872.45 cores=1,3,5,7
/proc/4219/task/4239/stat : 4239 (java) R 4217 4219 3937 0 -1 4202560 686 0 0 0 87229 16 0 0 20 0 22 0 340996437 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012828937552 140013334367524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4240] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4240/stat : 4240 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012827887144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4241] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4241/stat : 4241 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012826834600 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 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
[startup+891.701 s]
/proc/loadavg: 4.35 4.06 3.65 5/219 4322
/proc/meminfo: memFree=26437096/32873648 swapFree=6864/6864
[pid=4219] ppid=4217 vsize=2966184 CPUtime=1800.16 cores=1,3,5,7
/proc/4219/stat : 4219 (java) S 4217 4219 3937 0 -1 4202496 22592 0 1 0 179797 219 0 0 20 0 22 0 340996273 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140734956183088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4219/statm: 741546 359576 2279 9 0 732240 0
[pid=4219/tid=4220] ppid=4217 vsize=2966184 CPUtime=1.58 cores=1,3,5,7
/proc/4219/task/4220/stat : 4220 (java) S 4217 4219 3937 0 -1 4202560 2976 0 1 0 149 9 0 0 20 0 22 0 340996274 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013461210264 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4222] ppid=4217 vsize=2966184 CPUtime=6.01 cores=1,3,5,7
/proc/4219/task/4222/stat : 4222 (java) S 4217 4219 3937 0 -1 4202560 477 0 0 0 583 18 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013327809192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4223] ppid=4217 vsize=2966184 CPUtime=5.58 cores=1,3,5,7
/proc/4219/task/4223/stat : 4223 (java) S 4217 4219 3937 0 -1 4202560 455 0 0 0 542 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013326756648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4224] ppid=4217 vsize=2966184 CPUtime=5.78 cores=1,3,5,7
/proc/4219/task/4224/stat : 4224 (java) S 4217 4219 3937 0 -1 4202560 476 0 0 0 562 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013325704104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4225] ppid=4217 vsize=2966184 CPUtime=5.79 cores=1,3,5,7
/proc/4219/task/4225/stat : 4225 (java) S 4217 4219 3937 0 -1 4202560 454 0 0 0 563 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013324651560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4226] ppid=4217 vsize=2966184 CPUtime=5.91 cores=1,3,5,7
/proc/4219/task/4226/stat : 4226 (java) S 4217 4219 3937 0 -1 4202560 504 0 0 0 572 19 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013323597992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4227] ppid=4217 vsize=2966184 CPUtime=5.88 cores=1,3,5,7
/proc/4219/task/4227/stat : 4227 (java) S 4217 4219 3937 0 -1 4202560 545 0 0 0 566 22 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013322545448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4228] ppid=4217 vsize=2966184 CPUtime=5.84 cores=1,3,5,7
/proc/4219/task/4228/stat : 4228 (java) S 4217 4219 3937 0 -1 4202560 440 0 0 0 568 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013321492904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4229] ppid=4217 vsize=2966184 CPUtime=5.98 cores=1,3,5,7
/proc/4219/task/4229/stat : 4229 (java) S 4217 4219 3937 0 -1 4202560 487 0 0 0 582 16 0 0 20 0 22 0 340996275 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140013320440360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4230] ppid=4217 vsize=2966184 CPUtime=4.17 cores=1,3,5,7
/proc/4219/task/4230/stat : 4230 (java) S 4217 4219 3937 0 -1 4202560 80 0 0 0 373 44 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012838414952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4231] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4231/stat : 4231 (java) S 4217 4219 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012837361272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4232] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4232/stat : 4232 (java) S 4217 4219 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340996276 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012836308616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4233] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4233/stat : 4233 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012835257360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4234] ppid=4217 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/4219/task/4234/stat : 4234 (java) S 4217 4219 3937 0 -1 4202560 5634 0 0 0 112 1 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012834203704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4235] ppid=4217 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/4219/task/4235/stat : 4235 (java) S 4217 4219 3937 0 -1 4202560 7806 0 0 0 114 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012833151160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4219/tid=4236] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4236/stat : 4236 (java) S 4217 4219 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012832098808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4219/tid=4237] ppid=4217 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/4219/task/4237/stat : 4237 (java) S 4217 4219 3937 0 -1 4202560 49 0 0 0 10 20 0 0 20 0 22 0 340996278 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012831046472 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4238] ppid=4217 vsize=2966184 CPUtime=872.44 cores=1,3,5,7
/proc/4219/task/4238/stat : 4238 (java) R 4217 4219 3937 0 -1 4202560 335 0 0 0 87229 15 0 0 20 0 22 0 340996437 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012829989728 140013334147050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4219/tid=4239] ppid=4217 vsize=2966184 CPUtime=872.45 cores=1,3,5,7
/proc/4219/task/4239/stat : 4239 (java) R 4217 4219 3937 0 -1 4202560 686 0 0 0 87229 16 0 0 20 0 22 0 340996437 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012828937552 140013334367524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4240] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4240/stat : 4240 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012827887144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4219/tid=4241] ppid=4217 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4219/task/4241/stat : 4241 (java) S 4217 4219 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340996442 3037372416 359576 33554432000 1073741824 1073778376 140734956191952 140012826834600 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 891.727
CPU time (s): 1800.31
CPU user time (s): 1797.71
CPU system time (s): 2.6016
CPU usage (%): 201.89
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 2.6016
maximum resident set size= 1438428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22623
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48020
involuntary context switches= 83626
runsolver used 3.33249 second user time and 7.96179 second system time
The end