runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3500805-1308036320/watcher-3500805-1308036320 -o /var/tmp/evaluation-result-3500805-1308036320/solver-3500805-1308036320 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500805-1308036320.gcnf
running on 2 cores: 4,6
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.47 0.66 0.22 4/240 7202
/proc/meminfo: memFree=11253584/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=30536 CPUtime=0 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 1242 0 0 0 0 0 0 0 25 0 2 0 896048098 31268864 961 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 7634 963 736 9 0 385 0
[pid=7202/tid=7203] ppid=7200 vsize=31604 CPUtime=0 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 133 0 0 0 0 0 0 0 25 0 2 0 896048099 32362496 966 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220811314256 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0680129 s]
/proc/loadavg: 2.47 0.66 0.22 4/240 7202
/proc/meminfo: memFree=11253584/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6428860 CPUtime=0.05 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 8570 0 1 0 4 1 0 0 25 0 18 0 896048098 6583152640 8266 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1607215 8266 1751 9 0 1597953 0
[pid=7202/tid=7203] ppid=7200 vsize=6428860 CPUtime=0.05 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 7395 0 1 0 4 1 0 0 22 0 18 0 896048099 6583152640 8267 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 47962414705491 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6428860
[startup+0.101004 s]
/proc/loadavg: 2.47 0.66 0.22 4/240 7202
/proc/meminfo: memFree=11253584/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6430260 CPUtime=0.1 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 9693 0 1 0 8 2 0 0 25 0 18 0 896048098 6584586240 9389 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1607565 9390 2090 9 0 1598303 0
[pid=7202/tid=7203] ppid=7200 vsize=6430260 CPUtime=0.08 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 7824 0 1 0 6 2 0 0 22 0 18 0 896048099 6584586240 9390 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 47962414705491 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6430260
[startup+0.300972 s]
/proc/loadavg: 2.47 0.66 0.22 4/240 7202
/proc/meminfo: memFree=11253584/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6432156 CPUtime=0.38 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 26961 0 1 0 34 4 0 0 25 0 18 0 896048098 6586527744 26085 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1608039 26087 2202 9 0 1598777 0
[pid=7202/tid=7203] ppid=7200 vsize=6432156 CPUtime=0.22 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 23477 0 1 0 19 3 0 0 22 0 18 0 896048099 6586527744 26088 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505526480 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 6432156
[startup+0.700924 s]
/proc/loadavg: 2.47 0.66 0.22 4/240 7202
/proc/meminfo: memFree=11253584/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6432156 CPUtime=0.79 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 47012 0 1 0 73 6 0 0 25 0 18 0 896048098 6586527744 46135 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1608039 46136 2202 9 0 1598777 0
[pid=7202/tid=7203] ppid=7200 vsize=6432156 CPUtime=0.63 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 43516 0 1 0 58 5 0 0 23 0 18 0 896048099 6586527744 46137 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505525932 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 6432156
[startup+1.50078 s]
/proc/loadavg: 2.47 0.66 0.22 5/258 7220
/proc/meminfo: memFree=11021932/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6432156 CPUtime=1.6 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 85097 0 1 0 149 11 0 0 25 0 18 0 896048098 6586527744 84219 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1608039 84221 2203 9 0 1598777 0
[pid=7202/tid=7203] ppid=7200 vsize=6432156 CPUtime=1.43 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 81600 0 1 0 133 10 0 0 25 0 18 0 896048099 6586527744 84221 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505541146 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84223 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84224 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84225 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84226 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84227 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84228 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84230 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 84231 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048101 6586527744 84233 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 84234 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 84235 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048103 6586527744 84236 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6432156 CPUtime=0.07 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 1395 0 0 0 7 0 0 0 16 0 18 0 896048103 6586527744 84237 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6432156 CPUtime=0.08 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 950 0 0 0 8 0 0 0 19 0 18 0 896048104 6586527744 84239 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048104 6586527744 84240 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048104 6586527744 84241 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 6432156
[startup+3.10148 s]
/proc/loadavg: 2.60 0.72 0.24 5/258 7221
/proc/meminfo: memFree=10801816/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6432156 CPUtime=3.2 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 160983 0 1 0 301 19 0 0 25 0 18 0 896048098 6586527744 160105 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1608039 160107 2203 9 0 1598777 0
[pid=7202/tid=7203] ppid=7200 vsize=6432156 CPUtime=3.03 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 157487 0 1 0 285 18 0 0 25 0 18 0 896048099 6586527744 160108 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505575293 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160109 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160110 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160111 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160112 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160115 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160116 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 160117 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048101 6586527744 160118 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 160119 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 160120 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048103 6586527744 160121 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6432156 CPUtime=0.07 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 1395 0 0 0 7 0 0 0 16 0 18 0 896048103 6586527744 160123 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6432156 CPUtime=0.08 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 950 0 0 0 8 0 0 0 19 0 18 0 896048104 6586527744 160124 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048104 6586527744 160125 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048104 6586527744 160126 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 6432156
[startup+6.3009 s]
/proc/loadavg: 2.60 0.72 0.24 5/258 7254
/proc/meminfo: memFree=9959912/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6432156 CPUtime=6.4 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 308726 0 1 0 606 34 0 0 25 0 18 0 896048098 6586527744 307432 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1608039 307434 2204 9 0 1598777 0
[pid=7202/tid=7203] ppid=7200 vsize=6432156 CPUtime=6.23 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 305229 0 1 0 590 33 0 0 25 0 18 0 896048099 6586527744 307435 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505526199 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307436 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307437 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307439 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307440 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307441 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307442 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307443 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048100 6586527744 307444 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 896048101 6586527744 307445 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 307446 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 896048101 6586527744 307448 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048103 6586527744 307449 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6432156 CPUtime=0.07 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 1395 0 0 0 7 0 0 0 16 0 18 0 896048103 6586527744 307449 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6432156 CPUtime=0.08 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 950 0 0 0 8 0 0 0 19 0 18 0 896048104 6586527744 307450 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048104 6586527744 307451 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6432156 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896048104 6586527744 307452 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896048103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6438892 CPUtime=1.13 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 12037 0 0 0 111 2 0 0 15 0 19 0 896048103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 5932 0 0 0 59 0 0 0 16 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=25068] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/25068/stat : 25068 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896179103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.97
Current children cumulated vsize (KiB) 6438892
[startup+1722.3 s]
/proc/loadavg: 4.03 4.07 3.48 6/259 29517
/proc/meminfo: memFree=5528960/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6438892 CPUtime=1725.98 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 720102 0 1 0 172515 83 0 0 25 0 19 0 896048098 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1609723 704114 2261 9 0 1600461 0
[pid=7202/tid=7203] ppid=7200 vsize=6438892 CPUtime=1711.04 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 391650 0 1 0 171062 42 0 0 25 0 19 0 896048099 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505498695 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6438892 CPUtime=0.33 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 28782 0 0 0 30 3 0 0 15 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6438892 CPUtime=0.2 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 7672 0 0 0 20 0 0 0 16 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6438892 CPUtime=0.35 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 4850 0 0 0 35 0 0 0 15 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6438892 CPUtime=0.71 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 12799 0 0 0 70 1 0 0 15 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 25635 0 0 0 56 3 0 0 16 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6438892 CPUtime=0.96 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 58339 0 0 0 89 7 0 0 16 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6438892 CPUtime=0.82 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 48916 0 0 0 77 5 0 0 15 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6438892 CPUtime=0.72 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 47946 0 0 0 66 6 0 0 15 0 19 0 896048100 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6438892 CPUtime=8.41 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 74238 0 0 0 834 7 0 0 15 0 19 0 896048101 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896048103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6438892 CPUtime=1.13 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 12037 0 0 0 111 2 0 0 15 0 19 0 896048103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 5932 0 0 0 59 0 0 0 16 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 896048104 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=25068] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/25068/stat : 25068 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896179103 6593425408 704114 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.98
Current children cumulated vsize (KiB) 6438892
[startup+1782.3 s]
/proc/loadavg: 4.01 4.05 3.51 5/258 29925
/proc/meminfo: memFree=5215448/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6438892 CPUtime=1786.09 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 720163 0 1 0 178526 83 0 0 25 0 19 0 896048098 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1609723 704168 2261 9 0 1600461 0
[pid=7202/tid=7203] ppid=7200 vsize=6438892 CPUtime=1769.45 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 391651 0 1 0 176903 42 0 0 25 0 19 0 896048099 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505824161 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6438892 CPUtime=0.44 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 28782 0 0 0 41 3 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6438892 CPUtime=0.2 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 7672 0 0 0 20 0 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6438892 CPUtime=0.4 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 4850 0 0 0 40 0 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6438892 CPUtime=0.71 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 12799 0 0 0 70 1 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 25635 0 0 0 56 3 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6438892 CPUtime=0.96 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 58339 0 0 0 89 7 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6438892 CPUtime=0.88 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 48916 0 0 0 83 5 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6438892 CPUtime=0.72 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 47946 0 0 0 66 6 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6438892 CPUtime=9.89 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 74294 0 0 0 982 7 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896048103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6438892 CPUtime=1.13 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 12037 0 0 0 111 2 0 0 15 0 19 0 896048103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 5932 0 0 0 59 0 0 0 16 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7202 6754 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=25068] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/25068/stat : 25068 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896179103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1786.09
Current children cumulated vsize (KiB) 6438892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.31 s]
/proc/loadavg: 4.01 4.05 3.52 5/259 30037
/proc/meminfo: memFree=5214804/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=6438892 CPUtime=1800.1 cores=4,6
/proc/7202/stat : 7202 (java) S 7200 7202 6754 0 -1 4202496 720165 0 1 0 179927 83 0 0 25 0 19 0 896048098 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 1609723 704168 2261 9 0 1600461 0
[pid=7202/tid=7203] ppid=7200 vsize=6438892 CPUtime=1783.46 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4202560 391651 0 1 0 178304 42 0 0 25 0 19 0 896048099 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=6438892 CPUtime=0.44 cores=4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7202 6754 0 -1 4202560 28782 0 0 0 41 3 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=6438892 CPUtime=0.2 cores=4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7202 6754 0 -1 4202560 7672 0 0 0 20 0 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=6438892 CPUtime=0.4 cores=4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7202 6754 0 -1 4202560 4850 0 0 0 40 0 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=6438892 CPUtime=0.71 cores=4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7202 6754 0 -1 4202560 12799 0 0 0 70 1 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7202 6754 0 -1 4202560 25635 0 0 0 56 3 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=6438892 CPUtime=0.96 cores=4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7202 6754 0 -1 4202560 58339 0 0 0 89 7 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=6438892 CPUtime=0.88 cores=4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7202 6754 0 -1 4202560 48916 0 0 0 83 5 0 0 16 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7212] ppid=7200 vsize=6438892 CPUtime=0.72 cores=4,6
/proc/7202/task/7212/stat : 7212 (java) S 7200 7202 6754 0 -1 4202560 47946 0 0 0 66 6 0 0 15 0 19 0 896048100 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=6438892 CPUtime=9.89 cores=4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7202 6754 0 -1 4202560 74294 0 0 0 982 7 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 0 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7202 6754 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7202 6754 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 896048101 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896048103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828060081 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=6438892 CPUtime=1.13 cores=4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7202 6754 0 -1 4202560 12037 0 0 0 111 2 0 0 15 0 19 0 896048103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=6438892 CPUtime=0.59 cores=4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7202 6754 0 -1 4202560 5932 0 0 0 59 0 0 0 16 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052377 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/7220/stat : 7220 (java) R 7200 7202 6754 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 896048104 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7202/tid=25068] ppid=7200 vsize=6438892 CPUtime=0 cores=4,6
/proc/7202/task/25068/stat : 25068 (java) S 7200 7202 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896179103 6593425408 704168 33554432000 1073741824 1073778376 140734170845952 18446744073709551615 220828052992 0 4 0 16800975 18446604453912228224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 6438892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.41 s]
/proc/loadavg: 4.01 4.05 3.52 5/259 30037
/proc/meminfo: memFree=5214804/32951124 swapFree=67062232/67111528
[pid=7202] ppid=7200 vsize=0 CPUtime=1800.2 cores=4,6
/proc/7202/stat : 7202 (java) Z 7200 7202 6754 0 -1 4203548 720194 0 1 0 179929 91 0 0 17 0 2 0 896048098 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7202/statm: 0 0 0 0 0 0 0
[pid=7202/tid=7203] ppid=7200 vsize=0 CPUtime=1783.55 cores=4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7202 6754 0 -1 4203588 391651 0 1 0 178305 50 0 0 25 0 2 0 896048099 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.43
CPU time (s): 1800.23
CPU user time (s): 1799.29
CPU system time (s): 0.936857
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 6446884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.936857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720194
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= 37619
involuntary context switches= 24484
runsolver used 3.16852 second user time and 6.64699 second system time
The end