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-3454190-1307190123/watcher-3454190-1307190123 -o /tmp/evaluation-result-3454190-1307190123/solver-3454190-1307190123 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454190-1307190123.opb
running on 4 cores: 0,2,4,6
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.99 3.95 3.62 3/535 27769
/proc/meminfo: memFree=18743260/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 8529 0 1 0 0 0 0 0 24 0 2 0 811428029 10694979584 8230 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2611079 8243 917 9 0 2602235 0
[pid=27769/tid=27770] ppid=27767 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 7476 0 1 0 0 0 0 0 25 0 2 0 811428029 10694979584 8291 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.023355 s]
/proc/loadavg: 3.99 3.95 3.62 3/535 27769
/proc/meminfo: memFree=18743260/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 10083 0 1 0 0 1 0 0 24 0 10 0 811428029 10703900672 9784 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2613257 9786 1036 9 0 2604413 0
[pid=27769/tid=27770] ppid=27767 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 8963 0 1 0 0 0 0 0 25 0 10 0 811428029 10703900672 9787 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264726403072 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.104353 s]
/proc/loadavg: 3.99 3.95 3.62 3/535 27769
/proc/meminfo: memFree=18743260/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10539980 CPUtime=0.1 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 13167 0 1 0 9 1 0 0 24 0 18 0 811428029 10792939520 12840 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2634995 12840 2092 9 0 2625729 0
[pid=27769/tid=27770] ppid=27767 vsize=10539980 CPUtime=0.09 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 11250 0 1 0 8 1 0 0 18 0 18 0 811428029 10792939520 12840 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738231755 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539980
[startup+0.309302 s]
/proc/loadavg: 3.99 3.95 3.62 3/535 27769
/proc/meminfo: memFree=18743260/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10556252 CPUtime=0.79 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 30729 0 1 0 75 4 0 0 24 0 18 0 811428029 10809602048 26917 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2639063 26917 2209 9 0 2629797 0
[pid=27769/tid=27770] ppid=27767 vsize=10556252 CPUtime=0.36 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 20225 0 1 0 34 2 0 0 18 0 18 0 811428029 10809602048 26917 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505665601 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 10556252
[startup+0.700257 s]
/proc/loadavg: 3.99 3.95 3.62 3/535 27769
/proc/meminfo: memFree=18743260/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10560108 CPUtime=1.58 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 50636 0 1 0 152 6 0 0 24 0 18 0 811428029 10813550592 45085 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640027 45088 2219 9 0 2630761 0
[pid=27769/tid=27770] ppid=27767 vsize=10560108 CPUtime=0.69 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 36183 0 1 0 65 4 0 0 18 0 18 0 811428029 10813550592 45090 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505686219 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10560108
[startup+1.50112 s]
/proc/loadavg: 3.91 3.93 3.62 4/553 27787
/proc/meminfo: memFree=18460280/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10560108 CPUtime=2.38 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 122869 0 1 0 222 16 0 0 24 0 18 0 811428029 10813550592 117317 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640027 117318 2219 9 0 2630761 0
[pid=27769/tid=27770] ppid=27767 vsize=10560108 CPUtime=1.48 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 108414 0 1 0 134 14 0 0 19 0 18 0 811428029 10813550592 117321 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505578396 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117326 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117330 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 811428031 10813550592 117334 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117337 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117338 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117339 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117341 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 117342 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811428032 10813550592 117344 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 117346 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 117348 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 117350 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10560108 CPUtime=0.52 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 7799 0 0 0 52 0 0 0 17 0 18 0 811428035 10813550592 117352 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10560108 CPUtime=0.36 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5508 0 0 0 35 1 0 0 18 0 18 0 811428035 10813550592 117354 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 117355 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811428035 10813550592 117357 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10560108
[startup+3.10078 s]
/proc/loadavg: 3.91 3.93 3.62 4/553 27787
/proc/meminfo: memFree=18061052/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10560108 CPUtime=3.98 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 267614 0 1 0 363 35 0 0 24 0 18 0 811428029 10813550592 262062 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640027 262065 2219 9 0 2630761 0
[pid=27769/tid=27770] ppid=27767 vsize=10560108 CPUtime=3.08 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 253160 0 1 0 275 33 0 0 25 0 18 0 811428029 10813550592 262067 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505640286 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262069 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262071 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 811428031 10813550592 262073 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262075 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262077 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262078 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262080 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 262082 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811428032 10813550592 262084 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 262086 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 262088 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 262090 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10560108 CPUtime=0.52 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 7799 0 0 0 52 0 0 0 17 0 18 0 811428035 10813550592 262092 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10560108 CPUtime=0.36 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5508 0 0 0 35 1 0 0 18 0 18 0 811428035 10813550592 262094 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 262096 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811428035 10813550592 262098 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10560108
[startup+6.30121 s]
/proc/loadavg: 3.84 3.91 3.62 4/553 27787
/proc/meminfo: memFree=16958044/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10560108 CPUtime=7.28 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 515713 0 1 0 664 64 0 0 24 0 18 0 811428029 10813550592 510017 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640027 510021 2222 9 0 2630761 0
[pid=27769/tid=27770] ppid=27767 vsize=10560108 CPUtime=6.28 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) R 27767 27769 24981 0 -1 4202560 501216 0 1 0 567 61 0 0 25 0 18 0 811428029 10813550592 510022 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505578242 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510025 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510027 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 811428031 10813550592 510029 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510031 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510033 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510035 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510037 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428031 10813550592 510050 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 811428032 10813550592 510052 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 510052 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811428033 10813550592 510052 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 510052 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10560108 CPUtime=0.59 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 7814 0 0 0 59 0 0 0 15 0 18 0 811428035 10813550592 510052 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10560108 CPUtime=0.37 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5532 0 0 0 36 1 0 0 16 0 18 0 811428035 10813550592 510058 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811428035 10813550592 510075 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10560108 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 811428035 10813550592 510090 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=13491792/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10561548 CPUtime=1619.51 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 1147919 0 1 0 161798 153 0 0 24 0 22 0 811428029 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640387 1079767 2262 9 0 2631121 0
[pid=27769/tid=27770] ppid=27767 vsize=10561548 CPUtime=7.99 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) S 27767 27769 24981 0 -1 4202560 642422 0 1 0 721 78 0 0 15 0 22 0 811428029 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10561548 CPUtime=1.6 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 62081 0 0 0 151 9 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10561548 CPUtime=1.05 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 34667 0 0 0 101 4 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10561548 CPUtime=1.74 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 75093 0 0 0 162 12 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10561548 CPUtime=1.45 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 53829 0 0 0 137 8 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10561548 CPUtime=0.97 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 25523 0 0 0 93 4 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10561548 CPUtime=1.7 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 62763 0 0 0 163 7 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10561548 CPUtime=1.28 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 58070 0 0 0 120 8 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10561548 CPUtime=1.81 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 46755 0 0 0 175 6 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10561548 CPUtime=24.49 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 62900 0 0 0 2441 8 0 0 15 0 22 0 811428032 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10561548 CPUtime=1.41 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 8163 0 0 0 141 0 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10561548 CPUtime=0.89 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5601 0 0 0 88 1 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27788] ppid=27767 vsize=10561548 CPUtime=786.53 cores=0,2,4,6
/proc/27769/task/27788/stat : 27788 (java) R 27767 27769 24981 0 -1 4202560 98 0 0 0 78652 1 0 0 25 0 22 0 811428830 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505914230 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27789] ppid=27767 vsize=10561548 CPUtime=786.47 cores=0,2,4,6
/proc/27769/task/27789/stat : 27789 (java) R 27767 27769 24981 0 -1 4202560 8748 0 0 0 78646 1 0 0 25 0 22 0 811428830 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505954662 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27769/tid=27790] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27790/stat : 27790 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811428895 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27791] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27791/stat : 27791 (java) S 27767 27769 24981 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 811428906 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1619.51
Current children cumulated vsize (KiB) 10561548
[startup+882.302 s]
/proc/loadavg: 3.86 3.93 3.82 5/557 27818
/proc/meminfo: memFree=13491012/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10561548 CPUtime=1737.84 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 1151562 0 1 0 173630 154 0 0 24 0 22 0 811428029 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640387 1079767 2262 9 0 2631121 0
[pid=27769/tid=27770] ppid=27767 vsize=10561548 CPUtime=7.99 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) S 27767 27769 24981 0 -1 4202560 642423 0 1 0 721 78 0 0 15 0 22 0 811428029 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10561548 CPUtime=1.64 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 62081 0 0 0 155 9 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10561548 CPUtime=1.12 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 34667 0 0 0 108 4 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10561548 CPUtime=1.76 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 75093 0 0 0 164 12 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10561548 CPUtime=1.49 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 53829 0 0 0 141 8 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10561548 CPUtime=1.01 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 25523 0 0 0 97 4 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10561548 CPUtime=1.75 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 62763 0 0 0 168 7 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10561548 CPUtime=1.32 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 58070 0 0 0 124 8 0 0 15 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10561548 CPUtime=1.86 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 46755 0 0 0 180 6 0 0 16 0 22 0 811428031 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10561548 CPUtime=26.3 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 66531 0 0 0 2622 8 0 0 15 0 22 0 811428032 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10561548 CPUtime=1.41 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 8163 0 0 0 141 0 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10561548 CPUtime=0.89 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5601 0 0 0 88 1 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811428035 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27788] ppid=27767 vsize=10561548 CPUtime=844.61 cores=0,2,4,6
/proc/27769/task/27788/stat : 27788 (java) R 27767 27769 24981 0 -1 4202560 100 0 0 0 84460 1 0 0 25 0 22 0 811428830 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505949417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27789] ppid=27767 vsize=10561548 CPUtime=844.54 cores=0,2,4,6
/proc/27769/task/27789/stat : 27789 (java) R 27767 27769 24981 0 -1 4202560 8753 0 0 0 84453 1 0 0 25 0 22 0 811428830 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912506302772 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27769/tid=27790] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27790/stat : 27790 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811428895 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27791] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27791/stat : 27791 (java) S 27767 27769 24981 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 811428906 10815025152 1079767 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1737.84
Current children cumulated vsize (KiB) 10561548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+913.402 s]
/proc/loadavg: 3.92 3.94 3.82 5/557 27916
/proc/meminfo: memFree=15323524/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=10561548 CPUtime=1800.11 cores=0,2,4,6
/proc/27769/stat : 27769 (java) S 27767 27769 24981 0 -1 4202496 1151571 0 1 0 179857 154 0 0 24 0 22 0 811428029 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 2640387 1079768 2262 9 0 2631121 0
[pid=27769/tid=27770] ppid=27767 vsize=10561548 CPUtime=7.99 cores=0,2,4,6
/proc/27769/task/27770/stat : 27770 (java) S 27767 27769 24981 0 -1 4202560 642423 0 1 0 721 78 0 0 15 0 22 0 811428029 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27772] ppid=27767 vsize=10561548 CPUtime=1.65 cores=0,2,4,6
/proc/27769/task/27772/stat : 27772 (java) S 27767 27769 24981 0 -1 4202560 62081 0 0 0 156 9 0 0 15 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27773] ppid=27767 vsize=10561548 CPUtime=1.14 cores=0,2,4,6
/proc/27769/task/27773/stat : 27773 (java) S 27767 27769 24981 0 -1 4202560 34667 0 0 0 110 4 0 0 16 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27774] ppid=27767 vsize=10561548 CPUtime=1.77 cores=0,2,4,6
/proc/27769/task/27774/stat : 27774 (java) S 27767 27769 24981 0 -1 4202560 75093 0 0 0 165 12 0 0 15 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27775] ppid=27767 vsize=10561548 CPUtime=1.5 cores=0,2,4,6
/proc/27769/task/27775/stat : 27775 (java) S 27767 27769 24981 0 -1 4202560 53829 0 0 0 142 8 0 0 16 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27776] ppid=27767 vsize=10561548 CPUtime=1.02 cores=0,2,4,6
/proc/27769/task/27776/stat : 27776 (java) S 27767 27769 24981 0 -1 4202560 25523 0 0 0 98 4 0 0 15 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27777] ppid=27767 vsize=10561548 CPUtime=1.76 cores=0,2,4,6
/proc/27769/task/27777/stat : 27777 (java) S 27767 27769 24981 0 -1 4202560 62763 0 0 0 169 7 0 0 16 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27778] ppid=27767 vsize=10561548 CPUtime=1.33 cores=0,2,4,6
/proc/27769/task/27778/stat : 27778 (java) S 27767 27769 24981 0 -1 4202560 58071 0 0 0 125 8 0 0 15 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27779] ppid=27767 vsize=10561548 CPUtime=1.88 cores=0,2,4,6
/proc/27769/task/27779/stat : 27779 (java) S 27767 27769 24981 0 -1 4202560 46755 0 0 0 182 6 0 0 16 0 22 0 811428031 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27780] ppid=27767 vsize=10561548 CPUtime=26.3 cores=0,2,4,6
/proc/27769/task/27780/stat : 27780 (java) S 27767 27769 24981 0 -1 4202560 66533 0 0 0 2622 8 0 0 15 0 22 0 811428032 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 0 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27781] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27781/stat : 27781 (java) S 27767 27769 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27782] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27782/stat : 27782 (java) S 27767 27769 24981 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811428033 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27783] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27783/stat : 27783 (java) S 27767 27769 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738228657 0 4 0 16800975 18446604445288555520 0 0 -1 6 0 0 0
[pid=27769/tid=27784] ppid=27767 vsize=10561548 CPUtime=1.41 cores=0,2,4,6
/proc/27769/task/27784/stat : 27784 (java) S 27767 27769 24981 0 -1 4202560 8163 0 0 0 141 0 0 0 15 0 22 0 811428035 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
[pid=27769/tid=27785] ppid=27767 vsize=10561548 CPUtime=0.89 cores=0,2,4,6
/proc/27769/task/27785/stat : 27785 (java) S 27767 27769 24981 0 -1 4202560 5601 0 0 0 88 1 0 0 15 0 22 0 811428035 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27786] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27786/stat : 27786 (java) S 27767 27769 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811428035 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738220953 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27787] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27787/stat : 27787 (java) S 27767 27769 24981 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811428035 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 0 0 0 0
[pid=27769/tid=27788] ppid=27767 vsize=10561548 CPUtime=875.69 cores=0,2,4,6
/proc/27769/task/27788/stat : 27788 (java) R 27767 27769 24981 0 -1 4202560 102 0 0 0 87568 1 0 0 25 0 22 0 811428830 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505789671 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27769/tid=27789] ppid=27767 vsize=10561548 CPUtime=875.63 cores=0,2,4,6
/proc/27769/task/27789/stat : 27789 (java) R 27767 27769 24981 0 -1 4202560 8755 0 0 0 87562 1 0 0 25 0 22 0 811428830 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 46912505729944 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27769/tid=27790] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27790/stat : 27790 (java) S 27767 27769 24981 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811428895 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 4 0 0 0
[pid=27769/tid=27791] ppid=27767 vsize=10561548 CPUtime=0 cores=0,2,4,6
/proc/27769/task/27791/stat : 27791 (java) S 27767 27769 24981 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 811428906 10815025152 1079768 33554432000 1073741824 1073778376 140734341435728 18446744073709551615 264738221568 0 4 0 16800975 18446604445288555520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10561548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+913.601 s]
/proc/loadavg: 3.92 3.94 3.82 5/557 27916
/proc/meminfo: memFree=15323524/32951124 swapFree=62999000/67111528
[pid=27769] ppid=27767 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/27769/stat : 27769 (java) Z 27767 27769 24981 0 -1 4203548 1151604 0 1 0 179861 170 0 0 17 0 2 0 811428029 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27769/statm: 0 0 0 0 0 0 0
[pid=27769/tid=27791] ppid=27767 vsize=0 CPUtime=0.16 cores=0,2,4,6
/proc/27769/task/27791/stat : 27791 (java) R 27767 27769 24981 0 -1 4203588 8 0 0 0 0 16 0 0 18 0 2 0 811428906 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 913.609
CPU time (s): 1800.33
CPU user time (s): 1798.62
CPU system time (s): 1.71374
CPU usage (%): 197.057
Max. virtual memory (cumulated for all children) (KiB): 10602600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.71374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1151604
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= 24219
involuntary context switches= 23488
runsolver used 5.18621 second user time and 10.6354 second system time
The end