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-4110413-1466347368/watcher-4110413-1466347368 -o /tmp/evaluation-result-4110413-1466347368/solver-4110413-1466347368 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110413-1466347368.wbo
pid=2268
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.26 2.22 3/196 2271
/proc/meminfo: memFree=29067628/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/2271/stat : 2271 (java) R 2268 2271 29904 0 -1 4202496 263 0 0 0 0 0 0 0 20 0 1 0 36783652 9379840 122 33554432000 1073741824 1073778376 140734770871376 140734770868504 259115749856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2271/statm: 2290 125 97 9 0 38 0
[startup+0.100059 s]
/proc/loadavg: 2.23 2.26 2.22 3/196 2271
/proc/meminfo: memFree=29067628/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 4327 0 1 0 6 1 0 0 20 0 18 0 36783652 9787879424 5450 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2389619 5450 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200228 s]
/proc/loadavg: 2.23 2.26 2.22 3/196 2271
/proc/meminfo: memFree=29067628/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 4709 0 1 0 20 1 0 0 20 0 18 0 36783652 9787879424 6801 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2389619 6801 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300332 s]
/proc/loadavg: 2.23 2.26 2.22 3/196 2271
/proc/meminfo: memFree=29067628/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 5565 0 1 0 42 2 0 0 20 0 18 0 36783652 9787879424 8338 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2389619 8338 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700298 s]
/proc/loadavg: 2.23 2.26 2.22 3/196 2271
/proc/meminfo: memFree=29067628/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 13034 0 1 0 154 5 0 0 20 0 19 0 36783652 10060525568 15342 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 15342 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9824732
[startup+1.50075 s]
/proc/loadavg: 2.23 2.26 2.22 2/215 2296
/proc/meminfo: memFree=29008012/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 16262 0 1 0 228 8 0 0 20 0 22 0 36783652 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 20641 2274 9 0 2446860 0
[pid=2271/tid=2273] ppid=2268 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2460 0 1 0 33 2 0 0 20 0 22 0 36783654 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375926088568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 20641 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36783656 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36783657 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36783657 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) R 2268 2271 29904 0 -1 4202560 5655 0 0 0 58 1 0 0 20 0 22 0 36783659 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375745423928 140375933849217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) R 2268 2271 29904 0 -1 4202560 6796 0 0 0 72 1 0 0 20 0 22 0 36783659 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375744371384 140375932238186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36783690 10060525568 21153 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 2.13 2.24 2.22 2/215 2302
/proc/meminfo: memFree=28944412/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=3.96 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 17748 0 1 0 379 17 0 0 20 0 19 0 36783652 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 44895 2289 9 0 2446860 0
[pid=2271/tid=2273] ppid=2268 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2463 0 1 0 35 2 0 0 20 0 19 0 36783654 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375926088568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36783655 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36783656 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36783657 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36783657 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36783659 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) S 2268 2271 29904 0 -1 4202560 7034 0 0 0 92 2 0 0 20 0 19 0 36783659 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375745423928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) S 2268 2271 29904 0 -1 4202560 6803 0 0 0 90 1 0 0 20 0 19 0 36783659 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375744371384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36783659 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36783659 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36783690 10060525568 44895 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9824732
[startup+6.30092 s]
/proc/loadavg: 2.13 2.24 2.22 4/218 2320
/proc/meminfo: memFree=28876680/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=7.59 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 18071 0 1 0 734 25 0 0 20 0 22 0 36783652 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 49406 2294 9 0 2446860 0
[pid=2271/tid=2273] ppid=2268 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2464 0 1 0 37 2 0 0 20 0 22 0 36783654 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375926088568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 36783655 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36783656 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36783657 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36783657 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) S 2268 2271 29904 0 -1 4202560 7285 0 0 0 101 2 0 0 20 0 22 0 36783659 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375745423928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) S 2268 2271 29904 0 -1 4202560 6807 0 0 0 98 1 0 0 20 0 22 0 36783659 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375744371384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36783659 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36783690 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2318] ppid=2268 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/2271/task/2318/stat : 2318 (java) R 2268 2271 29904 0 -1 4202560 3 0 0 0 132 0 0 0 20 0 22 0 36784146 10060525568 49406 33554432000 1073741824 1073778376 140736120289040 140375739097248 140375788421033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2319] ppid=2268 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
################
# More data... #
################
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2523 0 1 0 88 25 0 0 20 0 21 0 36783654 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375926088680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=4.47 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 1097 0 0 0 407 40 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=4.66 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 779 0 0 0 428 38 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=4.56 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 953 0 0 0 414 42 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=4.78 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 1336 0 0 0 438 40 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=4.69 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 896 0 0 0 432 37 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 837 0 0 0 397 38 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=4.39 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 1159 0 0 0 395 44 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=4.14 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 993 0 0 0 374 40 0 0 20 0 21 0 36783655 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=6.93 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 3053 0 0 0 688 5 0 0 20 0 21 0 36783656 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) S 2268 2271 29904 0 -1 4202560 7844 0 0 0 124 2 0 0 20 0 21 0 36783659 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375745423928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) S 2268 2271 29904 0 -1 4202560 13627 0 0 0 171 2 0 0 20 0 21 0 36783659 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375744371384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 99 0 0 0 19 23 0 0 20 0 21 0 36783659 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 36783690 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2406] ppid=2268 vsize=9824732 CPUtime=1678.43 cores=1,3,5,7
/proc/2271/task/2406/stat : 2406 (java) R 2268 2271 29904 0 -1 4202560 958 0 0 0 167804 39 0 0 20 0 21 0 36785971 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375740157584 140375789040825 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2407] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2407/stat : 2407 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36785975 10060525568 915839 33554432000 1073741824 1073778376 140736120289040 140375739106728 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.91
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1774.1 s]
/proc/loadavg: 1.19 1.43 2.05 2/190 2584
/proc/meminfo: memFree=26399220/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 38140 0 1 0 179541 460 0 0 20 0 21 0 36783652 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 928136 2302 9 0 2446860 0
[pid=2271/tid=2273] ppid=2268 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2524 0 1 0 89 25 0 0 20 0 21 0 36783654 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375926088680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 1108 0 0 0 429 41 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 783 0 0 0 442 38 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 954 0 0 0 428 42 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 1344 0 0 0 460 40 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 902 0 0 0 452 37 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=4.63 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 845 0 0 0 425 38 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 1164 0 0 0 416 45 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 1001 0 0 0 402 40 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=6.93 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 3057 0 0 0 688 5 0 0 20 0 21 0 36783656 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) S 2268 2271 29904 0 -1 4202560 7844 0 0 0 124 2 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375745423928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) S 2268 2271 29904 0 -1 4202560 13627 0 0 0 171 2 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375744371384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 36783690 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2406] ppid=2268 vsize=9824732 CPUtime=1729.66 cores=1,3,5,7
/proc/2271/task/2406/stat : 2406 (java) R 2268 2271 29904 0 -1 4202560 959 0 0 0 172926 40 0 0 20 0 21 0 36785971 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375740157568 140375789040788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2407] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2407/stat : 2407 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36785975 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375739106728 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 2271 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1774.1 s]
/proc/loadavg: 1.19 1.43 2.05 2/190 2584
/proc/meminfo: memFree=26399220/32872528 swapFree=1498360/1645528
[pid=2271] ppid=2268 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/2271/stat : 2271 (java) S 2268 2271 29904 0 -1 4202496 38140 0 1 0 179541 460 0 0 20 0 21 0 36783652 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140736120280176 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2271/statm: 2456183 928136 2302 9 0 2446860 0
[pid=2271/tid=2273] ppid=2268 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/2271/task/2273/stat : 2273 (java) S 2268 2271 29904 0 -1 4202560 2524 0 1 0 89 25 0 0 20 0 21 0 36783654 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375926088680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2274] ppid=2268 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/2271/task/2274/stat : 2274 (java) S 2268 2271 29904 0 -1 4202560 1108 0 0 0 429 41 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375915149480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2275] ppid=2268 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/2271/task/2275/stat : 2275 (java) S 2268 2271 29904 0 -1 4202560 783 0 0 0 442 38 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375914096936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2276] ppid=2268 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/2271/task/2276/stat : 2276 (java) S 2268 2271 29904 0 -1 4202560 954 0 0 0 428 42 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375913044392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2277] ppid=2268 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/2271/task/2277/stat : 2277 (java) S 2268 2271 29904 0 -1 4202560 1344 0 0 0 460 40 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375911991848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2278] ppid=2268 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/2271/task/2278/stat : 2278 (java) S 2268 2271 29904 0 -1 4202560 902 0 0 0 452 37 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375910939304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2279] ppid=2268 vsize=9824732 CPUtime=4.63 cores=1,3,5,7
/proc/2271/task/2279/stat : 2279 (java) S 2268 2271 29904 0 -1 4202560 845 0 0 0 425 38 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375909886760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2280] ppid=2268 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/2271/task/2280/stat : 2280 (java) S 2268 2271 29904 0 -1 4202560 1164 0 0 0 416 45 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375908834216 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2281] ppid=2268 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/2271/task/2281/stat : 2281 (java) S 2268 2271 29904 0 -1 4202560 1001 0 0 0 402 40 0 0 20 0 21 0 36783655 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375907781672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2271/tid=2282] ppid=2268 vsize=9824732 CPUtime=6.93 cores=1,3,5,7
/proc/2271/task/2282/stat : 2282 (java) S 2268 2271 29904 0 -1 4202560 3057 0 0 0 688 5 0 0 20 0 21 0 36783656 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375749634152 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2283] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2283/stat : 2283 (java) S 2268 2271 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375748580472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2284] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2284/stat : 2284 (java) S 2268 2271 29904 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 36783657 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375747527816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2285] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2285/stat : 2285 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375746476560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2286] ppid=2268 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/2271/task/2286/stat : 2286 (java) S 2268 2271 29904 0 -1 4202560 7844 0 0 0 124 2 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375745423928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2287] ppid=2268 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/2271/task/2287/stat : 2287 (java) S 2268 2271 29904 0 -1 4202560 13627 0 0 0 171 2 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375744371384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2288] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2288/stat : 2288 (java) S 2268 2271 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375743319032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2271/tid=2289] ppid=2268 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/2271/task/2289/stat : 2289 (java) S 2268 2271 29904 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 21 0 36783659 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375742266696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2293] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2293/stat : 2293 (java) S 2268 2271 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 36783690 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375738053800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2271/tid=2406] ppid=2268 vsize=9824732 CPUtime=1729.66 cores=1,3,5,7
/proc/2271/task/2406/stat : 2406 (java) R 2268 2271 29904 0 -1 4202560 959 0 0 0 172926 40 0 0 20 0 21 0 36785971 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375740157568 140375789040788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2271/tid=2407] ppid=2268 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2271/task/2407/stat : 2407 (java) S 2268 2271 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36785975 10060525568 928136 33554432000 1073741824 1073778376 140736120289040 140375739106728 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2271 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=848749
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=20236
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1774.15
CPU time (s): 1800.01
CPU user time (s): 1795.41
CPU system time (s): 4.6
CPU usage (%): 101.458
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.85
system time used= 5.02024
maximum resident set size= 3712644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38175
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76621
involuntary context switches= 33552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6224 second user time and 13.9619 second system time
The end