runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459057-1307148902/watcher-3459057-1307148902 -o /tmp/evaluation-result-3459057-1307148902/solver-3459057-1307148902 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459057-1307148902.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.01 1.91 2/452 4168
/proc/meminfo: memFree=12366600/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4168/stat : 4168 (java) R 4166 4168 2099 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 826489828 23580672 698 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274659845608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4168/statm: 5757 699 515 9 0 124 0
[pid=4168/tid=4169] ppid=4166 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 3506 0 1 0 0 0 0 0 25 0 2 0 826489829 13850947584 4322 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0419849 s]
/proc/loadavg: 1.93 2.01 1.91 2/452 4168
/proc/meminfo: memFree=12366600/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 13559 0 1 0 1 1 0 0 25 0 11 0 826489828 13872562176 13257 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3386856 13258 1628 9 0 3377604 0
[pid=4168/tid=4169] ppid=4166 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 12435 0 1 0 1 1 0 0 25 0 11 0 826489829 13872562176 13258 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 47384351047587 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424
[startup+0.104882 s]
/proc/loadavg: 1.93 2.01 1.91 2/452 4168
/proc/meminfo: memFree=12366600/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13621400 CPUtime=0.1 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 15422 0 1 0 8 2 0 0 25 0 18 0 826489828 13948313600 15116 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3405350 15119 2092 9 0 3396084 0
[pid=4168/tid=4169] ppid=4166 vsize=13621400 CPUtime=0.09 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 13656 0 1 0 7 2 0 0 18 0 18 0 826489829 13948313600 15119 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 47384351878053 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621400
[startup+0.386189 s]
/proc/loadavg: 1.93 2.01 1.91 2/452 4168
/proc/meminfo: memFree=12366600/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13629492 CPUtime=0.62 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 21246 0 1 0 59 3 0 0 25 0 18 0 826489828 13956599808 20140 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407373 20141 2201 9 0 3398107 0
[pid=4168/tid=4169] ppid=4166 vsize=13629492 CPUtime=0.36 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 17021 0 1 0 34 2 0 0 18 0 18 0 826489829 13956599808 20142 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505540141 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13629492
[startup+0.700895 s]
/proc/loadavg: 1.93 2.01 1.91 2/452 4168
/proc/meminfo: memFree=12366600/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13629844 CPUtime=1.16 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 31060 0 1 0 112 4 0 0 25 0 19 0 826489828 13956960256 29768 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407461 29769 2227 9 0 3398195 0
[pid=4168/tid=4169] ppid=4166 vsize=13629844 CPUtime=0.65 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 26011 0 1 0 62 3 0 0 19 0 19 0 826489829 13956960256 29769 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 47384355515219 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13629844
[startup+1.50076 s]
/proc/loadavg: 1.93 2.01 1.91 3/471 4187
/proc/meminfo: memFree=12248656/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13629844 CPUtime=2.08 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 39377 0 1 0 203 5 0 0 25 0 19 0 826489828 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407461 37910 2258 9 0 3398195 0
[pid=4168/tid=4169] ppid=4166 vsize=13629844 CPUtime=1.43 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 29388 0 1 0 139 4 0 0 20 0 19 0 826489829 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505727425 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 832 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 1238 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 312 0 0 0 0 0 0 0 17 0 19 0 826489831 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13629844 CPUtime=0.01 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 2333 0 0 0 1 0 0 0 16 0 19 0 826489832 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13629844 CPUtime=0.2 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 860 0 0 0 20 0 0 0 19 0 19 0 826489835 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13629844 CPUtime=0.39 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3258 0 0 0 39 0 0 0 15 0 19 0 826489835 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826489835 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13956960256 37910 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13629844
[startup+3.10147 s]
/proc/loadavg: 1.93 2.01 1.91 3/471 4187
/proc/meminfo: memFree=12201536/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13629844 CPUtime=3.72 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 46503 0 1 0 366 6 0 0 25 0 19 0 826489828 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407461 45034 2258 9 0 3398195 0
[pid=4168/tid=4169] ppid=4166 vsize=13629844 CPUtime=2.98 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 29392 0 1 0 294 4 0 0 24 0 19 0 826489829 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505724122 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 832 0 0 0 0 0 0 0 15 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 1219 0 0 0 0 0 0 0 15 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 1225 0 0 0 0 0 0 0 16 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 1238 0 0 0 0 0 0 0 15 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 557 0 0 0 0 0 0 0 16 0 19 0 826489831 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13629844 CPUtime=0.05 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 5357 0 0 0 5 0 0 0 16 0 19 0 826489832 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13629844 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13629844 CPUtime=0.41 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3261 0 0 0 41 0 0 0 15 0 19 0 826489835 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826489835 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13629844 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13956960256 45034 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13629844
[startup+6.30094 s]
/proc/loadavg: 1.94 2.01 1.91 3/471 4187
/proc/meminfo: memFree=12183560/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13630152 CPUtime=7.02 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 50967 0 1 0 694 8 0 0 25 0 19 0 826489828 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407538 49439 2259 9 0 3398272 0
[pid=4168/tid=4169] ppid=4166 vsize=13630152 CPUtime=6.09 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 29396 0 1 0 605 4 0 0 21 0 19 0 826489829 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505736440 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 1599 0 0 0 0 0 0 0 15 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 1210 0 0 0 0 0 0 0 16 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 1219 0 0 0 0 0 0 0 16 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13630152 CPUtime=0.01 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 2292 0 0 0 1 0 0 0 16 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 1496 0 0 0 0 0 0 0 16 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 548 0 0 0 0 0 0 0 16 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 557 0 0 0 0 0 0 0 15 0 19 0 826489831 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13630152 CPUtime=0.12 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 7041 0 0 0 12 0 0 0 16 0 19 0 826489832 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13630152 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13630152 CPUtime=0.46 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3340 0 0 0 46 0 0 0 15 0 19 0 826489835 13957275648 49439 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4168/tid=4176] ppid=4166 vsize=13630152 CPUtime=0.8 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 7383 0 0 0 79 1 0 0 15 0 19 0 826489831 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13630152 CPUtime=0.8 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 2681 0 0 0 80 0 0 0 15 0 19 0 826489831 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13630152 CPUtime=0.96 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 3774 0 0 0 96 0 0 0 16 0 19 0 826489831 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13630152 CPUtime=15.06 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 30555 0 0 0 1500 6 0 0 16 0 19 0 826489832 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13630152 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13630152 CPUtime=0.48 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3345 0 0 0 48 0 0 0 15 0 19 0 826489835 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13630152 CPUtime=0.06 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 95 0 0 0 2 4 0 0 15 0 19 0 826489835 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13957275648 97677 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1667.37
Current children cumulated vsize (KiB) 13630152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/471 4293
/proc/meminfo: memFree=11757848/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13630152 CPUtime=1727.46 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 99788 0 1 0 172719 27 0 0 25 0 19 0 826489828 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407538 97734 2260 9 0 3398272 0
[pid=4168/tid=4169] ppid=4166 vsize=13630152 CPUtime=1703.83 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 30246 0 1 0 170374 9 0 0 25 0 19 0 826489829 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505876332 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13630152 CPUtime=0.88 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 4417 0 0 0 88 0 0 0 16 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13630152 CPUtime=0.88 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 891 0 0 0 88 0 0 0 16 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13630152 CPUtime=1.05 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 7271 0 0 0 104 1 0 0 15 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13630152 CPUtime=0.9 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 4079 0 0 0 90 0 0 0 16 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13630152 CPUtime=0.89 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 3034 0 0 0 89 0 0 0 15 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13630152 CPUtime=0.81 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 7383 0 0 0 80 1 0 0 15 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13630152 CPUtime=0.82 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 2681 0 0 0 82 0 0 0 15 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13630152 CPUtime=0.96 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 3774 0 0 0 96 0 0 0 15 0 19 0 826489831 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13630152 CPUtime=15.56 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 30557 0 0 0 1549 7 0 0 15 0 19 0 826489832 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13630152 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13630152 CPUtime=0.48 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3345 0 0 0 48 0 0 0 15 0 19 0 826489835 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13630152 CPUtime=0.06 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 97 0 0 0 2 4 0 0 15 0 19 0 826489835 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13957275648 97734 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1727.46
Current children cumulated vsize (KiB) 13630152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/471 4294
/proc/meminfo: memFree=11750508/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13630152 CPUtime=1787.54 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 99837 0 1 0 178727 27 0 0 25 0 19 0 826489828 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407538 97765 2260 9 0 3398272 0
[pid=4168/tid=4169] ppid=4166 vsize=13630152 CPUtime=1763.25 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 30256 0 1 0 176316 9 0 0 25 0 19 0 826489829 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505727328 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13630152 CPUtime=0.9 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 4417 0 0 0 90 0 0 0 16 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13630152 CPUtime=0.89 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 891 0 0 0 89 0 0 0 16 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13630152 CPUtime=1.06 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 7271 0 0 0 105 1 0 0 15 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13630152 CPUtime=0.91 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 4082 0 0 0 91 0 0 0 15 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13630152 CPUtime=0.91 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 3034 0 0 0 91 0 0 0 15 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13630152 CPUtime=0.83 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 7383 0 0 0 82 1 0 0 16 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13630152 CPUtime=0.84 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 2707 0 0 0 84 0 0 0 15 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13630152 CPUtime=0.98 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 3776 0 0 0 98 0 0 0 15 0 19 0 826489831 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13630152 CPUtime=16.09 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 30561 0 0 0 1602 7 0 0 15 0 19 0 826489832 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13630152 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13630152 CPUtime=0.48 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3345 0 0 0 48 0 0 0 15 0 19 0 826489835 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13630152 CPUtime=0.06 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 101 0 0 0 2 4 0 0 15 0 19 0 826489835 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13957275648 97765 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (KiB) 13630152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/471 4295
/proc/meminfo: memFree=11749764/32951132 swapFree=67093840/67111528
[pid=4168] ppid=4166 vsize=13630152 CPUtime=1800.09 cores=0,2,4,6
/proc/4168/stat : 4168 (java) S 4166 4168 2099 0 -1 4202496 99862 0 1 0 179982 27 0 0 25 0 19 0 826489828 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4168/statm: 3407538 97788 2260 9 0 3398272 0
[pid=4168/tid=4169] ppid=4166 vsize=13630152 CPUtime=1775.63 cores=0,2,4,6
/proc/4168/task/4169/stat : 4169 (java) R 4166 4168 2099 0 -1 4202560 30258 0 1 0 177554 9 0 0 25 0 19 0 826489829 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 46912505736955 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=13630152 CPUtime=0.91 cores=0,2,4,6
/proc/4168/task/4171/stat : 4171 (java) S 4166 4168 2099 0 -1 4202560 4417 0 0 0 91 0 0 0 16 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4172] ppid=4166 vsize=13630152 CPUtime=0.89 cores=0,2,4,6
/proc/4168/task/4172/stat : 4172 (java) S 4166 4168 2099 0 -1 4202560 891 0 0 0 89 0 0 0 15 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=13630152 CPUtime=1.08 cores=0,2,4,6
/proc/4168/task/4173/stat : 4173 (java) S 4166 4168 2099 0 -1 4202560 7271 0 0 0 107 1 0 0 16 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4174] ppid=4166 vsize=13630152 CPUtime=0.93 cores=0,2,4,6
/proc/4168/task/4174/stat : 4174 (java) S 4166 4168 2099 0 -1 4202560 4102 0 0 0 93 0 0 0 15 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4175] ppid=4166 vsize=13630152 CPUtime=0.92 cores=0,2,4,6
/proc/4168/task/4175/stat : 4175 (java) S 4166 4168 2099 0 -1 4202560 3034 0 0 0 92 0 0 0 16 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4176] ppid=4166 vsize=13630152 CPUtime=0.84 cores=0,2,4,6
/proc/4168/task/4176/stat : 4176 (java) S 4166 4168 2099 0 -1 4202560 7386 0 0 0 83 1 0 0 15 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4177] ppid=4166 vsize=13630152 CPUtime=0.85 cores=0,2,4,6
/proc/4168/task/4177/stat : 4177 (java) S 4166 4168 2099 0 -1 4202560 2707 0 0 0 85 0 0 0 15 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4178] ppid=4166 vsize=13630152 CPUtime=0.98 cores=0,2,4,6
/proc/4168/task/4178/stat : 4178 (java) S 4166 4168 2099 0 -1 4202560 3776 0 0 0 98 0 0 0 15 0 19 0 826489831 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4179] ppid=4166 vsize=13630152 CPUtime=16.21 cores=0,2,4,6
/proc/4168/task/4179/stat : 4179 (java) S 4166 4168 2099 0 -1 4202560 30561 0 0 0 1614 7 0 0 15 0 19 0 826489832 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4180] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4180/stat : 4180 (java) S 4166 4168 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4181] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4181/stat : 4181 (java) S 4166 4168 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826489832 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4182] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4182/stat : 4182 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4183] ppid=4166 vsize=13630152 CPUtime=0.22 cores=0,2,4,6
/proc/4168/task/4183/stat : 4183 (java) S 4166 4168 2099 0 -1 4202560 863 0 0 0 22 0 0 0 15 0 19 0 826489835 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=4168/tid=4184] ppid=4166 vsize=13630152 CPUtime=0.48 cores=0,2,4,6
/proc/4168/task/4184/stat : 4184 (java) S 4166 4168 2099 0 -1 4202560 3345 0 0 0 48 0 0 0 15 0 19 0 826489835 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=4168/tid=4185] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4185/stat : 4185 (java) S 4166 4168 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826489835 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=4168/tid=4186] ppid=4166 vsize=13630152 CPUtime=0.06 cores=0,2,4,6
/proc/4168/task/4186/stat : 4186 (java) S 4166 4168 2099 0 -1 4202560 101 0 0 0 2 4 0 0 15 0 19 0 826489835 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=4168/tid=4187] ppid=4166 vsize=13630152 CPUtime=0 cores=0,2,4,6
/proc/4168/task/4187/stat : 4187 (java) S 4166 4168 2099 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826489878 13957275648 97788 33554432000 1073741824 1073778376 140733525017456 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13630152
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): 1794.87
CPU time (s): 1800.21
CPU user time (s): 1799.91
CPU system time (s): 0.294955
CPU usage (%): 100.297
Max. virtual memory (cumulated for all children) (KiB): 13630152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100187
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46505
involuntary context switches= 10866
runsolver used 8.5447 second user time and 17.6243 second system time
The end