Re: [tlaplus] TLC: NoSuchElementException on checkpoint restore

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 09.12.2015 14:09, Jaak Ristioja wrote:
> 3 sets, one for each slave.

Hi Jaak,

combining N fingerprint sets of a distributed TLC run into a single one
is logically possible but technically not supported.

> In my distributed setup, the slaves seems to be rather idle, If I get
> access to a more powerful machine I want to try whether doing the
> computation locally on that machine would be any faster. I suspect that
> besides the master CPU usage, networking between the master and slaves
> might also be a bottleneck.
> 
> I recorded some of data on the network interface of the master and took
> a look at it using Wireshark. I saw uncompressed RMI data containing
> quite a lot of TLA model identifier strings being passed. I guess that
> networking could be well optimized.

What kind of network are your nodes connected with?

Markus