runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689944-1337886456/watcher-3689944-1337886456 -o /tmp/evaluation-result-3689944-1337886456/solver-3689944-1337886456 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689944-1337886456.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.83 3.92 3.90 4/197 29802
/proc/meminfo: memFree=29129972/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/29802/stat : 29802 (java) D 29800 29802 24583 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254771160 2560000 46 33554432000 1073741824 1073778376 140735910654944 140735910652072 270698376487 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29802/statm: 625 46 37 9 0 29 0
[startup+0.104064 s]
/proc/loadavg: 3.83 3.92 3.90 4/197 29802
/proc/meminfo: memFree=29129972/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 4262 0 1 0 8 1 0 0 20 0 18 0 254771160 9787813888 5460 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 5460 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200245 s]
/proc/loadavg: 3.83 3.92 3.90 4/197 29802
/proc/meminfo: memFree=29129972/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 5105 0 1 0 25 1 0 0 20 0 18 0 254771160 9787813888 11229 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 11229 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558412
[startup+0.300284 s]
/proc/loadavg: 3.83 3.92 3.90 4/197 29802
/proc/meminfo: memFree=29129972/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 5975 0 1 0 45 1 0 0 20 0 18 0 254771160 9787813888 16176 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 16176 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700291 s]
/proc/loadavg: 3.83 3.92 3.90 4/197 29802
/proc/meminfo: memFree=29129972/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.97 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 6174 0 1 0 91 6 0 0 20 0 18 0 254771160 9787813888 47517 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 47517 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9558412
[startup+1.50078 s]
/proc/loadavg: 3.83 3.92 3.90 4/215 29820
/proc/meminfo: memFree=28887620/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=2.61 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 15092 0 1 0 242 19 0 0 20 0 18 0 254771160 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 104547 2248 9 0 2380296 0
[pid=29802/tid=29804] ppid=29800 vsize=9558412 CPUtime=1.3 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 24583 0 -1 4202560 2560 0 1 0 126 4 0 0 20 0 18 0 254771162 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194410789688 270710924557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 24583 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194383244072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 24583 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194382191272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 24583 0 -1 4202560 161 0 0 0 4 2 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194381138984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 24583 0 -1 4202560 154 0 0 0 5 2 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194380086184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 24583 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194379032872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 24583 0 -1 4202560 115 0 0 0 5 1 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194377980072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 24583 0 -1 4202560 173 0 0 0 4 2 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194247911976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 24583 0 -1 4202560 134 0 0 0 5 2 0 0 20 0 18 0 254771163 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140194246859176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193763912424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9558412 CPUtime=0.33 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4651 0 0 0 33 0 0 0 20 0 18 0 254771167 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5682 0 0 0 38 0 0 0 20 0 18 0 254771167 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 104547 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9558412
[startup+3.10066 s]
/proc/loadavg: 3.83 3.92 3.90 4/215 29820
/proc/meminfo: memFree=27949608/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=5.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 19099 0 1 0 443 59 0 0 20 0 18 0 254771160 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 561644 2248 9 0 2380296 0
[pid=29802/tid=29804] ppid=29800 vsize=9558412 CPUtime=2.62 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) S 29800 29802 24583 0 -1 4202560 4023 0 1 0 231 31 0 0 20 0 18 0 254771162 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194410789688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) R 29800 29802 24583 0 -1 4202560 112 0 0 0 18 4 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194383244248 140194413262521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) R 29800 29802 24583 0 -1 4202560 243 0 0 0 20 4 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194382191448 140194413262464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9558412 CPUtime=0.19 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) R 29800 29802 24583 0 -1 4202560 563 0 0 0 15 4 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194381138744 140194413262537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) R 29800 29802 24583 0 -1 4202560 370 0 0 0 19 4 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194380086064 140194417687468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) R 29800 29802 24583 0 -1 4202560 326 0 0 0 12 2 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194379033048 140194414548937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) R 29800 29802 24583 0 -1 4202560 333 0 0 0 12 3 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194377980248 140194417687468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) R 29800 29802 24583 0 -1 4202560 267 0 0 0 15 3 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194247912152 140194414548381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) R 29800 29802 24583 0 -1 4202560 382 0 0 0 14 3 0 0 20 0 18 0 254771163 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140194246859200 140194414548937 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 972 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193763911304 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9558412 CPUtime=0.33 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4651 0 0 0 33 0 0 0 20 0 18 0 254771167 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5682 0 0 0 38 0 0 0 20 0 18 0 254771167 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 561644 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 9558412
[startup+6.30072 s]
/proc/loadavg: 3.76 3.90 3.89 4/215 29820
/proc/meminfo: memFree=26190532/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9558412 CPUtime=9.74 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 21116 0 1 0 894 80 0 0 20 0 18 0 254771160 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2389603 735776 2248 9 0 2380296 0
[pid=29802/tid=29804] ppid=29800 vsize=9558412 CPUtime=5.29 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 24583 0 -1 4202560 4274 0 1 0 490 39 0 0 20 0 18 0 254771162 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194410782704 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 24583 0 -1 4202560 158 0 0 0 40 5 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194383244072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 24583 0 -1 4202560 453 0 0 0 44 6 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194382191272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9558412 CPUtime=0.43 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 24583 0 -1 4202560 604 0 0 0 38 5 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194381138984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 24583 0 -1 4202560 948 0 0 0 39 6 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194380086184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 24583 0 -1 4202560 427 0 0 0 43 4 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194379032872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9558412 CPUtime=0.43 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 24583 0 -1 4202560 662 0 0 0 38 5 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194377980072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9558412 CPUtime=0.39 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 24583 0 -1 4202560 308 0 0 0 34 5 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194247911976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 24583 0 -1 4202560 512 0 0 0 42 6 0 0 20 0 18 0 254771163 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140194246859176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193763912424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254771164 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9558412 CPUtime=0.33 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4651 0 0 0 33 0 0 0 20 0 18 0 254771167 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5682 0 0 0 38 0 0 0 20 0 18 0 254771167 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254771167 9787813888 735776 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 9558412
[startup+12.7008 s]
/proc/loadavg: 3.70 3.89 3.89 5/219 29824
/proc/meminfo: memFree=26188264/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9824668 CPUtime=21.5 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 21287 0 1 0 2068 82 0 0 20 0 22 0 254771160 10060460032 736340 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2456167 736340 2270 9 0 2446860 0
[pid=29802/tid=29804] ppid=29800 vsize=9824668 CPUtime=7.2 cores=1,3,5,7
################
# More data... #
################
[pid=29802/tid=29822] ppid=29800 vsize=9824668 CPUtime=746.79 cores=1,3,5,7
/proc/29802/task/29822/stat : 29822 (java) R 29800 29802 24583 0 -1 4202560 70 0 0 0 74666 13 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193754434272 140194259825693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29823] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29823/stat : 29823 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193753384616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29824] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29824/stat : 29824 (java) S 29800 29802 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193752331816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1514.59
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.14 4.03 3.94 5/219 29895
/proc/meminfo: memFree=21196832/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9824668 CPUtime=1633.31 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 27927 0 1 0 163207 124 0 0 20 0 22 0 254771160 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2456167 789682 2282 9 0 2446860 0
[pid=29802/tid=29804] ppid=29800 vsize=9824668 CPUtime=7.24 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) S 29800 29802 24583 0 -1 4202560 4294 0 1 0 682 42 0 0 20 0 22 0 254771162 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194410791928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 24583 0 -1 4202560 556 0 0 0 52 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194383244072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 24583 0 -1 4202560 1229 0 0 0 57 9 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194382191272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 24583 0 -1 4202560 1233 0 0 0 51 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194381138984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 24583 0 -1 4202560 2591 0 0 0 53 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194380086184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 24583 0 -1 4202560 1014 0 0 0 53 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194379032872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 24583 0 -1 4202560 1337 0 0 0 55 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194377980072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 24583 0 -1 4202560 1454 0 0 0 49 7 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194247911976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 24583 0 -1 4202560 1144 0 0 0 52 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194246859176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9824668 CPUtime=8.11 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 1331 0 0 0 809 2 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193763912424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4674 0 0 0 86 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5730 0 0 0 92 1 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9824668 CPUtime=805.64 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) R 29800 29802 24583 0 -1 4202560 34 0 0 0 80552 12 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193755488992 140194259833679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29822] ppid=29800 vsize=9824668 CPUtime=805.5 cores=1,3,5,7
/proc/29802/task/29822/stat : 29822 (java) R 29800 29802 24583 0 -1 4202560 70 0 0 0 80536 14 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193754434272 140194259825716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29823] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29823/stat : 29823 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193753384616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29824] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29824/stat : 29824 (java) S 29800 29802 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193752331816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1633.31
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 4.05 4.02 3.94 5/219 29895
/proc/meminfo: memFree=21196380/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9824668 CPUtime=1753.31 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 27933 0 1 0 175206 125 0 0 20 0 22 0 254771160 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2456167 789682 2282 9 0 2446860 0
[pid=29802/tid=29804] ppid=29800 vsize=9824668 CPUtime=7.24 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) S 29800 29802 24583 0 -1 4202560 4294 0 1 0 682 42 0 0 20 0 22 0 254771162 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194410791928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 24583 0 -1 4202560 556 0 0 0 52 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194383244072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 24583 0 -1 4202560 1229 0 0 0 57 9 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194382191272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 24583 0 -1 4202560 1233 0 0 0 51 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194381138984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 24583 0 -1 4202560 2591 0 0 0 53 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194380086184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 24583 0 -1 4202560 1014 0 0 0 53 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194379032872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 24583 0 -1 4202560 1337 0 0 0 55 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194377980072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 24583 0 -1 4202560 1454 0 0 0 49 7 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194247911976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 24583 0 -1 4202560 1144 0 0 0 52 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194246859176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9824668 CPUtime=8.12 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 1331 0 0 0 810 2 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193763912424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4674 0 0 0 86 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5730 0 0 0 92 1 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 51 0 0 0 16 20 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9824668 CPUtime=865.65 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) R 29800 29802 24583 0 -1 4202560 36 0 0 0 86552 13 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193755488992 140194260020295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29822] ppid=29800 vsize=9824668 CPUtime=865.48 cores=1,3,5,7
/proc/29802/task/29822/stat : 29822 (java) R 29800 29802 24583 0 -1 4202560 70 0 0 0 86533 15 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193754434272 140194259826478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29823] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29823/stat : 29823 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193753384616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29824] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29824/stat : 29824 (java) S 29800 29802 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193752331816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1753.31
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.701 s]
/proc/loadavg: 4.03 4.02 3.94 6/219 29895
/proc/meminfo: memFree=21257200/32873648 swapFree=6856/6856
[pid=29802] ppid=29800 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 24583 0 -1 4202496 27935 0 1 0 179884 125 0 0 20 0 22 0 254771160 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140736022896800 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29802/statm: 2456167 789682 2282 9 0 2446860 0
[pid=29802/tid=29804] ppid=29800 vsize=9824668 CPUtime=7.24 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) S 29800 29802 24583 0 -1 4202560 4294 0 1 0 682 42 0 0 20 0 22 0 254771162 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194410791928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 24583 0 -1 4202560 556 0 0 0 52 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194383244072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 24583 0 -1 4202560 1229 0 0 0 57 9 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194382191272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 24583 0 -1 4202560 1233 0 0 0 51 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194381138984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 24583 0 -1 4202560 2591 0 0 0 53 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194380086184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 24583 0 -1 4202560 1014 0 0 0 53 6 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194379032872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 24583 0 -1 4202560 1337 0 0 0 55 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194377980072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 24583 0 -1 4202560 1454 0 0 0 49 7 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194247911976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 24583 0 -1 4202560 1144 0 0 0 52 8 0 0 20 0 22 0 254771163 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140194246859176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9824668 CPUtime=8.12 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 24583 0 -1 4202560 1331 0 0 0 810 2 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193763912424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193762858488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771164 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193761806088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193760754576 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 24583 0 -1 4202560 4674 0 0 0 86 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193759701176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 24583 0 -1 4202560 5730 0 0 0 92 1 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193758648376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193757596280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 24583 0 -1 4202560 53 0 0 0 16 21 0 0 20 0 22 0 254771167 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193756543688 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9824668 CPUtime=889.05 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) R 29800 29802 24583 0 -1 4202560 36 0 0 0 88892 13 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193755488992 140194259930011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29822] ppid=29800 vsize=9824668 CPUtime=888.87 cores=1,3,5,7
/proc/29802/task/29822/stat : 29822 (java) R 29800 29802 24583 0 -1 4202560 70 0 0 0 88872 15 0 0 20 0 22 0 254771982 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193754434272 140194259704300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29823] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29823/stat : 29823 (java) S 29800 29802 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193753384616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29824] ppid=29800 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29824/stat : 29824 (java) S 29800 29802 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254771997 10060460032 789682 33554432000 1073741824 1073778376 140736022905664 140193752331816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 905.746
CPU time (s): 1800.6
CPU user time (s): 1798.9
CPU system time (s): 1.70074
CPU usage (%): 198.797
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.70074
maximum resident set size= 3158852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27970
page faults= 1
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22165
involuntary context switches= 14014
runsolver used 3.38248 second user time and 8.59369 second system time
The end