runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737559-1338723136/watcher-3737559-1338723136 -o /tmp/evaluation-result-3737559-1338723136/solver-3737559-1338723136 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737559-1338723136.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.83 3.92 3.80 3/196 21162
/proc/meminfo: memFree=24368432/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21162/stat : 21162 (java) R 21160 21162 18226 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 338439323 9515008 184 33554432000 1073741824 1073778376 140737014849376 140737014840408 270329870567 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2323 185 142 9 0 71 0
[startup+0.091347 s]
/proc/loadavg: 3.83 3.92 3.80 3/196 21162
/proc/meminfo: memFree=24368432/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 4109 0 1 0 5 1 0 0 20 0 18 0 338439323 11864465408 12982 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2896598 12996 1889 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.100207 s]
/proc/loadavg: 3.83 3.92 3.80 3/196 21162
/proc/meminfo: memFree=24368432/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 4719 0 1 0 8 2 0 0 20 0 18 0 338439323 11864465408 13578 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2896598 13578 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300225 s]
/proc/loadavg: 3.83 3.92 3.80 3/196 21162
/proc/meminfo: memFree=24368432/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11586392 CPUtime=0.46 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 6534 0 1 0 44 2 0 0 20 0 18 0 338439323 11864465408 16955 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2896598 16955 2235 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392
[startup+0.700185 s]
/proc/loadavg: 3.83 3.92 3.80 3/196 21162
/proc/meminfo: memFree=24368432/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 15092 0 1 0 158 6 0 0 20 0 22 0 338439323 12137111552 39722 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 39722 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 11852648
[startup+1.50056 s]
/proc/loadavg: 3.83 3.92 3.80 7/219 21185
/proc/meminfo: memFree=24202636/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=3.3 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 18674 0 1 0 320 10 0 0 20 0 19 0 338439323 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 48806 2266 9 0 2953849 0
[pid=21162/tid=21164] ppid=21160 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/21162/task/21164/stat : 21164 (java) S 21160 21162 18226 0 -1 4202560 2908 0 1 0 58 3 0 0 20 0 19 0 338439324 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424460694680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21165] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21165/stat : 21165 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424429103912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21166] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21166/stat : 21166 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424428051112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21167] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21167/stat : 21167 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424426998824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 8978 0 0 0 86 2 0 0 20 0 19 0 338439330 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5467 0 0 0 80 1 0 0 20 0 19 0 338439330 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21183] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21183/stat : 21183 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439389 12137111552 48806 33554432000 1073741824 1073778376 140735877592272 140423930848936 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 11852648
[startup+3.10062 s]
/proc/loadavg: 3.83 3.92 3.80 3/216 21191
/proc/meminfo: memFree=24162176/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=4.02 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 18834 0 1 0 386 16 0 0 20 0 19 0 338439323 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 64680 2267 9 0 2953849 0
[pid=21162/tid=21164] ppid=21160 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/21162/task/21164/stat : 21164 (java) S 21160 21162 18226 0 -1 4202560 2909 0 1 0 59 3 0 0 20 0 19 0 338439324 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424460694696 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21165] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21165/stat : 21165 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424429103912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21166] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21166/stat : 21166 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424428051112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21167] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21167/stat : 21167 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424426998824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 9085 0 0 0 95 2 0 0 20 0 19 0 338439330 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5468 0 0 0 93 1 0 0 20 0 19 0 338439330 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21183] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21183/stat : 21183 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439389 12137111552 64680 33554432000 1073741824 1073778376 140735877592272 140423930848936 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 11852648
[startup+6.30073 s]
/proc/loadavg: 3.68 3.89 3.79 3/216 21212
/proc/meminfo: memFree=24001828/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=5.49 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 18995 0 1 0 519 30 0 0 20 0 19 0 338439323 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 106140 2269 9 0 2953849 0
[pid=21162/tid=21164] ppid=21160 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/21162/task/21164/stat : 21164 (java) S 21160 21162 18226 0 -1 4202560 2911 0 1 0 61 3 0 0 20 0 19 0 338439324 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424460694696 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21165] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21165/stat : 21165 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424429103912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21166] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21166/stat : 21166 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424428051112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21167] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21167/stat : 21167 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424426998824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338439326 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439327 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 9085 0 0 0 95 2 0 0 20 0 19 0 338439330 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5487 0 0 0 104 1 0 0 20 0 19 0 338439330 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338439330 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21183] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21183/stat : 21183 (java) S 21160 21162 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338439389 12137111552 106140 33554432000 1073741824 1073778376 140735877592272 140423930848936 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 11852648
[startup+12.7005 s]
################
# More data... #
################
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 63 0 0 0 31 0 0 0 20 0 22 0 338439326 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 41 0 0 0 29 0 0 0 20 0 22 0 338439326 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 22 0 0 0 30 0 0 0 20 0 22 0 338439326 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 28 0 0 0 24 0 0 0 20 0 22 0 338439326 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 19 0 0 0 25 0 0 0 20 0 22 0 338439326 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=6.81 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 134 0 0 0 675 6 0 0 20 0 22 0 338439327 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 9124 0 0 0 133 2 0 0 20 0 22 0 338439330 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5498 0 0 0 112 1 0 0 20 0 22 0 338439330 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 47 0 0 0 14 14 0 0 20 0 22 0 338439330 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21296] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21296/stat : 21296 (java) S 21160 21162 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338449008 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423932954280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21322] ppid=21160 vsize=11852648 CPUtime=289.22 cores=0,2,4,6
/proc/21162/task/21322/stat : 21322 (java) R 21160 21162 18226 0 -1 4202560 14 0 0 0 28917 5 0 0 20 0 22 0 338492267 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423930847312 140424308977950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21323] ppid=21160 vsize=11852648 CPUtime=289.32 cores=0,2,4,6
/proc/21162/task/21323/stat : 21323 (java) R 21160 21162 18226 0 -1 4202560 72 0 0 0 28927 5 0 0 20 0 22 0 338492267 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423929793136 140424308993607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21324] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21324/stat : 21324 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338492267 12137111552 701374 33554432000 1073741824 1073778376 140735877592272 140423931900968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1607.87
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 4.00 3.97 3.88 5/219 21447
/proc/meminfo: memFree=22581928/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=1727.57 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 21148 0 1 0 172597 160 0 0 20 0 22 0 338439323 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 771528 2295 9 0 2953849 0
[pid=21162/tid=21164] ppid=21160 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/21162/task/21164/stat : 21164 (java) S 21160 21162 18226 0 -1 4202560 2927 0 1 0 69 4 0 0 20 0 22 0 338439324 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424460694664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21165] ppid=21160 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/21162/task/21165/stat : 21165 (java) S 21160 21162 18226 0 -1 4202560 51 0 0 0 32 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424429103912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21166] ppid=21160 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/21162/task/21166/stat : 21166 (java) S 21160 21162 18226 0 -1 4202560 36 0 0 0 25 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424428051112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21167] ppid=21160 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/21162/task/21167/stat : 21167 (java) S 21160 21162 18226 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424426998824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 65 0 0 0 33 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 45 0 0 0 30 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 25 0 0 0 31 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 28 0 0 0 26 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 22 0 338439326 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=7.15 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 138 0 0 0 709 6 0 0 20 0 22 0 338439327 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 9124 0 0 0 133 2 0 0 20 0 22 0 338439330 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5498 0 0 0 112 1 0 0 20 0 22 0 338439330 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 338439330 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21296] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21296/stat : 21296 (java) S 21160 21162 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338449008 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423932954280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21322] ppid=21160 vsize=11852648 CPUtime=348.68 cores=0,2,4,6
/proc/21162/task/21322/stat : 21322 (java) R 21160 21162 18226 0 -1 4202560 19 0 0 0 34862 6 0 0 20 0 22 0 338492267 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423930847312 140424309052539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21323] ppid=21160 vsize=11852648 CPUtime=348.8 cores=0,2,4,6
/proc/21162/task/21323/stat : 21323 (java) R 21160 21162 18226 0 -1 4202560 205 0 0 0 34869 11 0 0 20 0 22 0 338492267 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423929793136 140424309039722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21324] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21324/stat : 21324 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338492267 12137111552 771528 33554432000 1073741824 1073778376 140735877592272 140423931900968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.57
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+917.801 s]
/proc/loadavg: 4.23 4.03 3.91 5/219 21448
/proc/meminfo: memFree=20695352/32873660 swapFree=7120/7120
[pid=21162] ppid=21160 vsize=11852648 CPUtime=1798.49 cores=0,2,4,6
/proc/21162/stat : 21162 (java) S 21160 21162 18226 0 -1 4202496 21864 0 1 0 179686 163 0 0 20 0 22 0 338439323 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140735877583408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21162/statm: 2963162 812491 2295 9 0 2953849 0
[pid=21162/tid=21164] ppid=21160 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/21162/task/21164/stat : 21164 (java) S 21160 21162 18226 0 -1 4202560 2928 0 1 0 69 4 0 0 20 0 22 0 338439324 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424460694664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21165] ppid=21160 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/21162/task/21165/stat : 21165 (java) S 21160 21162 18226 0 -1 4202560 51 0 0 0 32 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424429103912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21166] ppid=21160 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/21162/task/21166/stat : 21166 (java) S 21160 21162 18226 0 -1 4202560 36 0 0 0 25 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424428051112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21167] ppid=21160 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/21162/task/21167/stat : 21167 (java) S 21160 21162 18226 0 -1 4202560 44 0 0 0 30 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424426998824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21168] ppid=21160 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/21162/task/21168/stat : 21168 (java) S 21160 21162 18226 0 -1 4202560 67 0 0 0 34 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424294402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21169] ppid=21160 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/21162/task/21169/stat : 21169 (java) S 21160 21162 18226 0 -1 4202560 45 0 0 0 30 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140424293349672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21170] ppid=21160 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/21162/task/21170/stat : 21170 (java) S 21160 21162 18226 0 -1 4202560 25 0 0 0 31 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423955736744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21171] ppid=21160 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/21162/task/21171/stat : 21171 (java) S 21160 21162 18226 0 -1 4202560 30 0 0 0 27 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423954684456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21172] ppid=21160 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/21162/task/21172/stat : 21172 (java) S 21160 21162 18226 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 22 0 338439326 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423953631656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21173] ppid=21160 vsize=11852648 CPUtime=7.33 cores=0,2,4,6
/proc/21162/task/21173/stat : 21173 (java) S 21160 21162 18226 0 -1 4202560 143 0 0 0 727 6 0 0 20 0 22 0 338439327 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423941434088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21174] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21174/stat : 21174 (java) S 21160 21162 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423940380152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21175] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21175/stat : 21175 (java) S 21160 21162 18226 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 338439327 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423939327752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21176] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21176/stat : 21176 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423938276240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21177] ppid=21160 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/21162/task/21177/stat : 21177 (java) S 21160 21162 18226 0 -1 4202560 9749 0 0 0 141 2 0 0 20 0 22 0 338439330 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423937222840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21178] ppid=21160 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/21162/task/21178/stat : 21178 (java) S 21160 21162 18226 0 -1 4202560 5498 0 0 0 112 1 0 0 20 0 22 0 338439330 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423936170040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21162/tid=21179] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21179/stat : 21179 (java) S 21160 21162 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338439330 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423935117944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21180] ppid=21160 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/21162/task/21180/stat : 21180 (java) S 21160 21162 18226 0 -1 4202560 53 0 0 0 16 15 0 0 20 0 22 0 338439330 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423934065352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21296] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21296/stat : 21296 (java) S 21160 21162 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338449008 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423932954280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21162/tid=21322] ppid=21160 vsize=11852648 CPUtime=383.88 cores=0,2,4,6
/proc/21162/task/21322/stat : 21322 (java) R 21160 21162 18226 0 -1 4202560 21 0 0 0 38381 7 0 0 20 0 22 0 338492267 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423930847312 140424309015382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21162/tid=21323] ppid=21160 vsize=11852648 CPUtime=384.02 cores=0,2,4,6
/proc/21162/task/21323/stat : 21323 (java) R 21160 21162 18226 0 -1 4202560 279 0 0 0 38390 12 0 0 20 0 22 0 338492267 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423929794472 140424308993663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21162/tid=21324] ppid=21160 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/21162/task/21324/stat : 21324 (java) S 21160 21162 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338492267 12137111552 812491 33554432000 1073741824 1073778376 140735877592272 140423931900968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21162 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=888135
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=803725
# CPU time returned by wait4() is 1796.69
# while last known CPU time is 1798.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.54011
# lost CPU user time (s): 1.72003
# lost CPU system time (s): -0.18
Real time (s): 917.832
CPU time (s): 1800.03
CPU user time (s): 1798.58
CPU system time (s): 1.45
CPU usage (%): 196.117
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.89
system time used= 1.80373
maximum resident set size= 3250076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21893
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24601
involuntary context switches= 13574
runsolver used 3.37149 second user time and 7.97379 second system time
The end