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-4119425-1467255663/watcher-4119425-1467255663 -o /tmp/evaluation-result-4119425-1467255663/solver-4119425-1467255663 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119425-1467255663.opb
pid=8985
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: 4.08 4.10 4.00 4/198 8988
/proc/meminfo: memFree=27824420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8988/stat : 8988 (java) R 8985 8988 5416 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 4597352 278528 33 33554432000 1073741824 1073778376 140733346483648 140733856022712 251134045479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 68 33 25 9 0 25 0
[startup+0.10016 s]
/proc/loadavg: 4.08 4.10 4.00 4/198 8988
/proc/meminfo: memFree=27824420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 4421 0 1 0 8 1 0 0 20 0 18 0 4597352 9787879424 6042 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2389619 6042 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20033 s]
/proc/loadavg: 4.08 4.10 4.00 4/198 8988
/proc/meminfo: memFree=27824420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 4590 0 1 0 21 2 0 0 20 0 18 0 4597352 9787879424 7212 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2389619 7212 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300338 s]
/proc/loadavg: 4.08 4.10 4.00 4/198 8988
/proc/meminfo: memFree=27824420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 4780 0 1 0 26 4 0 0 20 0 19 0 4597352 10060525568 8369 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 8369 2222 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732
[startup+0.700277 s]
/proc/loadavg: 4.08 4.10 4.00 4/198 8988
/proc/meminfo: memFree=27824420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 4780 0 1 0 26 4 0 0 20 0 19 0 4597352 10060525568 8369 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 8369 2222 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 3.92 4.06 3.99 3/217 9013
/proc/meminfo: memFree=27792656/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 12561 0 1 0 106 9 0 0 20 0 19 0 4597352 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 15892 2244 9 0 2446860 0
[pid=8988/tid=8990] ppid=8985 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/8988/task/8990/stat : 8990 (java) S 8985 8988 5416 0 -1 4202560 2423 0 1 0 16 2 0 0 20 0 19 0 4597353 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716976780152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8991] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8991/stat : 8991 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716965841448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8992] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8992/stat : 8992 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716818844072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8993] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) R 8985 8988 5416 0 -1 4202560 5401 0 0 0 31 0 0 0 20 0 19 0 4597358 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716796097832 139716982624448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 3380 0 0 0 24 0 0 0 20 0 19 0 4597358 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4597374 10060525568 15892 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9824732
[startup+3.10082 s]
/proc/loadavg: 3.92 4.06 3.99 3/217 9019
/proc/meminfo: memFree=27759296/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 19714 0 1 0 301 18 0 0 20 0 19 0 4597352 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 35252 2271 9 0 2446860 0
[pid=8988/tid=8990] ppid=8985 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/8988/task/8990/stat : 8990 (java) S 8985 8988 5416 0 -1 4202560 2424 0 1 0 17 2 0 0 20 0 19 0 4597353 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716976780152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8991] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8991/stat : 8991 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716965841448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8992] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8992/stat : 8992 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716818844072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8993] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4597354 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4597356 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) S 8985 8988 5416 0 -1 4202560 7182 0 0 0 71 1 0 0 20 0 19 0 4597358 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716796119992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 8688 0 0 0 75 2 0 0 20 0 19 0 4597358 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4597358 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4597374 10060525568 35252 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 3.92 4.06 3.99 5/220 9028
/proc/meminfo: memFree=27613500/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=9.78 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 21239 0 1 0 951 27 0 0 20 0 22 0 4597352 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 66208 2285 9 0 2446860 0
[pid=8988/tid=8990] ppid=8985 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/8988/task/8990/stat : 8990 (java) S 8985 8988 5416 0 -1 4202560 2425 0 1 0 17 2 0 0 20 0 22 0 4597353 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716976780152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8991] ppid=8985 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/8988/task/8991/stat : 8991 (java) S 8985 8988 5416 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716965841448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8992] ppid=8985 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8988/task/8992/stat : 8992 (java) S 8985 8988 5416 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716818844072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8993] ppid=8985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 213 0 0 0 1 0 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 65 0 0 0 2 0 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 77 0 0 0 3 1 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 27 0 0 0 2 2 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 159 0 0 0 4 2 0 0 20 0 22 0 4597354 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) S 8985 8988 5416 0 -1 4202560 7192 0 0 0 86 1 0 0 20 0 22 0 4597358 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716796119992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 9077 0 0 0 90 2 0 0 20 0 22 0 4597358 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4597374 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9026] ppid=8985 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/8988/task/9026/stat : 9026 (java) R 8985 8988 5416 0 -1 4202560 8 0 0 0 293 0 0 0 20 0 22 0 4597675 10060525568 66208 33554432000 1073741824 1073778376 140733346483648 139716791897744 139716846874092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9027] ppid=8985 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
################
# More data... #
################
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 2685 0 0 0 61 19 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 2106 0 0 0 60 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 1399 0 0 0 46 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 3211 0 0 0 50 16 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 1260 0 0 0 47 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 3179 0 0 0 58 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 1939 0 0 0 177 2 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) S 8985 8988 5416 0 -1 4202560 7198 0 0 0 93 1 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716796119992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 9077 0 0 0 91 2 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 47 0 0 0 7 13 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4597374 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9026] ppid=8985 vsize=9824732 CPUtime=813.48 cores=1,3,5,7
/proc/8988/task/9026/stat : 9026 (java) R 8985 8988 5416 0 -1 4202560 63 0 0 0 81333 15 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716791897744 139716846906711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9027] ppid=8985 vsize=9824732 CPUtime=813.64 cores=1,3,5,7
/proc/8988/task/9027/stat : 9027 (java) R 8985 8988 5416 0 -1 4202560 1317 0 0 0 81320 44 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716790853264 139716847598533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9028] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9028/stat : 9028 (java) S 8985 8988 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716789802536 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1642.27
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.94 3.98 3.98 5/219 9170
/proc/meminfo: memFree=23141420/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=1762.27 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 40528 0 1 0 176024 203 0 0 20 0 22 0 4597352 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 888509 2294 9 0 2446860 0
[pid=8988/tid=8990] ppid=8985 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8988/task/8990/stat : 8990 (java) S 8985 8988 5416 0 -1 4202560 2428 0 1 0 19 4 0 0 20 0 22 0 4597353 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716976780152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8991] ppid=8985 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/8988/task/8991/stat : 8991 (java) S 8985 8988 5416 0 -1 4202560 1238 0 0 0 44 15 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716965841448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8992] ppid=8985 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/8988/task/8992/stat : 8992 (java) S 8985 8988 5416 0 -1 4202560 1966 0 0 0 56 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716818844072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8993] ppid=8985 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 2685 0 0 0 61 19 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 2106 0 0 0 60 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 1399 0 0 0 46 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 3211 0 0 0 50 16 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 1260 0 0 0 47 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 3179 0 0 0 58 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 1939 0 0 0 177 2 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) S 8985 8988 5416 0 -1 4202560 7198 0 0 0 93 1 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716796119992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 9077 0 0 0 91 2 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 51 0 0 0 7 14 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4597374 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9026] ppid=8985 vsize=9824732 CPUtime=873.32 cores=1,3,5,7
/proc/8988/task/9026/stat : 9026 (java) R 8985 8988 5416 0 -1 4202560 63 0 0 0 87315 17 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716791897744 139716846906746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9027] ppid=8985 vsize=9824732 CPUtime=873.49 cores=1,3,5,7
/proc/8988/task/9027/stat : 9027 (java) R 8985 8988 5416 0 -1 4202560 1317 0 0 0 87304 45 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716790853264 139716847061377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9028] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9028/stat : 9028 (java) S 8985 8988 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716789802536 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.27
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.201 s]
/proc/loadavg: 3.96 3.98 3.98 5/219 9171
/proc/meminfo: memFree=22905132/32872528 swapFree=239532/272236
[pid=8988] ppid=8985 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/8988/stat : 8988 (java) S 8985 8988 5416 0 -1 4202496 40528 0 1 0 179802 204 0 0 20 0 22 0 4597352 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 140733346474784 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8988/statm: 2456183 888509 2294 9 0 2446860 0
[pid=8988/tid=8990] ppid=8985 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/8988/task/8990/stat : 8990 (java) S 8985 8988 5416 0 -1 4202560 2428 0 1 0 19 4 0 0 20 0 22 0 4597353 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716976780152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8991] ppid=8985 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/8988/task/8991/stat : 8991 (java) S 8985 8988 5416 0 -1 4202560 1238 0 0 0 44 15 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716965841448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8992] ppid=8985 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/8988/task/8992/stat : 8992 (java) S 8985 8988 5416 0 -1 4202560 1966 0 0 0 56 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716818844072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8993] ppid=8985 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/8988/task/8993/stat : 8993 (java) S 8985 8988 5416 0 -1 4202560 2685 0 0 0 61 19 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716817791272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8994] ppid=8985 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/8988/task/8994/stat : 8994 (java) S 8985 8988 5416 0 -1 4202560 2106 0 0 0 60 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716816738472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8995] ppid=8985 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/8988/task/8995/stat : 8995 (java) S 8985 8988 5416 0 -1 4202560 1399 0 0 0 46 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716815686696 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8996] ppid=8985 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/8988/task/8996/stat : 8996 (java) S 8985 8988 5416 0 -1 4202560 3211 0 0 0 50 16 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716814633896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=8997] ppid=8985 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/8988/task/8997/stat : 8997 (java) S 8985 8988 5416 0 -1 4202560 1260 0 0 0 47 13 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716813581096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=8998] ppid=8985 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/8988/task/8998/stat : 8998 (java) S 8985 8988 5416 0 -1 4202560 3179 0 0 0 58 18 0 0 20 0 22 0 4597354 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716812528296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=8999] ppid=8985 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8988/task/8999/stat : 8999 (java) S 8985 8988 5416 0 -1 4202560 1939 0 0 0 177 2 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716800330216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9000] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9000/stat : 9000 (java) S 8985 8988 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716799276280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9001] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9001/stat : 9001 (java) S 8985 8988 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4597356 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716798223368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9002] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9002/stat : 9002 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716797171856 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9003] ppid=8985 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/8988/task/9003/stat : 9003 (java) S 8985 8988 5416 0 -1 4202560 7198 0 0 0 93 1 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716796119992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8988/tid=9004] ppid=8985 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/8988/task/9004/stat : 9004 (java) S 8985 8988 5416 0 -1 4202560 9077 0 0 0 91 2 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716795067192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8988/tid=9005] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9005/stat : 9005 (java) S 8985 8988 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716794014584 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9006] ppid=8985 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/8988/task/9006/stat : 9006 (java) S 8985 8988 5416 0 -1 4202560 51 0 0 0 7 15 0 0 20 0 22 0 4597358 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716792961992 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9010] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9010/stat : 9010 (java) S 8985 8988 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4597374 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716788749096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9026] ppid=8985 vsize=9824732 CPUtime=892.15 cores=1,3,5,7
/proc/8988/task/9026/stat : 9026 (java) R 8985 8988 5416 0 -1 4202560 63 0 0 0 89198 17 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716791897744 139716846962499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8988/tid=9027] ppid=8985 vsize=9824732 CPUtime=892.34 cores=1,3,5,7
/proc/8988/task/9027/stat : 9027 (java) R 8985 8988 5416 0 -1 4202560 1317 0 0 0 89189 45 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716790853264 139716847598010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8988/tid=9028] ppid=8985 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8988/task/9028/stat : 9028 (java) S 8985 8988 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4597675 10060525568 888509 33554432000 1073741824 1073778376 140733346483648 139716789802536 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 8988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8988 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=520343
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=470624
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.256
CPU time (s): 1800.06
CPU user time (s): 1798.02
CPU system time (s): 2.04
CPU usage (%): 199.728
Max. virtual memory (cumulated for all children) (KiB): 9825760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.52
system time used= 2.47062
maximum resident set size= 3554172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40574
page faults= 1
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22233
involuntary context switches= 22749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21321 second user time and 7.80281 second system time
The end