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 /var/tmp/evaluation-result-3492837-1307911841/watcher-3492837-1307911841 -o /var/tmp/evaluation-result-3492837-1307911841/solver-3492837-1307911841 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492837-1307911841.wbo
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.05 2.01 1.93 3/195 6283
/proc/meminfo: memFree=926172/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6283/stat : 6283 (java) R 6281 6283 2916 0 -1 4202496 912 0 0 0 0 0 0 0 23 0 1 0 635375410 23580672 654 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268655699712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6283/statm: 5757 665 488 9 0 124 0
[startup+0.0850341 s]
/proc/loadavg: 2.05 2.01 1.93 3/195 6283
/proc/meminfo: memFree=926172/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10538916 CPUtime=0.07 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 12280 0 1 0 6 1 0 0 23 0 18 0 635375410 10791849984 11975 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2634729 11976 1913 9 0 2625463 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538916
[startup+0.101066 s]
/proc/loadavg: 2.05 2.01 1.93 3/195 6283
/proc/meminfo: memFree=926172/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10540140 CPUtime=0.1 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 13106 0 1 0 9 1 0 0 23 0 18 0 635375410 10793103360 12758 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2635035 12758 2092 9 0 2625769 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540140
[startup+0.308075 s]
/proc/loadavg: 2.05 2.01 1.93 3/195 6283
/proc/meminfo: memFree=926172/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10542000 CPUtime=0.51 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 16759 0 1 0 49 2 0 0 23 0 18 0 635375410 10795008000 16086 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2635500 16086 2200 9 0 2626234 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542000
[startup+0.70096 s]
/proc/loadavg: 2.05 2.01 1.93 3/195 6283
/proc/meminfo: memFree=926172/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10543788 CPUtime=1.22 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 51153 0 1 0 116 6 0 0 23 0 18 0 635375410 10796838912 48977 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2635947 48977 2226 9 0 2626681 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10543788
[startup+1.50081 s]
/proc/loadavg: 2.04 2.01 1.93 3/214 6302
/proc/meminfo: memFree=733536/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10545108 CPUtime=2.42 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 52999 0 1 0 236 6 0 0 23 0 19 0 635375410 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2636277 50130 2238 9 0 2627011 0
[pid=6283/tid=6285] ppid=6281 vsize=10545108 CPUtime=1.48 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 46281 0 1 0 143 5 0 0 19 0 19 0 635375410 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912505900864 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 635375413 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635375414 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 635375414 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10545108 CPUtime=0.45 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 1885 0 0 0 45 0 0 0 15 0 19 0 635375416 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10545108 CPUtime=0.46 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 3671 0 0 0 46 0 0 0 15 0 19 0 635375416 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635375416 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10798190592 50130 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 10545108
[startup+3.10054 s]
/proc/loadavg: 2.04 2.01 1.93 3/214 6302
/proc/meminfo: memFree=732792/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10545108 CPUtime=4.06 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 53033 0 1 0 400 6 0 0 23 0 19 0 635375410 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2636277 50162 2239 9 0 2627011 0
[pid=6283/tid=6285] ppid=6281 vsize=10545108 CPUtime=3.08 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 46306 0 1 0 303 5 0 0 25 0 19 0 635375410 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912506000935 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 635375413 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635375414 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 635375414 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10545108 CPUtime=0.48 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 1890 0 0 0 48 0 0 0 15 0 19 0 635375416 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10545108 CPUtime=0.48 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 3674 0 0 0 48 0 0 0 15 0 19 0 635375416 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635375416 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10545108 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10798190592 50162 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10545108
[startup+6.30097 s]
/proc/loadavg: 2.04 2.01 1.93 3/214 6302
/proc/meminfo: memFree=733784/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10544508 CPUtime=7.26 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 53061 0 1 0 720 6 0 0 23 0 19 0 635375410 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2636127 49842 2239 9 0 2626861 0
[pid=6283/tid=6285] ppid=6281 vsize=10544508 CPUtime=6.28 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 46334 0 1 0 623 5 0 0 25 0 19 0 635375410 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912505909780 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635375412 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 635375413 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635375414 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 635375414 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10544508 CPUtime=0.48 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 1890 0 0 0 48 0 0 0 15 0 19 0 635375416 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10544508 CPUtime=0.48 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 3674 0 0 0 48 0 0 0 15 0 19 0 635375416 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635375416 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10544508 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10797576192 49842 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 10544508
[startup+12.7008 s]
################
# More data... #
################
[pid=6283/tid=6291] ppid=6281 vsize=10561256 CPUtime=0.01 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1826 0 0 0 1 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1736 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10561256 CPUtime=0.13 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 8458 0 0 0 13 0 0 0 15 0 19 0 635375413 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10561256 CPUtime=0.61 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 2144 0 0 0 61 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10561256 CPUtime=0.86 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 10302 0 0 0 85 1 0 0 16 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.9
Current children cumulated vsize (KiB) 10561256
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/214 6419
/proc/meminfo: memFree=94020/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10561256 CPUtime=1723.9 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 77528 0 1 0 172381 9 0 0 23 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2640314 71431 2266 9 0 2631048 0
[pid=6283/tid=6285] ppid=6281 vsize=10561256 CPUtime=1722.14 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 47302 0 1 0 172209 5 0 0 25 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912505909787 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1518 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 295 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1492 0 0 0 2 0 0 0 17 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10561256 CPUtime=0.01 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1826 0 0 0 1 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1736 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10561256 CPUtime=0.13 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 8458 0 0 0 13 0 0 0 15 0 19 0 635375413 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10561256 CPUtime=0.61 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 2144 0 0 0 61 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10561256 CPUtime=0.86 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 10302 0 0 0 85 1 0 0 16 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.9
Current children cumulated vsize (KiB) 10561256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/214 6421
/proc/meminfo: memFree=93724/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10561256 CPUtime=1783.9 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 77532 0 1 0 178381 9 0 0 23 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2640314 71431 2266 9 0 2631048 0
[pid=6283/tid=6285] ppid=6281 vsize=10561256 CPUtime=1782.14 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 47302 0 1 0 178209 5 0 0 25 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912505900889 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1518 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 295 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1492 0 0 0 2 0 0 0 17 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10561256 CPUtime=0.01 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1826 0 0 0 1 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1736 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10561256 CPUtime=0.13 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 8458 0 0 0 13 0 0 0 15 0 19 0 635375413 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10561256 CPUtime=0.61 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 2144 0 0 0 61 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10561256 CPUtime=0.86 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 10302 0 0 0 85 1 0 0 16 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.9
Current children cumulated vsize (KiB) 10561256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/214 6421
/proc/meminfo: memFree=93596/32951124 swapFree=67055716/67111528
[pid=6283] ppid=6281 vsize=10561256 CPUtime=1800.01 cores=1,3,5,7
/proc/6283/stat : 6283 (java) S 6281 6283 2916 0 -1 4202496 77534 0 1 0 179992 9 0 0 23 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6283/statm: 2640314 71431 2266 9 0 2631048 0
[pid=6283/tid=6285] ppid=6281 vsize=10561256 CPUtime=1798.25 cores=1,3,5,7
/proc/6283/task/6285/stat : 6285 (java) R 6281 6283 2916 0 -1 4202560 47302 0 1 0 179820 5 0 0 25 0 19 0 635375410 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 46912505909616 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6283/tid=6286] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6286/stat : 6286 (java) S 6281 6283 2916 0 -1 4202560 1518 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6287] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6287/stat : 6287 (java) S 6281 6283 2916 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6288] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6288/stat : 6288 (java) S 6281 6283 2916 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6289] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6289/stat : 6289 (java) S 6281 6283 2916 0 -1 4202560 295 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6290] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6290/stat : 6290 (java) S 6281 6283 2916 0 -1 4202560 1492 0 0 0 2 0 0 0 17 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6291] ppid=6281 vsize=10561256 CPUtime=0.01 cores=1,3,5,7
/proc/6283/task/6291/stat : 6291 (java) S 6281 6283 2916 0 -1 4202560 1826 0 0 0 1 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6292] ppid=6281 vsize=10561256 CPUtime=0.02 cores=1,3,5,7
/proc/6283/task/6292/stat : 6292 (java) S 6281 6283 2916 0 -1 4202560 1736 0 0 0 2 0 0 0 18 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6293] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6293/stat : 6293 (java) S 6281 6283 2916 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 635375412 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=6283/tid=6294] ppid=6281 vsize=10561256 CPUtime=0.13 cores=1,3,5,7
/proc/6283/task/6294/stat : 6294 (java) S 6281 6283 2916 0 -1 4202560 8458 0 0 0 13 0 0 0 15 0 19 0 635375413 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6295] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6295/stat : 6295 (java) S 6281 6283 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6296] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6296/stat : 6296 (java) S 6281 6283 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635375414 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6297] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6297/stat : 6297 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6298] ppid=6281 vsize=10561256 CPUtime=0.61 cores=1,3,5,7
/proc/6283/task/6298/stat : 6298 (java) S 6281 6283 2916 0 -1 4202560 2144 0 0 0 61 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6299] ppid=6281 vsize=10561256 CPUtime=0.86 cores=1,3,5,7
/proc/6283/task/6299/stat : 6299 (java) S 6281 6283 2916 0 -1 4202560 10302 0 0 0 85 1 0 0 16 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=6283/tid=6300] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6300/stat : 6300 (java) S 6281 6283 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=6283/tid=6301] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6301/stat : 6301 (java) S 6281 6283 2916 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 635375416 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=6283/tid=6302] ppid=6281 vsize=10561256 CPUtime=0 cores=1,3,5,7
/proc/6283/task/6302/stat : 6302 (java) S 6281 6283 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635375490 10814726144 71431 33554432000 1073741824 1073778376 140737049257568 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10561256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.44
CPU time (s): 1800.07
CPU user time (s): 1799.96
CPU system time (s): 0.110983
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 10565228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77584
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= 36875
involuntary context switches= 4912
runsolver used 2.69659 second user time and 5.76512 second system time
The end