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-4106735-1466275066/watcher-4106735-1466275066 -o /tmp/evaluation-result-4106735-1466275066/solver-4106735-1466275066 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106735-1466275066.opb
pid=28775
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.05 2.00 3/193 28778
/proc/meminfo: memFree=30657800/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/28778/stat : 28778 (java) R 28775 28778 24550 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 29553358 278528 33 33554432000 1073741824 1073778376 140736335219888 140736335217064 242158234805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 68 33 25 9 0 25 0
[startup+0.10006 s]
/proc/loadavg: 2.03 2.05 2.00 3/193 28778
/proc/meminfo: memFree=30657800/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 4333 0 1 0 7 1 0 0 20 0 18 0 29553358 9787879424 5455 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2389619 5455 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200229 s]
/proc/loadavg: 2.03 2.05 2.00 3/193 28778
/proc/meminfo: memFree=30657800/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 4592 0 1 0 21 1 0 0 20 0 18 0 29553358 9787879424 6683 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2389619 6683 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.30023 s]
/proc/loadavg: 2.03 2.05 2.00 3/193 28778
/proc/meminfo: memFree=30657800/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 5745 0 1 0 41 1 0 0 20 0 18 0 29553358 9787879424 8482 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2389619 8482 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476
[startup+0.70019 s]
/proc/loadavg: 2.03 2.05 2.00 3/193 28778
/proc/meminfo: memFree=30657800/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 23074 0 1 0 157 5 0 0 20 0 19 0 29553358 9856040960 25425 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 25425 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625040
[startup+1.50092 s]
/proc/loadavg: 2.19 2.08 2.01 5/213 28798
/proc/meminfo: memFree=30526024/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 36369 0 1 0 335 8 0 0 20 0 19 0 29553358 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 37152 2273 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 2453 0 1 0 145 1 0 0 20 0 19 0 29553359 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403679391776 140403505094388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12819 0 0 0 96 3 0 0 20 0 19 0 29553365 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19821 0 0 0 90 5 0 0 20 0 19 0 29553365 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 37152 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 9625040
[startup+3.10092 s]
/proc/loadavg: 2.19 2.08 2.01 3/213 28798
/proc/meminfo: memFree=30499028/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=5.2 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 36483 0 1 0 512 8 0 0 20 0 19 0 29553358 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 47482 2278 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 2474 0 1 0 305 2 0 0 20 0 19 0 29553359 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403679400408 140403505089059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 98 3 0 0 20 0 19 0 29553365 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19910 0 0 0 105 5 0 0 20 0 19 0 29553365 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 47482 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 9625040
[startup+6.30092 s]
/proc/loadavg: 2.19 2.08 2.01 3/213 28798
/proc/meminfo: memFree=30434988/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=8.58 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 36616 0 1 0 843 15 0 0 20 0 19 0 29553358 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 70564 2291 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 2503 0 1 0 619 3 0 0 20 0 19 0 29553359 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403679391392 140403505289913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553360 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 99 3 0 0 20 0 19 0 29553365 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19910 0 0 0 112 5 0 0 20 0 19 0 29553365 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 70564 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 99 3 0 0 20 0 19 0 29553365 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19912 0 0 0 114 5 0 0 20 0 19 0 29553365 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 94 0 0 0 34 39 0 0 20 0 19 0 29553365 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 173046 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1684.89
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/213 28927
/proc/meminfo: memFree=30020492/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=1745.5 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 55301 0 1 0 174338 212 0 0 20 0 19 0 29553358 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 168420 2300 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=1706.55 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 2987 0 1 0 170622 33 0 0 20 0 19 0 29553359 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403679399088 140403505289913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 2247 0 0 0 363 16 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 2579 0 0 0 365 21 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 1603 0 0 0 370 20 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 1981 0 0 0 332 22 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 2515 0 0 0 355 22 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 2490 0 0 0 351 19 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 1594 0 0 0 334 18 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 1754 0 0 0 338 17 0 0 20 0 19 0 29553360 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 1457 0 0 0 670 7 0 0 20 0 19 0 29553362 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 99 3 0 0 20 0 19 0 29553365 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19912 0 0 0 114 5 0 0 20 0 19 0 29553365 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 98 0 0 0 35 41 0 0 20 0 19 0 29553365 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 168420 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.5
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/213 28928
/proc/meminfo: memFree=29968532/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 55341 0 1 0 179789 214 0 0 20 0 19 0 29553358 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 167588 2300 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=1760.14 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 3004 0 1 0 175980 34 0 0 20 0 19 0 29553359 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403679399088 140403505289913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 2247 0 0 0 375 16 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 2579 0 0 0 373 21 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 1603 0 0 0 381 20 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 1981 0 0 0 339 22 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 2515 0 0 0 365 22 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 2490 0 0 0 364 20 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 1594 0 0 0 342 18 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 1754 0 0 0 345 17 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=6.93 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 1478 0 0 0 686 7 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 99 3 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19912 0 0 0 114 5 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 100 0 0 0 36 43 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
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 28778 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1776.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/213 28928
/proc/meminfo: memFree=29968532/32872528 swapFree=338416/354768
[pid=28778] ppid=28775 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/28778/stat : 28778 (java) S 28775 28778 24550 0 -1 4202496 55341 0 1 0 179789 214 0 0 20 0 19 0 29553358 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140736335211024 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28778/statm: 2406260 167588 2300 9 0 2396937 0
[pid=28778/tid=28781] ppid=28775 vsize=9625040 CPUtime=1760.14 cores=1,3,5,7
/proc/28778/task/28781/stat : 28781 (java) R 28775 28778 24550 0 -1 4202560 3004 0 1 0 175980 34 0 0 20 0 19 0 29553359 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403679399088 140403505289913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28782] ppid=28775 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/28778/task/28782/stat : 28782 (java) S 28775 28778 24550 0 -1 4202560 2247 0 0 0 375 16 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403640892200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28783] ppid=28775 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/28778/task/28783/stat : 28783 (java) S 28775 28778 24550 0 -1 4202560 2579 0 0 0 373 21 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403639839400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28784] ppid=28775 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/28778/task/28784/stat : 28784 (java) S 28775 28778 24550 0 -1 4202560 1603 0 0 0 381 20 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403638787112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28785] ppid=28775 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/28778/task/28785/stat : 28785 (java) S 28775 28778 24550 0 -1 4202560 1981 0 0 0 339 22 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403637734312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28786] ppid=28775 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/28778/task/28786/stat : 28786 (java) S 28775 28778 24550 0 -1 4202560 2515 0 0 0 365 22 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403636681000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28787] ppid=28775 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/28778/task/28787/stat : 28787 (java) S 28775 28778 24550 0 -1 4202560 2490 0 0 0 364 20 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403635628200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28788] ppid=28775 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/28778/task/28788/stat : 28788 (java) S 28775 28778 24550 0 -1 4202560 1594 0 0 0 342 18 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403634575912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28789] ppid=28775 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/28778/task/28789/stat : 28789 (java) S 28775 28778 24550 0 -1 4202560 1754 0 0 0 345 17 0 0 20 0 19 0 29553360 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403633523112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28778/tid=28790] ppid=28775 vsize=9625040 CPUtime=6.93 cores=1,3,5,7
/proc/28778/task/28790/stat : 28790 (java) S 28775 28778 24550 0 -1 4202560 1478 0 0 0 686 7 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403503258344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28791] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28791/stat : 28791 (java) S 28775 28778 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403502204408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28792] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28792/stat : 28792 (java) S 28775 28778 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29553362 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403501152008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28793] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28793/stat : 28793 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403500100496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28778/tid=28794] ppid=28775 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/28778/task/28794/stat : 28794 (java) S 28775 28778 24550 0 -1 4202560 12822 0 0 0 99 3 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403499047096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28795] ppid=28775 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/28778/task/28795/stat : 28795 (java) S 28775 28778 24550 0 -1 4202560 19912 0 0 0 114 5 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403497994296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28796] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28796/stat : 28796 (java) S 28775 28778 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403496942200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28778/tid=28797] ppid=28775 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/28778/task/28797/stat : 28797 (java) S 28775 28778 24550 0 -1 4202560 100 0 0 0 36 43 0 0 20 0 19 0 29553365 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403495889608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28778/tid=28798] ppid=28775 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28778/task/28798/stat : 28798 (java) S 28775 28778 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29553422 9856040960 167588 33554432000 1073741824 1073778376 140736335219888 140403494835624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1776.35
CPU time (s): 1800.82
CPU user time (s): 1798.2
CPU system time (s): 2.6216
CPU usage (%): 101.378
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.6216
maximum resident set size= 819008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55377
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53251
involuntary context switches= 51761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2231 second user time and 12.1132 second system time
The end