runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479379-1307450454/watcher-3479379-1307450454 -o /tmp/evaluation-result-3479379-1307450454/solver-3479379-1307450454 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479379-1307450454.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: 2.00 2.04 2.00 3/544 32713
/proc/meminfo: memFree=22257184/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 5075 0 1 0 0 0 0 0 25 0 2 0 837461280 13850947584 4778 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3381579 4791 917 9 0 3372735 0
[pid=32713/tid=32714] ppid=32711 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 4021 0 1 0 0 0 0 0 25 0 2 0 837461281 13850947584 4838 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0755251 s]
/proc/loadavg: 2.00 2.04 2.00 3/544 32713
/proc/meminfo: memFree=22257184/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 14253 0 1 0 4 1 0 0 25 0 18 0 837461280 13880270848 13950 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3388738 13950 1741 9 0 3379472 0
[pid=32713/tid=32714] ppid=32711 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 13079 0 1 0 4 1 0 0 25 0 18 0 837461281 13880270848 13950 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 47328246152131 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952
[startup+0.10052 s]
/proc/loadavg: 2.00 2.04 2.00 3/544 32713
/proc/meminfo: memFree=22257184/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13622420 CPUtime=0.1 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 15481 0 1 0 8 2 0 0 25 0 18 0 837461280 13949358080 15141 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3405605 15142 2092 9 0 3396339 0
[pid=32713/tid=32714] ppid=32711 vsize=13622420 CPUtime=0.08 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 13530 0 1 0 6 2 0 0 25 0 18 0 837461281 13949358080 15143 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622420
[startup+0.300448 s]
/proc/loadavg: 2.00 2.04 2.00 3/544 32713
/proc/meminfo: memFree=22257184/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13624492 CPUtime=0.51 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 19823 0 1 0 48 3 0 0 25 0 18 0 837461280 13951479808 19146 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3406123 19148 2203 9 0 3396857 0
[pid=32713/tid=32714] ppid=32711 vsize=13624492 CPUtime=0.27 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 16749 0 1 0 25 2 0 0 25 0 18 0 837461281 13951479808 19150 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624492
[startup+0.70041 s]
/proc/loadavg: 2.00 2.04 2.00 3/544 32713
/proc/meminfo: memFree=22257184/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13629288 CPUtime=1.26 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 51454 0 1 0 119 7 0 0 25 0 18 0 837461280 13956390912 48774 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407322 48778 2216 9 0 3398056 0
[pid=32713/tid=32714] ppid=32711 vsize=13629288 CPUtime=0.67 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 43826 0 1 0 61 6 0 0 25 0 18 0 837461281 13956390912 48781 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505577808 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13629288
[startup+1.50127 s]
/proc/loadavg: 2.00 2.04 2.00 3/563 32732
/proc/meminfo: memFree=22006432/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13630316 CPUtime=2.4 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 69047 0 1 0 230 10 0 0 25 0 19 0 837461280 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407579 65277 2236 9 0 3398313 0
[pid=32713/tid=32714] ppid=32711 vsize=13630316 CPUtime=1.48 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60233 0 1 0 139 9 0 0 25 0 19 0 837461281 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505992288 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 837461284 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 837461285 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461285 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13630316 CPUtime=0.43 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3844 0 0 0 43 0 0 0 21 0 19 0 837461287 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13630316 CPUtime=0.47 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3810 0 0 0 47 0 0 0 16 0 19 0 837461287 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 837461287 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13957443584 65277 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13630316
[startup+3.10099 s]
/proc/loadavg: 2.00 2.04 2.00 3/563 32732
/proc/meminfo: memFree=22002092/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13630316 CPUtime=4 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 69050 0 1 0 390 10 0 0 25 0 19 0 837461280 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407579 65279 2236 9 0 3398313 0
[pid=32713/tid=32714] ppid=32711 vsize=13630316 CPUtime=3.08 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60235 0 1 0 299 9 0 0 25 0 19 0 837461281 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505992375 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 837461284 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 837461285 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461285 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13630316 CPUtime=0.43 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3844 0 0 0 43 0 0 0 21 0 19 0 837461287 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13630316 CPUtime=0.47 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3810 0 0 0 47 0 0 0 16 0 19 0 837461287 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 837461287 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13630316 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13957443584 65279 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 13630316
[startup+6.3014 s]
/proc/loadavg: 2.00 2.04 2.00 3/563 32732
/proc/meminfo: memFree=22002468/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13629332 CPUtime=7.23 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 69371 0 1 0 713 10 0 0 25 0 19 0 837461280 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407333 65367 2236 9 0 3398067 0
[pid=32713/tid=32714] ppid=32711 vsize=13629332 CPUtime=6.28 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60553 0 1 0 619 9 0 0 25 0 19 0 837461281 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505975552 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461283 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 837461284 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 837461285 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461285 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13629332 CPUtime=0.44 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3844 0 0 0 44 0 0 0 17 0 19 0 837461287 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13629332 CPUtime=0.49 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3813 0 0 0 49 0 0 0 15 0 19 0 837461287 13956435968 65367 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=32713/tid=32721] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1587 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1159 0 0 0 4 0 0 0 16 0 19 0 837461283 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1595 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13629332 CPUtime=1.37 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 7558 0 0 0 136 1 0 0 15 0 19 0 837461284 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13629332 CPUtime=0.53 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3869 0 0 0 53 0 0 0 15 0 19 0 837461287 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13629332 CPUtime=0.65 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3827 0 0 0 65 0 0 0 15 0 19 0 837461287 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 837461287 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13956435968 79477 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1663.69
Current children cumulated vsize (KiB) 13629332
[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/539 348
/proc/meminfo: memFree=22204532/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13629332 CPUtime=1723.7 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 83887 0 1 0 172358 12 0 0 25 0 19 0 837461280 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407333 79655 2264 9 0 3398067 0
[pid=32713/tid=32714] ppid=32711 vsize=13629332 CPUtime=1720.74 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60817 0 1 0 172065 9 0 0 25 0 19 0 837461281 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505969629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 15 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 505 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 275 0 0 0 4 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 814 0 0 0 3 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 437 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1587 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1159 0 0 0 4 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1595 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13629332 CPUtime=1.41 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 7738 0 0 0 140 1 0 0 15 0 19 0 837461284 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13629332 CPUtime=0.53 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3869 0 0 0 53 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13629332 CPUtime=0.65 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3827 0 0 0 65 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 13629332
[startup+1782.3 s]
/proc/loadavg: 1.14 1.08 1.36 2/539 350
/proc/meminfo: memFree=22203620/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13629332 CPUtime=1783.71 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 83894 0 1 0 178359 12 0 0 25 0 19 0 837461280 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407333 79655 2264 9 0 3398067 0
[pid=32713/tid=32714] ppid=32711 vsize=13629332 CPUtime=1780.69 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60818 0 1 0 178060 9 0 0 25 0 19 0 837461281 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912506006887 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 15 0 0 0 3 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 505 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 275 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 814 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 437 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1587 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1159 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1595 0 0 0 4 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13629332 CPUtime=1.46 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 7740 0 0 0 145 1 0 0 15 0 19 0 837461284 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13629332 CPUtime=0.53 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3869 0 0 0 53 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13629332 CPUtime=0.65 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3827 0 0 0 65 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 13629332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.6 s]
/proc/loadavg: 1.11 1.08 1.35 2/539 350
/proc/meminfo: memFree=22203864/32951124 swapFree=64303760/67111528
[pid=32713] ppid=32711 vsize=13629332 CPUtime=1800.03 cores=1,3,5,7
/proc/32713/stat : 32713 (java) S 32711 32713 31299 0 -1 4202496 83894 0 1 0 179991 12 0 0 25 0 19 0 837461280 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32713/statm: 3407333 79655 2264 9 0 3398067 0
[pid=32713/tid=32714] ppid=32711 vsize=13629332 CPUtime=1797.01 cores=1,3,5,7
/proc/32713/task/32714/stat : 32714 (java) R 32711 32713 31299 0 -1 4202560 60818 0 1 0 179692 9 0 0 25 0 19 0 837461281 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 46912505981132 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32713/tid=32716] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32716/stat : 32716 (java) S 32711 32713 31299 0 -1 4202560 15 0 0 0 3 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32717] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32717/stat : 32717 (java) S 32711 32713 31299 0 -1 4202560 505 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32718] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32718/stat : 32718 (java) S 32711 32713 31299 0 -1 4202560 275 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32719] ppid=32711 vsize=13629332 CPUtime=0.03 cores=1,3,5,7
/proc/32713/task/32719/stat : 32719 (java) S 32711 32713 31299 0 -1 4202560 814 0 0 0 3 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32720] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32720/stat : 32720 (java) S 32711 32713 31299 0 -1 4202560 437 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32721] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32721/stat : 32721 (java) S 32711 32713 31299 0 -1 4202560 1587 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32722] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32722/stat : 32722 (java) S 32711 32713 31299 0 -1 4202560 1159 0 0 0 4 0 0 0 15 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32723] ppid=32711 vsize=13629332 CPUtime=0.04 cores=1,3,5,7
/proc/32713/task/32723/stat : 32723 (java) S 32711 32713 31299 0 -1 4202560 1595 0 0 0 4 0 0 0 16 0 19 0 837461283 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32724] ppid=32711 vsize=13629332 CPUtime=1.46 cores=1,3,5,7
/proc/32713/task/32724/stat : 32724 (java) S 32711 32713 31299 0 -1 4202560 7740 0 0 0 145 1 0 0 15 0 19 0 837461284 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 0 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32725] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32725/stat : 32725 (java) S 32711 32713 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32726] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32726/stat : 32726 (java) S 32711 32713 31299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 837461285 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32727] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32727/stat : 32727 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522121137 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32728] ppid=32711 vsize=13629332 CPUtime=0.53 cores=1,3,5,7
/proc/32713/task/32728/stat : 32728 (java) S 32711 32713 31299 0 -1 4202560 3869 0 0 0 53 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 7 0 0 0
[pid=32713/tid=32729] ppid=32711 vsize=13629332 CPUtime=0.65 cores=1,3,5,7
/proc/32713/task/32729/stat : 32729 (java) S 32711 32713 31299 0 -1 4202560 3827 0 0 0 65 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 1 0 0 0
[pid=32713/tid=32730] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32730/stat : 32730 (java) S 32711 32713 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522113433 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
[pid=32713/tid=32731] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32731/stat : 32731 (java) S 32711 32713 31299 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 837461287 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 3 0 0 0
[pid=32713/tid=32732] ppid=32711 vsize=13629332 CPUtime=0 cores=1,3,5,7
/proc/32713/task/32732/stat : 32732 (java) S 32711 32713 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 837461367 13956435968 79655 33554432000 1073741824 1073778376 140733820152656 18446744073709551615 233522114048 0 4 0 16800975 18446604461834238848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13629332
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): 1798.7
CPU time (s): 1800.16
CPU user time (s): 1800.01
CPU system time (s): 0.144977
CPU usage (%): 100.081
Max. virtual memory (cumulated for all children) (KiB): 13630316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83992
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38043
involuntary context switches= 5681
runsolver used 8.83966 second user time and 22.2776 second system time
The end