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-3453936-1307194560/watcher-3453936-1307194560 -o /tmp/evaluation-result-3453936-1307194560/solver-3453936-1307194560 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453936-1307194560.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: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 2984 0 1 0 0 0 0 0 25 0 2 0 831055581 10681323520 2687 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2607745 2701 906 9 0 2598901 0
[pid=21610/tid=21611] ppid=21608 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 4502 0 1 0 0 0 0 0 25 0 2 0 831055582 10694979584 5318 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.032094 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 10732 0 1 0 1 1 0 0 25 0 10 0 831055581 10705932288 10433 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2613753 10434 1515 9 0 2604501 0
[pid=21610/tid=21611] ppid=21608 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 9614 0 1 0 0 1 0 0 25 0 10 0 831055582 10705932288 10436 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507958654488 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.101072 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10540172 CPUtime=0.1 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 13029 0 1 0 8 2 0 0 25 0 18 0 831055581 10793136128 12727 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2635043 12727 2092 9 0 2625777 0
[pid=21610/tid=21611] ppid=21608 vsize=10540172 CPUtime=0.08 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 11128 0 1 0 7 1 0 0 18 0 18 0 831055582 10793136128 12727 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540172
[startup+0.301004 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10541188 CPUtime=0.46 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 15621 0 1 0 44 2 0 0 25 0 18 0 831055581 10794176512 14964 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2635297 14964 2208 9 0 2626031 0
[pid=21610/tid=21611] ppid=21608 vsize=10541188 CPUtime=0.28 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 12813 0 1 0 26 2 0 0 18 0 18 0 831055582 10794176512 14965 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505561772 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541188
[startup+0.700939 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10549300 CPUtime=1.63 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 34451 0 1 0 159 4 0 0 25 0 18 0 831055581 10802483200 30875 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2637325 30878 2235 9 0 2628059 0
[pid=21610/tid=21611] ppid=21608 vsize=10549300 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 23530 0 1 0 65 3 0 0 18 0 18 0 831055582 10802483200 30879 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505679166 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10549300
[startup+1.5008 s]
/proc/loadavg: 3.62 3.63 3.63 3/538 21632
/proc/meminfo: memFree=27982944/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=3.22 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 48867 0 1 0 316 6 0 0 25 0 22 0 831055581 10806693888 45289 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 45295 2246 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25147 0 1 0 68 3 0 0 17 0 22 0 831055582 10806693888 45300 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45302 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45308 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45311 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45315 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45321 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45323 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45327 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45331 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831055585 10806693888 45334 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 45340 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 45342 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 45347 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=0.83 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) R 21608 21610 16811 0 -1 4202560 3888 0 0 0 83 0 0 0 15 0 22 0 831055587 10806693888 45351 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507958467714 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=0.86 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) R 21608 21610 16811 0 -1 4202560 5989 0 0 0 86 0 0 0 18 0 22 0 831055587 10806693888 45353 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507960069120 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 45359 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 45362 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21631] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21631/stat : 21631 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831055657 10806693888 45366 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10553412
[startup+3.10153 s]
/proc/loadavg: 3.81 3.67 3.64 5/541 21638
/proc/meminfo: memFree=27747460/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=6.09 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 174622 0 1 0 588 21 0 0 25 0 22 0 831055581 10806693888 171043 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 171047 2247 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25339 0 1 0 69 3 0 0 17 0 22 0 831055582 10806693888 171051 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171053 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171055 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171059 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171060 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171063 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171067 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171067 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171070 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 831055585 10806693888 171073 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 171074 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 171078 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 171079 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=0.92 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3902 0 0 0 92 0 0 0 15 0 22 0 831055587 10806693888 171082 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=0.95 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6000 0 0 0 95 0 0 0 15 0 22 0 831055587 10806693888 171086 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 171086 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 171089 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21631] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21631/stat : 21631 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831055657 10806693888 171092 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 10553412
[startup+6.301 s]
/proc/loadavg: 3.81 3.67 3.64 7/541 21644
/proc/meminfo: memFree=26969096/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=11.73 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 297989 0 1 0 1139 34 0 0 25 0 22 0 831055581 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 294395 2272 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.73 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25341 0 1 0 70 3 0 0 15 0 22 0 831055582 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 635 0 0 0 0 0 0 0 16 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 2321 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 2510 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1643 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2136 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0.2 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 9161 0 0 0 19 1 0 0 16 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3924 0 0 0 100 0 0 0 16 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.06 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6013 0 0 0 106 0 0 0 15 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21939788/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1598.93 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 764904 0 1 0 159810 83 0 0 25 0 22 0 831055581 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 761096 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25403 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.61 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 61 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.64 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 528 0 0 0 64 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.7 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1212 0 0 0 70 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.65 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 65 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4058 0 0 0 75 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.67 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3143 0 0 0 67 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.6 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1961 0 0 0 60 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.63 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2349 0 0 0 63 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=46.29 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 87287 0 0 0 4621 8 0 0 15 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=482.73 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 48273 0 0 0 25 0 22 0 831086438 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506052103 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=482.74 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 48274 0 0 0 25 0 22 0 831086438 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506114559 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1598.93
Current children cumulated vsize (KiB) 10553412
[startup+882.302 s]
/proc/loadavg: 4.06 3.97 3.82 5/541 21742
/proc/meminfo: memFree=21910004/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1715.55 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 772300 0 1 0 171471 84 0 0 25 0 22 0 831055581 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 768483 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25408 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.65 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 65 0 0 0 15 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 534 0 0 0 72 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.73 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1212 0 0 0 73 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.67 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 67 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.78 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4059 0 0 0 78 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.69 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3143 0 0 0 69 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.66 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1965 0 0 0 66 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.69 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2349 0 0 0 69 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=49.79 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 94665 0 0 0 4970 9 0 0 16 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=539.12 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 53912 0 0 0 20 0 22 0 831086438 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505909439 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=539.13 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 53913 0 0 0 20 0 22 0 831086438 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506039865 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1715.55
Current children cumulated vsize (KiB) 10553412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+925.701 s]
/proc/loadavg: 4.03 3.97 3.82 5/541 21744
/proc/meminfo: memFree=21830260/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1800.18 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 773077 0 1 0 179934 84 0 0 25 0 22 0 831055581 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 769249 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25411 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 68 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 534 0 0 0 72 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.77 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1215 0 0 0 77 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 72 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.8 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4059 0 0 0 80 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3144 0 0 0 71 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1965 0 0 0 68 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2351 0 0 0 71 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=52.06 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 95429 0 0 0 5197 9 0 0 15 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=580.21 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 58021 0 0 0 25 0 22 0 831086438 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506052430 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=580.22 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 58022 0 0 0 25 0 22 0 831086438 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506070236 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10553412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+925.825 s]
/proc/loadavg: 4.03 3.97 3.82 5/541 21744
/proc/meminfo: memFree=21830260/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/21610/stat : 21610 (java) Z 21608 21610 16811 0 -1 4203548 773105 0 1 0 179938 92 0 0 17 0 2 0 831055581 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 0 0 0 0 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=0 CPUtime=580.3 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4203588 0 0 0 0 58023 7 0 0 25 0 2 0 831086438 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 925.858
CPU time (s): 1800.35
CPU user time (s): 1799.39
CPU system time (s): 0.957854
CPU usage (%): 194.452
Max. virtual memory (cumulated for all children) (KiB): 10553412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773105
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= 24460
involuntary context switches= 23408
runsolver used 4.71828 second user time and 11.1773 second system time
The end