runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3313354-1304105732/watcher-3313354-1304105732 -o /tmp/evaluation-result-3313354-1304105732/solver-3313354-1304105732 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313354-1304105732.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.26 7.69 7.88 3/198 9007
/proc/meminfo: memFree=31056940/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 1426 0 0 0 0 0 0 0 22 0 2 0 502988976 29065216 896 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 7096 898 686 9 0 381 0
[pid=9007/tid=9008] ppid=9005 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 84 0 0 0 0 0 0 0 24 0 2 0 502988976 31313920 910 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270333415716 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0297911 s]
/proc/loadavg: 6.26 7.69 7.88 3/198 9007
/proc/meminfo: memFree=31056940/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15604248 CPUtime=0.01 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 3597 0 1 0 1 0 0 0 22 0 13 0 502988976 15978749952 3036 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3901062 3036 1670 9 0 3891810 0
[pid=9007/tid=9008] ppid=9005 vsize=15604248 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 2207 0 1 0 1 0 0 0 25 0 13 0 502988976 15978749952 3037 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 47511646369304 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604248
[startup+0.100775 s]
/proc/loadavg: 6.26 7.69 7.88 3/198 9007
/proc/meminfo: memFree=31056940/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15676680 CPUtime=0.1 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 5665 0 1 0 9 1 0 0 22 0 18 0 502988976 16052920320 5069 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3919170 5070 2117 9 0 3909889 0
[pid=9007/tid=9008] ppid=9005 vsize=15676680 CPUtime=0.08 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 3510 0 1 0 8 0 0 0 18 0 18 0 502988976 16052920320 5071 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 47511644165738 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676680
[startup+0.300743 s]
/proc/loadavg: 6.26 7.69 7.88 3/198 9007
/proc/meminfo: memFree=31056940/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15680444 CPUtime=0.52 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 16224 0 1 0 50 2 0 0 22 0 18 0 502988976 16056774656 14665 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3920111 14672 2207 9 0 3910830 0
[pid=9007/tid=9008] ppid=9005 vsize=15680444 CPUtime=0.29 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 11179 0 1 0 27 2 0 0 18 0 18 0 502988976 16056774656 14675 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912505642131 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680444
[startup+0.700662 s]
/proc/loadavg: 6.26 7.69 7.88 3/198 9007
/proc/meminfo: memFree=31056940/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15680444 CPUtime=0.93 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 41981 0 1 0 87 6 0 0 22 0 18 0 502988976 16056774656 40419 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3920111 40419 2222 9 0 3910830 0
[pid=9007/tid=9008] ppid=9005 vsize=15680444 CPUtime=0.68 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 35532 0 1 0 63 5 0 0 18 0 18 0 502988976 16056774656 40419 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912505534176 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680444
[startup+1.50152 s]
/proc/loadavg: 6.26 7.69 7.88 3/216 9025
/proc/meminfo: memFree=30871920/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15680444 CPUtime=1.75 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 75939 0 1 0 165 10 0 0 22 0 18 0 502988976 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3920111 74374 2222 9 0 3910830 0
[pid=9007/tid=9008] ppid=9005 vsize=15680444 CPUtime=1.47 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 66011 0 1 0 138 9 0 0 19 0 18 0 502988976 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9010] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9010/stat : 9010 (java) S 9005 9007 8948 0 -1 4202560 698 0 0 0 0 0 0 0 16 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9011] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9011/stat : 9011 (java) S 9005 9007 8948 0 -1 4202560 216 0 0 0 0 0 0 0 16 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9012] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9012/stat : 9012 (java) S 9005 9007 8948 0 -1 4202560 1320 0 0 0 0 0 0 0 16 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9013] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9013/stat : 9013 (java) S 9005 9007 8948 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9014] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 1822 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) S 9005 9007 8948 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 18 0 502988978 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 0 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 502988978 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 502988978 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15680444 CPUtime=0.11 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1205 0 0 0 11 0 0 0 17 0 18 0 502988980 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15680444 CPUtime=0.11 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 2457 0 0 0 11 0 0 0 17 0 18 0 502988980 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 502988980 16056774656 74374 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15680444
[startup+3.10118 s]
/proc/loadavg: 6.00 7.62 7.86 3/216 9025
/proc/meminfo: memFree=30561060/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15680444 CPUtime=3.44 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 145630 0 1 0 325 19 0 0 22 0 18 0 502988976 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3920111 143860 2240 9 0 3910830 0
[pid=9007/tid=9008] ppid=9005 vsize=15680444 CPUtime=3.06 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 127310 0 1 0 289 17 0 0 23 0 18 0 502988976 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912505535264 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9010] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9010/stat : 9010 (java) S 9005 9007 8948 0 -1 4202560 698 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9011] ppid=9005 vsize=15680444 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9011/stat : 9011 (java) S 9005 9007 8948 0 -1 4202560 8071 0 0 0 1 0 0 0 16 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9012] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9012/stat : 9012 (java) S 9005 9007 8948 0 -1 4202560 1460 0 0 0 0 0 0 0 16 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9013] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9013/stat : 9013 (java) S 9005 9007 8948 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9014] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 1837 0 0 0 0 0 0 0 15 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15680444 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 236 0 0 0 1 0 0 0 15 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 18 0 502988977 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) S 9005 9007 8948 0 -1 4202560 418 0 0 0 0 0 0 0 15 0 18 0 502988978 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 0 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 502988978 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 502988978 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15680444 CPUtime=0.14 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1235 0 0 0 14 0 0 0 15 0 18 0 502988980 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15680444 CPUtime=0.13 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 2480 0 0 0 13 0 0 0 16 0 18 0 502988980 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15680444 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 502988980 16056774656 143860 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 15680444
[startup+6.30155 s]
/proc/loadavg: 6.00 7.62 7.86 4/216 9025
/proc/meminfo: memFree=29710668/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15679240 CPUtime=6.69 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 156021 0 1 0 648 21 0 0 22 0 18 0 502988976 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3919810 151448 2240 9 0 3910529 0
[pid=9007/tid=9008] ppid=9005 vsize=15679240 CPUtime=6.23 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) R 9005 9007 8948 0 -1 4202560 127316 0 1 0 606 17 0 0 25 0 18 0 502988976 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912505640071 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9010] ppid=9005 vsize=15679240 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9010/stat : 9010 (java) S 9005 9007 8948 0 -1 4202560 699 0 0 0 1 0 0 0 16 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9011] ppid=9005 vsize=15679240 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9011/stat : 9011 (java) S 9005 9007 8948 0 -1 4202560 8071 0 0 0 1 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9012] ppid=9005 vsize=15679240 CPUtime=0.02 cores=1,3,5,7
/proc/9007/task/9012/stat : 9012 (java) S 9005 9007 8948 0 -1 4202560 11700 0 0 0 1 1 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9013] ppid=9005 vsize=15679240 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9013/stat : 9013 (java) S 9005 9007 8948 0 -1 4202560 304 0 0 0 1 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9014] ppid=9005 vsize=15679240 CPUtime=0.02 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 150 0 0 0 2 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15679240 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 1837 0 0 0 1 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15679240 CPUtime=0.02 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 236 0 0 0 2 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15679240 CPUtime=0.01 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 45 0 0 0 1 0 0 0 15 0 18 0 502988977 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) S 9005 9007 8948 0 -1 4202560 562 0 0 0 0 0 0 0 15 0 18 0 502988978 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 0 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 502988978 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 502988978 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15679240 CPUtime=0.14 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1235 0 0 0 14 0 0 0 15 0 18 0 502988980 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15679240 CPUtime=0.13 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 2480 0 0 0 13 0 0 0 16 0 18 0 502988980 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 502988980 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15679240 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 502988980 16055541760 151448 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=9007/tid=9014] ppid=9005 vsize=15750272 CPUtime=12.1 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 396911 0 0 0 1142 68 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15750272 CPUtime=10.92 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 419746 0 0 0 1021 71 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15750272 CPUtime=10.34 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 424851 0 0 0 959 75 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15750272 CPUtime=11.04 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 530396 0 0 0 1018 86 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15750272 CPUtime=392.03 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) S 9005 9007 8948 0 -1 4202560 242964 0 0 0 39142 61 0 0 15 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 0 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15750272 CPUtime=0.79 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1602 0 0 0 79 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15750272 CPUtime=1.59 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 14747 0 0 0 157 2 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9026] ppid=9005 vsize=15750272 CPUtime=704.56 cores=1,3,5,7
/proc/9007/task/9026/stat : 9026 (java) R 9005 9007 8948 0 -1 4202560 128285 0 0 0 70441 15 0 0 21 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912506345512 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9005 vsize=15750272 CPUtime=715.01 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (java) R 9005 9007 8948 0 -1 4202560 4354 0 0 0 71500 1 0 0 21 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912506134656 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9007/tid=9029] ppid=9005 vsize=15750272 CPUtime=667.36 cores=1,3,5,7
/proc/9007/task/9029/stat : 9029 (java) R 9005 9007 8948 0 -1 4202560 331 0 0 0 66735 1 0 0 21 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912506072939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3100.06
Current children cumulated vsize (KiB) 15750272
[startup+1242.3 s]
/proc/loadavg: 5.50 6.11 6.88 6/219 9113
/proc/meminfo: memFree=13052876/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15750272 CPUtime=3198.89 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 4364355 0 1 0 319136 753 0 0 22 0 21 0 502988976 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3937568 3859548 2295 9 0 3928287 0
[pid=9007/tid=9008] ppid=9005 vsize=15750272 CPUtime=45.23 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) S 9005 9007 8948 0 -1 4202560 153800 0 1 0 4501 22 0 0 25 0 21 0 502988976 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9010] ppid=9005 vsize=15750272 CPUtime=11.81 cores=1,3,5,7
/proc/9007/task/9010/stat : 9010 (java) S 9005 9007 8948 0 -1 4202560 531876 0 0 0 1094 87 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9011] ppid=9005 vsize=15750272 CPUtime=11.25 cores=1,3,5,7
/proc/9007/task/9011/stat : 9011 (java) S 9005 9007 8948 0 -1 4202560 534290 0 0 0 1033 92 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9012] ppid=9005 vsize=15750272 CPUtime=10.96 cores=1,3,5,7
/proc/9007/task/9012/stat : 9012 (java) S 9005 9007 8948 0 -1 4202560 578054 0 0 0 1004 92 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9013] ppid=9005 vsize=15750272 CPUtime=12.58 cores=1,3,5,7
/proc/9007/task/9013/stat : 9013 (java) S 9005 9007 8948 0 -1 4202560 400471 0 0 0 1187 71 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9014] ppid=9005 vsize=15750272 CPUtime=12.1 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 396911 0 0 0 1142 68 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15750272 CPUtime=10.92 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 419746 0 0 0 1021 71 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15750272 CPUtime=10.34 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 424851 0 0 0 959 75 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15750272 CPUtime=11.04 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 530396 0 0 0 1018 86 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15750272 CPUtime=432.59 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) S 9005 9007 8948 0 -1 4202560 242966 0 0 0 43196 63 0 0 16 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 0 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15750272 CPUtime=0.79 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1602 0 0 0 79 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15750272 CPUtime=1.59 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 14747 0 0 0 157 2 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9026] ppid=9005 vsize=15750272 CPUtime=723.99 cores=1,3,5,7
/proc/9007/task/9026/stat : 9026 (java) R 9005 9007 8948 0 -1 4202560 128329 0 0 0 72384 15 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 47511647804513 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9005 vsize=15750272 CPUtime=734.43 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (java) R 9005 9007 8948 0 -1 4202560 4392 0 0 0 73442 1 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912505911576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9007/tid=9029] ppid=9005 vsize=15750272 CPUtime=686.79 cores=1,3,5,7
/proc/9007/task/9029/stat : 9029 (java) R 9005 9007 8948 0 -1 4202560 366 0 0 0 68677 2 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 46912506111633 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3198.89
Current children cumulated vsize (KiB) 15750272
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.01 s]
/proc/loadavg: 5.27 5.94 6.77 7/219 9115
/proc/meminfo: memFree=10327568/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=15750272 CPUtime=3257.57 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9005 9007 8948 0 -1 4202496 4364581 0 1 0 325002 755 0 0 22 0 21 0 502988976 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9007/statm: 3937568 3859548 2295 9 0 3928287 0
[pid=9007/tid=9008] ppid=9005 vsize=15750272 CPUtime=45.23 cores=1,3,5,7
/proc/9007/task/9008/stat : 9008 (java) S 9005 9007 8948 0 -1 4202560 153800 0 1 0 4501 22 0 0 25 0 21 0 502988976 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9010] ppid=9005 vsize=15750272 CPUtime=11.81 cores=1,3,5,7
/proc/9007/task/9010/stat : 9010 (java) S 9005 9007 8948 0 -1 4202560 531876 0 0 0 1094 87 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9011] ppid=9005 vsize=15750272 CPUtime=11.25 cores=1,3,5,7
/proc/9007/task/9011/stat : 9011 (java) S 9005 9007 8948 0 -1 4202560 534290 0 0 0 1033 92 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9012] ppid=9005 vsize=15750272 CPUtime=10.96 cores=1,3,5,7
/proc/9007/task/9012/stat : 9012 (java) S 9005 9007 8948 0 -1 4202560 578054 0 0 0 1004 92 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9013] ppid=9005 vsize=15750272 CPUtime=12.58 cores=1,3,5,7
/proc/9007/task/9013/stat : 9013 (java) S 9005 9007 8948 0 -1 4202560 400471 0 0 0 1187 71 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9014] ppid=9005 vsize=15750272 CPUtime=12.1 cores=1,3,5,7
/proc/9007/task/9014/stat : 9014 (java) S 9005 9007 8948 0 -1 4202560 396911 0 0 0 1142 68 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9015] ppid=9005 vsize=15750272 CPUtime=10.92 cores=1,3,5,7
/proc/9007/task/9015/stat : 9015 (java) S 9005 9007 8948 0 -1 4202560 419746 0 0 0 1021 71 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9016] ppid=9005 vsize=15750272 CPUtime=10.34 cores=1,3,5,7
/proc/9007/task/9016/stat : 9016 (java) S 9005 9007 8948 0 -1 4202560 424851 0 0 0 959 75 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9017] ppid=9005 vsize=15750272 CPUtime=11.04 cores=1,3,5,7
/proc/9007/task/9017/stat : 9017 (java) S 9005 9007 8948 0 -1 4202560 530396 0 0 0 1018 86 0 0 16 0 21 0 502988977 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9018] ppid=9005 vsize=15750272 CPUtime=489.8 cores=1,3,5,7
/proc/9007/task/9018/stat : 9018 (java) R 9005 9007 8948 0 -1 4202560 242970 0 0 0 48916 64 0 0 18 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 47511642609472 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=9007/tid=9019] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9019/stat : 9019 (java) S 9005 9007 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 7 0 0 0
[pid=9007/tid=9020] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9020/stat : 9020 (java) S 9005 9007 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 502988978 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9021] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9021/stat : 9021 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350207409 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9022] ppid=9005 vsize=15750272 CPUtime=0.79 cores=1,3,5,7
/proc/9007/task/9022/stat : 9022 (java) S 9005 9007 8948 0 -1 4202560 1602 0 0 0 79 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9023] ppid=9005 vsize=15750272 CPUtime=1.59 cores=1,3,5,7
/proc/9007/task/9023/stat : 9023 (java) S 9005 9007 8948 0 -1 4202560 14747 0 0 0 157 2 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
[pid=9007/tid=9024] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9024/stat : 9024 (java) S 9005 9007 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9025] ppid=9005 vsize=15750272 CPUtime=0 cores=1,3,5,7
/proc/9007/task/9025/stat : 9025 (java) S 9005 9007 8948 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 21 0 502988980 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350200320 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9026] ppid=9005 vsize=15750272 CPUtime=724.47 cores=1,3,5,7
/proc/9007/task/9026/stat : 9026 (java) S 9005 9007 8948 0 -1 4202560 128449 0 0 0 72432 15 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 5 0 0 0
[pid=9007/tid=9028] ppid=9005 vsize=15750272 CPUtime=734.91 cores=1,3,5,7
/proc/9007/task/9028/stat : 9028 (java) S 9005 9007 8948 0 -1 4202560 4490 0 0 0 73490 1 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 3 0 0 0
[pid=9007/tid=9029] ppid=9005 vsize=15750272 CPUtime=687.29 cores=1,3,5,7
/proc/9007/task/9029/stat : 9029 (java) S 9005 9007 8948 0 -1 4202560 366 0 0 0 68727 2 0 0 15 0 21 0 502989778 16128278528 3859548 33554432000 1073741824 1073778376 140733555734752 18446744073709551615 270350199705 0 4 0 16800975 18446604471136797632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3257.57
Current children cumulated vsize (KiB) 15750272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9007
[startup+1302.3 s]
/proc/loadavg: 5.24 5.92 6.76 6/199 9116
/proc/meminfo: memFree=12629244/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=0 CPUtime=3259.86 cores=1,3,5,7
/proc/9007/stat : 9007 (java) R 9005 9007 8948 0 -1 4203524 4364596 0 1 0 325204 782 0 0 18 0 1 0 502988976 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9007/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3259.86
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.24 5.92 6.76 6/199 9116
/proc/meminfo: memFree=12629244/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=0 CPUtime=3259.96 cores=1,3,5,7
/proc/9007/stat : 9007 (java) R 9005 9007 8948 0 -1 4203524 4364596 0 1 0 325204 792 0 0 18 0 1 0 502988976 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9007/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3259.96
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.24 5.92 6.76 6/199 9116
/proc/meminfo: memFree=12629244/32951124 swapFree=67111356/67111528
[pid=9007] ppid=9005 vsize=0 CPUtime=3260.06 cores=1,3,5,7
/proc/9007/stat : 9007 (java) R 9005 9007 8948 0 -1 4203524 4364596 0 1 0 325204 802 0 0 18 0 1 0 502988976 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9007/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3260.06
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 3260.1
CPU user time (s): 3252.04
CPU system time (s): 8.05277
CPU usage (%): 250.29
Max. virtual memory (cumulated for all children) (KiB): 15750272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3252.04
system time used= 8.05278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4364596
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= 45489
involuntary context switches= 83230
runsolver used 2.11668 second user time and 5.04423 second system time
The end