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-3453928-1307194498/watcher-3453928-1307194498 -o /tmp/evaluation-result-3453928-1307194498/solver-3453928-1307194498 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453928-1307194498.opb
running on 4 cores: 0,2,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): 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.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2139/stat : 2139 (java) R 2137 2139 28154 0 -1 4202496 817 0 0 0 0 0 0 0 25 0 1 0 831048276 23580672 560 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210199684864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2139/statm: 5757 574 427 9 0 124 0
[pid=2139/tid=2140] ppid=2137 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 5351 0 1 0 0 0 0 0 25 0 2 0 831048277 10694979584 6167 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0942549 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10540268 CPUtime=0.1 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 13002 0 1 0 8 2 0 0 25 0 18 0 831048276 10793234432 12671 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635067 12671 2093 9 0 2625801 0
[pid=2139/tid=2140] ppid=2137 vsize=10540268 CPUtime=0.07 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 11043 0 1 0 6 1 0 0 18 0 18 0 831048277 10793234432 12671 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655506233473 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540268
[startup+0.100278 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10540268 CPUtime=0.1 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 13079 0 1 0 8 2 0 0 25 0 18 0 831048276 10793234432 12748 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635067 12748 2093 9 0 2625801 0
[pid=2139/tid=2140] ppid=2137 vsize=10540268 CPUtime=0.08 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 11120 0 1 0 7 1 0 0 18 0 18 0 831048277 10793234432 12748 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655510789278 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540268
[startup+0.300284 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10541384 CPUtime=0.46 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 15479 0 1 0 44 2 0 0 25 0 18 0 831048276 10794377216 14876 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635346 14877 2209 9 0 2626080 0
[pid=2139/tid=2140] ppid=2137 vsize=10541384 CPUtime=0.28 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 12750 0 1 0 26 2 0 0 18 0 18 0 831048277 10794377216 14877 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505590590 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541384
[startup+0.701187 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1.72 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 28662 0 1 0 168 4 0 0 25 0 19 0 831048276 10810400768 24079 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 24079 2241 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.52 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 16877 0 1 0 50 2 0 0 19 0 19 0 831048277 10810400768 24079 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10557032
[startup+1.50108 s]
/proc/loadavg: 3.44 3.53 3.55 3/529 2161
/proc/meminfo: memFree=26091696/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=2.12 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 30292 0 1 0 207 5 0 0 25 0 19 0 831048276 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 25219 2245 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.53 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 16941 0 1 0 51 2 0 0 17 0 19 0 831048277 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 831048279 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831048280 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831048280 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=0.63 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6260 0 0 0 62 1 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=0.6 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 4641 0 0 0 60 0 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831048332 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10557032
[startup+3.10075 s]
/proc/loadavg: 3.44 3.53 3.55 5/532 2167
/proc/meminfo: memFree=25967300/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=5.12 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 103847 0 1 0 499 13 0 0 25 0 22 0 831048276 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 95398 2247 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17018 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831048279 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831048280 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831048280 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.02 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6335 0 0 0 101 1 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=0.95 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8060 0 0 0 94 1 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 10557032
[startup+6.30121 s]
/proc/loadavg: 3.49 3.54 3.56 5/532 2171
/proc/meminfo: memFree=25487896/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=11.51 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 184555 0 1 0 1128 23 0 0 25 0 22 0 831048276 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 176092 2272 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17018 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0.01 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 988 0 0 0 1 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.02 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2044 0 0 0 2 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0.02 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1291 0 0 0 2 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0.18 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 6445 0 0 0 18 0 0 0 16 0 22 0 831048279 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.14 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6350 0 0 0 113 1 0 0 15 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8068 0 0 0 99 1 0 0 15 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=632.61 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 26 0 0 0 63261 0 0 0 25 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506065439 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=632.62 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 63262 0 0 0 25 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506044497 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1677.23
Current children cumulated vsize (KiB) 10557032
[startup+942.301 s]
/proc/loadavg: 1.87 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26071460/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1789.76 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 276987 0 1 0 178934 42 0 0 25 0 22 0 831048276 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 267582 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.11 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 111 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 86 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0.99 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 855 0 0 0 99 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.9 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 90 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.08 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) R 2137 2139 28154 0 -1 4202560 68714 0 0 0 9597 11 0 0 16 0 22 0 831048279 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655509908626 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=684.71 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) S 2137 2139 28154 0 -1 4202560 40 0 0 0 68471 0 0 0 25 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=684.73 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) S 2137 2139 28154 0 -1 4202560 23 0 0 0 68473 0 0 0 25 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 10557032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+947.901 s]
/proc/loadavg: 1.88 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26068980/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1800.11 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 277624 0 1 0 179969 42 0 0 25 0 22 0 831048276 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 268218 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.12 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 112 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.09 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 87 0 0 0 109 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 856 0 0 0 100 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.91 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 91 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.96 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 69348 0 0 0 9685 11 0 0 15 0 22 0 831048279 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=689.44 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 41 0 0 0 68944 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505976236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=689.47 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 68947 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506014028 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+947.901 s]
/proc/loadavg: 1.88 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26068980/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1800.11 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 277624 0 1 0 179969 42 0 0 25 0 22 0 831048276 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 268218 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.12 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 112 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.09 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 87 0 0 0 109 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 856 0 0 0 100 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.91 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 91 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.96 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 69348 0 0 0 9685 11 0 0 15 0 22 0 831048279 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=689.44 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 41 0 0 0 68944 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505976236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=689.47 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 68947 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506014028 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557032
Child status: 143
Real time (s): 948
CPU time (s): 1800.25
CPU user time (s): 1799.78
CPU system time (s): 0.470928
CPU usage (%): 189.9
Max. virtual memory (cumulated for all children) (KiB): 10559516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277653
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= 28728
involuntary context switches= 22674
runsolver used 5.04323 second user time and 10.5504 second system time
The end