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-4091947-1466077827/watcher-4091947-1466077827 -o /tmp/evaluation-result-4091947-1466077827/solver-4091947-1466077827 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466075580-10198 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091947-1466077827.wbo
pid=16147
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.41 2.22 2.24 3/197 16150
/proc/meminfo: memFree=29846332/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16150/stat : 16150 (java) R 16147 16150 8056 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 9829431 2560000 46 33554432000 1073741824 1073778376 140733416897168 140733416894296 214360485159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16150/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 2.41 2.22 2.24 3/197 16150
/proc/meminfo: memFree=29846332/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 4267 0 1 0 6 1 0 0 20 0 18 0 9829431 9787879424 5376 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2389619 5376 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200254 s]
/proc/loadavg: 2.41 2.22 2.24 3/197 16150
/proc/meminfo: memFree=29846332/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 4725 0 1 0 21 1 0 0 20 0 18 0 9829431 9787879424 6797 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2389619 6797 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300228 s]
/proc/loadavg: 2.41 2.22 2.24 3/197 16150
/proc/meminfo: memFree=29846332/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 5648 0 1 0 43 1 0 0 20 0 18 0 9829431 9787879424 8405 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2389619 8405 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700285 s]
/proc/loadavg: 2.41 2.22 2.24 3/197 16150
/proc/meminfo: memFree=29846332/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 10264 0 1 0 115 4 0 0 20 0 19 0 9829431 10060525568 12702 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 12702 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 2.38 2.21 2.24 3/216 16175
/proc/meminfo: memFree=29784856/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 19175 0 1 0 203 9 0 0 20 0 19 0 9829431 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 20737 2262 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2447 0 1 0 32 0 0 0 20 0 19 0 9829432 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655632905080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9829435 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) R 16147 16150 8056 0 -1 4202560 8178 0 0 0 75 2 0 0 20 0 19 0 9829438 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655452891712 139655640655958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) R 16147 16150 8056 0 -1 4202560 7197 0 0 0 60 1 0 0 20 0 19 0 9829438 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655451816280 139655638747638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9829467 10060525568 20737 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 2.38 2.21 2.24 2/216 16181
/proc/meminfo: memFree=29766960/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 21523 0 1 0 260 12 0 0 20 0 19 0 9829431 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 28937 2268 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2448 0 1 0 33 0 0 0 20 0 19 0 9829432 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655632905080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9829435 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) S 16147 16150 8056 0 -1 4202560 8182 0 0 0 89 2 0 0 20 0 19 0 9829438 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655452891832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) S 16147 16150 8056 0 -1 4202560 9503 0 0 0 78 2 0 0 20 0 19 0 9829438 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655451839032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9829467 10060525568 28937 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9824732
[startup+6.30083 s]
/proc/loadavg: 2.27 2.19 2.23 2/216 16202
/proc/meminfo: memFree=29702948/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 21851 0 1 0 274 15 0 0 20 0 19 0 9829431 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 39678 2272 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2453 0 1 0 35 0 0 0 20 0 19 0 9829432 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655632905080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9829434 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9829435 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9829436 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) S 16147 16150 8056 0 -1 4202560 8184 0 0 0 97 2 0 0 20 0 19 0 9829438 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655452891832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) S 16147 16150 8056 0 -1 4202560 9754 0 0 0 80 2 0 0 20 0 19 0 9829438 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655451839032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9829438 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9829467 10060525568 39678 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 9824732
heavy processes:
################
# More data... #
################
/proc/meminfo: memFree=25940452/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=1799.62 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 39435 0 1 0 179690 272 0 0 20 0 21 0 9829431 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 644536 2297 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2587 0 1 0 98 39 0 0 20 0 21 0 9829432 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655632905128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 669 0 0 0 526 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 528 0 0 0 525 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 756 0 0 0 516 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 501 0 0 0 491 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=5.54 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 591 0 0 0 541 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 622 0 0 0 504 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 560 0 0 0 520 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 609 0 0 0 519 14 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=6.21 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 2171 0 0 0 605 16 0 0 20 0 21 0 9829435 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) S 16147 16150 8056 0 -1 4202560 10135 0 0 0 179 2 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655452891832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) S 16147 16150 8056 0 -1 4202560 13195 0 0 0 121 3 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655451839032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 9829467 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16300] ppid=16147 vsize=9824732 CPUtime=1742.02 cores=1,3,5,7
/proc/16150/task/16300/stat : 16300 (java) R 16147 16150 8056 0 -1 4202560 4619 0 0 0 174141 61 0 0 20 0 21 0 9831631 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655445519520 139655505306893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16301] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16301/stat : 16301 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9831632 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655448679848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782.7 s]
/proc/loadavg: 2.28 2.38 2.32 4/218 17446
/proc/meminfo: memFree=25940452/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 39435 0 1 0 179730 272 0 0 20 0 21 0 9829431 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 644536 2297 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2587 0 1 0 98 39 0 0 20 0 21 0 9829432 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655632905128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 669 0 0 0 526 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 528 0 0 0 525 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 756 0 0 0 516 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 501 0 0 0 491 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=5.54 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 591 0 0 0 541 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 622 0 0 0 504 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 560 0 0 0 520 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 609 0 0 0 519 14 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=6.21 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 2171 0 0 0 605 16 0 0 20 0 21 0 9829435 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) S 16147 16150 8056 0 -1 4202560 10135 0 0 0 179 2 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655452891832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) S 16147 16150 8056 0 -1 4202560 13195 0 0 0 121 3 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655451839032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 9829467 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16300] ppid=16147 vsize=9824732 CPUtime=1742.42 cores=1,3,5,7
/proc/16150/task/16300/stat : 16300 (java) R 16147 16150 8056 0 -1 4202560 4619 0 0 0 174181 61 0 0 20 0 21 0 9831631 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655445519520 139655505388031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16301] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16301/stat : 16301 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9831632 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655448679848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 16150 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.28 2.38 2.32 4/218 17446
/proc/meminfo: memFree=25940452/32872528 swapFree=1286144/1433312
[pid=16150] ppid=16147 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/16150/stat : 16150 (java) S 16147 16150 8056 0 -1 4202496 39435 0 1 0 179730 272 0 0 20 0 21 0 9829431 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 140736350137280 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16150/statm: 2456183 644536 2297 9 0 2446860 0
[pid=16150/tid=16152] ppid=16147 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/16150/task/16152/stat : 16152 (java) S 16147 16150 8056 0 -1 4202560 2587 0 1 0 98 39 0 0 20 0 21 0 9829432 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655632905128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16153] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16153/stat : 16153 (java) S 16147 16150 8056 0 -1 4202560 669 0 0 0 526 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655476881704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16154] ppid=16147 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/16150/task/16154/stat : 16154 (java) S 16147 16150 8056 0 -1 4202560 528 0 0 0 525 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655475828904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16155] ppid=16147 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/16150/task/16155/stat : 16155 (java) S 16147 16150 8056 0 -1 4202560 756 0 0 0 516 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655474776616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16156] ppid=16147 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/16150/task/16156/stat : 16156 (java) S 16147 16150 8056 0 -1 4202560 501 0 0 0 491 11 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655473723816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16157] ppid=16147 vsize=9824732 CPUtime=5.54 cores=1,3,5,7
/proc/16150/task/16157/stat : 16157 (java) S 16147 16150 8056 0 -1 4202560 591 0 0 0 541 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655472671528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16158] ppid=16147 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/16150/task/16158/stat : 16158 (java) S 16147 16150 8056 0 -1 4202560 622 0 0 0 504 13 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655471618728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16159] ppid=16147 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/16150/task/16159/stat : 16159 (java) S 16147 16150 8056 0 -1 4202560 560 0 0 0 520 12 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655470566440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16150/tid=16160] ppid=16147 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/16150/task/16160/stat : 16160 (java) S 16147 16150 8056 0 -1 4202560 609 0 0 0 519 14 0 0 20 0 21 0 9829434 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655469513640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16161] ppid=16147 vsize=9824732 CPUtime=6.21 cores=1,3,5,7
/proc/16150/task/16161/stat : 16161 (java) S 16147 16150 8056 0 -1 4202560 2171 0 0 0 605 16 0 0 20 0 21 0 9829435 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655457102056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16162] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16162/stat : 16162 (java) S 16147 16150 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655456048120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16163] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16163/stat : 16163 (java) S 16147 16150 8056 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 9829436 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655454995720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16150/tid=16164] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16164/stat : 16164 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655453944208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16165] ppid=16147 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/16150/task/16165/stat : 16165 (java) S 16147 16150 8056 0 -1 4202560 10135 0 0 0 179 2 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655452891832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16166] ppid=16147 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/16150/task/16166/stat : 16166 (java) S 16147 16150 8056 0 -1 4202560 13195 0 0 0 121 3 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655451839032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16167] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16167/stat : 16167 (java) S 16147 16150 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655450786936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16168] ppid=16147 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/16150/task/16168/stat : 16168 (java) S 16147 16150 8056 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 21 0 9829438 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655449734344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16150/tid=16171] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16171/stat : 16171 (java) S 16147 16150 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 9829467 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655446574248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16300] ppid=16147 vsize=9824732 CPUtime=1742.42 cores=1,3,5,7
/proc/16150/task/16300/stat : 16300 (java) R 16147 16150 8056 0 -1 4202560 4619 0 0 0 174181 61 0 0 20 0 21 0 9831631 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655445519520 139655505388031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16150/tid=16301] ppid=16147 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16150/task/16301/stat : 16301 (java) S 16147 16150 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9831632 10060525568 644536 33554432000 1073741824 1073778376 140736350146144 139655448679848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00999975
# lost CPU user time (s): 0.00999975
# lost CPU system time (s): 0
Real time (s): 1782.74
CPU time (s): 1801.13
CPU user time (s): 1797.82
CPU system time (s): 3.3125
CPU usage (%): 101.031
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.81
system time used= 3.3125
maximum resident set size= 2585100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39473
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86707
involuntary context switches= 89596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6714 second user time and 15.0927 second system time
The end