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-3688854-1337880025/watcher-3688854-1337880025 -o /tmp/evaluation-result-3688854-1337880025/solver-3688854-1337880025 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688854-1337880025.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: 3.72 3.87 3.82 4/198 21338
/proc/meminfo: memFree=26547052/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21338/stat : 21338 (java) D 21336 21338 18255 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254127949 9515008 182 33554432000 1073741824 1073778376 140735932709008 140735932700040 239873113781 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21338/statm: 2323 182 140 9 0 71 0
[startup+0.0325739 s]
/proc/loadavg: 3.72 3.87 3.82 4/198 21338
/proc/meminfo: memFree=26547052/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9025868 CPUtime=0 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 2843 0 1 0 0 0 0 0 20 0 10 0 254127949 9242488832 3544 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2256467 3545 1584 9 0 2247168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9025868
[startup+0.100247 s]
/proc/loadavg: 3.72 3.87 3.82 4/198 21338
/proc/meminfo: memFree=26547052/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 4265 0 1 0 8 1 0 0 20 0 18 0 254127949 9787813888 5469 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2389603 5469 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300216 s]
/proc/loadavg: 3.72 3.87 3.82 4/198 21338
/proc/meminfo: memFree=26547052/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 5435 0 1 0 43 1 0 0 20 0 18 0 254127949 9787813888 8310 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2389603 8310 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700242 s]
/proc/loadavg: 3.72 3.87 3.82 4/198 21338
/proc/meminfo: memFree=26547052/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9558412 CPUtime=1.31 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 13453 0 1 0 125 6 0 0 20 0 18 0 254127949 9787813888 43639 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2389603 43639 2240 9 0 2380296 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9558412
[startup+1.50065 s]
/proc/loadavg: 3.72 3.87 3.82 3/217 21360
/proc/meminfo: memFree=26376088/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 13719 0 1 0 241 9 0 0 20 0 22 0 254127949 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2456167 45401 2269 9 0 2446860 0
[pid=21338/tid=21340] ppid=21336 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2521 0 1 0 71 4 0 0 20 0 22 0 254127950 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122223948792 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254127951 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) S 21336 21338 18255 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 254127953 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122047630056 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254127953 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254127953 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21352] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21352/stat : 21352 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254127956 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122044472208 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) R 21336 21338 18255 0 -1 4202560 4265 0 0 0 54 1 0 0 20 0 22 0 254127956 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122043418648 140122226549780 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) R 21336 21338 18255 0 -1 4202560 5538 0 0 0 59 1 0 0 20 0 22 0 254127956 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122042365848 239872783053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254127956 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21356] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21356/stat : 21356 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254127956 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122040261320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21360] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21360/stat : 21360 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254128029 10060460032 45401 33554432000 1073741824 1073778376 140733612081808 140122036049448 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9824668
[startup+3.10062 s]
/proc/loadavg: 3.72 3.87 3.82 4/217 21363
/proc/meminfo: memFree=26325304/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9824668 CPUtime=4.46 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 22224 0 1 0 432 14 0 0 20 0 19 0 254127949 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2456167 57270 2287 9 0 2446860 0
[pid=21338/tid=21340] ppid=21336 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2521 0 1 0 71 4 0 0 20 0 19 0 254127950 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122223948792 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) S 21336 21338 18255 0 -1 4202560 102 0 0 0 4 0 0 0 20 0 19 0 254127953 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122047630056 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254127953 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254127953 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21352] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21352/stat : 21352 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122044472208 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) S 21336 21338 18255 0 -1 4202560 10006 0 0 0 128 2 0 0 20 0 19 0 254127956 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122043418808 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) S 21336 21338 18255 0 -1 4202560 8218 0 0 0 93 2 0 0 20 0 19 0 254127956 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122042366008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21356] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21356/stat : 21356 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 57270 33554432000 1073741824 1073778376 140733612081808 140122040261320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 9824668
[startup+6.30068 s]
/proc/loadavg: 3.58 3.84 3.81 3/217 21384
/proc/meminfo: memFree=26327288/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9824668 CPUtime=4.8 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 22286 0 1 0 460 20 0 0 20 0 19 0 254127949 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2456167 56558 2287 9 0 2446860 0
[pid=21338/tid=21340] ppid=21336 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2523 0 1 0 71 4 0 0 20 0 19 0 254127950 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122223948792 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254127951 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) S 21336 21338 18255 0 -1 4202560 102 0 0 0 4 0 0 0 20 0 19 0 254127953 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122047630056 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254127953 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254127953 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21352] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21352/stat : 21352 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122044472208 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) S 21336 21338 18255 0 -1 4202560 10007 0 0 0 134 2 0 0 20 0 19 0 254127956 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122043418808 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) S 21336 21338 18255 0 -1 4202560 8223 0 0 0 100 2 0 0 20 0 19 0 254127956 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122042366008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21356] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21356/stat : 21356 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254127956 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122040261320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21375] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21375/stat : 21375 (java) S 21336 21338 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254128330 10060460032 56558 33554432000 1073741824 1073778376 140733612081808 140122037102248 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+12.7008 s]
/proc/loadavg: 3.53 3.82 3.81 5/220 21405
################
# More data... #
################
[pid=21338/tid=21429] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21429/stat : 21429 (java) S 21336 21338 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254132180 10060460032 532429 33554432000 1073741824 1073778376 140733612081808 140122039207336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1701.12
Current children cumulated vsize (KiB) 9824668
[startup+1722.3 s]
/proc/loadavg: 2.90 2.93 3.07 4/218 21709
/proc/meminfo: memFree=26480920/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9824668 CPUtime=1761.46 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 30390 0 1 0 175948 198 0 0 20 0 21 0 254127949 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2456167 570627 2288 9 0 2446860 0
[pid=21338/tid=21340] ppid=21336 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2603 0 1 0 111 24 0 0 20 0 21 0 254127950 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122223948920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9824668 CPUtime=3.13 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 575 0 0 0 302 11 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 562 0 0 0 303 11 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 395 0 0 0 296 9 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9824668 CPUtime=3.16 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 535 0 0 0 305 11 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 409 0 0 0 293 13 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 504 0 0 0 316 12 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 470 0 0 0 310 11 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9824668 CPUtime=3.16 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 412 0 0 0 307 9 0 0 20 0 21 0 254127951 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9824668 CPUtime=7.63 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) S 21336 21338 18255 0 -1 4202560 1548 0 0 0 752 11 0 0 20 0 21 0 254127953 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122047630056 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254127953 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254127953 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21352] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21352/stat : 21352 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254127956 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122044472208 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) S 21336 21338 18255 0 -1 4202560 10026 0 0 0 199 3 0 0 20 0 21 0 254127956 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122043418808 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) S 21336 21338 18255 0 -1 4202560 8224 0 0 0 116 2 0 0 20 0 21 0 254127956 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122042366008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254127956 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21356] ppid=21336 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/21338/task/21356/stat : 21356 (java) S 21336 21338 18255 0 -1 4202560 98 0 0 0 24 25 0 0 20 0 21 0 254127956 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122040261320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21411] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21411/stat : 21411 (java) S 21336 21338 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254130200 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122037101736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21428] ppid=21336 vsize=9824668 CPUtime=1666.7 cores=0,2,4,6
/proc/21338/task/21428/stat : 21428 (java) R 21336 21338 18255 0 -1 4202560 2331 0 0 0 166626 44 0 0 20 0 21 0 254132179 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122036047152 140122050764018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21429] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21429/stat : 21429 (java) S 21336 21338 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254132180 10060460032 570627 33554432000 1073741824 1073778376 140733612081808 140122039207336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1761.46
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1760.8 s]
/proc/loadavg: 2.90 2.92 3.06 5/218 21709
/proc/meminfo: memFree=26455704/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9824668 CPUtime=1800.06 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 30890 0 1 0 179802 204 0 0 20 0 21 0 254127949 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2456167 589458 2288 9 0 2446860 0
[pid=21338/tid=21340] ppid=21336 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2604 0 1 0 112 24 0 0 20 0 21 0 254127950 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122223948920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 580 0 0 0 302 12 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 573 0 0 0 303 12 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 400 0 0 0 297 9 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9824668 CPUtime=3.18 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 551 0 0 0 306 12 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 430 0 0 0 295 15 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9824668 CPUtime=3.29 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 509 0 0 0 317 12 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 480 0 0 0 311 12 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 424 0 0 0 308 9 0 0 20 0 21 0 254127951 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9824668 CPUtime=7.63 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) S 21336 21338 18255 0 -1 4202560 1601 0 0 0 752 11 0 0 20 0 21 0 254127953 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122047630056 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254127953 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254127953 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21352] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21352/stat : 21352 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254127956 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122044472208 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) S 21336 21338 18255 0 -1 4202560 10026 0 0 0 199 3 0 0 20 0 21 0 254127956 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122043418808 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) S 21336 21338 18255 0 -1 4202560 8224 0 0 0 116 2 0 0 20 0 21 0 254127956 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122042366008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254127956 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21356] ppid=21336 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/21338/task/21356/stat : 21356 (java) S 21336 21338 18255 0 -1 4202560 100 0 0 0 25 25 0 0 20 0 21 0 254127956 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122040261320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21411] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21411/stat : 21411 (java) S 21336 21338 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254130200 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122037101736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21428] ppid=21336 vsize=9824668 CPUtime=1705.07 cores=0,2,4,6
/proc/21338/task/21428/stat : 21428 (java) R 21336 21338 18255 0 -1 4202560 2690 0 0 0 170462 45 0 0 20 0 21 0 254132179 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122036046912 140122050761216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21429] ppid=21336 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21429/stat : 21429 (java) S 21336 21338 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254132180 10060460032 589458 33554432000 1073741824 1073778376 140733612081808 140122039207336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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
[startup+1760.91 s]
/proc/loadavg: 2.90 2.92 3.06 5/218 21709
/proc/meminfo: memFree=26455704/32873844 swapFree=7384/7384
[pid=21338] ppid=21336 vsize=9891232 CPUtime=1800.43 cores=0,2,4,6
/proc/21338/stat : 21338 (java) S 21336 21338 18255 0 -1 4202496 30910 0 1 0 179825 218 0 0 20 0 20 0 254127949 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140733612072944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21338/statm: 2472808 589472 2288 9 0 2463501 0
[pid=21338/tid=21340] ppid=21336 vsize=9891232 CPUtime=1.36 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (java) S 21336 21338 18255 0 -1 4202560 2604 0 1 0 112 24 0 0 20 0 20 0 254127950 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122223948632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=9891232 CPUtime=3.14 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (java) S 21336 21338 18255 0 -1 4202560 580 0 0 0 302 12 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122185440040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21342] ppid=21336 vsize=9891232 CPUtime=3.15 cores=0,2,4,6
/proc/21338/task/21342/stat : 21342 (java) S 21336 21338 18255 0 -1 4202560 573 0 0 0 303 12 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122184387240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21343] ppid=21336 vsize=9891232 CPUtime=3.06 cores=0,2,4,6
/proc/21338/task/21343/stat : 21343 (java) S 21336 21338 18255 0 -1 4202560 400 0 0 0 297 9 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122183334952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21344] ppid=21336 vsize=9891232 CPUtime=3.18 cores=0,2,4,6
/proc/21338/task/21344/stat : 21344 (java) S 21336 21338 18255 0 -1 4202560 551 0 0 0 306 12 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122182282152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21345] ppid=21336 vsize=9891232 CPUtime=3.1 cores=0,2,4,6
/proc/21338/task/21345/stat : 21345 (java) S 21336 21338 18255 0 -1 4202560 430 0 0 0 295 15 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122181228840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21346] ppid=21336 vsize=9891232 CPUtime=3.29 cores=0,2,4,6
/proc/21338/task/21346/stat : 21346 (java) S 21336 21338 18255 0 -1 4202560 509 0 0 0 317 12 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122180176040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21347] ppid=21336 vsize=9891232 CPUtime=3.23 cores=0,2,4,6
/proc/21338/task/21347/stat : 21347 (java) S 21336 21338 18255 0 -1 4202560 480 0 0 0 311 12 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122179123752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21348] ppid=21336 vsize=9891232 CPUtime=3.17 cores=0,2,4,6
/proc/21338/task/21348/stat : 21348 (java) S 21336 21338 18255 0 -1 4202560 424 0 0 0 308 9 0 0 20 0 20 0 254127951 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122178070952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21349] ppid=21336 vsize=9891232 CPUtime=7.7 cores=0,2,4,6
/proc/21338/task/21349/stat : 21349 (java) R 21336 21338 18255 0 -1 4202560 1601 0 0 0 753 17 0 0 20 0 20 0 254127953 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122047630232 239873068167 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21338/tid=21350] ppid=21336 vsize=9891232 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21350/stat : 21350 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254127953 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122046576120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21351] ppid=21336 vsize=9891232 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21351/stat : 21351 (java) S 21336 21338 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254127953 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122045523720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21353] ppid=21336 vsize=9891232 CPUtime=2.04 cores=0,2,4,6
/proc/21338/task/21353/stat : 21353 (java) S 21336 21338 18255 0 -1 4202560 10028 0 0 0 201 3 0 0 20 0 20 0 254127956 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122043411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21354] ppid=21336 vsize=9891232 CPUtime=1.19 cores=0,2,4,6
/proc/21338/task/21354/stat : 21354 (java) S 21336 21338 18255 0 -1 4202560 8224 0 0 0 117 2 0 0 20 0 20 0 254127956 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122042365688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21355] ppid=21336 vsize=9891232 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21355/stat : 21355 (java) S 21336 21338 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254127956 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122041313912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21338/tid=21411] ppid=21336 vsize=9891232 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21411/stat : 21411 (java) S 21336 21338 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 254130200 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122037101736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21338/tid=21428] ppid=21336 vsize=9891232 CPUtime=1705.17 cores=0,2,4,6
/proc/21338/task/21428/stat : 21428 (java) R 21336 21338 18255 0 -1 4202560 2690 0 0 0 170472 45 0 0 20 0 20 0 254132179 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122036046912 140122050763969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21338/tid=21429] ppid=21336 vsize=9891232 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21429/stat : 21429 (java) S 21336 21338 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 254132180 10128621568 589472 33554432000 1073741824 1073778376 140733612081808 140122039207336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 9891232
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21338 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=948278
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=632599
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1800.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1760.95
CPU time (s): 1800.43
CPU user time (s): 1798.25
CPU system time (s): 2.18
CPU usage (%): 102.242
Max. virtual memory (cumulated for all children) (KiB): 9891232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 2.6326
maximum resident set size= 2357904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86785
involuntary context switches= 50428
runsolver used 6.24105 second user time and 14.1129 second system time
The end