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-3743782-1338796796/watcher-3743782-1338796796 -o /tmp/evaluation-result-3743782-1338796796/solver-3743782-1338796796 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743782-1338796796.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.67 3.87 3.86 3/197 20827
/proc/meminfo: memFree=28433708/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20827/stat : 20827 (java6) D 20825 20827 17860 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345805116 9515008 184 33554432000 1073741824 1073778376 140733198870272 140733198861496 214537235895 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 2323 184 142 9 0 71 0
[startup+0.064627 s]
/proc/loadavg: 3.67 3.87 3.86 3/197 20827
/proc/meminfo: memFree=28433708/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 3885 0 1 0 3 1 0 0 20 0 18 0 345805116 2764726272 5094 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 5095 1754 9 0 665676 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.100268 s]
/proc/loadavg: 3.67 3.87 3.86 3/197 20827
/proc/meminfo: memFree=28433708/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 4768 0 1 0 8 1 0 0 20 0 18 0 345805116 2764726272 5957 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 5958 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300175 s]
/proc/loadavg: 3.67 3.87 3.86 3/197 20827
/proc/meminfo: memFree=28433708/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=0.47 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 6146 0 1 0 44 3 0 0 20 0 18 0 345805116 2764726272 17527 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 17527 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2699928
[startup+0.700176 s]
/proc/loadavg: 3.67 3.87 3.86 3/197 20827
/proc/meminfo: memFree=28433708/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=1.15 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 11587 0 1 0 110 5 0 0 20 0 18 0 345805116 2764726272 49138 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 49138 2230 9 0 665676 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.62 3.85 3.86 4/215 20845
/proc/meminfo: memFree=28066972/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=2.51 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 12008 0 1 0 230 21 0 0 20 0 18 0 345805116 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 126538 2248 9 0 665676 0
[pid=20827/tid=20829] ppid=20825 vsize=2699928 CPUtime=1.3 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) S 20825 20827 17860 0 -1 4202560 3021 0 1 0 123 7 0 0 20 0 18 0 345805117 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231830027304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) R 20825 20827 17860 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231696780120 140231834204335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) R 20825 20827 17860 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231695727400 214537374855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) R 20825 20827 17860 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231694675032 214537374855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) R 20825 20827 17860 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231693622192 140231833785868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) R 20825 20827 17860 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231692568872 140231838074018 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) R 20825 20827 17860 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231691516376 214537374855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) R 20825 20827 17860 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231690463832 140231832499897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) R 20825 20827 17860 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 18 0 345805118 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231219079848 214537374855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345805119 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231206880776 214540792892 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2699928 CPUtime=0.34 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4389 0 0 0 34 0 0 0 20 0 18 0 345805122 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2699928 CPUtime=0.22 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 3138 0 0 0 22 0 0 0 20 0 18 0 345805122 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 126538 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 2699928
[startup+3.10082 s]
/proc/loadavg: 3.62 3.85 3.86 4/215 20845
/proc/meminfo: memFree=27822028/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=5.65 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 13975 0 1 0 532 33 0 0 20 0 18 0 345805116 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 162578 2248 9 0 665676 0
[pid=20827/tid=20829] ppid=20825 vsize=2699928 CPUtime=2.37 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) R 20825 20827 17860 0 -1 4202560 3035 0 1 0 229 8 0 0 20 0 18 0 345805117 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231830027304 140231837793377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2699928 CPUtime=0.36 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) S 20825 20827 17860 0 -1 4202560 329 0 0 0 31 5 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231696779944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2699928 CPUtime=0.36 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) S 20825 20827 17860 0 -1 4202560 255 0 0 0 32 4 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231695727400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) S 20825 20827 17860 0 -1 4202560 308 0 0 0 25 3 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231694674856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) S 20825 20827 17860 0 -1 4202560 204 0 0 0 25 3 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231693622312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2699928 CPUtime=0.37 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) S 20825 20827 17860 0 -1 4202560 200 0 0 0 34 3 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231692568744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2699928 CPUtime=0.41 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) S 20825 20827 17860 0 -1 4202560 344 0 0 0 37 4 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231691516200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) S 20825 20827 17860 0 -1 4202560 280 0 0 0 24 3 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231690463656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) S 20825 20827 17860 0 -1 4202560 311 0 0 0 25 3 0 0 20 0 18 0 345805118 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231219079720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345805119 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231206881896 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2699928 CPUtime=0.34 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4389 0 0 0 34 0 0 0 20 0 18 0 345805122 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2699928 CPUtime=0.22 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 3138 0 0 0 22 0 0 0 20 0 18 0 345805122 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 162578 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 2699928
[startup+6.30063 s]
/proc/loadavg: 3.81 3.89 3.87 4/216 20848
/proc/meminfo: memFree=27675568/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2699928 CPUtime=10.2 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 14469 0 1 0 980 40 0 0 20 0 18 0 345805116 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 674982 185538 2256 9 0 665676 0
[pid=20827/tid=20829] ppid=20825 vsize=2699928 CPUtime=5.12 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) R 20825 20827 17860 0 -1 4202560 3054 0 1 0 504 8 0 0 20 0 18 0 345805117 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231830026032 140231703084082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2699928 CPUtime=0.59 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) S 20825 20827 17860 0 -1 4202560 342 0 0 0 54 5 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231696779944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2699928 CPUtime=0.6 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) S 20825 20827 17860 0 -1 4202560 339 0 0 0 56 4 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231695727400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2699928 CPUtime=0.5 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) S 20825 20827 17860 0 -1 4202560 328 0 0 0 46 4 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231694674856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2699928 CPUtime=0.47 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) S 20825 20827 17860 0 -1 4202560 224 0 0 0 43 4 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231693622312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2699928 CPUtime=0.59 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) S 20825 20827 17860 0 -1 4202560 410 0 0 0 56 3 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231692568744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2699928 CPUtime=0.6 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) S 20825 20827 17860 0 -1 4202560 364 0 0 0 55 5 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231691516200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2699928 CPUtime=0.49 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) S 20825 20827 17860 0 -1 4202560 331 0 0 0 45 4 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231690463656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) S 20825 20827 17860 0 -1 4202560 328 0 0 0 43 3 0 0 20 0 18 0 345805118 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231219079720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345805119 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231206881896 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345805120 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2699928 CPUtime=0.41 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4428 0 0 0 41 0 0 0 20 0 18 0 345805122 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2699928 CPUtime=0.23 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 3139 0 0 0 23 0 0 0 20 0 18 0 345805122 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345805122 2764726272 185538 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 2699928
[startup+12.7008 s]
/proc/loadavg: 3.74 3.87 3.87 4/219 20852
/proc/meminfo: memFree=27553020/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2966184 CPUtime=23.64 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 16083 0 1 0 2317 47 0 0 20 0 22 0 345805116 3037372416 211869 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 741546 211869 2273 9 0 732240 0
[pid=20827/tid=20829] ppid=20825 vsize=2966184 CPUtime=5.82 cores=0,2,4,6
################
# More data... #
################
[pid=20827/tid=20850] ppid=20825 vsize=2966184 CPUtime=752.42 cores=0,2,4,6
/proc/20827/task/20850/stat : 20850 (java) R 20825 20827 17860 0 -1 4202560 65 0 0 0 75231 11 0 0 20 0 22 0 345805816 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231197375312 140231703262460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20851] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20851/stat : 20851 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231196325416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20852] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20852/stat : 20852 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231195272872 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.67
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 3.99 3.93 3.85 5/219 20884
/proc/meminfo: memFree=27271528/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2966184 CPUtime=1640.64 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 16262 0 1 0 163995 69 0 0 20 0 22 0 345805116 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 741546 228302 2285 9 0 732240 0
[pid=20827/tid=20829] ppid=20825 vsize=2966184 CPUtime=5.84 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) S 20825 20827 17860 0 -1 4202560 3064 0 1 0 575 9 0 0 20 0 22 0 345805117 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231830029464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) S 20825 20827 17860 0 -1 4202560 371 0 0 0 69 6 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231696779944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) S 20825 20827 17860 0 -1 4202560 361 0 0 0 67 5 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231695727400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2966184 CPUtime=0.62 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) S 20825 20827 17860 0 -1 4202560 357 0 0 0 56 6 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231694674856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) S 20825 20827 17860 0 -1 4202560 239 0 0 0 55 4 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231693622312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) S 20825 20827 17860 0 -1 4202560 459 0 0 0 71 4 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231692568744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) S 20825 20827 17860 0 -1 4202560 389 0 0 0 67 7 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231691516200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2966184 CPUtime=0.61 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) S 20825 20827 17860 0 -1 4202560 349 0 0 0 56 5 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231690463656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) S 20825 20827 17860 0 -1 4202560 338 0 0 0 54 4 0 0 20 0 22 0 345805118 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231219079720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2966184 CPUtime=2.58 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 72 0 0 0 255 3 0 0 20 0 22 0 345805119 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231206881896 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4550 0 0 0 96 0 0 0 20 0 22 0 345805122 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 4379 0 0 0 92 0 0 0 20 0 22 0 345805122 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 22 0 345805122 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20849] ppid=20825 vsize=2966184 CPUtime=812.36 cores=0,2,4,6
/proc/20827/task/20849/stat : 20849 (java) R 20825 20827 17860 0 -1 4202560 33 0 0 0 81222 14 0 0 20 0 22 0 345805816 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231198429992 140231703050277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20850] ppid=20825 vsize=2966184 CPUtime=812.41 cores=0,2,4,6
/proc/20827/task/20850/stat : 20850 (java) R 20825 20827 17860 0 -1 4202560 65 0 0 0 81229 12 0 0 20 0 22 0 345805816 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231197375312 140231703268260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20851] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20851/stat : 20851 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231196325416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20852] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20852/stat : 20852 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228302 33554432000 1073741824 1073778376 140734389939392 140231195272872 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.64
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.71 3.87 3.84 6/215 20942
/proc/meminfo: memFree=28132572/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2966184 CPUtime=1759.49 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 16280 0 1 0 175876 73 0 0 20 0 22 0 345805116 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 741546 228312 2285 9 0 732240 0
[pid=20827/tid=20829] ppid=20825 vsize=2966184 CPUtime=5.84 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) S 20825 20827 17860 0 -1 4202560 3064 0 1 0 575 9 0 0 20 0 22 0 345805117 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231830029464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) S 20825 20827 17860 0 -1 4202560 371 0 0 0 69 6 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231696779944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) S 20825 20827 17860 0 -1 4202560 361 0 0 0 67 5 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231695727400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) S 20825 20827 17860 0 -1 4202560 357 0 0 0 57 6 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231694674856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) S 20825 20827 17860 0 -1 4202560 239 0 0 0 55 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231693622312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) S 20825 20827 17860 0 -1 4202560 459 0 0 0 72 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231692568744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) S 20825 20827 17860 0 -1 4202560 389 0 0 0 67 7 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231691516200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2966184 CPUtime=0.61 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) S 20825 20827 17860 0 -1 4202560 349 0 0 0 56 5 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231690463656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) S 20825 20827 17860 0 -1 4202560 338 0 0 0 54 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231219079720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2966184 CPUtime=3.78 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 74 0 0 0 375 3 0 0 20 0 22 0 345805119 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231206881896 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4562 0 0 0 101 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 4379 0 0 0 92 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20849] ppid=20825 vsize=2966184 CPUtime=871.15 cores=0,2,4,6
/proc/20827/task/20849/stat : 20849 (java) R 20825 20827 17860 0 -1 4202560 33 0 0 0 87100 15 0 0 20 0 22 0 345805816 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231198429776 140231703050214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20850] ppid=20825 vsize=2966184 CPUtime=871.19 cores=0,2,4,6
/proc/20827/task/20850/stat : 20850 (java) R 20825 20827 17860 0 -1 4202560 65 0 0 0 87103 16 0 0 20 0 22 0 345805816 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231197375512 140231703050447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20851] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20851/stat : 20851 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231196325416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20852] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20852/stat : 20852 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231195272872 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1759.49
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.601 s]
/proc/loadavg: 3.50 3.82 3.82 4/215 20942
/proc/meminfo: memFree=26904244/32873648 swapFree=7116/7116
[pid=20827] ppid=20825 vsize=2966184 CPUtime=1800.1 cores=0,2,4,6
/proc/20827/stat : 20827 (java) S 20825 20827 17860 0 -1 4202496 16282 0 1 0 179936 74 0 0 20 0 22 0 345805116 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140734389930528 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20827/statm: 741546 228312 2285 9 0 732240 0
[pid=20827/tid=20829] ppid=20825 vsize=2966184 CPUtime=5.84 cores=0,2,4,6
/proc/20827/task/20829/stat : 20829 (java) S 20825 20827 17860 0 -1 4202560 3064 0 1 0 575 9 0 0 20 0 22 0 345805117 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231830029464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20830] ppid=20825 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/20827/task/20830/stat : 20830 (java) S 20825 20827 17860 0 -1 4202560 371 0 0 0 69 6 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231696779944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20831] ppid=20825 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/20827/task/20831/stat : 20831 (java) S 20825 20827 17860 0 -1 4202560 361 0 0 0 67 5 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231695727400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20832] ppid=20825 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/20827/task/20832/stat : 20832 (java) S 20825 20827 17860 0 -1 4202560 357 0 0 0 57 6 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231694674856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20833] ppid=20825 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/20827/task/20833/stat : 20833 (java) S 20825 20827 17860 0 -1 4202560 239 0 0 0 55 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231693622312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20834] ppid=20825 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/20827/task/20834/stat : 20834 (java) S 20825 20827 17860 0 -1 4202560 459 0 0 0 72 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231692568744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20835] ppid=20825 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/20827/task/20835/stat : 20835 (java) S 20825 20827 17860 0 -1 4202560 389 0 0 0 67 7 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231691516200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20836] ppid=20825 vsize=2966184 CPUtime=0.61 cores=0,2,4,6
/proc/20827/task/20836/stat : 20836 (java) S 20825 20827 17860 0 -1 4202560 349 0 0 0 56 5 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231690463656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20837] ppid=20825 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/20827/task/20837/stat : 20837 (java) S 20825 20827 17860 0 -1 4202560 338 0 0 0 54 4 0 0 20 0 22 0 345805118 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231219079720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20838] ppid=20825 vsize=2966184 CPUtime=3.78 cores=0,2,4,6
/proc/20827/task/20838/stat : 20838 (java) S 20825 20827 17860 0 -1 4202560 74 0 0 0 375 3 0 0 20 0 22 0 345805119 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231206881896 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20839] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20839/stat : 20839 (java) S 20825 20827 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231205828216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20840] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20840/stat : 20840 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805120 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231204775560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20841] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20841/stat : 20841 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231203724304 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20842] ppid=20825 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/20827/task/20842/stat : 20842 (java) S 20825 20827 17860 0 -1 4202560 4562 0 0 0 101 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231202670648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20843] ppid=20825 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/20827/task/20843/stat : 20843 (java) S 20825 20827 17860 0 -1 4202560 4379 0 0 0 92 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231201618104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20827/tid=20844] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20844/stat : 20844 (java) S 20825 20827 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231200565752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20845] ppid=20825 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/20827/task/20845/stat : 20845 (java) S 20825 20827 17860 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 345805122 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231199513416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20827/tid=20849] ppid=20825 vsize=2966184 CPUtime=891.46 cores=0,2,4,6
/proc/20827/task/20849/stat : 20849 (java) R 20825 20827 17860 0 -1 4202560 33 0 0 0 89131 15 0 0 20 0 22 0 345805816 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231198429776 140231703252748 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20827/tid=20850] ppid=20825 vsize=2966184 CPUtime=891.49 cores=0,2,4,6
/proc/20827/task/20850/stat : 20850 (java) R 20825 20827 17860 0 -1 4202560 65 0 0 0 89133 16 0 0 20 0 22 0 345805816 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231197375512 140231703272387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20851] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20851/stat : 20851 (java) S 20825 20827 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231196325416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20827/tid=20852] ppid=20825 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20827/task/20852/stat : 20852 (java) S 20825 20827 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345805857 3037372416 228312 33554432000 1073741824 1073778376 140734389939392 140231195272872 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2966184
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): 902.626
CPU time (s): 1800.52
CPU user time (s): 1799.36
CPU system time (s): 1.16182
CPU usage (%): 199.476
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 1.16182
maximum resident set size= 915420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16317
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= 21412
involuntary context switches= 14667
runsolver used 4.29935 second user time and 7.36588 second system time
The end