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-3710699-1338147508/watcher-3710699-1338147508 -o /tmp/evaluation-result-3710699-1338147508/solver-3710699-1338147508 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710699-1338147508.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21305/stat : 21305 (java) D 21303 21305 18146 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280875374 9515008 183 33554432000 1073741824 1073778376 140736606340272 140736606331304 225444708021 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21305/statm: 2323 183 140 9 0 71 0
[startup+0.010992 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 280875374 24780800 867 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 6050 868 655 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200
[startup+0.100266 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 4256 0 1 0 8 1 0 0 20 0 18 0 280875374 9787842560 5462 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2389610 5462 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300296 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9558440 CPUtime=0.43 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 5237 0 1 0 42 1 0 0 20 0 18 0 280875374 9787842560 8092 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2389610 8092 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558440
[startup+0.700313 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 8535 0 1 0 118 3 0 0 20 0 19 0 280875374 9856004096 25734 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 25734 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625004
[startup+1.50081 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30482948/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 8947 0 1 0 210 4 0 0 20 0 19 0 280875374 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 29807 2263 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2553 0 1 0 144 2 0 0 20 0 19 0 280875375 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027494777000 140027502541651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2495 0 0 0 35 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2704 0 0 0 29 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625004
[startup+3.10077 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30445580/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=3.82 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 9207 0 1 0 377 5 0 0 20 0 19 0 280875374 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 42140 2289 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2558 0 1 0 297 3 0 0 20 0 19 0 280875375 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359822522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2496 0 0 0 38 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625004
[startup+6.30084 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30405800/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=7.17 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 9403 0 1 0 710 7 0 0 20 0 19 0 280875374 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 47403 2289 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=6.08 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2560 0 1 0 605 3 0 0 20 0 19 0 280875375 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359822522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 19 0 280875377 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 19 0 280875377 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 44 0 0 0 11 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2521 0 0 0 44 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.02 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2205 0 0 0 380 22 0 0 20 0 19 0 280875376 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1733 0 0 0 363 18 0 0 20 0 19 0 280875377 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=3.74 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 1994 0 0 0 355 19 0 0 20 0 19 0 280875377 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.36 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1121 0 0 0 828 8 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 92 0 0 0 35 38 0 0 20 0 19 0 280875381 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1625.37
Current children cumulated vsize (KiB) 9625004
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 21420
/proc/meminfo: memFree=29119208/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1686.21 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 28024 0 1 0 168398 223 0 0 20 0 19 0 280875374 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 194042 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1644.55 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3003 0 1 0 164425 30 0 0 20 0 19 0 280875375 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359761484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3261 0 0 0 358 18 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2558 0 0 0 371 23 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2036 0 0 0 357 18 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=3.93 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1370 0 0 0 370 23 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1830 0 0 0 381 17 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2276 0 0 0 393 24 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1829 0 0 0 374 20 0 0 20 0 19 0 280875377 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=3.86 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2012 0 0 0 366 20 0 0 20 0 19 0 280875377 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.74 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1158 0 0 0 866 8 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 94 0 0 0 36 40 0 0 20 0 19 0 280875381 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1686.21
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 21420
/proc/meminfo: memFree=29037948/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1747.25 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 28882 0 1 0 174493 232 0 0 20 0 19 0 280875374 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 203629 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1704.02 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3016 0 1 0 170371 31 0 0 20 0 19 0 280875375 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027494776192 140027359738280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.89 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3396 0 0 0 370 19 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2685 0 0 0 393 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2101 0 0 0 379 19 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=4.06 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1395 0 0 0 382 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=4.13 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1974 0 0 0 395 18 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.33 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2398 0 0 0 409 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=4.09 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1904 0 0 0 388 21 0 0 20 0 19 0 280875377 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=4.04 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2098 0 0 0 384 20 0 0 20 0 19 0 280875377 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.91 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1220 0 0 0 883 8 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 98 0 0 0 38 42 0 0 20 0 19 0 280875381 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1747.25
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1774.43 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21421
/proc/meminfo: memFree=29017588/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1800.22 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 29318 0 1 0 179786 236 0 0 20 0 19 0 280875374 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 208593 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1755.61 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3026 0 1 0 175529 32 0 0 20 0 19 0 280875375 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027494776312 140027359887198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3503 0 0 0 377 20 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=4.27 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2703 0 0 0 403 24 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=4.18 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2214 0 0 0 398 20 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1395 0 0 0 391 24 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=4.34 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 2103 0 0 0 416 18 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.44 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2398 0 0 0 419 25 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=4.3 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1929 0 0 0 409 21 0 0 20 0 19 0 280875377 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2102 0 0 0 396 21 0 0 20 0 19 0 280875377 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=9.15 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1246 0 0 0 907 8 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 102 0 0 0 39 43 0 0 20 0 19 0 280875381 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1774.48
CPU time (s): 1800.55
CPU user time (s): 1797.84
CPU system time (s): 2.71359
CPU usage (%): 101.469
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.84
system time used= 2.71359
maximum resident set size= 835244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29540
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51262
involuntary context switches= 56089
runsolver used 6.69998 second user time and 16.3625 second system time
The end