runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454492-1307189433/watcher-3454492-1307189433 -o /tmp/evaluation-result-3454492-1307189433/solver-3454492-1307189433 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454492-1307189433.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.64 3.68 3.46 3/571 992
/proc/meminfo: memFree=19310956/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=256 CPUtime=0 cores=1,3,5,7
/proc/992/stat : 992 (java) R 990 992 29102 0 -1 4194304 269 0 0 0 0 0 0 0 25 0 1 0 830543659 262144 32 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253635935879 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/992/statm: 64 32 24 9 0 23 0
[pid=992/tid=993] ppid=990 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) R 990 992 29102 0 -1 4202560 6546 0 1 0 0 1 0 0 25 0 2 0 830543660 10694979584 7361 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.108211 s]
/proc/loadavg: 3.64 3.68 3.46 3/571 992
/proc/meminfo: memFree=19310956/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10540068 CPUtime=0.11 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 13156 0 1 0 9 2 0 0 25 0 18 0 830543659 10793029632 12810 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2635017 12810 2093 9 0 2625751 0
[pid=992/tid=993] ppid=990 vsize=10540068 CPUtime=0.09 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) R 990 992 29102 0 -1 4202560 11199 0 1 0 8 1 0 0 18 0 18 0 830543660 10793029632 12810 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 47741443999337 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540068
[startup+0.20118 s]
/proc/loadavg: 3.64 3.68 3.46 3/571 992
/proc/meminfo: memFree=19310956/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10540068 CPUtime=0.25 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 14001 0 1 0 23 2 0 0 25 0 18 0 830543659 10793029632 13607 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2635017 13607 2178 9 0 2625751 0
[pid=992/tid=993] ppid=990 vsize=10540068 CPUtime=0.19 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) R 990 992 29102 0 -1 4202560 11791 0 1 0 17 2 0 0 18 0 18 0 830543660 10793029632 13607 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505175232 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540068
[startup+0.30113 s]
/proc/loadavg: 3.64 3.68 3.46 3/571 992
/proc/meminfo: memFree=19310956/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10540628 CPUtime=0.48 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 15918 0 1 0 46 2 0 0 25 0 18 0 830543659 10793603072 15100 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2635157 15101 2199 9 0 2625891 0
[pid=992/tid=993] ppid=990 vsize=10540628 CPUtime=0.29 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) R 990 992 29102 0 -1 4202560 12869 0 1 0 27 2 0 0 18 0 18 0 830543660 10793603072 15101 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540628
[startup+0.701092 s]
/proc/loadavg: 3.64 3.68 3.46 3/571 992
/proc/meminfo: memFree=19310956/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10549120 CPUtime=0.97 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 27456 0 1 0 93 4 0 0 25 0 19 0 830543659 10802298880 25416 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2637280 25416 2225 9 0 2628014 0
[pid=992/tid=993] ppid=990 vsize=10549120 CPUtime=0.46 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 20801 0 1 0 43 3 0 0 19 0 19 0 830543660 10802298880 25416 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10549120
[startup+1.50091 s]
/proc/loadavg: 3.64 3.68 3.46 3/590 1017
/proc/meminfo: memFree=19216324/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10549120 CPUtime=1.04 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 27671 0 1 0 100 4 0 0 25 0 22 0 830543659 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2637280 25631 2229 9 0 2628014 0
[pid=992/tid=993] ppid=990 vsize=10549120 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 20866 0 1 0 44 3 0 0 15 0 22 0 830543660 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=995] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=996] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=997] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=998] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=999] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543662 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830543663 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830543663 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830543663 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10549120 CPUtime=0.25 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 3038 0 0 0 25 0 0 0 15 0 22 0 830543666 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10549120 CPUtime=0.25 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) R 990 992 29102 0 -1 4202560 2380 0 0 0 25 0 0 0 15 0 22 0 830543666 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 47741444131190 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=992/tid=1009] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1009/stat : 1009 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1010] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1010/stat : 1010 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543666 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1017] ppid=990 vsize=10549120 CPUtime=0 cores=1,3,5,7
/proc/992/task/1017/stat : 1017 (java) S 990 992 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830543758 10802298880 25631 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10549120
[startup+3.10066 s]
/proc/loadavg: 3.64 3.68 3.46 7/593 1023
/proc/meminfo: memFree=19184556/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10550540 CPUtime=4.22 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 86563 0 1 0 411 11 0 0 25 0 22 0 830543659 10803752960 81527 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2637635 81527 2267 9 0 2628369 0
[pid=992/tid=993] ppid=990 vsize=10550540 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 20903 0 1 0 44 3 0 0 15 0 22 0 830543660 10803752960 81528 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=995] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81531 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=996] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81534 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=997] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81535 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=998] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 654 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81536 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=999] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 919 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81537 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81537 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 1408 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81538 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 22 0 830543662 10803752960 81539 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10550540 CPUtime=0.04 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 4024 0 0 0 4 0 0 0 15 0 22 0 830543663 10803752960 81539 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543663 10803752960 81540 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543663 10803752960 81540 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10803752960 81540 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10550540 CPUtime=0.76 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 6309 0 0 0 75 1 0 0 15 0 22 0 830543666 10803752960 81541 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10550540 CPUtime=0.73 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) S 990 992 29102 0 -1 4202560 3956 0 0 0 73 0 0 0 15 0 22 0 830543666 10803752960 81544 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1009] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1009/stat : 1009 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10803752960 81547 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1010] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1010/stat : 1010 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543666 10803752960 81548 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1017] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1017/stat : 1017 (java) S 990 992 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830543758 10803752960 81550 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 10550540
[startup+6.30108 s]
/proc/loadavg: 3.75 3.70 3.47 5/593 1026
/proc/meminfo: memFree=18759368/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10550540 CPUtime=10.61 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 149277 0 1 0 1043 18 0 0 25 0 22 0 830543659 10803752960 143046 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2637635 143049 2268 9 0 2628369 0
[pid=992/tid=993] ppid=990 vsize=10550540 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 20903 0 1 0 44 3 0 0 15 0 22 0 830543660 10803752960 143050 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=995] ppid=990 vsize=10550540 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1065 0 0 0 1 0 0 0 16 0 22 0 830543662 10803752960 143052 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=996] ppid=990 vsize=10550540 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 841 0 0 0 1 0 0 0 16 0 22 0 830543662 10803752960 143053 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=997] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 22 0 830543662 10803752960 143054 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=998] ppid=990 vsize=10550540 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 654 0 0 0 1 0 0 0 16 0 22 0 830543662 10803752960 143055 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=999] ppid=990 vsize=10550540 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 2140 0 0 0 1 0 0 0 16 0 22 0 830543662 10803752960 143056 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10550540 CPUtime=0.01 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 813 0 0 0 1 0 0 0 16 0 22 0 830543662 10803752960 143057 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10550540 CPUtime=0.03 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 2402 0 0 0 3 0 0 0 16 0 22 0 830543662 10803752960 143059 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 22 0 830543662 10803752960 143061 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10550540 CPUtime=0.25 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 9368 0 0 0 24 1 0 0 15 0 22 0 830543663 10803752960 143063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543663 10803752960 143065 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543663 10803752960 143067 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10550540 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10803752960 143068 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10550540 CPUtime=0.9 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 6322 0 0 0 89 1 0 0 15 0 22 0 830543666 10803752960 143070 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10550540 CPUtime=0.76 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) S 990 992 29102 0 -1 4202560 3962 0 0 0 76 0 0 0 15 0 22 0 830543666 10803752960 143072 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=15702332/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10552144 CPUtime=1642.39 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 315905 0 1 0 164197 42 0 0 25 0 22 0 830543659 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2638036 304029 2269 9 0 2628770 0
[pid=992/tid=993] ppid=990 vsize=10552144 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 21084 0 1 0 44 3 0 0 15 0 22 0 830543660 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=995] ppid=990 vsize=10552144 CPUtime=1.56 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1676 0 0 0 156 0 0 0 15 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=996] ppid=990 vsize=10552144 CPUtime=1.46 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 2863 0 0 0 146 0 0 0 16 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=997] ppid=990 vsize=10552144 CPUtime=1.6 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 1962 0 0 0 160 0 0 0 16 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=998] ppid=990 vsize=10552144 CPUtime=1.49 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 1074 0 0 0 149 0 0 0 16 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=999] ppid=990 vsize=10552144 CPUtime=1.39 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 3439 0 0 0 138 1 0 0 16 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10552144 CPUtime=1.45 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 3027 0 0 0 145 0 0 0 15 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10552144 CPUtime=1.64 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 3485 0 0 0 164 0 0 0 15 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10552144 CPUtime=1.4 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 1620 0 0 0 140 0 0 0 15 0 22 0 830543662 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10552144 CPUtime=124.52 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 97972 0 0 0 12441 11 0 0 15 0 22 0 830543663 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10552144 CPUtime=1.45 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 11873 0 0 0 144 1 0 0 15 0 22 0 830543666 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10552144 CPUtime=0.89 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) S 990 992 29102 0 -1 4202560 4348 0 0 0 89 0 0 0 15 0 22 0 830543666 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1009] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1009/stat : 1009 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1010] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1010/stat : 1010 (java) S 990 992 29102 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830543666 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1017] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1017/stat : 1017 (java) S 990 992 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830543758 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1098] ppid=990 vsize=10552144 CPUtime=675.03 cores=1,3,5,7
/proc/992/task/1098/stat : 1098 (java) R 990 992 29102 0 -1 4202560 17 0 0 0 67503 0 0 0 25 0 22 0 830552185 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505807670 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=992/tid=1099] ppid=990 vsize=10552144 CPUtime=675.01 cores=1,3,5,7
/proc/992/task/1099/stat : 1099 (java) R 990 992 29102 0 -1 4202560 13 0 0 0 67501 0 0 0 25 0 22 0 830552185 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505890935 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=992/tid=1100] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1100/stat : 1100 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830552185 10805395456 304029 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1642.39
Current children cumulated vsize (KiB) 10552144
[startup+942.301 s]
/proc/loadavg: 3.54 3.74 3.65 5/593 1129
/proc/meminfo: memFree=15702164/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10552144 CPUtime=1752.23 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 315960 0 1 0 175181 42 0 0 25 0 22 0 830543659 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2638036 304063 2269 9 0 2628770 0
[pid=992/tid=993] ppid=990 vsize=10552144 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 21097 0 1 0 44 3 0 0 15 0 22 0 830543660 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=995] ppid=990 vsize=10552144 CPUtime=1.67 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1682 0 0 0 167 0 0 0 16 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=996] ppid=990 vsize=10552144 CPUtime=1.53 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 2882 0 0 0 153 0 0 0 15 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=997] ppid=990 vsize=10552144 CPUtime=1.74 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 1962 0 0 0 174 0 0 0 16 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=998] ppid=990 vsize=10552144 CPUtime=1.62 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 1079 0 0 0 162 0 0 0 16 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=999] ppid=990 vsize=10552144 CPUtime=1.5 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 3440 0 0 0 149 1 0 0 15 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10552144 CPUtime=1.52 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 3027 0 0 0 152 0 0 0 15 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10552144 CPUtime=1.68 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 3488 0 0 0 168 0 0 0 15 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10552144 CPUtime=1.51 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 1620 0 0 0 151 0 0 0 16 0 22 0 830543662 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10552144 CPUtime=134.96 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 97976 0 0 0 13485 11 0 0 15 0 22 0 830543663 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10552144 CPUtime=1.45 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 11873 0 0 0 144 1 0 0 15 0 22 0 830543666 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10552144 CPUtime=0.89 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) S 990 992 29102 0 -1 4202560 4348 0 0 0 89 0 0 0 15 0 22 0 830543666 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1009] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1009/stat : 1009 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1010] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1010/stat : 1010 (java) S 990 992 29102 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830543666 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1017] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1017/stat : 1017 (java) S 990 992 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830543758 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1098] ppid=990 vsize=10552144 CPUtime=724.34 cores=1,3,5,7
/proc/992/task/1098/stat : 1098 (java) R 990 992 29102 0 -1 4202560 17 0 0 0 72434 0 0 0 25 0 22 0 830552185 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505899718 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=992/tid=1099] ppid=990 vsize=10552144 CPUtime=724.32 cores=1,3,5,7
/proc/992/task/1099/stat : 1099 (java) R 990 992 29102 0 -1 4202560 13 0 0 0 72432 0 0 0 24 0 22 0 830552185 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505885024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=992/tid=1100] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1100/stat : 1100 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830552185 10805395456 304063 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1752.23
Current children cumulated vsize (KiB) 10552144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+968.122 s]
/proc/loadavg: 3.57 3.73 3.64 5/593 1129
/proc/meminfo: memFree=15690568/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=10552144 CPUtime=1800.03 cores=1,3,5,7
/proc/992/stat : 992 (java) S 990 992 29102 0 -1 4202496 318836 0 1 0 179960 43 0 0 25 0 22 0 830543659 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 2638036 306930 2269 9 0 2628770 0
[pid=992/tid=993] ppid=990 vsize=10552144 CPUtime=0.47 cores=1,3,5,7
/proc/992/task/993/stat : 993 (java) S 990 992 29102 0 -1 4202560 21102 0 1 0 44 3 0 0 15 0 22 0 830543660 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=995] ppid=990 vsize=10552144 CPUtime=1.71 cores=1,3,5,7
/proc/992/task/995/stat : 995 (java) S 990 992 29102 0 -1 4202560 1683 0 0 0 171 0 0 0 16 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=996] ppid=990 vsize=10552144 CPUtime=1.56 cores=1,3,5,7
/proc/992/task/996/stat : 996 (java) S 990 992 29102 0 -1 4202560 2882 0 0 0 156 0 0 0 16 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=997] ppid=990 vsize=10552144 CPUtime=1.78 cores=1,3,5,7
/proc/992/task/997/stat : 997 (java) S 990 992 29102 0 -1 4202560 1962 0 0 0 178 0 0 0 15 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=998] ppid=990 vsize=10552144 CPUtime=1.66 cores=1,3,5,7
/proc/992/task/998/stat : 998 (java) S 990 992 29102 0 -1 4202560 1079 0 0 0 166 0 0 0 16 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=999] ppid=990 vsize=10552144 CPUtime=1.52 cores=1,3,5,7
/proc/992/task/999/stat : 999 (java) S 990 992 29102 0 -1 4202560 3442 0 0 0 151 1 0 0 15 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1000] ppid=990 vsize=10552144 CPUtime=1.56 cores=1,3,5,7
/proc/992/task/1000/stat : 1000 (java) S 990 992 29102 0 -1 4202560 3027 0 0 0 156 0 0 0 16 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1001] ppid=990 vsize=10552144 CPUtime=1.73 cores=1,3,5,7
/proc/992/task/1001/stat : 1001 (java) S 990 992 29102 0 -1 4202560 3488 0 0 0 173 0 0 0 15 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1002] ppid=990 vsize=10552144 CPUtime=1.58 cores=1,3,5,7
/proc/992/task/1002/stat : 1002 (java) S 990 992 29102 0 -1 4202560 1620 0 0 0 158 0 0 0 15 0 22 0 830543662 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1003] ppid=990 vsize=10552144 CPUtime=138.97 cores=1,3,5,7
/proc/992/task/1003/stat : 1003 (java) S 990 992 29102 0 -1 4202560 100842 0 0 0 13885 12 0 0 15 0 22 0 830543663 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 0 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1004] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1004/stat : 1004 (java) S 990 992 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1005] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1005/stat : 1005 (java) S 990 992 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543663 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1006] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1006/stat : 1006 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652683185 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1007] ppid=990 vsize=10552144 CPUtime=1.45 cores=1,3,5,7
/proc/992/task/1007/stat : 1007 (java) S 990 992 29102 0 -1 4202560 11873 0 0 0 144 1 0 0 15 0 22 0 830543666 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 3 0 0 0
[pid=992/tid=1008] ppid=990 vsize=10552144 CPUtime=0.89 cores=1,3,5,7
/proc/992/task/1008/stat : 1008 (java) S 990 992 29102 0 -1 4202560 4348 0 0 0 89 0 0 0 15 0 22 0 830543666 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
[pid=992/tid=1009] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1009/stat : 1009 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543666 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652675481 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1010] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1010/stat : 1010 (java) S 990 992 29102 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830543666 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 5 0 0 0
[pid=992/tid=1017] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1017/stat : 1017 (java) S 990 992 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830543758 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 7 0 0 0
[pid=992/tid=1098] ppid=990 vsize=10552144 CPUtime=746.09 cores=1,3,5,7
/proc/992/task/1098/stat : 1098 (java) R 990 992 29102 0 -1 4202560 17 0 0 0 74609 0 0 0 21 0 22 0 830552185 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912505807670 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=992/tid=1099] ppid=990 vsize=10552144 CPUtime=746.07 cores=1,3,5,7
/proc/992/task/1099/stat : 1099 (java) R 990 992 29102 0 -1 4202560 13 0 0 0 74607 0 0 0 21 0 22 0 830552185 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 46912506010495 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=992/tid=1100] ppid=990 vsize=10552144 CPUtime=0 cores=1,3,5,7
/proc/992/task/1100/stat : 1100 (java) S 990 992 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830552185 10805395456 306930 33554432000 1073741824 1073778376 140735674843888 18446744073709551615 253652676096 0 4 0 16800975 18446604454692515968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10552144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+968.227 s]
/proc/loadavg: 3.57 3.73 3.64 5/593 1129
/proc/meminfo: memFree=15690568/32951124 swapFree=53733252/67111528
[pid=992] ppid=990 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/992/stat : 992 (java) Z 990 992 29102 0 -1 4203548 318865 0 1 0 179970 48 0 0 17 0 2 0 830543659 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/992/statm: 0 0 0 0 0 0 0
[pid=992/tid=1098] ppid=990 vsize=0 CPUtime=746.16 cores=1,3,5,7
/proc/992/task/1098/stat : 1098 (java) R 990 992 29102 0 -1 4203588 17 0 0 0 74611 5 0 0 21 0 2 0 830552185 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 968.228
CPU time (s): 1800.19
CPU user time (s): 1799.71
CPU system time (s): 0.486925
CPU usage (%): 185.926
Max. virtual memory (cumulated for all children) (KiB): 10553436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.486925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29121
involuntary context switches= 25125
runsolver used 5.2632 second user time and 13.296 second system time
The end