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-3730317-1338680434/watcher-3730317-1338680434 -o /tmp/evaluation-result-3730317-1338680434/solver-3730317-1338680434 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730317-1338680434.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.99 1.71 2/195 29214
/proc/meminfo: memFree=30400360/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29214/stat : 29214 (java) D 29212 29214 28219 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334168341 9515008 183 33554432000 1073741824 1073778376 140734754546832 140734754537864 240565173941 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 2323 183 140 9 0 71 0
[startup+0.00982493 s]
/proc/loadavg: 1.99 1.99 1.71 2/195 29214
/proc/meminfo: memFree=30400360/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/29214/stat : 29214 (java) R 29212 29214 28219 0 -1 4202496 930 0 0 0 0 0 0 0 20 0 1 0 334168341 23793664 656 33554432000 1073741824 1073778376 140734190184848 140734190173912 240555964993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 5809 679 500 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100201 s]
/proc/loadavg: 1.99 1.99 1.71 2/195 29214
/proc/meminfo: memFree=30400360/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 4195 0 1 0 6 1 0 0 20 0 18 0 334168341 3028844544 5401 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300201 s]
/proc/loadavg: 1.99 1.99 1.71 2/195 29214
/proc/meminfo: memFree=30400360/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 7716 0 1 0 47 2 0 0 20 0 19 0 334168341 3097006080 8344 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 8344 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 3024420
[startup+0.700219 s]
/proc/loadavg: 1.99 1.99 1.71 2/195 29214
/proc/meminfo: memFree=30400360/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=0.94 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 7809 0 1 0 92 2 0 0 20 0 19 0 334168341 3097006080 9385 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 9385 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 3024420
[startup+1.50066 s]
/proc/loadavg: 1.99 1.99 1.71 3/214 29233
/proc/meminfo: memFree=30369448/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=1.78 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 7828 0 1 0 176 2 0 0 20 0 19 0 334168341 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 10936 2259 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3098 0 1 0 144 2 0 0 20 0 19 0 334168342 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777358619160 139777298811907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334168344 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1453 0 0 0 11 0 0 0 20 0 19 0 334168348 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 10936 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 3024420
[startup+3.10062 s]
/proc/loadavg: 1.99 1.99 1.71 3/214 29233
/proc/meminfo: memFree=30362932/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=3.39 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 7832 0 1 0 336 3 0 0 20 0 19 0 334168341 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 12472 2259 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3102 0 1 0 304 2 0 0 20 0 19 0 334168342 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777358616992 139777298741791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334168344 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1453 0 0 0 11 0 0 0 20 0 19 0 334168348 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 12472 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 3024420
[startup+6.30067 s]
/proc/loadavg: 1.99 1.99 1.71 3/214 29233
/proc/meminfo: memFree=30350148/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=6.59 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 7839 0 1 0 656 3 0 0 20 0 19 0 334168341 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 14908 2260 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3108 0 1 0 623 2 0 0 20 0 19 0 334168342 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777358619136 139777298771844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334168343 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334168344 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1453 0 0 0 11 0 0 0 20 0 19 0 334168348 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 14908 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1455 0 0 0 12 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 100 0 0 0 44 33 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.75
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 29330
/proc/meminfo: memFree=30793472/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=1783.79 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 8842 0 1 0 178290 89 0 0 20 0 19 0 334168341 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 199232 2273 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=1777.29 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3297 0 1 0 177693 36 0 0 20 0 19 0 334168342 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777358617976 139777298811365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 75 0 0 0 3 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 65 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 62 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 181 0 0 0 12 10 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 72 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 119 0 0 0 6 8 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 58 0 0 0 3 3 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 80 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 334168344 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1455 0 0 0 12 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 104 0 0 0 46 34 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.79
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 29330
/proc/meminfo: memFree=30789376/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 8842 0 1 0 179912 90 0 0 20 0 19 0 334168341 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 199232 2273 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=1793.46 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3297 0 1 0 179310 36 0 0 20 0 19 0 334168342 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777358617976 139777298811365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 75 0 0 0 3 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 65 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 62 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 181 0 0 0 12 10 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 72 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 119 0 0 0 6 8 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 58 0 0 0 3 3 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 80 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 334168344 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1455 0 0 0 12 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 104 0 0 0 47 34 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 29330
/proc/meminfo: memFree=30789376/32873844 swapFree=7116/7116
[pid=29214] ppid=29212 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/29214/stat : 29214 (java) S 29212 29214 28219 0 -1 4202496 8842 0 1 0 179912 90 0 0 20 0 19 0 334168341 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 140734190175984 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29214/statm: 756105 199232 2273 9 0 746526 0
[pid=29214/tid=29216] ppid=29212 vsize=3024420 CPUtime=1793.46 cores=0,2,4,6
/proc/29214/task/29216/stat : 29216 (java) R 29212 29214 28219 0 -1 4202560 3297 0 1 0 179310 36 0 0 20 0 19 0 334168342 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777358617976 139777298811365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29217] ppid=29212 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/29214/task/29217/stat : 29217 (java) S 29212 29214 28219 0 -1 4202560 75 0 0 0 3 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777224165672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29218] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29218/stat : 29218 (java) S 29212 29214 28219 0 -1 4202560 65 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777223112872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29219] ppid=29212 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29214/task/29219/stat : 29219 (java) S 29212 29214 28219 0 -1 4202560 62 0 0 0 3 4 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777222060584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29220] ppid=29212 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/29214/task/29220/stat : 29220 (java) S 29212 29214 28219 0 -1 4202560 181 0 0 0 12 10 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777221007784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29221] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29221/stat : 29221 (java) S 29212 29214 28219 0 -1 4202560 72 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777219955496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29222] ppid=29212 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/29214/task/29222/stat : 29222 (java) S 29212 29214 28219 0 -1 4202560 119 0 0 0 6 8 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777218902696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29223] ppid=29212 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/29214/task/29223/stat : 29223 (java) S 29212 29214 28219 0 -1 4202560 58 0 0 0 3 3 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777217850408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29224] ppid=29212 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/29214/task/29224/stat : 29224 (java) S 29212 29214 28219 0 -1 4202560 80 0 0 0 4 5 0 0 20 0 19 0 334168343 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777216797608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29214/tid=29225] ppid=29212 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/29214/task/29225/stat : 29225 (java) S 29212 29214 28219 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 334168344 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777204599016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29226] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29226/stat : 29226 (java) S 29212 29214 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777203545080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29227] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29227/stat : 29227 (java) S 29212 29214 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334168345 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777202492680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29228] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29228/stat : 29228 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777201441168 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29229] ppid=29212 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/29214/task/29229/stat : 29229 (java) S 29212 29214 28219 0 -1 4202560 2081 0 0 0 18 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777200388792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29214/tid=29230] ppid=29212 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/29214/task/29230/stat : 29230 (java) S 29212 29214 28219 0 -1 4202560 1455 0 0 0 12 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777199335992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29231] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29231/stat : 29231 (java) S 29212 29214 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777198283896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29214/tid=29232] ppid=29212 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/29214/task/29232/stat : 29232 (java) S 29212 29214 28219 0 -1 4202560 104 0 0 0 47 34 0 0 20 0 19 0 334168348 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777197231304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29214/tid=29233] ppid=29212 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29214/task/29233/stat : 29233 (java) S 29212 29214 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334168359 3097006080 199232 33554432000 1073741824 1073778376 140734190184848 139777195099048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29214 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=408208
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=272806
# CPU time returned by wait4() is 1795.68
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.53
CPU time (s): 1800.02
CPU user time (s): 1799.12
CPU system time (s): 0.9
CPU usage (%): 100.083
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.41
system time used= 1.27281
maximum resident set size= 797044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8874
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37959
involuntary context switches= 5510
runsolver used 6.42202 second user time and 15.0407 second system time
The end