runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312472-1304117013/watcher-3312472-1304117013 -o /tmp/evaluation-result-3312472-1304117013/solver-3312472-1304117013 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312472-1304117013.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.79 7.53 7.85 3/194 5410
/proc/meminfo: memFree=29510656/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 1409 0 0 0 0 0 0 0 24 0 2 0 601932016 26714112 879 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 6522 880 675 9 0 381 0
[pid=5410/tid=5411] ppid=5408 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) S 5408 5410 4858 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 601932017 26714112 884 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231890566791 0 2147483391 4096 0 18446744071699215550 0 0 -1 2 0 0 0
[startup+0.100583 s]
/proc/loadavg: 5.79 7.53 7.85 3/194 5410
/proc/meminfo: memFree=29510656/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15675604 CPUtime=0.1 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 5649 0 1 0 10 0 0 0 24 0 18 0 601932016 16051818496 5071 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3918901 5071 2117 9 0 3909620 0
[pid=5410/tid=5411] ppid=5408 vsize=15675604 CPUtime=0.08 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) R 5408 5410 4858 0 -1 4202560 3485 0 1 0 8 0 0 0 18 0 18 0 601932017 16051818496 5072 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575888176746 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15675604
[startup+0.200582 s]
/proc/loadavg: 5.79 7.53 7.85 3/194 5410
/proc/meminfo: memFree=29510656/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15676364 CPUtime=0.29 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 7226 0 1 0 28 1 0 0 24 0 18 0 601932016 16052596736 6571 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3919091 6572 2187 9 0 3909810 0
[pid=5410/tid=5411] ppid=5408 vsize=15676364 CPUtime=0.18 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) R 5408 5410 4858 0 -1 4202560 4603 0 1 0 18 0 0 0 18 0 18 0 601932017 16052596736 6572 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912505511663 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15676364
[startup+0.30056 s]
/proc/loadavg: 5.79 7.53 7.85 3/194 5410
/proc/meminfo: memFree=29510656/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15680992 CPUtime=0.53 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 15799 0 1 0 50 3 0 0 24 0 18 0 601932016 16057335808 13992 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3920248 13998 2206 9 0 3910967 0
[pid=5410/tid=5411] ppid=5408 vsize=15680992 CPUtime=0.28 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) R 5408 5410 4858 0 -1 4202560 10680 0 1 0 27 1 0 0 18 0 18 0 601932017 16057335808 14001 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912505638880 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15680992
[startup+0.700458 s]
/proc/loadavg: 5.79 7.53 7.85 3/194 5410
/proc/meminfo: memFree=29510656/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15680992 CPUtime=0.93 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 41872 0 1 0 88 5 0 0 24 0 18 0 601932016 16057335808 40062 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3920248 40062 2222 9 0 3910967 0
[pid=5410/tid=5411] ppid=5408 vsize=15680992 CPUtime=0.68 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) R 5408 5410 4858 0 -1 4202560 35508 0 1 0 64 4 0 0 18 0 18 0 601932017 16057335808 40062 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912505589453 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680992
[startup+1.50126 s]
/proc/loadavg: 5.65 7.47 7.83 11/220 5436
/proc/meminfo: memFree=29163500/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15715812 CPUtime=2.47 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 55995 0 1 0 240 7 0 0 24 0 22 0 601932016 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3928953 50417 2258 9 0 3919672 0
[pid=5410/tid=5411] ppid=5408 vsize=15715812 CPUtime=1.46 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) R 5408 5410 4858 0 -1 4202560 35602 0 1 0 142 4 0 0 21 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575891478342 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5410/tid=5413] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5413/stat : 5413 (java) S 5408 5410 4858 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5414] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5414/stat : 5414 (java) S 5408 5410 4858 0 -1 4202560 823 0 0 0 0 0 0 0 16 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5415] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5415/stat : 5415 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5416] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5416/stat : 5416 (java) S 5408 5410 4858 0 -1 4202560 677 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5417] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5417/stat : 5417 (java) S 5408 5410 4858 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5418] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5418/stat : 5418 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5419] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5419/stat : 5419 (java) S 5408 5410 4858 0 -1 4202560 1565 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5420] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5420/stat : 5420 (java) S 5408 5410 4858 0 -1 4202560 401 0 0 0 0 0 0 0 18 0 22 0 601932017 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5421] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5421/stat : 5421 (java) S 5408 5410 4858 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 601932018 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 0 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5422] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5422/stat : 5422 (java) S 5408 5410 4858 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601932019 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5423] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5423/stat : 5423 (java) S 5408 5410 4858 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601932019 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5424] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5424/stat : 5424 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907314097 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5425] ppid=5408 vsize=15715812 CPUtime=0.21 cores=0,2,4,6
/proc/5410/task/5425/stat : 5425 (java) S 5408 5410 4858 0 -1 4202560 1898 0 0 0 20 1 0 0 15 0 22 0 601932021 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5426] ppid=5408 vsize=15715812 CPUtime=0.74 cores=0,2,4,6
/proc/5410/task/5426/stat : 5426 (java) R 5408 5410 4858 0 -1 4202560 13317 0 0 0 73 1 0 0 16 0 22 0 601932021 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575888168402 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5410/tid=5427] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5427/stat : 5427 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5428] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5428/stat : 5428 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601932021 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5433] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5433/stat : 5433 (java) S 5408 5410 4858 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601932092 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5434] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5434/stat : 5434 (java) S 5408 5410 4858 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601932092 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) S 5408 5410 4858 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601932092 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5436] ppid=5408 vsize=15715812 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5436/stat : 5436 (java) S 5408 5410 4858 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601932092 16092991488 50417 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 15715812
[startup+3.15592 s]
/proc/loadavg: 5.65 7.47 7.83 8/220 5436
/proc/meminfo: memFree=28936880/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15715576 CPUtime=6.25 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 85410 0 1 0 613 12 0 0 24 0 22 0 601932016 16092749824 76186 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3928894 76200 2275 9 0 3919613 0
[pid=5410/tid=5411] ppid=5408 vsize=15715576 CPUtime=2.28 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) S 5408 5410 4858 0 -1 4202560 35664 0 1 0 224 4 0 0 24 0 22 0 601932017 16092749824 76207 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5413] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5413/stat : 5413 (java) S 5408 5410 4858 0 -1 4202560 67 0 0 0 0 0 0 0 17 0 22 0 601932017 16092749824 76215 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5414] ppid=5408 vsize=15715576 CPUtime=0.02 cores=0,2,4,6
/proc/5410/task/5414/stat : 5414 (java) S 5408 5410 4858 0 -1 4202560 4760 0 0 0 2 0 0 0 16 0 22 0 601932017 16092749824 76224 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5415] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5415/stat : 5415 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 601932017 16092749824 76232 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5416] ppid=5408 vsize=15715576 CPUtime=0.01 cores=0,2,4,6
/proc/5410/task/5416/stat : 5416 (java) S 5408 5410 4858 0 -1 4202560 2191 0 0 0 1 0 0 0 18 0 22 0 601932017 16092749824 76240 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5417] ppid=5408 vsize=15715576 CPUtime=0.01 cores=0,2,4,6
/proc/5410/task/5417/stat : 5417 (java) S 5408 5410 4858 0 -1 4202560 2309 0 0 0 1 0 0 0 16 0 22 0 601932017 16092749824 76248 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5418] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5418/stat : 5418 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601932017 16092749824 76256 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5419] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5419/stat : 5419 (java) S 5408 5410 4858 0 -1 4202560 1565 0 0 0 0 0 0 0 17 0 22 0 601932017 16092749824 76265 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5420] ppid=5408 vsize=15715576 CPUtime=0.02 cores=0,2,4,6
/proc/5410/task/5420/stat : 5420 (java) S 5408 5410 4858 0 -1 4202560 4746 0 0 0 2 0 0 0 18 0 22 0 601932017 16092749824 76272 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5421] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5421/stat : 5421 (java) S 5408 5410 4858 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 601932018 16092749824 76280 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 0 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5422] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5422/stat : 5422 (java) S 5408 5410 4858 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601932019 16092749824 76288 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5423] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5423/stat : 5423 (java) S 5408 5410 4858 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601932019 16092749824 76297 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5424] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5424/stat : 5424 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 76304 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907314097 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5425] ppid=5408 vsize=15715576 CPUtime=0.62 cores=0,2,4,6
/proc/5410/task/5425/stat : 5425 (java) S 5408 5410 4858 0 -1 4202560 4199 0 0 0 61 1 0 0 15 0 22 0 601932021 16092749824 76313 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5426] ppid=5408 vsize=15715576 CPUtime=1.68 cores=0,2,4,6
/proc/5410/task/5426/stat : 5426 (java) S 5408 5410 4858 0 -1 4202560 15126 0 0 0 167 1 0 0 15 0 22 0 601932021 16092749824 76321 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5427] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5427/stat : 5427 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 76329 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5428] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5428/stat : 5428 (java) R 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601932021 16092749824 76337 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5410/tid=5433] ppid=5408 vsize=15715576 CPUtime=0.14 cores=0,2,4,6
/proc/5410/task/5433/stat : 5433 (java) R 5408 5410 4858 0 -1 4202560 2957 0 0 0 14 0 0 0 15 0 22 0 601932092 16092749824 76344 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912506277129 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5410/tid=5434] ppid=5408 vsize=15715576 CPUtime=0.53 cores=0,2,4,6
/proc/5410/task/5434/stat : 5434 (java) R 5408 5410 4858 0 -1 4202560 2668 0 0 0 53 0 0 0 16 0 22 0 601932092 16092749824 76353 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912506089862 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=15715576 CPUtime=0.38 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) R 5408 5410 4858 0 -1 4202560 4826 0 0 0 38 0 0 0 16 0 22 0 601932092 16092749824 76361 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 46912506276606 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5410/tid=5436] ppid=5408 vsize=15715576 CPUtime=0.43 cores=0,2,4,6
/proc/5410/task/5436/stat : 5436 (java) R 5408 5410 4858 0 -1 4202560 3046 0 0 0 43 0 0 0 16 0 22 0 601932092 16092749824 76368 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575891815251 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15715576
[startup+6.30131 s]
/proc/loadavg: 6.16 7.55 7.85 10/220 5436
/proc/meminfo: memFree=27525548/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15715576 CPUtime=18.66 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 262527 0 1 0 1828 38 0 0 24 0 22 0 601932016 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3928894 252959 2275 9 0 3919613 0
[pid=5410/tid=5411] ppid=5408 vsize=15715576 CPUtime=2.28 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) S 5408 5410 4858 0 -1 4202560 35664 0 1 0 224 4 0 0 24 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5413] ppid=5408 vsize=15715576 CPUtime=0.04 cores=0,2,4,6
/proc/5410/task/5413/stat : 5413 (java) S 5408 5410 4858 0 -1 4202560 6262 0 0 0 3 1 0 0 16 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5414] ppid=5408 vsize=15715576 CPUtime=0.1 cores=0,2,4,6
/proc/5410/task/5414/stat : 5414 (java) S 5408 5410 4858 0 -1 4202560 22659 0 0 0 6 4 0 0 16 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5415] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5415/stat : 5415 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5416] ppid=5408 vsize=15715576 CPUtime=0.1 cores=0,2,4,6
/proc/5410/task/5416/stat : 5416 (java) S 5408 5410 4858 0 -1 4202560 23274 0 0 0 7 3 0 0 15 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5417] ppid=5408 vsize=15715576 CPUtime=0.13 cores=0,2,4,6
/proc/5410/task/5417/stat : 5417 (java) S 5408 5410 4858 0 -1 4202560 26990 0 0 0 10 3 0 0 16 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5418] ppid=5408 vsize=15715576 CPUtime=0.1 cores=0,2,4,6
/proc/5410/task/5418/stat : 5418 (java) S 5408 5410 4858 0 -1 4202560 15789 0 0 0 8 2 0 0 16 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5419] ppid=5408 vsize=15715576 CPUtime=0.09 cores=0,2,4,6
/proc/5410/task/5419/stat : 5419 (java) S 5408 5410 4858 0 -1 4202560 14532 0 0 0 7 2 0 0 16 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5420] ppid=5408 vsize=15715576 CPUtime=0.13 cores=0,2,4,6
/proc/5410/task/5420/stat : 5420 (java) S 5408 5410 4858 0 -1 4202560 19763 0 0 0 11 2 0 0 15 0 22 0 601932017 16092749824 252959 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=5410/tid=5423] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5423/stat : 5423 (java) S 5408 5410 4858 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 601932019 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5424] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5424/stat : 5424 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907314097 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5425] ppid=5408 vsize=15715576 CPUtime=0.69 cores=0,2,4,6
/proc/5410/task/5425/stat : 5425 (java) S 5408 5410 4858 0 -1 4202560 4205 0 0 0 68 1 0 0 16 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5426] ppid=5408 vsize=15715576 CPUtime=1.9 cores=0,2,4,6
/proc/5410/task/5426/stat : 5426 (java) S 5408 5410 4858 0 -1 4202560 15150 0 0 0 189 1 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5427] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5427/stat : 5427 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5428] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5428/stat : 5428 (java) S 5408 5410 4858 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5433] ppid=5408 vsize=15715576 CPUtime=278.06 cores=0,2,4,6
/proc/5410/task/5433/stat : 5433 (java) S 5408 5410 4858 0 -1 4202560 106104 0 0 0 27790 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5434] ppid=5408 vsize=15715576 CPUtime=279.7 cores=0,2,4,6
/proc/5410/task/5434/stat : 5434 (java) S 5408 5410 4858 0 -1 4202560 103762 0 0 0 27954 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=15715576 CPUtime=279.01 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) S 5408 5410 4858 0 -1 4202560 107225 0 0 0 27880 21 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5436] ppid=5408 vsize=15715576 CPUtime=279.47 cores=0,2,4,6
/proc/5410/task/5436/stat : 5436 (java) S 5408 5410 4858 0 -1 4202560 108141 0 0 0 27930 17 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2037.55
Current children cumulated vsize (KiB) 15715576
[startup+1242.3 s]
/proc/loadavg: 3.25 4.76 5.94 2/193 5498
/proc/meminfo: memFree=14158328/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15715576 CPUtime=2097.55 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 3888030 0 1 0 209042 713 0 0 24 0 22 0 601932016 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3928894 3835893 2294 9 0 3919613 0
[pid=5410/tid=5411] ppid=5408 vsize=15715576 CPUtime=2.28 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) S 5408 5410 4858 0 -1 4202560 35664 0 1 0 224 4 0 0 24 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5413] ppid=5408 vsize=15715576 CPUtime=3.17 cores=0,2,4,6
/proc/5410/task/5413/stat : 5413 (java) S 5408 5410 4858 0 -1 4202560 411676 0 0 0 242 75 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5414] ppid=5408 vsize=15715576 CPUtime=2.11 cores=0,2,4,6
/proc/5410/task/5414/stat : 5414 (java) S 5408 5410 4858 0 -1 4202560 257505 0 0 0 166 45 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5415] ppid=5408 vsize=15715576 CPUtime=2.76 cores=0,2,4,6
/proc/5410/task/5415/stat : 5415 (java) S 5408 5410 4858 0 -1 4202560 327533 0 0 0 217 59 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5416] ppid=5408 vsize=15715576 CPUtime=2.03 cores=0,2,4,6
/proc/5410/task/5416/stat : 5416 (java) S 5408 5410 4858 0 -1 4202560 292963 0 0 0 149 54 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5417] ppid=5408 vsize=15715576 CPUtime=3.46 cores=0,2,4,6
/proc/5410/task/5417/stat : 5417 (java) S 5408 5410 4858 0 -1 4202560 462898 0 0 0 264 82 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5418] ppid=5408 vsize=15715576 CPUtime=2.31 cores=0,2,4,6
/proc/5410/task/5418/stat : 5418 (java) S 5408 5410 4858 0 -1 4202560 287297 0 0 0 179 52 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5419] ppid=5408 vsize=15715576 CPUtime=2.91 cores=0,2,4,6
/proc/5410/task/5419/stat : 5419 (java) S 5408 5410 4858 0 -1 4202560 330773 0 0 0 232 59 0 0 15 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5420] ppid=5408 vsize=15715576 CPUtime=3.41 cores=0,2,4,6
/proc/5410/task/5420/stat : 5420 (java) S 5408 5410 4858 0 -1 4202560 412743 0 0 0 268 73 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5421] ppid=5408 vsize=15715576 CPUtime=954.12 cores=0,2,4,6
/proc/5410/task/5421/stat : 5421 (java) R 5408 5410 4858 0 -1 4202560 622389 0 0 0 95283 129 0 0 25 0 22 0 601932018 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575890957060 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=5410/tid=5422] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5422/stat : 5422 (java) S 5408 5410 4858 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 601932019 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5423] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5423/stat : 5423 (java) S 5408 5410 4858 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 601932019 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5424] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5424/stat : 5424 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907314097 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5425] ppid=5408 vsize=15715576 CPUtime=0.69 cores=0,2,4,6
/proc/5410/task/5425/stat : 5425 (java) S 5408 5410 4858 0 -1 4202560 4205 0 0 0 68 1 0 0 16 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5426] ppid=5408 vsize=15715576 CPUtime=1.9 cores=0,2,4,6
/proc/5410/task/5426/stat : 5426 (java) S 5408 5410 4858 0 -1 4202560 15150 0 0 0 189 1 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5427] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5427/stat : 5427 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5428] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5428/stat : 5428 (java) S 5408 5410 4858 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5433] ppid=5408 vsize=15715576 CPUtime=278.06 cores=0,2,4,6
/proc/5410/task/5433/stat : 5433 (java) S 5408 5410 4858 0 -1 4202560 106647 0 0 0 27790 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5434] ppid=5408 vsize=15715576 CPUtime=279.7 cores=0,2,4,6
/proc/5410/task/5434/stat : 5434 (java) S 5408 5410 4858 0 -1 4202560 103762 0 0 0 27954 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=15715576 CPUtime=279.01 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) S 5408 5410 4858 0 -1 4202560 107225 0 0 0 27880 21 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5436] ppid=5408 vsize=15715576 CPUtime=279.47 cores=0,2,4,6
/proc/5410/task/5436/stat : 5436 (java) S 5408 5410 4858 0 -1 4202560 108141 0 0 0 27930 17 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2097.55
Current children cumulated vsize (KiB) 15715576
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.90 4.12 5.65 2/193 5500
/proc/meminfo: memFree=14157764/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=15715576 CPUtime=2155.27 cores=0,2,4,6
/proc/5410/stat : 5410 (java) S 5408 5410 4858 0 -1 4202496 3888559 0 1 0 214812 715 0 0 24 0 22 0 601932016 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 3928894 3835893 2294 9 0 3919613 0
[pid=5410/tid=5411] ppid=5408 vsize=15715576 CPUtime=2.28 cores=0,2,4,6
/proc/5410/task/5411/stat : 5411 (java) S 5408 5410 4858 0 -1 4202560 35664 0 1 0 224 4 0 0 24 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5413] ppid=5408 vsize=15715576 CPUtime=3.17 cores=0,2,4,6
/proc/5410/task/5413/stat : 5413 (java) S 5408 5410 4858 0 -1 4202560 411676 0 0 0 242 75 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5414] ppid=5408 vsize=15715576 CPUtime=2.11 cores=0,2,4,6
/proc/5410/task/5414/stat : 5414 (java) S 5408 5410 4858 0 -1 4202560 257505 0 0 0 166 45 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5415] ppid=5408 vsize=15715576 CPUtime=2.76 cores=0,2,4,6
/proc/5410/task/5415/stat : 5415 (java) S 5408 5410 4858 0 -1 4202560 327533 0 0 0 217 59 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5416] ppid=5408 vsize=15715576 CPUtime=2.03 cores=0,2,4,6
/proc/5410/task/5416/stat : 5416 (java) S 5408 5410 4858 0 -1 4202560 292963 0 0 0 149 54 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5417] ppid=5408 vsize=15715576 CPUtime=3.46 cores=0,2,4,6
/proc/5410/task/5417/stat : 5417 (java) S 5408 5410 4858 0 -1 4202560 462898 0 0 0 264 82 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5418] ppid=5408 vsize=15715576 CPUtime=2.31 cores=0,2,4,6
/proc/5410/task/5418/stat : 5418 (java) S 5408 5410 4858 0 -1 4202560 287297 0 0 0 179 52 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5419] ppid=5408 vsize=15715576 CPUtime=2.91 cores=0,2,4,6
/proc/5410/task/5419/stat : 5419 (java) S 5408 5410 4858 0 -1 4202560 330773 0 0 0 232 59 0 0 15 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5420] ppid=5408 vsize=15715576 CPUtime=3.41 cores=0,2,4,6
/proc/5410/task/5420/stat : 5420 (java) S 5408 5410 4858 0 -1 4202560 412743 0 0 0 268 73 0 0 16 0 22 0 601932017 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5421] ppid=5408 vsize=15715576 CPUtime=1011.82 cores=0,2,4,6
/proc/5410/task/5421/stat : 5421 (java) R 5408 5410 4858 0 -1 4202560 622394 0 0 0 101052 130 0 0 25 0 22 0 601932018 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 47575888212284 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=5410/tid=5422] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5422/stat : 5422 (java) S 5408 5410 4858 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 601932019 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5423] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5423/stat : 5423 (java) S 5408 5410 4858 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 601932019 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5424] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5424/stat : 5424 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907314097 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5425] ppid=5408 vsize=15715576 CPUtime=0.69 cores=0,2,4,6
/proc/5410/task/5425/stat : 5425 (java) S 5408 5410 4858 0 -1 4202560 4205 0 0 0 68 1 0 0 16 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5426] ppid=5408 vsize=15715576 CPUtime=1.9 cores=0,2,4,6
/proc/5410/task/5426/stat : 5426 (java) S 5408 5410 4858 0 -1 4202560 15150 0 0 0 189 1 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 6 0 0 0
[pid=5410/tid=5427] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5427/stat : 5427 (java) S 5408 5410 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
[pid=5410/tid=5428] ppid=5408 vsize=15715576 CPUtime=0 cores=0,2,4,6
/proc/5410/task/5428/stat : 5428 (java) S 5408 5410 4858 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 601932021 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907307008 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5433] ppid=5408 vsize=15715576 CPUtime=278.06 cores=0,2,4,6
/proc/5410/task/5433/stat : 5433 (java) S 5408 5410 4858 0 -1 4202560 107168 0 0 0 27790 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5434] ppid=5408 vsize=15715576 CPUtime=279.7 cores=0,2,4,6
/proc/5410/task/5434/stat : 5434 (java) S 5408 5410 4858 0 -1 4202560 103762 0 0 0 27954 16 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 4 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=15715576 CPUtime=279.01 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) S 5408 5410 4858 0 -1 4202560 107225 0 0 0 27880 21 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 0 0 0 0
[pid=5410/tid=5436] ppid=5408 vsize=15715576 CPUtime=279.47 cores=0,2,4,6
/proc/5410/task/5436/stat : 5436 (java) S 5408 5410 4858 0 -1 4202560 108141 0 0 0 27930 17 0 0 15 0 22 0 601932092 16092749824 3835893 33554432000 1073741824 1073778376 140734616497808 18446744073709551615 231907306393 0 4 0 16800975 18446604440279245952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2155.27
Current children cumulated vsize (KiB) 15715576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5410
[startup+1302.3 s]
/proc/loadavg: 1.82 4.07 5.63 2/194 5501
/proc/meminfo: memFree=14157956/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=0 CPUtime=2157.56 cores=0,2,4,6
/proc/5410/stat : 5410 (java) Z 5408 5410 4858 0 -1 4203548 3888583 0 1 0 215013 743 0 0 18 0 2 0 601932016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 0 0 0 0 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=0 CPUtime=279.29 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) R 5408 5410 4858 0 -1 4203588 107225 0 0 0 27880 49 0 0 16 0 2 0 601932092 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2157.56
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.82 4.07 5.63 2/194 5501
/proc/meminfo: memFree=14157956/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=0 CPUtime=2157.66 cores=0,2,4,6
/proc/5410/stat : 5410 (java) Z 5408 5410 4858 0 -1 4203548 3888583 0 1 0 215013 753 0 0 18 0 2 0 601932016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 0 0 0 0 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=0 CPUtime=279.39 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) R 5408 5410 4858 0 -1 4203588 107225 0 0 0 27880 59 0 0 16 0 2 0 601932092 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2157.66
Current children cumulated vsize (KiB) 0
[startup+1302.61 s]
/proc/loadavg: 1.82 4.07 5.63 2/173 5501
/proc/meminfo: memFree=25272368/32950928 swapFree=67111356/67111528
[pid=5410] ppid=5408 vsize=0 CPUtime=2157.87 cores=0,2,4,6
/proc/5410/stat : 5410 (java) Z 5408 5410 4858 0 -1 4203548 3888583 0 1 0 215013 774 0 0 18 0 2 0 601932016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5410/statm: 0 0 0 0 0 0 0
[pid=5410/tid=5435] ppid=5408 vsize=0 CPUtime=279.6 cores=0,2,4,6
/proc/5410/task/5435/stat : 5435 (java) R 5408 5410 4858 0 -1 4203588 107225 0 0 0 27880 80 0 0 16 0 2 0 601932092 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2157.87
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.69
CPU time (s): 2157.96
CPU user time (s): 2150.13
CPU system time (s): 7.82781
CPU usage (%): 165.654
Max. virtual memory (cumulated for all children) (KiB): 15715824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2150.13
system time used= 7.82781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3888583
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= 64341
involuntary context switches= 37106
runsolver used 2.04169 second user time and 5.11522 second system time
The end