runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458693-1307155613/watcher-3458693-1307155613 -o /tmp/evaluation-result-3458693-1307155613/solver-3458693-1307155613 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458693-1307155613.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.05 2.01 2/454 28023
/proc/meminfo: memFree=19919488/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 5395 0 1 0 0 0 0 0 25 0 2 0 827159221 13850947584 5096 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3381579 5110 917 9 0 3372735 0
[pid=28023/tid=28024] ppid=28021 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 5730 0 1 0 0 0 0 0 25 0 2 0 827159222 13850947584 6546 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0950281 s]
/proc/loadavg: 2.10 2.05 2.01 2/454 28023
/proc/meminfo: memFree=19919488/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13622144 CPUtime=0.09 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 15449 0 1 0 7 2 0 0 25 0 18 0 827159221 13949075456 15145 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3405536 15145 2092 9 0 3396270 0
[pid=28023/tid=28024] ppid=28021 vsize=13622144 CPUtime=0.08 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 13536 0 1 0 6 2 0 0 25 0 18 0 827159222 13949075456 15145 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 47352647708579 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622144
[startup+0.100285 s]
/proc/loadavg: 2.10 2.05 2.01 2/454 28023
/proc/meminfo: memFree=19919488/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13622288 CPUtime=0.1 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 15510 0 1 0 8 2 0 0 25 0 18 0 827159221 13949222912 15206 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3405572 15206 2092 9 0 3396306 0
[pid=28023/tid=28024] ppid=28021 vsize=13622288 CPUtime=0.09 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 13597 0 1 0 7 2 0 0 25 0 18 0 827159222 13949222912 15206 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622288
[startup+0.300285 s]
/proc/loadavg: 2.10 2.05 2.01 2/454 28023
/proc/meminfo: memFree=19919488/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13623708 CPUtime=0.49 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 18650 0 1 0 46 3 0 0 25 0 18 0 827159221 13950676992 17917 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3405927 17918 2202 9 0 3396661 0
[pid=28023/tid=28024] ppid=28021 vsize=13623708 CPUtime=0.28 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 15568 0 1 0 26 2 0 0 25 0 18 0 827159222 13950676992 17918 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505545118 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623708
[startup+0.700211 s]
/proc/loadavg: 2.10 2.05 2.01 2/454 28023
/proc/meminfo: memFree=19919488/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13627836 CPUtime=1.29 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 41462 0 1 0 122 7 0 0 25 0 19 0 827159221 13954904064 39194 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3406959 39194 2229 9 0 3397693 0
[pid=28023/tid=28024] ppid=28021 vsize=13627836 CPUtime=0.68 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 35164 0 1 0 63 5 0 0 25 0 19 0 827159222 13954904064 39194 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505217117 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 13627836
[startup+1.50108 s]
/proc/loadavg: 2.10 2.05 2.01 3/473 28042
/proc/meminfo: memFree=19768252/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=2.28 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 42369 0 1 0 221 7 0 0 25 0 19 0 827159221 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 39960 2236 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=1.48 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 35804 0 1 0 143 5 0 0 25 0 19 0 827159222 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505761843 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.34 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2313 0 0 0 34 0 0 0 18 0 19 0 827159227 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.43 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3091 0 0 0 43 0 0 0 15 0 19 0 827159227 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 39960 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 13628204
[startup+3.10078 s]
/proc/loadavg: 2.17 2.07 2.01 3/473 28042
/proc/meminfo: memFree=19760816/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=3.91 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 43581 0 1 0 384 7 0 0 25 0 19 0 827159221 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 41171 2237 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=3.09 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 37009 0 1 0 303 6 0 0 25 0 19 0 827159222 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505830838 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.37 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2317 0 0 0 37 0 0 0 15 0 19 0 827159227 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.44 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3093 0 0 0 44 0 0 0 15 0 19 0 827159227 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 41171 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13628204
[startup+6.30119 s]
/proc/loadavg: 2.17 2.07 2.01 3/473 28043
/proc/meminfo: memFree=19748260/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=7.13 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 46390 0 1 0 705 8 0 0 25 0 19 0 827159221 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 43846 2237 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=6.28 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 39816 0 1 0 622 6 0 0 25 0 19 0 827159222 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505761909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159224 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827159225 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159225 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.38 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2319 0 0 0 38 0 0 0 15 0 19 0 827159227 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.44 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3093 0 0 0 44 0 0 0 15 0 19 0 827159227 13955280896 43846 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 5201 0 0 0 6 0 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 11205 0 0 0 5 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0.09 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 8797 0 0 0 8 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0.29 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 35413 0 0 0 26 3 0 0 15 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.45 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2523 0 0 0 45 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.52 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3114 0 0 0 52 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.71
Current children cumulated vsize (KiB) 13628204
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/473 28100
/proc/meminfo: memFree=17191276/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=1723.71 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 394578 0 1 0 172319 52 0 0 25 0 19 0 827159221 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 391249 2265 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=1721.86 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 276872 0 1 0 172153 33 0 0 25 0 19 0 827159222 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505899072 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0.07 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 14821 0 0 0 5 2 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0.02 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 6004 0 0 0 1 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0.1 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 17677 0 0 0 8 2 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0.01 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 5286 0 0 0 1 0 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0.04 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 6415 0 0 0 3 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 5201 0 0 0 6 0 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 11205 0 0 0 5 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0.09 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 8797 0 0 0 8 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0.29 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 35413 0 0 0 26 3 0 0 15 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.45 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2523 0 0 0 45 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.52 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3114 0 0 0 52 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.71
Current children cumulated vsize (KiB) 13628204
[startup+1782.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/473 28150
/proc/meminfo: memFree=19140680/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=1783.71 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 394582 0 1 0 178319 52 0 0 25 0 19 0 827159221 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 391249 2265 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=1781.86 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 276872 0 1 0 178153 33 0 0 25 0 19 0 827159222 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505761909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0.07 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 14821 0 0 0 5 2 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0.02 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 6004 0 0 0 1 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0.1 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 17677 0 0 0 8 2 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0.01 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 5286 0 0 0 1 0 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0.04 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 6415 0 0 0 3 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 5201 0 0 0 6 0 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 11205 0 0 0 5 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0.09 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 8797 0 0 0 8 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0.29 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 35413 0 0 0 26 3 0 0 15 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.45 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2523 0 0 0 45 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.52 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3114 0 0 0 52 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 13628204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.6 s]
/proc/loadavg: 1.99 2.01 2.00 3/473 28150
/proc/meminfo: memFree=19139948/32951124 swapFree=60787360/67111528
[pid=28023] ppid=28021 vsize=13628204 CPUtime=1800.03 cores=1,3,5,7
/proc/28023/stat : 28023 (java) S 28021 28023 24782 0 -1 4202496 394582 0 1 0 179951 52 0 0 25 0 19 0 827159221 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28023/statm: 3407051 391249 2265 9 0 3397785 0
[pid=28023/tid=28024] ppid=28021 vsize=13628204 CPUtime=1798.18 cores=1,3,5,7
/proc/28023/task/28024/stat : 28024 (java) R 28021 28023 24782 0 -1 4202560 276872 0 1 0 179785 33 0 0 25 0 19 0 827159222 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 46912505824683 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=13628204 CPUtime=0.07 cores=1,3,5,7
/proc/28023/task/28026/stat : 28026 (java) S 28021 28023 24782 0 -1 4202560 14821 0 0 0 5 2 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=13628204 CPUtime=0.02 cores=1,3,5,7
/proc/28023/task/28027/stat : 28027 (java) S 28021 28023 24782 0 -1 4202560 6004 0 0 0 1 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28028] ppid=28021 vsize=13628204 CPUtime=0.1 cores=1,3,5,7
/proc/28023/task/28028/stat : 28028 (java) S 28021 28023 24782 0 -1 4202560 17677 0 0 0 8 2 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28029] ppid=28021 vsize=13628204 CPUtime=0.01 cores=1,3,5,7
/proc/28023/task/28029/stat : 28029 (java) S 28021 28023 24782 0 -1 4202560 5286 0 0 0 1 0 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28030] ppid=28021 vsize=13628204 CPUtime=0.04 cores=1,3,5,7
/proc/28023/task/28030/stat : 28030 (java) S 28021 28023 24782 0 -1 4202560 6415 0 0 0 3 1 0 0 15 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28031] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28031/stat : 28031 (java) S 28021 28023 24782 0 -1 4202560 5201 0 0 0 6 0 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28032] ppid=28021 vsize=13628204 CPUtime=0.06 cores=1,3,5,7
/proc/28023/task/28032/stat : 28032 (java) S 28021 28023 24782 0 -1 4202560 11205 0 0 0 5 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
[pid=28023/tid=28033] ppid=28021 vsize=13628204 CPUtime=0.09 cores=1,3,5,7
/proc/28023/task/28033/stat : 28033 (java) S 28021 28023 24782 0 -1 4202560 8797 0 0 0 8 1 0 0 16 0 19 0 827159224 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28034] ppid=28021 vsize=13628204 CPUtime=0.29 cores=1,3,5,7
/proc/28023/task/28034/stat : 28034 (java) S 28021 28023 24782 0 -1 4202560 35413 0 0 0 26 3 0 0 15 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 0 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28035] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28035/stat : 28035 (java) S 28021 28023 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28036] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28036/stat : 28036 (java) S 28021 28023 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827159225 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28037] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28037/stat : 28037 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389125041 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28038] ppid=28021 vsize=13628204 CPUtime=0.45 cores=1,3,5,7
/proc/28023/task/28038/stat : 28038 (java) S 28021 28023 24782 0 -1 4202560 2523 0 0 0 45 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28039] ppid=28021 vsize=13628204 CPUtime=0.52 cores=1,3,5,7
/proc/28023/task/28039/stat : 28039 (java) S 28021 28023 24782 0 -1 4202560 3114 0 0 0 52 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 3 0 0 0
[pid=28023/tid=28040] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28040/stat : 28040 (java) S 28021 28023 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117337 0 4 0 16800975 18446604457303903168 0 0 -1 1 0 0 0
[pid=28023/tid=28041] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28041/stat : 28041 (java) S 28021 28023 24782 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827159227 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 5 0 0 0
[pid=28023/tid=28042] ppid=28021 vsize=13628204 CPUtime=0 cores=1,3,5,7
/proc/28023/task/28042/stat : 28042 (java) S 28021 28023 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827159288 13955280896 391249 33554432000 1073741824 1073778376 140736507640736 18446744073709551615 255389117952 0 4 0 16800975 18446604457303903168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13628204
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.71
CPU time (s): 1800.13
CPU user time (s): 1799.54
CPU system time (s): 0.58591
CPU usage (%): 100.079
Max. virtual memory (cumulated for all children) (KiB): 13628204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394613
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= 36885
involuntary context switches= 4347
runsolver used 7.66483 second user time and 18.1022 second system time
The end