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-3454567-1307190012/watcher-3454567-1307190012 -o /tmp/evaluation-result-3454567-1307190012/solver-3454567-1307190012 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454567-1307190012.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.79 3.86 3.54 3/545 29008
/proc/meminfo: memFree=22376424/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 4236 0 1 0 0 0 0 0 25 0 2 0 830598943 10694979584 3938 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2611079 3951 917 9 0 2602235 0
[pid=29008/tid=29009] ppid=29006 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 5074 0 1 0 0 0 0 0 17 0 2 0 830598944 10694979584 5891 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.045064 s]
/proc/loadavg: 3.79 3.86 3.54 3/545 29008
/proc/meminfo: memFree=22376424/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 11226 0 1 0 2 1 0 0 25 0 13 0 830598943 10718699520 10922 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2616870 10923 1669 9 0 2607618 0
[pid=29008/tid=29009] ppid=29006 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 10078 0 1 0 1 1 0 0 20 0 13 0 830598944 10718699520 10923 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917557707 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.107074 s]
/proc/loadavg: 3.79 3.86 3.54 3/545 29008
/proc/meminfo: memFree=22376424/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10540380 CPUtime=0.11 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 13070 0 1 0 9 2 0 0 25 0 18 0 830598943 10793349120 12766 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2635095 12767 2092 9 0 2625829 0
[pid=29008/tid=29009] ppid=29006 vsize=10540380 CPUtime=0.08 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 11155 0 1 0 7 1 0 0 25 0 18 0 830598944 10793349120 12767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917557707 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540380
[startup+0.300979 s]
/proc/loadavg: 3.79 3.86 3.54 3/545 29008
/proc/meminfo: memFree=22376424/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10540536 CPUtime=0.46 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 21832 0 1 0 43 3 0 0 25 0 18 0 830598943 10793508864 21073 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2635134 21073 2200 9 0 2625868 0
[pid=29008/tid=29009] ppid=29006 vsize=10540536 CPUtime=0.27 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 18375 0 1 0 25 2 0 0 25 0 18 0 830598944 10793508864 21073 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505554286 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540536
[startup+0.700906 s]
/proc/loadavg: 3.79 3.86 3.54 3/545 29008
/proc/meminfo: memFree=22376424/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10540460 CPUtime=1.08 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 51148 0 1 0 101 7 0 0 25 0 18 0 830598943 10793431040 50030 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2635115 50030 2205 9 0 2625849 0
[pid=29008/tid=29009] ppid=29006 vsize=10540460 CPUtime=0.67 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 47256 0 1 0 61 6 0 0 25 0 18 0 830598944 10793431040 50030 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505650214 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10540460
[startup+1.5008 s]
/proc/loadavg: 3.79 3.86 3.54 5/563 29031
/proc/meminfo: memFree=22052544/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10540460 CPUtime=1.88 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 128532 0 1 0 172 16 0 0 25 0 18 0 830598943 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2635115 127414 2205 9 0 2625849 0
[pid=29008/tid=29009] ppid=29006 vsize=10540460 CPUtime=1.47 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) R 29006 29008 25956 0 -1 4202560 124640 0 1 0 132 15 0 0 25 0 18 0 830598944 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505643989 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830598946 10793431040 127414 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830598947 10793431040 127416 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 830598947 10793431040 127418 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 830598947 10793431040 127421 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 830598949 10793431040 127423 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10540460 CPUtime=0.17 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 1302 0 0 0 17 0 0 0 15 0 18 0 830598949 10793431040 127425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10540460 CPUtime=0.21 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 1438 0 0 0 21 0 0 0 20 0 18 0 830598949 10793431040 127428 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830598949 10793431040 127430 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29031] ppid=29006 vsize=10540460 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29031/stat : 29031 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830598949 10793431040 127433 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10540460
[startup+3.10148 s]
/proc/loadavg: 3.73 3.84 3.54 5/565 29033
/proc/meminfo: memFree=21681396/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10548288 CPUtime=5.29 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 243098 0 1 0 499 30 0 0 25 0 22 0 830598943 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2637072 240767 2235 9 0 2627806 0
[pid=29008/tid=29009] ppid=29006 vsize=10548288 CPUtime=1.98 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) S 29006 29008 25956 0 -1 4202560 168248 0 1 0 177 21 0 0 15 0 22 0 830598944 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830598947 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830598947 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830598947 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830598949 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10548288 CPUtime=0.55 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 2810 0 0 0 55 0 0 0 15 0 22 0 830598949 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10548288 CPUtime=0.56 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 2266 0 0 0 56 0 0 0 15 0 22 0 830598949 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830598949 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29031] ppid=29006 vsize=10548288 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29031/stat : 29031 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830598949 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29032] ppid=29006 vsize=10548288 CPUtime=1.09 cores=1,3,5,7
/proc/29008/task/29032/stat : 29032 (java) R 29006 29008 25956 0 -1 4202560 2333 0 0 0 109 0 0 0 20 0 22 0 830599144 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505823938 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29008/tid=29033] ppid=29006 vsize=10548288 CPUtime=1.06 cores=1,3,5,7
/proc/29008/task/29033/stat : 29033 (java) R 29006 29008 25956 0 -1 4202560 66273 0 0 0 100 6 0 0 18 0 22 0 830599144 10801446912 240767 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505619034 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 10548288
[startup+6.3009 s]
/proc/loadavg: 3.73 3.84 3.54 6/567 29036
/proc/meminfo: memFree=20216112/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10548804 CPUtime=11.93 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 560669 0 1 0 1129 64 0 0 25 0 22 0 830598943 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2637201 556424 2238 9 0 2627935 0
[pid=29008/tid=29009] ppid=29006 vsize=10548804 CPUtime=1.98 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) S 29006 29008 25956 0 -1 4202560 168249 0 1 0 177 21 0 0 15 0 22 0 830598944 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556424 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830598946 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830598947 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830598947 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830598947 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10548804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830598949 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10548804 CPUtime=0.64 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 3249 0 0 0 64 0 0 0 15 0 22 0 830598949 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10548804 CPUtime=0.74 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 4614 0 0 0 73 1 0 0 15 0 22 0 830598949 10801975296 556425 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16224232/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10547804 CPUtime=1623.85 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 1067625 0 1 0 162252 133 0 0 25 0 22 0 830598943 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2636951 1060652 2263 9 0 2627685 0
[pid=29008/tid=29009] ppid=29006 vsize=10547804 CPUtime=1.98 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) S 29006 29008 25956 0 -1 4202560 168264 0 1 0 177 21 0 0 15 0 22 0 830598944 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10547804 CPUtime=0.65 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 23928 0 0 0 62 3 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10547804 CPUtime=0.78 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 52316 0 0 0 69 9 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10547804 CPUtime=0.76 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 46540 0 0 0 70 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10547804 CPUtime=0.56 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 27437 0 0 0 53 3 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10547804 CPUtime=0.64 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 32794 0 0 0 59 5 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10547804 CPUtime=0.7 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 39634 0 0 0 64 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10547804 CPUtime=0.79 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 29010 0 0 0 75 4 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10547804 CPUtime=0.64 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 43636 0 0 0 58 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10547804 CPUtime=22.75 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 66124 0 0 0 2269 6 0 0 15 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10547804 CPUtime=0.81 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 3298 0 0 0 81 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10547804 CPUtime=1.1 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 5255 0 0 0 109 1 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29031] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29031/stat : 29031 (java) S 29006 29008 25956 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29032] ppid=29006 vsize=10547804 CPUtime=795.83 cores=1,3,5,7
/proc/29008/task/29032/stat : 29032 (java) R 29006 29008 25956 0 -1 4202560 3672 0 0 0 79583 0 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912506019504 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29008/tid=29033] ppid=29006 vsize=10547804 CPUtime=795.72 cores=1,3,5,7
/proc/29008/task/29033/stat : 29033 (java) R 29006 29008 25956 0 -1 4202560 524510 0 0 0 79517 55 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912505833674 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29008/tid=29035] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29035/stat : 29035 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830599160 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29036] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29036/stat : 29036 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830599162 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1623.85
Current children cumulated vsize (KiB) 10547804
[startup+882.302 s]
/proc/loadavg: 4.03 4.01 3.80 5/567 29121
/proc/meminfo: memFree=15976648/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10547804 CPUtime=1742.82 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 1067634 0 1 0 174149 133 0 0 25 0 22 0 830598943 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2636951 1060652 2263 9 0 2627685 0
[pid=29008/tid=29009] ppid=29006 vsize=10547804 CPUtime=1.98 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) S 29006 29008 25956 0 -1 4202560 168264 0 1 0 177 21 0 0 15 0 22 0 830598944 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10547804 CPUtime=0.68 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 23928 0 0 0 65 3 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10547804 CPUtime=0.82 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 52316 0 0 0 73 9 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10547804 CPUtime=0.8 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 46540 0 0 0 74 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10547804 CPUtime=0.6 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 27437 0 0 0 57 3 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10547804 CPUtime=0.67 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 32794 0 0 0 62 5 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10547804 CPUtime=0.72 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 39634 0 0 0 66 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10547804 CPUtime=0.8 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 29010 0 0 0 76 4 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10547804 CPUtime=0.64 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 43636 0 0 0 58 6 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10547804 CPUtime=23.89 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 66128 0 0 0 2383 6 0 0 15 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10547804 CPUtime=0.81 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 3298 0 0 0 81 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10547804 CPUtime=1.1 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 5255 0 0 0 109 1 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29031] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29031/stat : 29031 (java) S 29006 29008 25956 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29032] ppid=29006 vsize=10547804 CPUtime=854.64 cores=1,3,5,7
/proc/29008/task/29032/stat : 29032 (java) R 29006 29008 25956 0 -1 4202560 3674 0 0 0 85464 0 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912506108864 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29008/tid=29033] ppid=29006 vsize=10547804 CPUtime=854.53 cores=1,3,5,7
/proc/29008/task/29033/stat : 29033 (java) R 29006 29008 25956 0 -1 4202560 524511 0 0 0 85398 55 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912506060367 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29008/tid=29035] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29035/stat : 29035 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830599160 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29036] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29036/stat : 29036 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830599162 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1742.82
Current children cumulated vsize (KiB) 10547804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.201 s]
/proc/loadavg: 3.88 3.97 3.79 5/567 29121
/proc/meminfo: memFree=15918464/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=10547804 CPUtime=1800.22 cores=1,3,5,7
/proc/29008/stat : 29008 (java) S 29006 29008 25956 0 -1 4202496 1067640 0 1 0 179889 133 0 0 25 0 22 0 830598943 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 2636951 1060652 2263 9 0 2627685 0
[pid=29008/tid=29009] ppid=29006 vsize=10547804 CPUtime=1.98 cores=1,3,5,7
/proc/29008/task/29009/stat : 29009 (java) S 29006 29008 25956 0 -1 4202560 168264 0 1 0 177 21 0 0 15 0 22 0 830598944 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29012] ppid=29006 vsize=10547804 CPUtime=0.69 cores=1,3,5,7
/proc/29008/task/29012/stat : 29012 (java) S 29006 29008 25956 0 -1 4202560 23928 0 0 0 66 3 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29013] ppid=29006 vsize=10547804 CPUtime=0.84 cores=1,3,5,7
/proc/29008/task/29013/stat : 29013 (java) S 29006 29008 25956 0 -1 4202560 52316 0 0 0 75 9 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29014] ppid=29006 vsize=10547804 CPUtime=0.82 cores=1,3,5,7
/proc/29008/task/29014/stat : 29014 (java) S 29006 29008 25956 0 -1 4202560 46540 0 0 0 76 6 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29015] ppid=29006 vsize=10547804 CPUtime=0.6 cores=1,3,5,7
/proc/29008/task/29015/stat : 29015 (java) S 29006 29008 25956 0 -1 4202560 27437 0 0 0 57 3 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29016] ppid=29006 vsize=10547804 CPUtime=0.67 cores=1,3,5,7
/proc/29008/task/29016/stat : 29016 (java) S 29006 29008 25956 0 -1 4202560 32794 0 0 0 62 5 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29018] ppid=29006 vsize=10547804 CPUtime=0.73 cores=1,3,5,7
/proc/29008/task/29018/stat : 29018 (java) S 29006 29008 25956 0 -1 4202560 39634 0 0 0 67 6 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 3 0 0 0
[pid=29008/tid=29019] ppid=29006 vsize=10547804 CPUtime=0.82 cores=1,3,5,7
/proc/29008/task/29019/stat : 29019 (java) S 29006 29008 25956 0 -1 4202560 29010 0 0 0 78 4 0 0 16 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29020] ppid=29006 vsize=10547804 CPUtime=0.64 cores=1,3,5,7
/proc/29008/task/29020/stat : 29020 (java) S 29006 29008 25956 0 -1 4202560 43636 0 0 0 58 6 0 0 15 0 22 0 830598946 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 7 0 0 0
[pid=29008/tid=29022] ppid=29006 vsize=10547804 CPUtime=24.35 cores=1,3,5,7
/proc/29008/task/29022/stat : 29022 (java) S 29006 29008 25956 0 -1 4202560 66130 0 0 0 2429 6 0 0 15 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 0 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29023] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29023/stat : 29023 (java) S 29006 29008 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29024] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29024/stat : 29024 (java) S 29006 29008 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830598947 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29026] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29026/stat : 29026 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917554609 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29027] ppid=29006 vsize=10547804 CPUtime=0.81 cores=1,3,5,7
/proc/29008/task/29027/stat : 29027 (java) S 29006 29008 25956 0 -1 4202560 3298 0 0 0 81 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29028] ppid=29006 vsize=10547804 CPUtime=1.1 cores=1,3,5,7
/proc/29008/task/29028/stat : 29028 (java) S 29006 29008 25956 0 -1 4202560 5255 0 0 0 109 1 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) S 29006 29008 25956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917546905 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29031] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29031/stat : 29031 (java) S 29006 29008 25956 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830598949 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 1 0 0 0
[pid=29008/tid=29032] ppid=29006 vsize=10547804 CPUtime=883.07 cores=1,3,5,7
/proc/29008/task/29032/stat : 29032 (java) R 29006 29008 25956 0 -1 4202560 3675 0 0 0 88307 0 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912506120240 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29008/tid=29033] ppid=29006 vsize=10547804 CPUtime=882.96 cores=1,3,5,7
/proc/29008/task/29033/stat : 29033 (java) R 29006 29008 25956 0 -1 4202560 524512 0 0 0 88241 55 0 0 25 0 22 0 830599144 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 46912506022281 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29008/tid=29035] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29035/stat : 29035 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830599160 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
[pid=29008/tid=29036] ppid=29006 vsize=10547804 CPUtime=0 cores=1,3,5,7
/proc/29008/task/29036/stat : 29036 (java) S 29006 29008 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830599162 10800951296 1060652 33554432000 1073741824 1073778376 140734293758992 18446744073709551615 218917547520 0 4 0 16800975 18446604463093536704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 10547804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.4 s]
/proc/loadavg: 3.88 3.97 3.79 5/567 29121
/proc/meminfo: memFree=15918464/32951124 swapFree=56930356/67111528
[pid=29008] ppid=29006 vsize=0 CPUtime=1800.45 cores=1,3,5,7
/proc/29008/stat : 29008 (java) Z 29006 29008 25956 0 -1 4203548 1067676 0 1 0 179897 148 0 0 17 0 2 0 830598943 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29008/statm: 0 0 0 0 0 0 0
[pid=29008/tid=29030] ppid=29006 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/29008/task/29030/stat : 29030 (java) R 29006 29008 25956 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 830598949 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.45
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.41
CPU time (s): 1800.46
CPU user time (s): 1798.97
CPU system time (s): 1.48977
CPU usage (%): 197.547
Max. virtual memory (cumulated for all children) (KiB): 10550020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.48977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067676
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= 23212
involuntary context switches= 21165
runsolver used 4.78127 second user time and 11.7022 second system time
The end