runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4110369-1466346434/watcher-4110369-1466346434 -o /tmp/evaluation-result-4110369-1466346434/solver-4110369-1466346434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466341826-28147 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110369-1466346434.wbo
pid=4351
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: 2.56 2.27 2.19 3/196 4354
/proc/meminfo: memFree=30236068/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (java) R 4351 4354 28131 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 36693794 278528 34 33554432000 1073741824 1073778376 140734022112016 140736778443960 247055084725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 68 34 25 9 0 25 0
[startup+0.100059 s]
/proc/loadavg: 2.56 2.27 2.19 3/196 4354
/proc/meminfo: memFree=30236068/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 36693794 9787879424 6034 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200212 s]
/proc/loadavg: 2.56 2.27 2.19 3/196 4354
/proc/meminfo: memFree=30236068/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 4709 0 1 0 22 1 0 0 20 0 18 0 36693794 9787879424 6808 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2389619 6808 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300208 s]
/proc/loadavg: 2.56 2.27 2.19 3/196 4354
/proc/meminfo: memFree=30236068/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 5763 0 1 0 45 1 0 0 20 0 18 0 36693794 9787879424 8401 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2389619 8401 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700287 s]
/proc/loadavg: 2.56 2.27 2.19 3/196 4354
/proc/meminfo: memFree=30236068/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 9304 0 1 0 131 4 0 0 20 0 19 0 36693794 10060525568 13728 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 13728 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 2.75 2.32 2.21 2/215 4379
/proc/meminfo: memFree=30179628/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 14294 0 1 0 176 9 0 0 20 0 19 0 36693794 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 18347 2273 9 0 2446860 0
[pid=4354/tid=4356] ppid=4351 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2451 0 1 0 34 2 0 0 20 0 19 0 36693795 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651946599288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 4365 0 0 0 54 0 0 0 20 0 19 0 36693800 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6134 0 0 0 51 2 0 0 20 0 19 0 36693800 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693831 10060525568 18347 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824732
[startup+3.10086 s]
/proc/loadavg: 2.75 2.32 2.21 2/215 4385
/proc/meminfo: memFree=30162640/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 15329 0 1 0 203 13 0 0 20 0 19 0 36693794 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 23981 2275 9 0 2446860 0
[pid=4354/tid=4356] ppid=4351 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2454 0 1 0 36 2 0 0 20 0 19 0 36693795 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651946599288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 5367 0 0 0 66 0 0 0 20 0 19 0 36693800 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6136 0 0 0 59 2 0 0 20 0 19 0 36693800 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693831 10060525568 23981 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.3009 s]
/proc/loadavg: 2.61 2.29 2.20 2/215 4406
/proc/meminfo: memFree=30090444/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=3.4 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 15722 0 1 0 316 24 0 0 20 0 19 0 36693794 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 43980 2290 9 0 2446860 0
[pid=4354/tid=4356] ppid=4351 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2459 0 1 0 39 2 0 0 20 0 19 0 36693795 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651946599288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36693796 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36693797 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 5602 0 0 0 73 2 0 0 20 0 19 0 36693800 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6160 0 0 0 80 2 0 0 20 0 19 0 36693800 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36693800 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36693831 10060525568 43980 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2828 0 1 0 99 22 0 0 20 0 21 0 36693795 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651946599416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=5.39 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 1373 0 0 0 499 40 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 1292 0 0 0 515 43 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=5.13 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1182 0 0 0 472 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 960 0 0 0 458 38 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=5.17 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 927 0 0 0 478 39 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=5.37 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 1193 0 0 0 496 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=5.35 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 924 0 0 0 499 36 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=5.29 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 1020 0 0 0 494 35 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=7.84 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 3155 0 0 0 773 11 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 6316 0 0 0 97 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6196 0 0 0 126 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 104 0 0 0 22 23 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36693831 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4513] ppid=4351 vsize=9824732 CPUtime=1734.94 cores=0,2,4,6
/proc/4354/task/4513/stat : 4513 (java) R 4351 4354 28131 0 -1 4202560 4524 0 0 0 173448 46 0 0 20 0 21 0 36696173 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651760258000 139651818614365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4514] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4514/stat : 4514 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36696175 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651762365224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782.7 s]
/proc/loadavg: 3.04 2.87 2.46 4/218 4639
/proc/meminfo: memFree=26687628/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 33794 0 1 0 179531 472 0 0 20 0 21 0 36693794 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 1058650 2302 9 0 2446860 0
[pid=4354/tid=4356] ppid=4351 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2828 0 1 0 99 22 0 0 20 0 21 0 36693795 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651946599416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=5.39 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 1373 0 0 0 499 40 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 1292 0 0 0 515 43 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=5.13 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1182 0 0 0 472 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 960 0 0 0 458 38 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=5.17 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 927 0 0 0 478 39 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=5.37 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 1193 0 0 0 496 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=5.35 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 924 0 0 0 499 36 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=5.29 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 1020 0 0 0 494 35 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=7.84 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 3155 0 0 0 773 11 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 6316 0 0 0 97 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6196 0 0 0 126 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 104 0 0 0 22 23 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36693831 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4513] ppid=4351 vsize=9824732 CPUtime=1735.34 cores=0,2,4,6
/proc/4354/task/4513/stat : 4513 (java) R 4351 4354 28131 0 -1 4202560 4524 0 0 0 173488 46 0 0 20 0 21 0 36696173 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651760258000 139651818752465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4514] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4514/stat : 4514 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36696175 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651762365224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4354 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 3.04 2.87 2.46 4/218 4639
/proc/meminfo: memFree=26687628/32872528 swapFree=249320/249320
[pid=4354] ppid=4351 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/4354/stat : 4354 (java) S 4351 4354 28131 0 -1 4202496 33794 0 1 0 179531 472 0 0 20 0 21 0 36693794 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 140734022103152 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4354/statm: 2456183 1058650 2302 9 0 2446860 0
[pid=4354/tid=4356] ppid=4351 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/4354/task/4356/stat : 4356 (java) S 4351 4354 28131 0 -1 4202560 2828 0 1 0 99 22 0 0 20 0 21 0 36693795 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651946599416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4357] ppid=4351 vsize=9824732 CPUtime=5.39 cores=0,2,4,6
/proc/4354/task/4357/stat : 4357 (java) S 4351 4354 28131 0 -1 4202560 1373 0 0 0 499 40 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651790355240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4358] ppid=4351 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/4354/task/4358/stat : 4358 (java) S 4351 4354 28131 0 -1 4202560 1292 0 0 0 515 43 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651789302440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4354/tid=4359] ppid=4351 vsize=9824732 CPUtime=5.13 cores=0,2,4,6
/proc/4354/task/4359/stat : 4359 (java) S 4351 4354 28131 0 -1 4202560 1182 0 0 0 472 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651788250152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4360] ppid=4351 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/4354/task/4360/stat : 4360 (java) S 4351 4354 28131 0 -1 4202560 960 0 0 0 458 38 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651787197352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4361] ppid=4351 vsize=9824732 CPUtime=5.17 cores=0,2,4,6
/proc/4354/task/4361/stat : 4361 (java) S 4351 4354 28131 0 -1 4202560 927 0 0 0 478 39 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651786144040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4362] ppid=4351 vsize=9824732 CPUtime=5.37 cores=0,2,4,6
/proc/4354/task/4362/stat : 4362 (java) S 4351 4354 28131 0 -1 4202560 1193 0 0 0 496 41 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651785091240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4363] ppid=4351 vsize=9824732 CPUtime=5.35 cores=0,2,4,6
/proc/4354/task/4363/stat : 4363 (java) S 4351 4354 28131 0 -1 4202560 924 0 0 0 499 36 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651784038952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4354/tid=4364] ppid=4351 vsize=9824732 CPUtime=5.29 cores=0,2,4,6
/proc/4354/task/4364/stat : 4364 (java) S 4351 4354 28131 0 -1 4202560 1020 0 0 0 494 35 0 0 20 0 21 0 36693796 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651782986152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4365] ppid=4351 vsize=9824732 CPUtime=7.84 cores=0,2,4,6
/proc/4354/task/4365/stat : 4365 (java) S 4351 4354 28131 0 -1 4202560 3155 0 0 0 773 11 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651770788584 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4366] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4366/stat : 4366 (java) S 4351 4354 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651769734648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4367] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4367/stat : 4367 (java) S 4351 4354 28131 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 21 0 36693797 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651768682248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4368] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4368/stat : 4368 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651767630736 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4369] ppid=4351 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/4354/task/4369/stat : 4369 (java) S 4351 4354 28131 0 -1 4202560 6316 0 0 0 97 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651766577336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4370] ppid=4351 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/4354/task/4370/stat : 4370 (java) S 4351 4354 28131 0 -1 4202560 6196 0 0 0 126 2 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651765524536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4371] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4371/stat : 4371 (java) S 4351 4354 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651764472440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4372] ppid=4351 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/4354/task/4372/stat : 4372 (java) S 4351 4354 28131 0 -1 4202560 104 0 0 0 22 23 0 0 20 0 21 0 36693800 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651763419848 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4354/tid=4376] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4376/stat : 4376 (java) S 4351 4354 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36693831 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651759207976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4513] ppid=4351 vsize=9824732 CPUtime=1735.34 cores=0,2,4,6
/proc/4354/task/4513/stat : 4513 (java) R 4351 4354 28131 0 -1 4202560 4524 0 0 0 173488 46 0 0 20 0 21 0 36696173 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651760258000 139651818752465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4354/tid=4514] ppid=4351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4354/task/4514/stat : 4514 (java) S 4351 4354 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36696175 10060525568 1058650 33554432000 1073741824 1073778376 140734022112016 139651762365224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4354 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=889743
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=210207
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1782.75
CPU time (s): 1800.03
CPU user time (s): 1795.31
CPU system time (s): 4.72
CPU usage (%): 100.969
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.89
system time used= 5.21021
maximum resident set size= 4241704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33829
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79150
involuntary context switches= 55103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.262 second user time and 11.2743 second system time
The end