runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689716-1337884530/watcher-3689716-1337884530 -o /tmp/evaluation-result-3689716-1337884530/solver-3689716-1337884530 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689716-1337884530.opb
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: 3.85 3.91 3.87 4/195 5265
/proc/meminfo: memFree=26562736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5265/stat : 5265 (java) D 5263 5265 718 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254578486 9515008 183 33554432000 1073741824 1073778376 140735247568400 140735247559432 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5265/statm: 2323 183 140 9 0 71 0
[startup+0.106084 s]
/proc/loadavg: 3.85 3.91 3.87 4/195 5265
/proc/meminfo: memFree=26562736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 4258 0 1 0 8 1 0 0 20 0 18 0 254578486 9787813888 5461 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2389603 5461 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200272 s]
/proc/loadavg: 3.85 3.91 3.87 4/195 5265
/proc/meminfo: memFree=26562736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 4926 0 1 0 24 1 0 0 20 0 18 0 254578486 9787813888 6959 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2389603 6961 2187 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558412
[startup+0.300301 s]
/proc/loadavg: 3.85 3.91 3.87 4/195 5265
/proc/meminfo: memFree=26562736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 7278 0 1 0 52 2 0 0 20 0 18 0 254578486 9787813888 9320 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2389603 9320 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.700213 s]
/proc/loadavg: 3.85 3.91 3.87 4/195 5265
/proc/meminfo: memFree=26562736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 17312 0 1 0 197 4 0 0 20 0 22 0 254578486 10060460032 21114 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 21114 2252 9 0 2446860 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 3.85 3.91 3.87 7/217 5287
/proc/meminfo: memFree=26452736/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=4.75 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 23470 0 1 0 466 9 0 0 20 0 22 0 254578486 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 52242 2286 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2465 0 1 0 33 1 0 0 20 0 22 0 254578487 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 254578489 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7977 0 0 0 109 2 0 0 20 0 22 0 254578492 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5281] ppid=5263 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/5265/task/5281/stat : 5281 (java) S 5263 5265 718 0 -1 4202560 11596 0 0 0 104 3 0 0 20 0 22 0 254578492 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181944764856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5282] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5282/stat : 5282 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181943711992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5283] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5283/stat : 5283 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181942659656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5284] ppid=5263 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/5265/task/5284/stat : 5284 (java) R 5263 5265 718 0 -1 4202560 36 0 0 0 103 0 0 0 20 0 22 0 254578524 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181941605304 140182448431490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5285] ppid=5263 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/5265/task/5285/stat : 5285 (java) R 5263 5265 718 0 -1 4202560 130 0 0 0 103 2 0 0 20 0 22 0 254578524 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181940550504 140182448399184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5286] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5286/stat : 5286 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181939500328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5287] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5287/stat : 5287 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 52242 33554432000 1073741824 1073778376 140737146381792 140181938447784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 9824668
[startup+3.10076 s]
/proc/loadavg: 3.85 3.91 3.87 5/217 5287
/proc/meminfo: memFree=26361756/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=8.25 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 23635 0 1 0 813 12 0 0 20 0 22 0 254578486 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 59025 2286 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2465 0 1 0 33 1 0 0 20 0 22 0 254578487 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254578488 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 101 0 0 0 7 0 0 0 20 0 22 0 254578489 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7977 0 0 0 120 2 0 0 20 0 22 0 254578492 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5281] ppid=5263 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/5265/task/5281/stat : 5281 (java) S 5263 5265 718 0 -1 4202560 11648 0 0 0 124 3 0 0 20 0 22 0 254578492 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181944764856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5282] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5282/stat : 5282 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181943711992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5283] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5283/stat : 5283 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181942659656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5284] ppid=5263 vsize=9824668 CPUtime=2.54 cores=1,3,5,7
/proc/5265/task/5284/stat : 5284 (java) R 5263 5265 718 0 -1 4202560 37 0 0 0 254 0 0 0 20 0 22 0 254578524 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181941604256 140182448365883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5285] ppid=5263 vsize=9824668 CPUtime=2.56 cores=1,3,5,7
/proc/5265/task/5285/stat : 5285 (java) R 5263 5265 718 0 -1 4202560 134 0 0 0 254 2 0 0 20 0 22 0 254578524 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181940550848 140182448563007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5286] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5286/stat : 5286 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181939500328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5287] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5287/stat : 5287 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 59025 33554432000 1073741824 1073778376 140737146381792 140181938447784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 9824668
[startup+6.30082 s]
/proc/loadavg: 3.78 3.89 3.87 5/217 5287
/proc/meminfo: memFree=26143172/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=14.57 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 23878 0 1 0 1440 17 0 0 20 0 22 0 254578486 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 93623 2286 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2465 0 1 0 33 1 0 0 20 0 22 0 254578487 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254578488 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 240 0 0 0 29 0 0 0 20 0 22 0 254578489 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7978 0 0 0 125 2 0 0 20 0 22 0 254578492 10060460032 93623 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/5265/statm: 2456167 883186 2287 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2496 0 1 0 36 3 0 0 20 0 22 0 254578487 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 642 0 0 0 223 18 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 653 0 0 0 191 12 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=2.31 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 1165 0 0 0 217 14 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 727 0 0 0 193 14 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 435 0 0 0 201 13 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 570 0 0 0 207 13 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 1003 0 0 0 192 13 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 697 0 0 0 210 15 0 0 20 0 22 0 254578488 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=51.38 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 2679 0 0 0 5119 19 0 0 20 0 22 0 254578489 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7980 0 0 0 133 2 0 0 20 0 22 0 254578492 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5281] ppid=5263 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/5265/task/5281/stat : 5281 (java) S 5263 5265 718 0 -1 4202560 12807 0 0 0 154 3 0 0 20 0 22 0 254578492 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181944764856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5282] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5282/stat : 5282 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181943711992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5283] ppid=5263 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/5265/task/5283/stat : 5283 (java) S 5263 5265 718 0 -1 4202560 46 0 0 0 23 17 0 0 20 0 22 0 254578493 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181942659656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5284] ppid=5263 vsize=9824668 CPUtime=763.55 cores=1,3,5,7
/proc/5265/task/5284/stat : 5284 (java) R 5263 5265 718 0 -1 4202560 137 0 0 0 76343 12 0 0 20 0 22 0 254578524 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181941605216 140182448334072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5285] ppid=5263 vsize=9824668 CPUtime=763.53 cores=1,3,5,7
/proc/5265/task/5285/stat : 5285 (java) R 5263 5265 718 0 -1 4202560 1031 0 0 0 76311 42 0 0 20 0 22 0 254578524 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181940550528 140182448517541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5286] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5286/stat : 5286 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181939500328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5287] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5287/stat : 5287 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 883186 33554432000 1073741824 1073778376 140737146381792 140181938447784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1603.78
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.96 3.94 3.91 5/218 5364
/proc/meminfo: memFree=25033232/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=1720.87 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 34426 0 1 0 171896 191 0 0 20 0 22 0 254578486 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 898646 2287 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2497 0 1 0 36 3 0 0 20 0 22 0 254578487 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 652 0 0 0 230 18 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 654 0 0 0 202 12 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=2.42 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 1165 0 0 0 228 14 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 764 0 0 0 215 14 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 439 0 0 0 211 14 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 570 0 0 0 216 13 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=2.16 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 1027 0 0 0 203 13 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 720 0 0 0 220 15 0 0 20 0 22 0 254578488 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=54.72 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 2742 0 0 0 5452 20 0 0 20 0 22 0 254578489 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7980 0 0 0 133 2 0 0 20 0 22 0 254578492 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5281] ppid=5263 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/5265/task/5281/stat : 5281 (java) S 5263 5265 718 0 -1 4202560 12807 0 0 0 154 3 0 0 20 0 22 0 254578492 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181944764856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5282] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5282/stat : 5282 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181943711992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5283] ppid=5263 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/5265/task/5283/stat : 5283 (java) S 5263 5265 718 0 -1 4202560 50 0 0 0 24 19 0 0 20 0 22 0 254578493 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181942659656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5284] ppid=5263 vsize=9824668 CPUtime=819.82 cores=1,3,5,7
/proc/5265/task/5284/stat : 5284 (java) R 5263 5265 718 0 -1 4202560 138 0 0 0 81969 13 0 0 20 0 22 0 254578524 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181941605216 140182448328167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5285] ppid=5263 vsize=9824668 CPUtime=819.79 cores=1,3,5,7
/proc/5265/task/5285/stat : 5285 (java) R 5263 5265 718 0 -1 4202560 1033 0 0 0 81936 43 0 0 20 0 22 0 254578524 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181940550688 140182448517569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5286] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5286/stat : 5286 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181939500328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5287] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5287/stat : 5287 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 898646 33554432000 1073741824 1073778376 140737146381792 140181938447784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1720.87
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+922.701 s]
/proc/loadavg: 3.90 3.93 3.90 5/218 5367
/proc/meminfo: memFree=24950940/32873852 swapFree=6848/6848
[pid=5265] ppid=5263 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/5265/stat : 5265 (java) S 5263 5265 718 0 -1 4202496 34484 0 1 0 179821 193 0 0 20 0 22 0 254578486 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140737146372928 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5265/statm: 2456167 905833 2287 9 0 2446860 0
[pid=5265/tid=5267] ppid=5263 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/5265/task/5267/stat : 5267 (java) S 5263 5265 718 0 -1 4202560 2498 0 1 0 36 4 0 0 20 0 22 0 254578487 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182596146168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=9824668 CPUtime=2.51 cores=1,3,5,7
/proc/5265/task/5268/stat : 5268 (java) S 5263 5265 718 0 -1 4202560 656 0 0 0 233 18 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182568598440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/5265/task/5269/stat : 5269 (java) S 5263 5265 718 0 -1 4202560 656 0 0 0 208 12 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182567545896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5270] ppid=5263 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/5265/task/5270/stat : 5270 (java) S 5263 5265 718 0 -1 4202560 1167 0 0 0 234 14 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182566492840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5271] ppid=5263 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/5265/task/5271/stat : 5271 (java) S 5263 5265 718 0 -1 4202560 764 0 0 0 218 14 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182436752168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5272] ppid=5263 vsize=9824668 CPUtime=2.28 cores=1,3,5,7
/proc/5265/task/5272/stat : 5272 (java) S 5263 5265 718 0 -1 4202560 440 0 0 0 214 14 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182435699112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5273] ppid=5263 vsize=9824668 CPUtime=2.31 cores=1,3,5,7
/proc/5265/task/5273/stat : 5273 (java) S 5263 5265 718 0 -1 4202560 570 0 0 0 218 13 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182434646568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5274] ppid=5263 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/5265/task/5274/stat : 5274 (java) S 5263 5265 718 0 -1 4202560 1041 0 0 0 207 13 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182433593512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5275] ppid=5263 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/5265/task/5275/stat : 5275 (java) S 5263 5265 718 0 -1 4202560 720 0 0 0 226 15 0 0 20 0 22 0 254578488 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140182432540968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5276] ppid=5263 vsize=9824668 CPUtime=56.42 cores=1,3,5,7
/proc/5265/task/5276/stat : 5276 (java) S 5263 5265 718 0 -1 4202560 2773 0 0 0 5621 21 0 0 20 0 22 0 254578489 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181950028648 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5277] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5277/stat : 5277 (java) S 5263 5265 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181948974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5278] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5278/stat : 5278 (java) S 5263 5265 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254578490 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181947921800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5279] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5279/stat : 5279 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578492 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181946870544 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5280] ppid=5263 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/5265/task/5280/stat : 5280 (java) S 5263 5265 718 0 -1 4202560 7980 0 0 0 133 2 0 0 20 0 22 0 254578492 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181945817400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5281] ppid=5263 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/5265/task/5281/stat : 5281 (java) S 5263 5265 718 0 -1 4202560 12807 0 0 0 154 3 0 0 20 0 22 0 254578492 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181944764856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5265/tid=5282] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5282/stat : 5282 (java) S 5263 5265 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254578493 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181943711992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5283] ppid=5263 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/5265/task/5283/stat : 5283 (java) S 5263 5265 718 0 -1 4202560 52 0 0 0 25 19 0 0 20 0 22 0 254578493 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181942659656 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5284] ppid=5263 vsize=9824668 CPUtime=858.34 cores=1,3,5,7
/proc/5265/task/5284/stat : 5284 (java) R 5263 5265 718 0 -1 4202560 138 0 0 0 85820 14 0 0 20 0 22 0 254578524 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181941605216 140182448498970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5265/tid=5285] ppid=5263 vsize=9824668 CPUtime=858.3 cores=1,3,5,7
/proc/5265/task/5285/stat : 5285 (java) R 5263 5265 718 0 -1 4202560 1034 0 0 0 85786 44 0 0 20 0 22 0 254578524 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181940550304 140182449046111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5265/tid=5286] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5286/stat : 5286 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181939500328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5265/tid=5287] ppid=5263 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/5265/task/5287/stat : 5287 (java) S 5263 5265 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254578525 10060460032 905833 33554432000 1073741824 1073778376 140737146381792 140181938447784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5265 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=661322
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=373639
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 922.783
CPU time (s): 1800.14
CPU user time (s): 1798.21
CPU system time (s): 1.93
CPU usage (%): 195.077
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 2.37364
maximum resident set size= 3623456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34517
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25165
involuntary context switches= 33595
runsolver used 3.38149 second user time and 8.82466 second system time
The end