runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4109372-1466343625/watcher-4109372-1466343625 -o /tmp/evaluation-result-4109372-1466343625/solver-4109372-1466343625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466341819-12182 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109372-1466343625.wbo
pid=12597
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.41 2.33 1.97 4/195 12600
/proc/meminfo: memFree=29856584/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/12600/stat : 12600 (java) R 12597 12600 12165 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 36410914 23793664 702 33554432000 1073741824 1073778376 140734032231888 140734032220952 217401299387 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 5809 706 520 9 0 128 0
[startup+0.100061 s]
/proc/loadavg: 2.41 2.33 1.97 4/195 12600
/proc/meminfo: memFree=29856584/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 4427 0 1 0 9 0 0 0 20 0 18 0 36410914 9787879424 6061 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2389619 6061 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200235 s]
/proc/loadavg: 2.41 2.33 1.97 4/195 12600
/proc/meminfo: memFree=29856584/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 6494 0 1 0 25 1 0 0 20 0 19 0 36410914 9856040960 8581 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 8581 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040
[startup+0.300243 s]
/proc/loadavg: 2.41 2.33 1.97 4/195 12600
/proc/meminfo: memFree=29856584/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 7539 0 1 0 53 2 0 0 20 0 19 0 36410914 9856040960 8875 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 8875 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040
[startup+0.700188 s]
/proc/loadavg: 2.41 2.33 1.97 4/195 12600
/proc/meminfo: memFree=29856584/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 9845 0 1 0 111 2 0 0 20 0 19 0 36410914 9856040960 9802 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 9802 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625040
[startup+1.50066 s]
/proc/loadavg: 2.41 2.33 1.97 3/214 12619
/proc/meminfo: memFree=29820408/32872528 swapFree=1534440/1655036
[pid=12600] ppid=12597 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 10288 0 1 0 202 2 0 0 20 0 19 0 36410914 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 10884 2260 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2420 0 1 0 146 0 0 0 20 0 19 0 36410914 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078379532176 140078227718016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) R 12597 12600 12165 0 -1 4202560 3414 0 0 0 28 0 0 0 20 0 19 0 36410919 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077728475416 140078385495677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) R 12597 12600 12165 0 -1 4202560 3182 0 0 0 27 0 0 0 20 0 19 0 36410919 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077727422656 140078382570545 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 10884 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.41 2.33 1.97 4/214 12619
/proc/meminfo: memFree=29791580/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 19053 0 1 0 423 4 0 0 20 0 19 0 36410914 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 17523 2260 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2434 0 1 0 304 2 0 0 20 0 19 0 36410914 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078379524400 140078228107627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 86 3 0 0 20 0 19 0 36410919 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 3201 0 0 0 29 0 0 0 20 0 19 0 36410919 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 17523 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9625040
[startup+6.30086 s]
/proc/loadavg: 2.37 2.33 1.97 3/214 12684
/proc/meminfo: memFree=29799188/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=7.49 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 19127 0 1 0 745 4 0 0 20 0 19 0 36410914 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 21201 2263 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2446 0 1 0 623 2 0 0 20 0 19 0 36410914 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078379523776 140078228101514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 86 3 0 0 20 0 19 0 36410919 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 3262 0 0 0 32 0 0 0 20 0 19 0 36410919 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 21201 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 91 3 0 0 20 0 19 0 36410919 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 4190 0 0 0 38 0 0 0 20 0 19 0 36410919 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 28365 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 9625040
[startup+12.0007 s]
/proc/loadavg: 2.34 2.32 1.97 3/214 12684
/proc/meminfo: memFree=29728980/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=13.31 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 20074 0 1 0 1326 5 0 0 20 0 19 0 36410914 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 29389 2263 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=11.93 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2465 0 1 0 1191 2 0 0 20 0 19 0 36410914 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078379523792 140078228135456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 91 3 0 0 20 0 19 0 36410919 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 4190 0 0 0 38 0 0 0 20 0 19 0 36410919 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 29389 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 9625040
[startup+12.4008 s]
/proc/loadavg: 2.34 2.32 1.97 2/191 12717
/proc/meminfo: memFree=29819732/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=13.71 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 20075 0 1 0 1366 5 0 0 20 0 19 0 36410914 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 29901 2263 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=12.33 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2466 0 1 0 1231 2 0 0 20 0 19 0 36410914 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078379523792 140078228195455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 91 3 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 4190 0 0 0 38 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 9625040
[startup+12.6008 s]
/proc/loadavg: 2.34 2.32 1.97 2/191 12717
/proc/meminfo: memFree=29819732/32872528 swapFree=1534436/1655032
[pid=12600] ppid=12597 vsize=9625040 CPUtime=13.91 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12600 12165 0 -1 4202496 20075 0 1 0 1386 5 0 0 20 0 19 0 36410914 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140734032223024 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12600/statm: 2406260 29901 2263 9 0 2396937 0
[pid=12600/tid=12602] ppid=12597 vsize=9625040 CPUtime=12.53 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) R 12597 12600 12165 0 -1 4202560 2466 0 1 0 1251 2 0 0 20 0 19 0 36410914 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078379532712 140078228135620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12603] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078351985704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12604] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078350932904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12605] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078349880104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12600/tid=12606] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078348827304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12607] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078347774504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12608] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078346721704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12609] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078216685864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12610] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12600 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36410915 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140078215633064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12611] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12600 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36410916 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077732686824 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12612] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12600 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077731632888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12613] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410917 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077730579976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12614] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077729528464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12615] ppid=12597 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12600/task/12615/stat : 12615 (java) S 12597 12600 12165 0 -1 4202560 12146 0 0 0 91 3 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077728475576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12616] ppid=12597 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12600/task/12616/stat : 12616 (java) S 12597 12600 12165 0 -1 4202560 4190 0 0 0 38 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077727422776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12600/tid=12617] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12617/stat : 12617 (java) S 12597 12600 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077726370168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12600/tid=12618] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12618/stat : 12618 (java) S 12597 12600 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36410919 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077725317576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12600/tid=12619] ppid=12597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12619/stat : 12619 (java) S 12597 12600 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36410930 9856040960 29901 33554432000 1073741824 1073778376 140734032231888 140077724264104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.91
Current children cumulated vsize (KiB) 9625040
Child status: 30
Real time (s): 12.6648
CPU time (s): 13.9619
CPU user time (s): 13.8799
CPU system time (s): 0.081987
CPU usage (%): 110.242
Max. virtual memory (cumulated for all children) (KiB): 9625648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8799
system time used= 0.081987
maximum resident set size= 121716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20099
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 550
involuntary context switches= 65
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095985 second user time and 0.107983 second system time
The end