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-3742357-1338766118/watcher-3742357-1338766118 -o /tmp/evaluation-result-3742357-1338766118/solver-3742357-1338766118 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742357-1338766118.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.99 3.92 3.86 5/195 5180
/proc/meminfo: memFree=24643968/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5180/stat : 5180 (java) D 5178 5180 1918 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342737261 9515008 183 33554432000 1073741824 1073778376 140736670331856 140736670322888 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5180/statm: 2323 183 140 9 0 71 0
[startup+0.104456 s]
/proc/loadavg: 3.99 3.92 3.86 5/195 5180
/proc/meminfo: memFree=24643968/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 5255 0 1 0 8 1 0 0 20 0 18 0 342737261 11864465408 13073 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2896598 13073 2086 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.200271 s]
/proc/loadavg: 3.99 3.92 3.86 5/195 5180
/proc/meminfo: memFree=24643968/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11586392 CPUtime=0.26 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 6914 0 1 0 24 2 0 0 20 0 18 0 342737261 11864465408 15238 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2896598 15238 2198 9 0 2887285 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11586392
[startup+0.300311 s]
/proc/loadavg: 3.99 3.92 3.86 5/195 5180
/proc/meminfo: memFree=24643968/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 8241 0 1 0 52 3 0 0 20 0 18 0 342737261 11864465408 18458 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2896598 18458 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392
[startup+0.700177 s]
/proc/loadavg: 3.99 3.92 3.86 5/195 5180
/proc/meminfo: memFree=24643968/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 9398 0 1 0 129 6 0 0 20 0 22 0 342737261 12137111552 53972 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 54484 2255 9 0 2953849 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 11852648
[startup+1.50078 s]
/proc/loadavg: 3.99 3.92 3.86 7/217 5202
/proc/meminfo: memFree=24388440/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=4.05 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 19494 0 1 0 395 10 0 0 20 0 22 0 342737261 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 87299 2265 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3505 0 1 0 58 5 0 0 20 0 22 0 342737262 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 4142 0 0 0 81 0 0 0 20 0 22 0 342737268 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 1918 0 -1 4202560 10488 0 0 0 90 3 0 0 20 0 22 0 342737268 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970977876792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970976824184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970975771592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/5180/task/5199/stat : 5199 (java) R 5178 5180 1918 0 -1 4202560 25 0 0 0 80 0 0 0 20 0 22 0 342737327 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970974716632 139971106015784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5200] ppid=5178 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/5180/task/5200/stat : 5200 (java) R 5178 5180 1918 0 -1 4202560 131 0 0 0 79 2 0 0 20 0 22 0 342737327 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970973663880 139971106166742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5201] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5201/stat : 5201 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139970972611496 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5202] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5202/stat : 5202 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 87299 33554432000 1073741824 1073778376 140735208763024 139969830052648 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 11852648
[startup+3.10088 s]
/proc/loadavg: 3.99 3.92 3.86 5/217 5202
/proc/meminfo: memFree=24115576/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=7.34 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 19726 0 1 0 715 19 0 0 20 0 22 0 342737261 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 194329 2265 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3505 0 1 0 58 5 0 0 20 0 22 0 342737262 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 4144 0 0 0 83 0 0 0 20 0 22 0 342737268 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 1918 0 -1 4202560 10508 0 0 0 98 3 0 0 20 0 22 0 342737268 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970977876792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970976824184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970975771592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=11852648 CPUtime=2.39 cores=1,3,5,7
/proc/5180/task/5199/stat : 5199 (java) R 5178 5180 1918 0 -1 4202560 27 0 0 0 239 0 0 0 20 0 22 0 342737327 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970974716344 139971106092201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5200] ppid=5178 vsize=11852648 CPUtime=2.41 cores=1,3,5,7
/proc/5180/task/5200/stat : 5200 (java) R 5178 5180 1918 0 -1 4202560 339 0 0 0 231 10 0 0 20 0 22 0 342737327 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970973663496 139971106062399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5201] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5201/stat : 5201 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139970972611496 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5202] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5202/stat : 5202 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 194329 33554432000 1073741824 1073778376 140735208763024 139969830052648 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 11852648
[startup+6.3009 s]
/proc/loadavg: 3.99 3.93 3.86 5/217 5202
/proc/meminfo: memFree=23558404/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=13.76 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 20133 0 1 0 1347 29 0 0 20 0 22 0 342737261 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 272670 2289 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3507 0 1 0 58 5 0 0 20 0 22 0 342737262 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342737264 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 42 0 0 0 8 0 0 0 20 0 22 0 342737266 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 4324 0 0 0 88 0 0 0 20 0 22 0 342737268 12137111552 272670 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/5180/statm: 2963162 949627 2291 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3524 0 1 0 62 7 0 0 20 0 22 0 342737262 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 96 0 0 0 100 4 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 137 0 0 0 110 5 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 153 0 0 0 112 5 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 136 0 0 0 112 6 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 106 0 0 0 106 4 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 113 0 0 0 114 3 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 114 0 0 0 99 5 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 102 0 0 0 103 3 0 0 20 0 22 0 342737264 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=16.43 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 169 0 0 0 1633 10 0 0 20 0 22 0 342737266 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 9228 0 0 0 166 2 0 0 20 0 22 0 342737268 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 1918 0 -1 4202560 10532 0 0 0 119 3 0 0 20 0 22 0 342737268 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970977876792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970976824184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 1918 0 -1 4202560 51 0 0 0 20 23 0 0 20 0 22 0 342737269 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970975771592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=11852648 CPUtime=860.21 cores=1,3,5,7
/proc/5180/task/5199/stat : 5199 (java) R 5178 5180 1918 0 -1 4202560 85 0 0 0 86006 15 0 0 20 0 22 0 342737327 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970974716368 139971106016059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5200] ppid=5178 vsize=11852648 CPUtime=860.21 cores=1,3,5,7
/proc/5180/task/5200/stat : 5200 (java) R 5178 5180 1918 0 -1 4202560 1649 0 0 0 85948 73 0 0 20 0 22 0 342737327 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970973661776 139971106300176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5201] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5201/stat : 5201 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139970972611496 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5202] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5202/stat : 5202 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949627 33554432000 1073741824 1073778376 140735208763024 139969830052648 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1754.29
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.407 s]
/proc/loadavg: 4.04 4.00 3.92 5/217 5274
/proc/meminfo: memFree=20789508/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=1800.18 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 27393 0 1 0 179876 142 0 0 20 0 22 0 342737261 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 949632 2291 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3524 0 1 0 62 7 0 0 20 0 22 0 342737262 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 97 0 0 0 102 4 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 138 0 0 0 114 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 153 0 0 0 117 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 137 0 0 0 114 6 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 106 0 0 0 108 4 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 113 0 0 0 116 3 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 115 0 0 0 102 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 103 0 0 0 105 3 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=16.85 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 169 0 0 0 1675 10 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 9228 0 0 0 166 2 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 1918 0 -1 4202560 10532 0 0 0 119 3 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970977876792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970976824184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 1918 0 -1 4202560 53 0 0 0 20 24 0 0 20 0 22 0 342737269 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970975771592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=11852648 CPUtime=882.78 cores=1,3,5,7
/proc/5180/task/5199/stat : 5199 (java) R 5178 5180 1918 0 -1 4202560 86 0 0 0 88263 15 0 0 20 0 22 0 342737327 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970974716368 139971106116480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5200] ppid=5178 vsize=11852648 CPUtime=882.79 cores=1,3,5,7
/proc/5180/task/5200/stat : 5200 (java) R 5178 5180 1918 0 -1 4202560 1650 0 0 0 88206 73 0 0 20 0 22 0 342737327 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970973661584 139971106447101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5201] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5201/stat : 5201 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970972611496 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5202] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5202/stat : 5202 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139969830052648 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.407 s]
/proc/loadavg: 4.04 4.00 3.92 5/217 5274
/proc/meminfo: memFree=20789508/32873852 swapFree=7624/7624
[pid=5180] ppid=5178 vsize=11852648 CPUtime=1800.18 cores=1,3,5,7
/proc/5180/stat : 5180 (java) S 5178 5180 1918 0 -1 4202496 27393 0 1 0 179876 142 0 0 20 0 22 0 342737261 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 140735208754160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5180/statm: 2963162 949632 2291 9 0 2953849 0
[pid=5180/tid=5182] ppid=5178 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/5180/task/5182/stat : 5182 (java) S 5178 5180 1918 0 -1 4202560 3524 0 1 0 62 7 0 0 20 0 22 0 342737262 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971165656216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 1918 0 -1 4202560 97 0 0 0 102 4 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971002919464 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 1918 0 -1 4202560 138 0 0 0 114 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971001866664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 1918 0 -1 4202560 153 0 0 0 117 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139971000813864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 1918 0 -1 4202560 137 0 0 0 114 6 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970999761064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 1918 0 -1 4202560 106 0 0 0 108 4 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970998709288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 1918 0 -1 4202560 113 0 0 0 116 3 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970997656488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 1918 0 -1 4202560 115 0 0 0 102 5 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970996603688 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 1918 0 -1 4202560 103 0 0 0 105 3 0 0 20 0 22 0 342737264 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970995550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=11852648 CPUtime=16.85 cores=1,3,5,7
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 1918 0 -1 4202560 169 0 0 0 1675 10 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970983139816 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970982085880 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737266 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970981032968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970979981456 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 1918 0 -1 4202560 9228 0 0 0 166 2 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970978929592 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 1918 0 -1 4202560 10532 0 0 0 119 3 0 0 20 0 22 0 342737268 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970977876792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342737269 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970976824184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 1918 0 -1 4202560 53 0 0 0 20 24 0 0 20 0 22 0 342737269 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970975771592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=11852648 CPUtime=882.78 cores=1,3,5,7
/proc/5180/task/5199/stat : 5199 (java) R 5178 5180 1918 0 -1 4202560 86 0 0 0 88263 15 0 0 20 0 22 0 342737327 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970974716368 139971106116480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5200] ppid=5178 vsize=11852648 CPUtime=882.79 cores=1,3,5,7
/proc/5180/task/5200/stat : 5200 (java) R 5178 5180 1918 0 -1 4202560 1650 0 0 0 88206 73 0 0 20 0 22 0 342737327 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970973661584 139971106447101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5180/tid=5201] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5201/stat : 5201 (java) S 5178 5180 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139970972611496 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5180/tid=5202] ppid=5178 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5180/task/5202/stat : 5202 (java) S 5178 5180 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342737330 12137111552 949632 33554432000 1073741824 1073778376 140735208763024 139969830052648 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5180 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=179243
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=861716
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 905.472
CPU time (s): 1800.18
CPU user time (s): 1798.76
CPU system time (s): 1.42
CPU usage (%): 198.811
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 1.86172
maximum resident set size= 3807452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27429
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24334
involuntary context switches= 29200
runsolver used 3.49147 second user time and 8.69568 second system time
The end