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-3689706-1337884409/watcher-3689706-1337884409 -o /tmp/evaluation-result-3689706-1337884409/solver-3689706-1337884409 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689706-1337884409.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.05 3.55 3.62 4/197 28238
/proc/meminfo: memFree=25977196/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/28238/stat : 28238 (java) R 28236 28238 23987 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 254565499 278528 33 33554432000 1073741824 1073778376 140735165263152 140735165260328 225435544871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28238/statm: 68 33 25 9 0 25 0
[startup+0.0629801 s]
/proc/loadavg: 3.05 3.55 3.62 4/197 28238
/proc/meminfo: memFree=25977196/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 3061 0 1 0 2 1 0 0 20 0 13 0 254565499 9446973440 3759 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100321 s]
/proc/loadavg: 3.05 3.55 3.62 4/197 28238
/proc/meminfo: memFree=25977196/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 3871 0 1 0 6 1 0 0 20 0 18 0 254565499 9787813888 5071 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2389603 5071 2029 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300254 s]
/proc/loadavg: 3.05 3.55 3.62 4/197 28238
/proc/meminfo: memFree=25977196/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 7281 0 1 0 51 2 0 0 20 0 18 0 254565499 9787813888 10734 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2389603 10734 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412
[startup+0.700205 s]
/proc/loadavg: 3.05 3.55 3.62 4/197 28238
/proc/meminfo: memFree=25977196/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9691540 CPUtime=1.58 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 14612 0 1 0 151 7 0 0 20 0 20 0 254565499 9924136960 41077 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2422885 41077 2248 9 0 2413578 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9691540
[startup+1.50079 s]
/proc/loadavg: 3.05 3.55 3.62 7/219 28260
/proc/meminfo: memFree=25800916/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 23541 0 1 0 450 12 0 0 20 0 22 0 254565499 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 51248 2272 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2507 0 1 0 59 4 0 0 20 0 22 0 254565501 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254565502 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254565503 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11493 0 0 0 108 3 0 0 20 0 22 0 254565507 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28254] ppid=28236 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/28238/task/28254/stat : 28254 (java) S 28236 28238 23987 0 -1 4202560 8123 0 0 0 115 3 0 0 20 0 22 0 254565507 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869364927032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28255] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28255/stat : 28255 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869363874936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28256] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28256/stat : 28256 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869362822344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28257] ppid=28236 vsize=9824668 CPUtime=0.78 cores=1,3,5,7
/proc/28238/task/28257/stat : 28257 (java) R 28236 28238 23987 0 -1 4202560 24 0 0 0 78 0 0 0 20 0 22 0 254565567 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869361765048 139869989822408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 86 0 0 0 77 0 0 0 20 0 22 0 254565567 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869360714152 139869989884996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 51248 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9824668
[startup+3.10088 s]
/proc/loadavg: 3.05 3.55 3.62 5/219 28260
/proc/meminfo: memFree=25761260/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=8.52 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 27666 0 1 0 833 19 0 0 20 0 22 0 254565499 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 66671 2284 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2507 0 1 0 59 4 0 0 20 0 22 0 254565501 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 254565502 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254565503 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 102 0 0 0 6 0 0 0 20 0 22 0 254565504 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11508 0 0 0 126 3 0 0 20 0 22 0 254565507 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28254] ppid=28236 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/28238/task/28254/stat : 28254 (java) S 28236 28238 23987 0 -1 4202560 12118 0 0 0 166 4 0 0 20 0 22 0 254565507 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869364927032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28255] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28255/stat : 28255 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869363874936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28256] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28256/stat : 28256 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869362822344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28257] ppid=28236 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/28238/task/28257/stat : 28257 (java) R 28236 28238 23987 0 -1 4202560 24 0 0 0 224 0 0 0 20 0 22 0 254565567 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869361766808 139869989815640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=2.21 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 86 0 0 0 221 0 0 0 20 0 22 0 254565567 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869360711832 139869989754817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 66671 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 3.13 3.55 3.62 5/219 28260
/proc/meminfo: memFree=25594556/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=15.02 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 27874 0 1 0 1480 22 0 0 20 0 22 0 254565499 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 97285 2285 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2507 0 1 0 59 4 0 0 20 0 22 0 254565501 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 22 0 254565502 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 21 0 0 0 4 2 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254565503 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 237 0 0 0 16 0 0 0 20 0 22 0 254565504 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11508 0 0 0 129 3 0 0 20 0 22 0 254565507 10060460032 97285 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=701.26 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 1595 0 0 0 70072 54 0 0 20 0 22 0 254565567 10060460032 976691 33554432000 1073741824 1073778376 140737012932272 139869360712872 139869989885130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 976691 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 976691 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1476.4
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.90 3.85 3.76 5/219 28328
/proc/meminfo: memFree=22145692/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=1592.84 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 37432 0 1 0 159132 152 0 0 20 0 22 0 254565499 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 977061 2286 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2541 0 1 0 62 5 0 0 20 0 22 0 254565501 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 309 0 0 0 182 8 0 0 20 0 22 0 254565502 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 601 0 0 0 168 7 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 807 0 0 0 175 8 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 346 0 0 0 165 8 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 305 0 0 0 164 7 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 271 0 0 0 160 7 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 524 0 0 0 177 7 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 208 0 0 0 175 6 0 0 20 0 22 0 254565503 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=61.55 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 4959 0 0 0 6133 22 0 0 20 0 22 0 254565504 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11514 0 0 0 138 3 0 0 20 0 22 0 254565507 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28254] ppid=28236 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/28238/task/28254/stat : 28254 (java) S 28236 28238 23987 0 -1 4202560 12136 0 0 0 237 4 0 0 20 0 22 0 254565507 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869364927032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28255] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28255/stat : 28255 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869363874936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28256] ppid=28236 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/28238/task/28256/stat : 28256 (java) S 28236 28238 23987 0 -1 4202560 47 0 0 0 17 17 0 0 20 0 22 0 254565507 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869362822344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28257] ppid=28236 vsize=9824668 CPUtime=756.15 cores=1,3,5,7
/proc/28238/task/28257/stat : 28257 (java) R 28236 28238 23987 0 -1 4202560 79 0 0 0 75601 14 0 0 20 0 22 0 254565567 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869361766624 139869989823168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=756.09 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 1598 0 0 0 75554 55 0 0 20 0 22 0 254565567 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869360711952 139869989632048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 977061 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1592.84
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.53 4.00 3.81 5/219 28329
/proc/meminfo: memFree=22072772/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=1711.74 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 37559 0 1 0 171019 155 0 0 20 0 22 0 254565499 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 977148 2286 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2542 0 1 0 62 5 0 0 20 0 22 0 254565501 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 309 0 0 0 200 8 0 0 20 0 22 0 254565502 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=1.98 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 613 0 0 0 191 7 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=2.04 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 818 0 0 0 196 8 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 370 0 0 0 179 8 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 305 0 0 0 183 7 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 289 0 0 0 176 7 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=2 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 524 0 0 0 193 7 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=1.96 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 233 0 0 0 190 6 0 0 20 0 22 0 254565503 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=63.34 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 4982 0 0 0 6312 22 0 0 20 0 22 0 254565504 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11514 0 0 0 138 3 0 0 20 0 22 0 254565507 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28254] ppid=28236 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/28238/task/28254/stat : 28254 (java) S 28236 28238 23987 0 -1 4202560 12136 0 0 0 237 4 0 0 20 0 22 0 254565507 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869364927032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28255] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28255/stat : 28255 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869363874936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28256] ppid=28236 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/28238/task/28256/stat : 28256 (java) S 28236 28238 23987 0 -1 4202560 51 0 0 0 18 19 0 0 20 0 22 0 254565507 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869362822344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28257] ppid=28236 vsize=9824668 CPUtime=814 cores=1,3,5,7
/proc/28238/task/28257/stat : 28257 (java) R 28236 28238 23987 0 -1 4202560 84 0 0 0 81385 15 0 0 20 0 22 0 254565567 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869361764576 139869989788416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=813.93 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 1602 0 0 0 81337 56 0 0 20 0 22 0 254565567 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869360712768 139869989944590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 977148 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1711.74
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+927.001 s]
/proc/loadavg: 4.21 3.99 3.81 5/219 28329
/proc/meminfo: memFree=22064208/32873844 swapFree=7900/7900
[pid=28238] ppid=28236 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/28238/stat : 28238 (java) S 28236 28238 23987 0 -1 4202496 37806 0 1 0 179850 158 0 0 20 0 22 0 254565499 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 140737012923408 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28238/statm: 2456167 979927 2286 9 0 2446860 0
[pid=28238/tid=28240] ppid=28236 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/28238/task/28240/stat : 28240 (java) S 28236 28238 23987 0 -1 4202560 2543 0 1 0 62 6 0 0 20 0 22 0 254565501 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870150673400 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28241] ppid=28236 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/28238/task/28241/stat : 28241 (java) S 28236 28238 23987 0 -1 4202560 325 0 0 0 221 9 0 0 20 0 22 0 254565502 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870112164136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28242] ppid=28236 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/28238/task/28242/stat : 28242 (java) S 28236 28238 23987 0 -1 4202560 637 0 0 0 213 7 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870111111336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28243] ppid=28236 vsize=9824668 CPUtime=2.22 cores=1,3,5,7
/proc/28238/task/28243/stat : 28243 (java) S 28236 28238 23987 0 -1 4202560 818 0 0 0 214 8 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870110059048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28244] ppid=28236 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/28238/task/28244/stat : 28244 (java) S 28236 28238 23987 0 -1 4202560 383 0 0 0 199 8 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870109006248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28245] ppid=28236 vsize=9824668 CPUtime=2.13 cores=1,3,5,7
/proc/28238/task/28245/stat : 28245 (java) S 28236 28238 23987 0 -1 4202560 335 0 0 0 206 7 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139870107953960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28246] ppid=28236 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/28238/task/28246/stat : 28246 (java) S 28236 28238 23987 0 -1 4202560 290 0 0 0 195 7 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869988842152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28247] ppid=28236 vsize=9824668 CPUtime=2.27 cores=1,3,5,7
/proc/28238/task/28247/stat : 28247 (java) S 28236 28238 23987 0 -1 4202560 560 0 0 0 220 7 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869987789864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28248] ppid=28236 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/28238/task/28248/stat : 28248 (java) S 28236 28238 23987 0 -1 4202560 265 0 0 0 202 6 0 0 20 0 22 0 254565503 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869986737064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28249] ppid=28236 vsize=9824668 CPUtime=65.16 cores=1,3,5,7
/proc/28238/task/28249/stat : 28249 (java) S 28236 28238 23987 0 -1 4202560 5067 0 0 0 6493 23 0 0 20 0 22 0 254565504 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869974538472 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28250] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28250/stat : 28250 (java) S 28236 28238 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869973484536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28251] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28251/stat : 28251 (java) S 28236 28238 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565504 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869368083720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28252] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28252/stat : 28252 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869367032208 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28253] ppid=28236 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/28238/task/28253/stat : 28253 (java) S 28236 28238 23987 0 -1 4202560 11514 0 0 0 138 3 0 0 20 0 22 0 254565507 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869365979832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28254] ppid=28236 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/28238/task/28254/stat : 28254 (java) S 28236 28238 23987 0 -1 4202560 12136 0 0 0 237 4 0 0 20 0 22 0 254565507 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869364927032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28238/tid=28255] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28255/stat : 28255 (java) S 28236 28238 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565507 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869363874936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28256] ppid=28236 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28238/task/28256/stat : 28256 (java) S 28236 28238 23987 0 -1 4202560 53 0 0 0 19 20 0 0 20 0 22 0 254565507 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869362822344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28257] ppid=28236 vsize=9824668 CPUtime=856.45 cores=1,3,5,7
/proc/28238/task/28257/stat : 28257 (java) R 28236 28238 23987 0 -1 4202560 88 0 0 0 85629 16 0 0 20 0 22 0 254565567 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869361766912 139869989700278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28238/tid=28258] ppid=28236 vsize=9824668 CPUtime=856.39 cores=1,3,5,7
/proc/28238/task/28258/stat : 28258 (java) R 28236 28238 23987 0 -1 4202560 1605 0 0 0 85582 57 0 0 20 0 22 0 254565567 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869360712768 139869990303102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28238/tid=28259] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28259/stat : 28259 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869359662248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28238/tid=28260] ppid=28236 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28238/task/28260/stat : 28260 (java) S 28236 28238 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565570 10060460032 979927 33554432000 1073741824 1073778376 140737012932272 139869358609448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 927.083
CPU time (s): 1800.69
CPU user time (s): 1798.63
CPU system time (s): 2.06269
CPU usage (%): 194.232
Max. virtual memory (cumulated for all children) (KiB): 9826636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.06269
maximum resident set size= 3919832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37838
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24495
involuntary context switches= 32070
runsolver used 3.53246 second user time and 8.97164 second system time
The end