runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455907-1307225054/watcher-3455907-1307225054 -o /tmp/evaluation-result-3455907-1307225054/solver-3455907-1307225054 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455907-1307225054.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 2/442 8196
/proc/meminfo: memFree=22158736/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 834103579 36646912 1018 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 8947 1018 782 9 0 386 0
[pid=8196/tid=8197] ppid=8194 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) S 8194 8196 7124 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 834103580 36646912 1018 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246516854342 0 0 0 16784584 5228385876945403903 0 0 -1 3 0 0 0
[startup+0.105478 s]
/proc/loadavg: 2.02 2.04 2.00 2/442 8196
/proc/meminfo: memFree=22158736/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10540260 CPUtime=0.09 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 12905 0 1 0 8 1 0 0 25 0 18 0 834103579 10793226240 12602 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2635065 12603 2083 9 0 2625799 0
[pid=8196/tid=8197] ppid=8194 vsize=10540260 CPUtime=0.07 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 11008 0 1 0 6 1 0 0 18 0 18 0 834103580 10793226240 12603 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528660939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540260
[startup+0.205251 s]
/proc/loadavg: 2.02 2.04 2.00 2/442 8196
/proc/meminfo: memFree=22158736/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10543092 CPUtime=0.25 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 14468 0 1 0 23 2 0 0 25 0 19 0 834103579 10796126208 13982 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2635773 14011 2184 9 0 2626507 0
[pid=8196/tid=8197] ppid=8194 vsize=10543092 CPUtime=0.17 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 11871 0 1 0 16 1 0 0 18 0 19 0 834103580 10796126208 14020 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10543092
[startup+0.300209 s]
/proc/loadavg: 2.02 2.04 2.00 2/442 8196
/proc/meminfo: memFree=22158736/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10544140 CPUtime=0.51 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 16791 0 1 0 49 2 0 0 25 0 19 0 834103579 10797199360 15553 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2636035 15553 2200 9 0 2626769 0
[pid=8196/tid=8197] ppid=8194 vsize=10544140 CPUtime=0.27 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 12691 0 1 0 25 2 0 0 18 0 19 0 834103580 10797199360 15554 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10544140
[startup+0.701137 s]
/proc/loadavg: 2.02 2.04 2.00 2/442 8196
/proc/meminfo: memFree=22158736/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10553336 CPUtime=1.63 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 40420 0 1 0 157 6 0 0 25 0 19 0 834103579 10806616064 35102 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2638334 35125 2219 9 0 2629068 0
[pid=8196/tid=8197] ppid=8194 vsize=10553336 CPUtime=0.66 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 27454 0 1 0 62 4 0 0 18 0 19 0 834103580 10806616064 35142 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505569940 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10553336
[startup+1.50101 s]
/proc/loadavg: 2.02 2.03 2.00 3/461 8215
/proc/meminfo: memFree=21880400/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10553336 CPUtime=2.83 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 119155 0 1 0 268 15 0 0 25 0 19 0 834103579 10806616064 112478 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2638334 112483 2225 9 0 2629068 0
[pid=8196/tid=8197] ppid=8194 vsize=10553336 CPUtime=1.46 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 104977 0 1 0 133 13 0 0 19 0 19 0 834103580 10806616064 112486 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505543880 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112489 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112491 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112494 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112497 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112500 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112503 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112505 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 112508 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834103584 10806616064 112511 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834103584 10806616064 112514 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834103585 10806616064 112517 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10806616064 112520 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10553336 CPUtime=0.59 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4346 0 0 0 59 0 0 0 21 0 19 0 834103587 10806616064 112522 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10553336 CPUtime=0.75 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8678 0 0 0 74 1 0 0 15 0 19 0 834103587 10806616064 112524 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8213] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8194 8196 7124 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834103587 10806616064 112526 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8214] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8214/stat : 8214 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834103587 10806616064 112529 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8215] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10806616064 112531 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10553336
[startup+3.1007 s]
/proc/loadavg: 2.02 2.03 2.00 3/461 8215
/proc/meminfo: memFree=21429164/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10553336 CPUtime=4.45 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 288945 0 1 0 410 35 0 0 25 0 19 0 834103579 10806616064 282268 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2638334 282272 2225 9 0 2629068 0
[pid=8196/tid=8197] ppid=8194 vsize=10553336 CPUtime=3.07 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 274762 0 1 0 274 33 0 0 24 0 19 0 834103580 10806616064 282273 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505576648 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282278 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282281 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282283 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282285 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282288 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282292 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282294 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10806616064 282296 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834103584 10806616064 282298 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834103584 10806616064 282300 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834103585 10806616064 282304 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10806616064 282306 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10553336 CPUtime=0.61 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4349 0 0 0 61 0 0 0 17 0 19 0 834103587 10806616064 282309 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10553336 CPUtime=0.75 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8678 0 0 0 74 1 0 0 15 0 19 0 834103587 10806616064 282311 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8213] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8194 8196 7124 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834103587 10806616064 282313 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8214] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8214/stat : 8214 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834103587 10806616064 282315 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8215] ppid=8194 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10806616064 282317 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10553336
[startup+6.30112 s]
/proc/loadavg: 2.02 2.03 2.00 3/461 8217
/proc/meminfo: memFree=20066148/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10550940 CPUtime=7.67 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 613889 0 1 0 697 70 0 0 25 0 19 0 834103579 10804162560 606317 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2637735 606321 2226 9 0 2628469 0
[pid=8196/tid=8197] ppid=8194 vsize=10550940 CPUtime=6.27 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 599703 0 1 0 559 68 0 0 25 0 19 0 834103580 10804162560 606322 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505559186 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606326 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606328 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606333 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606336 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606338 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606343 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606346 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103583 10804162560 606348 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834103584 10804162560 606351 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834103584 10804162560 606353 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834103585 10804162560 606355 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 606357 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10550940 CPUtime=0.61 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4349 0 0 0 61 0 0 0 16 0 19 0 834103587 10804162560 606361 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10550940 CPUtime=0.77 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8679 0 0 0 76 1 0 0 15 0 19 0 834103587 10804162560 606363 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=8196/tid=8215] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10804162560 953137 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1668.96
Current children cumulated vsize (KiB) 10550940
[startup+1722.3 s]
/proc/loadavg: 2.27 2.18 2.06 3/461 8312
/proc/meminfo: memFree=19167528/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10550940 CPUtime=1729.12 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 964750 0 1 0 172803 109 0 0 25 0 19 0 834103579 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2637735 955260 2256 9 0 2628469 0
[pid=8196/tid=8197] ppid=8194 vsize=10550940 CPUtime=1716.67 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 831384 0 1 0 171574 93 0 0 25 0 19 0 834103580 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912506064857 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10550940 CPUtime=0.99 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 17160 0 0 0 97 2 0 0 15 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10550940 CPUtime=0.97 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 11617 0 0 0 96 1 0 0 16 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10550940 CPUtime=0.96 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 13089 0 0 0 95 1 0 0 15 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10550940 CPUtime=1.02 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 12615 0 0 0 101 1 0 0 15 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10550940 CPUtime=1.01 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 12237 0 0 0 100 1 0 0 16 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10550940 CPUtime=1.02 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 13973 0 0 0 101 1 0 0 15 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10550940 CPUtime=0.85 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 13619 0 0 0 84 1 0 0 16 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10550940 CPUtime=0.92 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 10849 0 0 0 91 1 0 0 15 0 19 0 834103583 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10550940 CPUtime=3.06 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 13895 0 0 0 304 2 0 0 15 0 19 0 834103584 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834103584 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834103585 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10550940 CPUtime=0.64 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4358 0 0 0 64 0 0 0 15 0 19 0 834103587 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10550940 CPUtime=0.91 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8703 0 0 0 90 1 0 0 15 0 19 0 834103587 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8213] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8194 8196 7124 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8214] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8214/stat : 8214 (java) S 8194 8196 7124 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834103587 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8215] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10804162560 955260 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1729.12
Current children cumulated vsize (KiB) 10550940
[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.06 3/461 8314
/proc/meminfo: memFree=19135120/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10550940 CPUtime=1789.33 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 966600 0 1 0 178823 110 0 0 25 0 19 0 834103579 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2637735 957054 2256 9 0 2628469 0
[pid=8196/tid=8197] ppid=8194 vsize=10550940 CPUtime=1776.58 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 831389 0 1 0 177565 93 0 0 25 0 19 0 834103580 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505559280 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10550940 CPUtime=1.02 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 17317 0 0 0 100 2 0 0 16 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10550940 CPUtime=1 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 11738 0 0 0 99 1 0 0 15 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10550940 CPUtime=1.01 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 13461 0 0 0 100 1 0 0 15 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10550940 CPUtime=1.05 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 12875 0 0 0 104 1 0 0 16 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 12626 0 0 0 105 1 0 0 15 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10550940 CPUtime=1.05 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 14112 0 0 0 104 1 0 0 16 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10550940 CPUtime=0.89 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 13942 0 0 0 88 1 0 0 16 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10550940 CPUtime=0.93 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 10925 0 0 0 92 1 0 0 15 0 19 0 834103583 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10550940 CPUtime=3.06 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 13899 0 0 0 304 2 0 0 15 0 19 0 834103584 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834103584 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834103585 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10550940 CPUtime=0.64 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4358 0 0 0 64 0 0 0 15 0 19 0 834103587 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10550940 CPUtime=0.91 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8703 0 0 0 90 1 0 0 15 0 19 0 834103587 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8213] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8194 8196 7124 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8214] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8214/stat : 8214 (java) S 8194 8196 7124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834103587 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8215] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10804162560 957054 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1789.33
Current children cumulated vsize (KiB) 10550940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793 s]
/proc/loadavg: 2.12 2.15 2.06 4/461 8314
/proc/meminfo: memFree=19133880/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=10550940 CPUtime=1800.1 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8196 7124 0 -1 4202496 966912 0 1 0 179900 110 0 0 25 0 19 0 834103579 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 2637735 957341 2256 9 0 2628469 0
[pid=8196/tid=8197] ppid=8194 vsize=10550940 CPUtime=1787.29 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4202560 831390 0 1 0 178636 93 0 0 25 0 19 0 834103580 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 46912505829048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8196/tid=8199] ppid=8194 vsize=10550940 CPUtime=1.02 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8196 7124 0 -1 4202560 17317 0 0 0 100 2 0 0 15 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8200] ppid=8194 vsize=10550940 CPUtime=1.02 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8196 7124 0 -1 4202560 11777 0 0 0 101 1 0 0 16 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8201] ppid=8194 vsize=10550940 CPUtime=1.03 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8196 7124 0 -1 4202560 13572 0 0 0 102 1 0 0 16 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8202] ppid=8194 vsize=10550940 CPUtime=1.05 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8196 7124 0 -1 4202560 12875 0 0 0 104 1 0 0 15 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8203] ppid=8194 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8196 7124 0 -1 4202560 12626 0 0 0 105 1 0 0 15 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8204] ppid=8194 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8196 7124 0 -1 4202560 14143 0 0 0 105 1 0 0 16 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8205] ppid=8194 vsize=10550940 CPUtime=0.89 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8196 7124 0 -1 4202560 13942 0 0 0 88 1 0 0 16 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 7 0 0 0
[pid=8196/tid=8206] ppid=8194 vsize=10550940 CPUtime=0.95 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8196 7124 0 -1 4202560 11055 0 0 0 94 1 0 0 16 0 19 0 834103583 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8207] ppid=8194 vsize=10550940 CPUtime=3.06 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8196 7124 0 -1 4202560 13899 0 0 0 304 2 0 0 16 0 19 0 834103584 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 0 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8208] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8196 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834103584 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8209] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8196 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834103585 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8210] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8196 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528657841 0 4 0 16800975 18446604458424988992 0 0 -1 3 0 0 0
[pid=8196/tid=8211] ppid=8194 vsize=10550940 CPUtime=0.64 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8194 8196 7124 0 -1 4202560 4358 0 0 0 64 0 0 0 15 0 19 0 834103587 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8212] ppid=8194 vsize=10550940 CPUtime=0.91 cores=1,3,5,7
/proc/8196/task/8212/stat : 8212 (java) S 8194 8196 7124 0 -1 4202560 8703 0 0 0 90 1 0 0 15 0 19 0 834103587 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8213] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8194 8196 7124 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834103587 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650137 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
[pid=8196/tid=8214] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8214/stat : 8214 (java) S 8194 8196 7124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834103587 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 5 0 0 0
[pid=8196/tid=8215] ppid=8194 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8194 8196 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834103599 10804162560 957341 33554432000 1073741824 1073778376 140735078410480 18446744073709551615 246528650752 0 4 0 16800975 18446604458424988992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10550940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.14 s]
/proc/loadavg: 2.12 2.15 2.06 4/461 8314
/proc/meminfo: memFree=19133880/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/8196/stat : 8196 (java) Z 8194 8196 7124 0 -1 4203548 966952 0 1 0 179908 117 0 0 17 0 2 0 834103579 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 0 0 0 0 0 0 0
[pid=8196/tid=8197] ppid=8194 vsize=0 CPUtime=1787.4 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4203588 831390 0 1 0 178640 100 0 0 25 0 2 0 834103580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+1793.2 s]
/proc/loadavg: 2.12 2.15 2.06 4/461 8314
/proc/meminfo: memFree=19133880/32951124 swapFree=44043516/67111528
[pid=8196] ppid=8194 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/8196/stat : 8196 (java) Z 8194 8196 7124 0 -1 4203548 966952 0 1 0 179908 123 0 0 17 0 2 0 834103579 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8196/statm: 0 0 0 0 0 0 0
[pid=8196/tid=8197] ppid=8194 vsize=0 CPUtime=1787.46 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8196 7124 0 -1 4203588 831390 0 1 0 178640 106 0 0 25 0 2 0 834103580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.21
CPU time (s): 1800.33
CPU user time (s): 1799.09
CPU system time (s): 1.24681
CPU usage (%): 100.397
Max. virtual memory (cumulated for all children) (KiB): 10554064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966952
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41001
involuntary context switches= 8958
runsolver used 7.67683 second user time and 17.7963 second system time
The end