[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLC: NoSuchElementException on checkpoint restore
On 09.12.2015 15:21, Markus Alexander Kuppe wrote:
>> 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?
Afaik it should be a gigabit network between the slaves and the machine
running the master VM. I'm attaching the output of the distributed TLC
run using -agentlib:hprof=cpu=samples,depth=10.
Jaak
JAVA PROFILE 1.0.1, created Wed Dec 9 15:26:07 2015
Copyright (c) 2003, 2005, Oracle and/or its affiliates. All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
- Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
- Neither the name of Oracle nor the names of its
contributors may be used to endorse or promote products derived
from this software without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Header for -agentlib:hprof (or -Xrunhprof) ASCII Output (JDK 5.0 JVMTI based)
WARNING! This file format is under development, and is subject to
change without notice.
This file contains the following types of records:
THREAD START
THREAD END mark the lifetime of Java threads
TRACE represents a Java stack trace. Each trace consists
of a series of stack frames. Other records refer to
TRACEs to identify (1) where object allocations have
taken place, (2) the frames in which GC roots were
found, and (3) frequently executed methods.
HEAP DUMP is a complete snapshot of all live objects in the Java
heap. Following distinctions are made:
ROOT root set as determined by GC
CLS classes
OBJ instances
ARR arrays
SITES is a sorted list of allocation sites. This identifies
the most heavily allocated object types, and the TRACE
at which those allocations occurred.
CPU SAMPLES is a statistical profile of program execution. The VM
periodically samples all running threads, and assigns
a quantum to active TRACEs in those threads. Entries
in this record are TRACEs ranked by the percentage of
total quanta they consumed; top-ranked TRACEs are
typically hot spots in the program.
CPU TIME is a profile of program execution obtained by measuring
the time spent in individual methods (excluding the time
spent in callees), as well as by counting the number of
times each method is called. Entries in this record are
TRACEs ranked by the percentage of total CPU time. The
"count" field indicates the number of times each TRACE
is invoked.
MONITOR TIME is a profile of monitor contention obtained by measuring
the time spent by a thread waiting to enter a monitor.
Entries in this record are TRACEs ranked by the percentage
of total monitor contention time and a brief description
of the monitor. The "count" field indicates the number of
times the monitor was contended at that TRACE.
MONITOR DUMP is a complete snapshot of all the monitors and threads in
the System.
HEAP DUMP, SITES, CPU SAMPLES|TIME and MONITOR DUMP|TIME records are generated
at program exit. They can also be obtained during program execution by typing
Ctrl-\ (on Solaris) or by typing Ctrl-Break (on Win32).
--------
THREAD START (obj=50000173, id = 200001, name="main", group="main")
THREAD START (obj=50000173, id = 200004, name="RMI TCP Accept-0", group="system")
THREAD START (obj=50000173, id = 200005, name="RMI Reaper", group="system")
THREAD START (obj=50000173, id = 200006, name="GC Daemon", group="system")
THREAD START (obj=50000497, id = 200007, name="Thread-1", group="main")
THREAD START (obj=50000497, id = 200008, name="Thread-2", group="main")
THREAD START (obj=50000173, id = 200009, name="RMI TCP Accept-10997", group="system")
THREAD START (obj=50000173, id = 200010, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200011, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200012, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200013, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200014, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200015, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200016, name="RMI Scheduler(0)", group="system")
THREAD START (obj=50000173, id = 200017, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200018, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200019, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200020, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200021, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200022, name="RMI RenewClean-[<censored slave 1 IP>:60570]", group="system")
THREAD START (obj=50000173, id = 200023, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200024, name="RMI RenewClean-[<censored slave 3 IP>:44415]", group="system")
THREAD START (obj=50000173, id = 200025, name="RMI RenewClean-[<censored slave 2 IP>:52735]", group="system")
THREAD START (obj=50000173, id = 200026, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200027, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200028, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200029, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200030, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200031, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200032, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200033, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200034, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200036, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200035, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200037, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200038, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200039, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200040, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200041, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200042, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200043, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200044, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200045, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200046, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200047, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200048, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200050, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200049, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200059, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200060, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200062, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200063, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200054, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200058, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200056, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200051, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200052, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200061, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200057, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200053, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200055, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200064, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/39]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200065, name="TLCWorkerThread-000-[rmi://<censored slave 3 hostname>:44415/39]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200066, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/30]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200067, name="TLCWorkerThread-001-[rmi://<censored slave 3 hostname>:44415/30]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200068, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/8]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200069, name="TLCWorkerThread-002-[rmi://<censored slave 3 hostname>:44415/8]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200070, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/36]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200071, name="TLCWorkerThread-003-[rmi://<censored slave 3 hostname>:44415/36]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200072, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/12]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200073, name="TLCWorkerThread-004-[rmi://<censored slave 3 hostname>:44415/12]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200074, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/35]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200075, name="TLCWorkerThread-005-[rmi://<censored slave 3 hostname>:44415/35]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200076, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/21]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200077, name="TLCWorkerThread-006-[rmi://<censored slave 3 hostname>:44415/21]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200078, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/25]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200079, name="TLCWorkerThread-007-[rmi://<censored slave 3 hostname>:44415/25]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200080, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/3]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200081, name="TLCWorkerThread-008-[rmi://<censored slave 3 hostname>:44415/3]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200082, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/18]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200083, name="TLCWorkerThread-009-[rmi://<censored slave 3 hostname>:44415/18]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200084, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/4]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200085, name="TLCWorkerThread-010-[rmi://<censored slave 3 hostname>:44415/4]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200086, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/24]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200087, name="TLCWorkerThread-011-[rmi://<censored slave 3 hostname>:44415/24]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200088, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/19]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200089, name="TLCWorkerThread-012-[rmi://<censored slave 3 hostname>:44415/19]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200091, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/32]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200090, name="TLCWorkerThread-013-[rmi://<censored slave 3 hostname>:44415/32]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200092, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/0]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200094, name="TLCWorkerThread-014-[rmi://<censored slave 3 hostname>:44415/0]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200095, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200093, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200096, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/33]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200098, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200100, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/14]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200101, name="TLCWorkerThread-016-[rmi://<censored slave 3 hostname>:44415/14]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200102, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200099, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200097, name="TLCWorkerThread-015-[rmi://<censored slave 3 hostname>:44415/33]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200103, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/38]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200104, name="TLCWorkerThread-017-[rmi://<censored slave 3 hostname>:44415/38]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200105, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200106, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/16]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200107, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200108, name="TLCWorkerThread-018-[rmi://<censored slave 3 hostname>:44415/16]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200110, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/37]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200111, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200109, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200112, name="TLCWorkerThread-019-[rmi://<censored slave 3 hostname>:44415/37]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200113, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200115, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200114, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200123, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200121, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200122, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200118, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200117, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200116, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200119, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200120, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200124, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/10]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200126, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200125, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200133, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200134, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/22]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200135, name="TLCWorkerThread-021-[rmi://<censored slave 3 hostname>:44415/22]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200128, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200131, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200130, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200129, name="TLCWorkerThread-020-[rmi://<censored slave 3 hostname>:44415/10]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200127, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200137, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200136, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200132, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200139, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/2]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200140, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/29]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200141, name="TLCWorkerThread-023-[rmi://<censored slave 3 hostname>:44415/29]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200138, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200144, name="TLCWorkerThread-024-[rmi://<censored slave 3 hostname>:44415/26]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200143, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/26]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200146, name="TLCWorkerThread-022-[rmi://<censored slave 3 hostname>:44415/2]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200145, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/11]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200142, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200152, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200153, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200148, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200147, name="TLCWorkerThread-025-[rmi://<censored slave 3 hostname>:44415/11]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200154, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200149, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200150, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200151, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200155, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200156, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200157, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/20]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200158, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200159, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200162, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200164, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200163, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200160, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200166, name="TLCWorkerThread-027-[rmi://<censored slave 3 hostname>:44415/9]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200161, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200167, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/9]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200169, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200170, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200165, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000656, id = 200168, name="TLCWorkerThread-026-[rmi://<censored slave 3 hostname>:44415/20]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200173, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200198, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/28]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200191, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200184, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200186, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200178, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200183, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200179, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200177, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200176, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200182, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200175, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200185, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200189, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200197, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200196, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200195, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200194, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200193, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200192, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200181, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200190, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200188, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200187, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200174, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000173, id = 200180, name="RMI TCP Connection(idle)", group="RMI Runtime")
THREAD START (obj=50000644, id = 200200, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/6]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200201, name="TLCWorkerThread-030-[rmi://<censored slave 3 hostname>:44415/6]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200172, name="TLCWorkerThread-028-[rmi://<censored slave 3 hostname>:44415/23]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200171, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/23]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200199, name="TLCWorkerThread-029-[rmi://<censored slave 3 hostname>:44415/28]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200202, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/5]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200203, name="TLCWorkerThread-031-[rmi://<censored slave 3 hostname>:44415/5]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200204, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/1]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200205, name="TLCWorkerThread-032-[rmi://<censored slave 3 hostname>:44415/1]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200206, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/31]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200207, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/13]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200208, name="TLCWorkerThread-034-[rmi://<censored slave 3 hostname>:44415/13]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200209, name="TLCWorkerThread-033-[rmi://<censored slave 3 hostname>:44415/31]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200210, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/7]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200211, name="TLCWorkerThread-035-[rmi://<censored slave 3 hostname>:44415/7]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200212, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/34]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200213, name="TLCWorkerThread-036-[rmi://<censored slave 3 hostname>:44415/34]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200215, name="TLCWorkerThread-037-[rmi://<censored slave 3 hostname>:44415/27]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200214, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/27]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200216, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/17]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200217, name="TLCWorker KeepAlive Timer [rmi://<censored slave 3 hostname>:44415/15]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200218, name="TLCWorkerThread-038-[rmi://<censored slave 3 hostname>:44415/17]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200219, name="TLCWorkerThread-039-[rmi://<censored slave 3 hostname>:44415/15]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200220, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/28]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200221, name="TLCWorkerThread-040-[rmi://<censored slave 2 hostname>:52735/28]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200222, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/33]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200223, name="TLCWorkerThread-041-[rmi://<censored slave 2 hostname>:52735/33]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200224, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/12]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200225, name="TLCWorkerThread-042-[rmi://<censored slave 2 hostname>:52735/12]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200226, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/6]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200227, name="TLCWorkerThread-043-[rmi://<censored slave 2 hostname>:52735/6]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200228, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/31]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200229, name="TLCWorkerThread-044-[rmi://<censored slave 2 hostname>:52735/31]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200230, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/4]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200231, name="TLCWorkerThread-045-[rmi://<censored slave 2 hostname>:52735/4]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200232, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/36]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200233, name="TLCWorkerThread-046-[rmi://<censored slave 2 hostname>:52735/36]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200234, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/13]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200235, name="TLCWorkerThread-047-[rmi://<censored slave 2 hostname>:52735/13]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200236, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/0]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200237, name="TLCWorkerThread-048-[rmi://<censored slave 2 hostname>:52735/0]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200238, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/34]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200239, name="TLCWorkerThread-049-[rmi://<censored slave 2 hostname>:52735/34]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200240, name="TLCWorkerThread-050-[rmi://<censored slave 2 hostname>:52735/11]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200241, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/32]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200242, name="TLCWorkerThread-051-[rmi://<censored slave 2 hostname>:52735/32]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200243, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/11]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200244, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/39]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200245, name="TLCWorkerThread-052-[rmi://<censored slave 2 hostname>:52735/39]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200246, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/35]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200249, name="TLCWorkerThread-054-[rmi://<censored slave 2 hostname>:52735/1]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200247, name="TLCWorkerThread-053-[rmi://<censored slave 2 hostname>:52735/35]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200248, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/1]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200250, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/25]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200251, name="TLCWorkerThread-055-[rmi://<censored slave 2 hostname>:52735/25]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200252, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/16]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200253, name="TLCWorkerThread-056-[rmi://<censored slave 2 hostname>:52735/16]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200254, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/19]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200256, name="TLCWorkerThread-058-[rmi://<censored slave 2 hostname>:52735/24]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200257, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/14]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200258, name="TLCWorkerThread-059-[rmi://<censored slave 2 hostname>:52735/14]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200260, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/7]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200261, name="TLCWorkerThread-060-[rmi://<censored slave 2 hostname>:52735/7]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200255, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/24]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200259, name="TLCWorkerThread-057-[rmi://<censored slave 2 hostname>:52735/19]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200263, name="TLCWorkerThread-061-[rmi://<censored slave 2 hostname>:52735/30]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200262, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/30]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200265, name="TLCWorkerThread-062-[rmi://<censored slave 2 hostname>:52735/5]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200264, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/5]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200266, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/37]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200267, name="TLCWorkerThread-063-[rmi://<censored slave 2 hostname>:52735/37]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200268, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/3]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200269, name="TLCWorkerThread-064-[rmi://<censored slave 2 hostname>:52735/3]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200271, name="TLCWorkerThread-065-[rmi://<censored slave 2 hostname>:52735/38]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200270, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/38]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200273, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/29]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200272, name="TLCWorkerThread-066-[rmi://<censored slave 2 hostname>:52735/29]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200274, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/21]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200275, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/23]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200276, name="TLCWorkerThread-068-[rmi://<censored slave 2 hostname>:52735/23]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200277, name="TLCWorkerThread-067-[rmi://<censored slave 2 hostname>:52735/21]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200278, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/2]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200279, name="TLCWorkerThread-069-[rmi://<censored slave 2 hostname>:52735/2]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200280, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/27]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200281, name="TLCWorkerThread-070-[rmi://<censored slave 2 hostname>:52735/27]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200282, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/9]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200284, name="TLCWorkerThread-071-[rmi://<censored slave 2 hostname>:52735/9]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200283, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/17]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200285, name="TLCWorkerThread-073-[rmi://<censored slave 2 hostname>:52735/18]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200287, name="TLCWorkerThread-072-[rmi://<censored slave 2 hostname>:52735/17]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200286, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/18]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200291, name="TLCWorkerThread-074-[rmi://<censored slave 1 hostname>:60570/38]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200290, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/39]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200289, name="TLCWorkerThread-075-[rmi://<censored slave 1 hostname>:60570/39]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200293, name="TLCWorkerThread-076-[rmi://<censored slave 2 hostname>:52735/22]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200288, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/38]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200292, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/22]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200294, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/16]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200295, name="TLCWorkerThread-077-[rmi://<censored slave 1 hostname>:60570/16]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200296, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/21]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200297, name="TLCWorkerThread-078-[rmi://<censored slave 1 hostname>:60570/21]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200302, name="TLCWorkerThread-081-[rmi://<censored slave 1 hostname>:60570/36]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200304, name="TLCWorkerThread-082-[rmi://<censored slave 2 hostname>:52735/26]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200303, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/26]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200301, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/36]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200298, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/35]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200299, name="TLCWorkerThread-079-[rmi://<censored slave 2 hostname>:52735/8]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200300, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/8]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200305, name="TLCWorkerThread-080-[rmi://<censored slave 1 hostname>:60570/35]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200307, name="TLCWorkerThread-083-[rmi://<censored slave 2 hostname>:52735/15]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200309, name="TLCWorkerThread-084-[rmi://<censored slave 2 hostname>:52735/10]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200308, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/10]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200306, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/15]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200310, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/2]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200312, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/8]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200311, name="TLCWorkerThread-086-[rmi://<censored slave 1 hostname>:60570/8]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200313, name="TLCWorkerThread-085-[rmi://<censored slave 1 hostname>:60570/2]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200314, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/37]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200315, name="TLCWorkerThread-087-[rmi://<censored slave 1 hostname>:60570/37]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200316, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/5]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200317, name="TLCWorkerThread-088-[rmi://<censored slave 1 hostname>:60570/5]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200319, name="TLCWorkerThread-089-[rmi://<censored slave 1 hostname>:60570/34]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200318, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/34]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200322, name="TLCWorkerThread-091-[rmi://<censored slave 1 hostname>:60570/10]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200321, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/10]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200323, name="TLCWorker KeepAlive Timer [rmi://<censored slave 2 hostname>:52735/20]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200320, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/32]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200324, name="TLCWorkerThread-092-[rmi://<censored slave 2 hostname>:52735/20]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200325, name="TLCWorkerThread-090-[rmi://<censored slave 1 hostname>:60570/32]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200326, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/14]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200327, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/23]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200329, name="TLCWorkerThread-093-[rmi://<censored slave 1 hostname>:60570/23]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200328, name="TLCWorkerThread-094-[rmi://<censored slave 1 hostname>:60570/14]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200334, name="TLCWorkerThread-095-[rmi://<censored slave 1 hostname>:60570/11]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200335, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/19]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200336, name="TLCWorkerThread-097-[rmi://<censored slave 1 hostname>:60570/17]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200337, name="TLCWorkerThread-098-[rmi://<censored slave 1 hostname>:60570/19]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200333, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/18]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200331, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/11]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200330, name="TLCWorkerThread-096-[rmi://<censored slave 1 hostname>:60570/18]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200332, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/17]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200338, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/24]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200339, name="TLCWorkerThread-099-[rmi://<censored slave 1 hostname>:60570/24]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200340, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/22]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200342, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/33]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200343, name="TLCWorkerThread-101-[rmi://<censored slave 1 hostname>:60570/33]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200341, name="TLCWorkerThread-100-[rmi://<censored slave 1 hostname>:60570/22]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200345, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/0]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200344, name="TLCWorkerThread-102-[rmi://<censored slave 1 hostname>:60570/0]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200353, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/12]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200350, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/9]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200355, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/6]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200346, name="TLCWorkerThread-107-[rmi://<censored slave 1 hostname>:60570/1]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200356, name="TLCWorkerThread-108-[rmi://<censored slave 1 hostname>:60570/9]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200354, name="TLCWorkerThread-103-[rmi://<censored slave 1 hostname>:60570/6]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200352, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/4]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200348, name="TLCWorkerThread-104-[rmi://<censored slave 1 hostname>:60570/12]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200351, name="TLCWorkerThread-105-[rmi://<censored slave 1 hostname>:60570/4]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200349, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/30]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200357, name="TLCWorkerThread-106-[rmi://<censored slave 1 hostname>:60570/30]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200347, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/1]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200358, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/20]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200359, name="TLCWorkerThread-109-[rmi://<censored slave 1 hostname>:60570/20]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200360, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/15]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200361, name="TLCWorkerThread-110-[rmi://<censored slave 1 hostname>:60570/15]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200362, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/26]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200363, name="TLCWorkerThread-111-[rmi://<censored slave 1 hostname>:60570/26]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200364, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/3]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200365, name="TLCWorkerThread-113-[rmi://<censored slave 1 hostname>:60570/25]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200366, name="TLCWorkerThread-115-[rmi://<censored slave 1 hostname>:60570/27]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200367, name="TLCWorkerThread-114-[rmi://<censored slave 1 hostname>:60570/13]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200368, name="TLCWorkerThread-112-[rmi://<censored slave 1 hostname>:60570/3]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200369, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/28]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200371, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/13]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200372, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/25]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200370, name="TLCWorkerThread-116-[rmi://<censored slave 1 hostname>:60570/28]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200375, name="TLCWorkerThread-117-[rmi://<censored slave 1 hostname>:60570/31]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200374, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/31]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200373, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/27]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200376, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/7]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200377, name="TLCWorkerThread-118-[rmi://<censored slave 1 hostname>:60570/7]", group="RMI Runtime")
THREAD START (obj=50000644, id = 200379, name="TLCWorker KeepAlive Timer [rmi://<censored slave 1 hostname>:60570/29]", group="RMI Runtime")
THREAD START (obj=50000656, id = 200378, name="TLCWorkerThread-119-[rmi://<censored slave 1 hostname>:60570/29]", group="RMI Runtime")
THREAD START (obj=50000173, id = 200380, name="pool-1-thread-1", group="main")
THREAD START (obj=50000173, id = 200381, name="pool-1-thread-3", group="main")
THREAD START (obj=50000173, id = 200382, name="pool-1-thread-2", group="main")
THREAD END (id = 200013)
THREAD END (id = 200014)
THREAD END (id = 200011)
THREAD START (obj=50000173, id = 200384, name="pool-1-thread-5", group="main")
THREAD START (obj=50000173, id = 200383, name="pool-1-thread-4", group="main")
THREAD START (obj=50000173, id = 200385, name="pool-1-thread-6", group="main")
THREAD START (obj=50000173, id = 200386, name="pool-1-thread-7", group="main")
THREAD START (obj=50000173, id = 200387, name="pool-1-thread-8", group="main")
THREAD END (id = 200021)
THREAD END (id = 200012)
THREAD END (id = 200183)
THREAD END (id = 200010)
THREAD END (id = 200015)
THREAD END (id = 200099)
THREAD END (id = 200105)
THREAD END (id = 200115)
THREAD END (id = 200102)
THREAD END (id = 200093)
THREAD END (id = 200123)
THREAD END (id = 200118)
THREAD END (id = 200119)
THREAD END (id = 200127)
THREAD END (id = 200130)
THREAD END (id = 200131)
THREAD END (id = 200109)
THREAD END (id = 200121)
THREAD END (id = 200117)
THREAD END (id = 200051)
THREAD END (id = 200046)
THREAD END (id = 200029)
THREAD END (id = 200193)
THREAD END (id = 200160)
THREAD END (id = 200034)
THREAD END (id = 200186)
THREAD END (id = 200030)
THREAD END (id = 200185)
THREAD END (id = 200122)
THREAD END (id = 200164)
THREAD END (id = 200151)
THREAD END (id = 200192)
THREAD END (id = 200044)
THREAD END (id = 200020)
THREAD END (id = 200138)
THREAD END (id = 200116)
THREAD END (id = 200040)
THREAD END (id = 200050)
THREAD END (id = 200114)
THREAD END (id = 200155)
THREAD END (id = 200150)
THREAD END (id = 200048)
THREAD END (id = 200136)
THREAD END (id = 200098)
THREAD END (id = 200142)
THREAD END (id = 200126)
THREAD END (id = 200173)
THREAD END (id = 200187)
THREAD END (id = 200179)
THREAD END (id = 200035)
THREAD END (id = 200133)
THREAD END (id = 200107)
THREAD END (id = 200120)
THREAD END (id = 200054)
THREAD END (id = 200095)
THREAD END (id = 200041)
THREAD END (id = 200039)
THREAD END (id = 200125)
THREAD END (id = 200057)
THREAD END (id = 200180)
THREAD END (id = 200049)
THREAD END (id = 200047)
THREAD END (id = 200111)
THREAD END (id = 200053)
THREAD END (id = 200032)
THREAD END (id = 200132)
THREAD END (id = 200153)
THREAD END (id = 200169)
THREAD END (id = 200176)
THREAD END (id = 200113)
THREAD END (id = 200182)
THREAD END (id = 200031)
THREAD END (id = 200189)
THREAD END (id = 200154)
THREAD END (id = 200026)
THREAD END (id = 200174)
THREAD END (id = 200178)
THREAD END (id = 200028)
THREAD END (id = 200018)
THREAD END (id = 200061)
THREAD END (id = 200023)
THREAD END (id = 200036)
THREAD END (id = 200056)
THREAD END (id = 200181)
THREAD END (id = 200062)
THREAD END (id = 200177)
THREAD END (id = 200128)
THREAD END (id = 200027)
THREAD END (id = 200063)
THREAD END (id = 200019)
THREAD END (id = 200148)
THREAD END (id = 200152)
THREAD END (id = 200175)
THREAD END (id = 200037)
THREAD END (id = 200052)
THREAD END (id = 200055)
THREAD END (id = 200042)
THREAD END (id = 200156)
THREAD END (id = 200060)
THREAD END (id = 200043)
THREAD END (id = 200149)
THREAD END (id = 200058)
THREAD END (id = 200059)
THREAD END (id = 200159)
THREAD END (id = 200033)
THREAD END (id = 200165)
THREAD END (id = 200161)
THREAD END (id = 200158)
THREAD END (id = 200184)
THREAD END (id = 200045)
THREAD END (id = 200197)
THREAD END (id = 200190)
THREAD END (id = 200196)
THREAD END (id = 200195)
THREAD END (id = 200170)
THREAD END (id = 200188)
THREAD END (id = 200194)
THREAD END (id = 200191)
THREAD END (id = 200163)
THREAD END (id = 200017)
THREAD END (id = 200162)
THREAD START (obj=50000173, id = 200389, name="SIGTERM handler", group="system")
THREAD START (obj=50000681, id = 200390, name="Thread-0", group="main")
THREAD END (id = 200390)
THREAD START (obj=50000173, id = 200391, name="Thread-3", group="main")
THREAD END (id = 200391)
THREAD END (id = 200389)
THREAD END (id = 200002)
TRACE 300783:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.FilterInputStream.read(FilterInputStream.java:83)
sun.rmi.transport.tcp.TCPTransport.handleMessages(TCPTransport.java:549)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.run0(TCPTransport.java:828)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.access$400(TCPTransport.java:619)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler$1.run(TCPTransport.java:684)
TRACE 300945:
java.lang.System.identityHashCode(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.hash(ObjectOutputStream.java:2359)
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2292)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 300938:
java.lang.System.identityHashCode(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.hash(ObjectOutputStream.java:2359)
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2292)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 300930:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.DataInputStream.readByte(DataInputStream.java:265)
sun.rmi.transport.StreamRemoteCall.executeCall(StreamRemoteCall.java:214)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:161)
java.rmi.server.RemoteObjectInvocationHandler.invokeRemoteMethod(RemoteObjectInvocationHandler.java:227)
java.rmi.server.RemoteObjectInvocationHandler.invoke(RemoteObjectInvocationHandler.java:179)
TRACE 300556:
java.net.PlainSocketImpl.socketAccept(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.accept(AbstractPlainSocketImpl.java:398)
java.net.ServerSocket.implAccept(ServerSocket.java:530)
java.net.ServerSocket.accept(ServerSocket.java:498)
sun.rmi.transport.tcp.TCPTransport$AcceptLoop.executeAcceptLoop(TCPTransport.java:399)
sun.rmi.transport.tcp.TCPTransport$AcceptLoop.run(TCPTransport.java:371)
java.lang.Thread.run(Thread.java:745)
TRACE 300983:
java.net.SocketOutputStream.socketWrite0(SocketOutputStream.java:Unknown line)
java.net.SocketOutputStream.socketWrite(SocketOutputStream.java:113)
java.net.SocketOutputStream.write(SocketOutputStream.java:159)
java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:82)
java.io.BufferedOutputStream.write(BufferedOutputStream.java:126)
java.io.ObjectOutputStream$BlockDataOutputStream.drain(ObjectOutputStream.java:1876)
java.io.ObjectOutputStream$BlockDataOutputStream.write(ObjectOutputStream.java:1840)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1533)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301470:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.DataInputStream.readByte(DataInputStream.java:265)
sun.rmi.transport.tcp.TCPChannel.createConnection(TCPChannel.java:246)
sun.rmi.transport.tcp.TCPChannel.newConnection(TCPChannel.java:202)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:129)
java.rmi.server.RemoteObjectInvocationHandler.invokeRemoteMethod(RemoteObjectInvocationHandler.java:227)
TRACE 300988:
java.lang.System.identityHashCode(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.hash(ObjectOutputStream.java:2359)
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2292)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301153:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301195:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 300944:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
sun.rmi.transport.tcp.TCPConnection.isDead(TCPConnection.java:192)
sun.rmi.transport.tcp.TCPChannel.newConnection(TCPChannel.java:191)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:129)
java.rmi.server.RemoteObjectInvocationHandler.invokeRemoteMethod(RemoteObjectInvocationHandler.java:227)
java.rmi.server.RemoteObjectInvocationHandler.invoke(RemoteObjectInvocationHandler.java:179)
TRACE 301003:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 300718:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
TRACE 301188:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301210:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301170:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read1(BufferedInputStream.java:275)
java.io.BufferedInputStream.read(BufferedInputStream.java:334)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$BlockDataInputStream.read(ObjectInputStream.java:2725)
java.io.ObjectInputStream$BlockDataInputStream.readFully(ObjectInputStream.java:2749)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1986)
TRACE 301161:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read1(BufferedInputStream.java:275)
java.io.BufferedInputStream.read(BufferedInputStream.java:334)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
TRACE 301031:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301004:
java.io.ObjectOutputStream$HandleTable.growSpine(ObjectOutputStream.java:2336)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2278)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1427)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 300842:
sun.misc.Unsafe.defineClass(Unsafe.java:Unknown line)
sun.reflect.ClassDefiner.defineClass(ClassDefiner.java:63)
sun.reflect.MethodAccessorGenerator$1.run(MethodAccessorGenerator.java:399)
sun.reflect.MethodAccessorGenerator$1.run(MethodAccessorGenerator.java:396)
java.security.AccessController.doPrivileged(AccessController.java:Unknown line)
sun.reflect.MethodAccessorGenerator.generate(MethodAccessorGenerator.java:395)
sun.reflect.MethodAccessorGenerator.generateMethod(MethodAccessorGenerator.java:77)
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:46)
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
java.lang.reflect.Method.invoke(Method.java:606)
TRACE 301067:
java.net.SocketOutputStream.socketWrite0(SocketOutputStream.java:Unknown line)
java.net.SocketOutputStream.socketWrite(SocketOutputStream.java:113)
java.net.SocketOutputStream.write(SocketOutputStream.java:159)
java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:82)
java.io.BufferedOutputStream.write(BufferedOutputStream.java:126)
java.io.ObjectOutputStream$BlockDataOutputStream.write(ObjectOutputStream.java:1841)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1533)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301011:
java.io.ObjectOutputStream$HandleTable.growSpine(ObjectOutputStream.java:2336)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2278)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1322)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301276:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 301194:
java.io.ObjectStreamClass.setObjFieldValues(ObjectStreamClass.java:1305)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:2003)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 300986:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301156:
java.lang.reflect.Constructor.newInstance(Constructor.java:526)
java.io.ObjectStreamClass.newInstance(ObjectStreamClass.java:1006)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1782)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301179:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301211:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301288:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1505)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301282:
java.io.ObjectInputStream$BlockDataInputStream.read(ObjectInputStream.java:2725)
java.io.ObjectInputStream$BlockDataInputStream.readFully(ObjectInputStream.java:2749)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1986)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301224:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 301173:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1664)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301046:
java.io.ObjectOutputStream$HandleTable.growSpine(ObjectOutputStream.java:2336)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2278)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1427)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 300706:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
TRACE 301212:
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301198:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1505)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301398:
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
sun.reflect.GeneratedMethodAccessor20.invoke(<Unknown Source>:Unknown line)
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
TRACE 300957:
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301148:
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301297:
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1986)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301029:
java.io.ObjectOutputStream$BlockDataOutputStream.write(ObjectOutputStream.java:1840)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1533)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301138:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3070)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
TRACE 301215:
java.io.ObjectStreamClass$FieldReflector.setObjFieldValues(ObjectStreamClass.java:2114)
java.io.ObjectStreamClass.setObjFieldValues(ObjectStreamClass.java:1305)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:2003)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301010:
java.lang.System.identityHashCode(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.hash(ObjectOutputStream.java:2359)
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2292)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.writeObject(ObjectOutputStream.java:347)
sun.rmi.server.UnicastRef.marshalValue(UnicastRef.java:293)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:152)
java.rmi.server.RemoteObjectInvocationHandler.invokeRemoteMethod(RemoteObjectInvocationHandler.java:227)
TRACE 301167:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
TRACE 301270:
java.io.ObjectInputStream$BlockDataInputStream.read(ObjectInputStream.java:2725)
java.io.ObjectInputStream$BlockDataInputStream.readFully(ObjectInputStream.java:2749)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1986)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301274:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1664)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301185:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3070)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301273:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
TRACE 301200:
java.net.PlainSocketImpl.socketAvailable(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.available(AbstractPlainSocketImpl.java:478)
java.net.SocketInputStream.available(SocketInputStream.java:245)
java.io.BufferedInputStream.read(BufferedInputStream.java:342)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$BlockDataInputStream.read(ObjectInputStream.java:2725)
java.io.ObjectInputStream$BlockDataInputStream.readFully(ObjectInputStream.java:2749)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1986)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 301308:
java.io.ObjectInputStream$BlockDataInputStream.readUTFSpan(ObjectInputStream.java:3135)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3058)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301548:
java.lang.Character.digit(Character.java:6321)
java.net.InetAddress.getAllByName(InetAddress.java:1144)
java.net.InetAddress.getAllByName(InetAddress.java:1119)
java.net.InetAddress.getByName(InetAddress.java:1069)
java.net.InetSocketAddress.<init>(InetSocketAddress.java:220)
java.net.Socket.<init>(Socket.java:208)
sun.rmi.transport.proxy.RMIDirectSocketFactory.createSocket(RMIDirectSocketFactory.java:40)
sun.rmi.transport.proxy.RMIMasterSocketFactory.createSocket(RMIMasterSocketFactory.java:147)
sun.rmi.transport.tcp.TCPEndpoint.newSocket(TCPEndpoint.java:613)
sun.rmi.transport.tcp.TCPChannel.createConnection(TCPChannel.java:216)
TRACE 301213:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301093:
java.io.ObjectStreamClass.getObjFieldValues(ObjectStreamClass.java:1296)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1538)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 300991:
java.io.ObjectOutputStream$BlockDataOutputStream.getUTFLength(ObjectOutputStream.java:2151)
java.io.ObjectOutputStream.writeString(ObjectOutputStream.java:1302)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1171)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301260:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read1(BufferedInputStream.java:275)
java.io.BufferedInputStream.read(BufferedInputStream.java:334)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1664)
TRACE 301100:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeClassDesc(ObjectOutputStream.java:1225)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1426)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301414:
java.io.BufferedInputStream.read(BufferedInputStream.java:255)
java.io.FilterInputStream.read(FilterInputStream.java:83)
sun.rmi.transport.tcp.TCPTransport.handleMessages(TCPTransport.java:549)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.run0(TCPTransport.java:828)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.access$400(TCPTransport.java:619)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler$1.run(TCPTransport.java:684)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler$1.run(TCPTransport.java:681)
java.security.AccessController.doPrivileged(AccessController.java:Unknown line)
sun.rmi.transport.tcp.TCPTransport$ConnectionHandler.run(TCPTransport.java:681)
java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
TRACE 301301:
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 300755:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readInt(BufferedDataInputStream.java:196)
util.UniqueString.read(UniqueString.java:301)
tlc2.value.ValueInputStream.read(ValueInputStream.java:46)
TRACE 301181:
java.io.ObjectStreamClass.setObjFieldValues(ObjectStreamClass.java:1305)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:2003)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 300715:
java.util.zip.CRC32.updateBytes(CRC32.java:Unknown line)
java.util.zip.CRC32.update(CRC32.java:65)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:123)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
TRACE 301238:
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 300769:
java.io.FileInputStream.readBytes(FileInputStream.java:Unknown line)
java.io.FileInputStream.read(FileInputStream.java:272)
java.util.zip.InflaterInputStream.fill(InflaterInputStream.java:238)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:158)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
TRACE 301103:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeClassDesc(ObjectOutputStream.java:1225)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1321)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301052:
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
TRACE 301176:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read1(BufferedInputStream.java:275)
java.io.BufferedInputStream.read(BufferedInputStream.java:334)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3070)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
TRACE 301109:
java.io.ObjectStreamClass.getPrimFieldValues(ObjectStreamClass.java:1277)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1532)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301278:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1449)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301163:
java.lang.reflect.Constructor.newInstance(Constructor.java:526)
java.io.ObjectStreamClass.newInstance(ObjectStreamClass.java:1006)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1782)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301174:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1505)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
TRACE 301280:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301304:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1505)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301085:
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.writeObject(ObjectOutputStream.java:347)
TRACE 301220:
java.lang.AbstractStringBuilder.ensureCapacityInternal(AbstractStringBuilder.java:114)
java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:535)
java.lang.StringBuilder.append(StringBuilder.java:204)
java.io.ObjectInputStream$BlockDataInputStream.readUTFSpan(ObjectInputStream.java:3150)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3058)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 300767:
util.BufferedDataInputStream.read(BufferedDataInputStream.java:121)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301560:
java.io.DataInputStream.readUTF(DataInputStream.java:589)
java.io.DataInputStream.readUTF(DataInputStream.java:564)
sun.rmi.transport.tcp.TCPChannel.createConnection(TCPChannel.java:254)
sun.rmi.transport.tcp.TCPChannel.newConnection(TCPChannel.java:202)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:129)
java.rmi.server.RemoteObjectInvocationHandler.invokeRemoteMethod(RemoteObjectInvocationHandler.java:227)
java.rmi.server.RemoteObjectInvocationHandler.invoke(RemoteObjectInvocationHandler.java:179)
com.sun.proxy.$Proxy2.isAlive(<Unknown Source>:Unknown line)
tlc2.tool.distributed.TLCWorkerSmartProxy.isAlive(TLCWorkerSmartProxy.java:83)
tlc2.tool.distributed.TLCServerThread$TLCTimerTask.run(TLCServerThread.java:418)
TRACE 301377:
java.io.ObjectStreamClass$FieldReflector.setPrimFieldValues(ObjectStreamClass.java:2032)
java.io.ObjectStreamClass.setPrimFieldValues(ObjectStreamClass.java:1287)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1988)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301370:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readUnsignedShort(ObjectInputStream.java:2813)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301032:
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1426)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301242:
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301458:
java.net.PlainSocketImpl.socketConnect(PlainSocketImpl.java:Unknown line)
java.net.AbstractPlainSocketImpl.doConnect(AbstractPlainSocketImpl.java:339)
java.net.AbstractPlainSocketImpl.connectToAddress(AbstractPlainSocketImpl.java:200)
java.net.AbstractPlainSocketImpl.connect(AbstractPlainSocketImpl.java:182)
java.net.SocksSocketImpl.connect(SocksSocketImpl.java:392)
java.net.Socket.connect(Socket.java:579)
java.net.Socket.connect(Socket.java:528)
java.net.Socket.<init>(Socket.java:425)
java.net.Socket.<init>(Socket.java:208)
sun.rmi.transport.proxy.RMIDirectSocketFactory.createSocket(RMIDirectSocketFactory.java:40)
TRACE 301113:
java.util.concurrent.ConcurrentHashMap.get(ConcurrentHashMap.java:994)
java.io.ObjectStreamClass.lookup(ObjectStreamClass.java:327)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
TRACE 301000:
java.io.ObjectOutputStream$BlockDataOutputStream.writeBytes(ObjectOutputStream.java:1992)
java.io.ObjectOutputStream$BlockDataOutputStream.writeUTF(ObjectOutputStream.java:2167)
java.io.ObjectOutputStream.writeString(ObjectOutputStream.java:1305)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1171)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301340:
java.io.ObjectStreamClass$FieldReflector.setPrimFieldValues(ObjectStreamClass.java:2032)
java.io.ObjectStreamClass.setPrimFieldValues(ObjectStreamClass.java:1287)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1988)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301107:
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1536)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301303:
java.lang.StringBuilder.append(StringBuilder.java:204)
java.io.ObjectInputStream$BlockDataInputStream.readUTFSpan(ObjectInputStream.java:3150)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3058)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301402:
java.lang.reflect.Array.newInstance(Array.java:70)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1670)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301358:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1449)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
TRACE 301072:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1115)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301310:
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1321)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301058:
java.io.ObjectStreamClass$FieldReflector.getPrimFieldValues(ObjectStreamClass.java:1986)
java.io.ObjectStreamClass.getPrimFieldValues(ObjectStreamClass.java:1277)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1532)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301116:
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
TRACE 301277:
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 300981:
java.io.ObjectOutputStream$HandleTable.growSpine(ObjectOutputStream.java:2336)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2278)
java.io.ObjectOutputStream.writeString(ObjectOutputStream.java:1301)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1171)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301389:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1789)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301271:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1505)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
TRACE 301410:
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1993)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301272:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301177:
java.io.ObjectStreamClass$FieldReflector.getPrimFieldValues(ObjectStreamClass.java:1981)
java.io.ObjectStreamClass.getPrimFieldValues(ObjectStreamClass.java:1277)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1532)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 300772:
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301089:
java.io.ObjectOutputStream$HandleTable.lookup(ObjectOutputStream.java:2293)
java.io.ObjectOutputStream.writeClassDesc(ObjectOutputStream.java:1225)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1426)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301101:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readInt(BufferedDataInputStream.java:196)
tlc2.value.ValueInputStream.read(ValueInputStream.java:41)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
TRACE 300765:
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301015:
java.io.ObjectOutputStream$HandleTable.growEntries(ObjectOutputStream.java:2350)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2275)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1427)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301068:
java.util.zip.CRC32.updateBytes(CRC32.java:Unknown line)
java.util.zip.CRC32.update(CRC32.java:65)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:123)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
TRACE 301097:
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:149)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301186:
java.io.ObjectStreamClass$FieldReflector.getObjFieldValues(ObjectStreamClass.java:2090)
java.io.ObjectStreamClass.getObjFieldValues(ObjectStreamClass.java:1296)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1538)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301053:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.readString(BufferedDataInputStream.java:279)
util.UniqueString.read(UniqueString.java:304)
tlc2.value.ValueInputStream.read(ValueInputStream.java:46)
tlc2.value.ValueInputStream.read(ValueInputStream.java:82)
tlc2.value.ValueInputStream.read(ValueInputStream.java:135)
TRACE 301295:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read1(BufferedInputStream.java:275)
java.io.BufferedInputStream.read(BufferedInputStream.java:334)
java.io.ObjectInputStream$PeekInputStream.read(ObjectInputStream.java:2317)
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2330)
java.io.ObjectInputStream$BlockDataInputStream.readUnsignedShort(ObjectInputStream.java:2813)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
TRACE 300962:
java.io.FileInputStream.readBytes(FileInputStream.java:Unknown line)
java.io.FileInputStream.read(FileInputStream.java:272)
java.util.zip.InflaterInputStream.fill(InflaterInputStream.java:238)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:158)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
TRACE 301002:
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301530:
java.io.RandomAccessFile.readBytes0(RandomAccessFile.java:Unknown line)
java.io.RandomAccessFile.readBytes(RandomAccessFile.java:350)
java.io.RandomAccessFile.read(RandomAccessFile.java:385)
tlc2.util.BufferedRandomAccessFile.fillBuffer(BufferedRandomAccessFile.java:196)
tlc2.util.BufferedRandomAccessFile.seek(BufferedRandomAccessFile.java:218)
tlc2.tool.TLCTrace.getPrev(TLCTrace.java:79)
tlc2.tool.TLCTrace.getLevel(TLCTrace.java:145)
tlc2.tool.TLCTrace.getLevelForReporting(TLCTrace.java:110)
tlc2.tool.distributed.TLCServer.modelCheck(TLCServer.java:531)
tlc2.tool.distributed.TLCServer.main(TLCServer.java:699)
TRACE 301178:
java.io.ObjectStreamClass.setPrimFieldValues(ObjectStreamClass.java:1287)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1988)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 301218:
java.io.ObjectOutputStream$BlockDataOutputStream.write(ObjectOutputStream.java:1840)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1533)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
TRACE 301078:
java.io.ObjectStreamClass.getObjFieldValues(ObjectStreamClass.java:1296)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1538)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
TRACE 301321:
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1659)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301385:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1449)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301317:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1449)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1663)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 300758:
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301155:
java.io.ObjectOutputStream$HandleTable.growSpine(ObjectOutputStream.java:2336)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2278)
java.io.ObjectOutputStream.writeString(ObjectOutputStream.java:1301)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1171)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301292:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301081:
java.io.ObjectOutputStream$HandleTable.growEntries(ObjectOutputStream.java:2350)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2275)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1322)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301202:
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
sun.reflect.NativeMethodAccessorImpl.invoke0(NativeMethodAccessorImpl.java:Unknown line)
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
java.lang.reflect.Method.invoke(Method.java:606)
java.io.ObjectStreamClass.invokeReadObject(ObjectStreamClass.java:1058)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1897)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 301320:
java.util.Arrays.copyOfRange(Arrays.java:2694)
java.lang.String.<init>(String.java:203)
java.lang.StringBuilder.toString(StringBuilder.java:405)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3075)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 301407:
java.io.ObjectInputStream$HandleTable.grow(ObjectInputStream.java:3471)
java.io.ObjectInputStream$HandleTable.assign(ObjectInputStream.java:3278)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1673)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301409:
java.io.ObjectInputStream$HandleTable.grow(ObjectInputStream.java:3472)
java.io.ObjectInputStream$HandleTable.assign(ObjectInputStream.java:3278)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1673)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301027:
java.io.ObjectStreamClass.lookup(ObjectStreamClass.java:326)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
TRACE 301190:
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.writeObject(ObjectOutputStream.java:347)
sun.rmi.server.UnicastRef.marshalValue(UnicastRef.java:293)
TRACE 301349:
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1426)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301393:
java.io.ObjectInputStream$PeekInputStream.peek(ObjectInputStream.java:2300)
java.io.ObjectInputStream$BlockDataInputStream.peek(ObjectInputStream.java:2593)
java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2603)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1318)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
sun.reflect.GeneratedMethodAccessor20.invoke(<Unknown Source>:Unknown line)
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
java.lang.reflect.Method.invoke(Method.java:606)
java.io.ObjectStreamClass.invokeReadObject(ObjectStreamClass.java:1058)
TRACE 301221:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1801)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
TRACE 301241:
sun.reflect.GeneratedSerializationConstructorAccessor28.newInstance(<Unknown Source>:Unknown line)
java.lang.reflect.Constructor.newInstance(Constructor.java:526)
java.io.ObjectStreamClass.newInstance(ObjectStreamClass.java:1006)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1782)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
TRACE 301379:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:2825)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1664)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301485:
java.lang.AbstractStringBuilder.<init>(AbstractStringBuilder.java:64)
java.lang.StringBuilder.<init>(StringBuilder.java:85)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3050)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301281:
java.io.ObjectInputStream$HandleTable.grow(ObjectInputStream.java:3472)
java.io.ObjectInputStream$HandleTable.assign(ObjectInputStream.java:3278)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1789)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301030:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.readByte(BufferedDataInputStream.java:164)
tlc2.value.ValueInputStream.read(ValueInputStream.java:31)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 300898:
java.net.SocketInputStream.socketRead0(SocketInputStream.java:Unknown line)
java.net.SocketInputStream.read(SocketInputStream.java:152)
java.net.SocketInputStream.read(SocketInputStream.java:122)
java.io.BufferedInputStream.fill(BufferedInputStream.java:235)
java.io.BufferedInputStream.read(BufferedInputStream.java:254)
java.io.DataInputStream.readByte(DataInputStream.java:265)
sun.rmi.transport.StreamRemoteCall.executeCall(StreamRemoteCall.java:214)
sun.rmi.server.UnicastRef.invoke(UnicastRef.java:378)
sun.rmi.transport.DGCImpl_Stub.dirty(<Unknown Source>:Unknown line)
sun.rmi.transport.DGCClient$EndpointEntry.makeDirtyCall(DGCClient.java:377)
TRACE 301049:
util.BufferedDataInputStream.read(BufferedDataInputStream.java:121)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.doWork(StatePoolReader.java:71)
tlc2.tool.queue.DiskStateQueue.fillDeqBuffer(DiskStateQueue.java:98)
tlc2.tool.queue.DiskStateQueue.dequeueInner(DiskStateQueue.java:85)
TRACE 301059:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readInt(BufferedDataInputStream.java:196)
util.UniqueString.read(UniqueString.java:303)
tlc2.value.ValueInputStream.read(ValueInputStream.java:46)
TRACE 301225:
util.BufferedDataInputStream.read(BufferedDataInputStream.java:121)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:91)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301285:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1789)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
TRACE 301413:
java.io.ObjectStreamClass.lookup(ObjectStreamClass.java:326)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
TRACE 301039:
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.doWork(StatePoolReader.java:71)
tlc2.tool.queue.DiskStateQueue.fillDeqBuffer(DiskStateQueue.java:98)
tlc2.tool.queue.DiskStateQueue.dequeueInner(DiskStateQueue.java:85)
tlc2.tool.queue.StateQueue.sDequeue(StateQueue.java:116)
tlc2.tool.distributed.selector.BlockSelector.getBlocks(BlockSelector.java:57)
tlc2.tool.distributed.TLCServerThread.run(TLCServerThread.java:161)
TRACE 301244:
java.lang.System.arraycopy(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.growEntries(ObjectOutputStream.java:2351)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2275)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1322)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
TRACE 301287:
java.io.ObjectInputStream.readNull(ObjectInputStream.java:1437)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1327)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301073:
java.lang.System.arraycopy(System.java:Unknown line)
java.io.ObjectOutputStream$HandleTable.growEntries(ObjectOutputStream.java:2351)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2275)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1427)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
TRACE 301227:
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:149)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301268:
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1977)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301284:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1801)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301333:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1801)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301357:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1789)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301233:
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
sun.reflect.NativeMethodAccessorImpl.invoke0(NativeMethodAccessorImpl.java:Unknown line)
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
TRACE 300761:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.readString(BufferedDataInputStream.java:279)
util.UniqueString.read(UniqueString.java:304)
tlc2.value.ValueInputStream.read(ValueInputStream.java:46)
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
TRACE 301296:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readUTFBody(ObjectInputStream.java:3070)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 301376:
java.io.ObjectInputStream.readString(ObjectInputStream.java:1649)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
TRACE 301520:
java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2335)
java.io.ObjectInputStream$BlockDataInputStream.readUnsignedShort(ObjectInputStream.java:2813)
java.io.ObjectInputStream$BlockDataInputStream.readUTF(ObjectInputStream.java:2871)
java.io.ObjectInputStream.readString(ObjectInputStream.java:1638)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1341)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
TRACE 300976:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readInt(BufferedDataInputStream.java:196)
util.UniqueString.read(UniqueString.java:301)
tlc2.value.ValueInputStream.read(ValueInputStream.java:79)
TRACE 300985:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readInt(BufferedDataInputStream.java:196)
tlc2.value.ValueInputStream.readLongNat(ValueInputStream.java:175)
tlc2.tool.TLCState.read(TLCState.java:43)
TRACE 301017:
java.io.ObjectOutputStream$HandleTable.growEntries(ObjectOutputStream.java:2346)
java.io.ObjectOutputStream$HandleTable.assign(ObjectOutputStream.java:2275)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1427)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
TRACE 301112:
java.util.zip.CRC32.updateBytes(CRC32.java:Unknown line)
java.util.zip.CRC32.update(CRC32.java:65)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:123)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.read(BufferedDataInputStream.java:127)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
TRACE 301250:
util.BufferedDataInputStream.read(BufferedDataInputStream.java:121)
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:150)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:168)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 300764:
util.BufferedDataInputStream.readFully(BufferedDataInputStream.java:149)
util.BufferedDataInputStream.readShort(BufferedDataInputStream.java:186)
tlc2.value.ValueInputStream.readNat(ValueInputStream.java:166)
tlc2.value.ValueInputStream.read(ValueInputStream.java:143)
tlc2.value.ValueInputStream.read(ValueInputStream.java:107)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301144:
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1659)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
TRACE 301228:
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1774)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
TRACE 301450:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1452)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1330)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readObject(ObjectInputStream.java:370)
tlc2.tool.TLCStateVec.readObject(TLCStateVec.java:55)
TRACE 301057:
java.util.zip.Inflater.inflateBytes(Inflater.java:Unknown line)
java.util.zip.Inflater.inflate(Inflater.java:259)
java.util.zip.InflaterInputStream.read(InflaterInputStream.java:152)
java.util.zip.GZIPInputStream.read(GZIPInputStream.java:116)
java.io.FilterInputStream.read(FilterInputStream.java:107)
util.BufferedDataInputStream.readByte(BufferedDataInputStream.java:164)
tlc2.value.ValueInputStream.read(ValueInputStream.java:31)
tlc2.value.ValueInputStream.read(ValueInputStream.java:108)
tlc2.tool.TLCStateMut.read(TLCStateMut.java:223)
tlc2.util.StatePoolReader.run(StatePoolReader.java:174)
TRACE 301060:
java.util.concurrent.ConcurrentHashMap.get(ConcurrentHashMap.java:994)
java.io.ObjectStreamClass.lookup(ObjectStreamClass.java:327)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1133)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1173)
java.io.ObjectOutputStream.defaultWriteFields(ObjectOutputStream.java:1547)
java.io.ObjectOutputStream.writeSerialData(ObjectOutputStream.java:1508)
java.io.ObjectOutputStream.writeOrdinaryObject(ObjectOutputStream.java:1431)
java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1177)
java.io.ObjectOutputStream.writeArray(ObjectOutputStream.java:1377)
TRACE 301189:
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
TRACE 301279:
java.io.ObjectInputStream.readHandle(ObjectInputStream.java:1449)
java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1511)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.defaultReadFields(ObjectInputStream.java:1997)
java.io.ObjectInputStream.readSerialData(ObjectInputStream.java:1921)
java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1798)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350)
java.io.ObjectInputStream.readArray(ObjectInputStream.java:1706)
java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1344)
TRACE 301706:
java.lang.Class.getDeclaredConstructors0(Class.java:Unknown line)
java.lang.Class.privateGetDeclaredConstructors(Class.java:2595)
java.lang.Class.getConstructor0(Class.java:2895)
java.lang.Class.newInstance(Class.java:354)
sun.reflect.MethodAccessorGenerator$1.run(MethodAccessorGenerator.java:399)
sun.reflect.MethodAccessorGenerator$1.run(MethodAccessorGenerator.java:396)
java.security.AccessController.doPrivileged(AccessController.java:Unknown line)
sun.reflect.MethodAccessorGenerator.generate(MethodAccessorGenerator.java:395)
sun.reflect.MethodAccessorGenerator.generateMethod(MethodAccessorGenerator.java:77)
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:46)
CPU SAMPLES BEGIN (total = 185761) Wed Dec 9 15:28:29 2015
rank self accum count trace method
1 58.19% 58.19% 108102 300783 java.net.SocketInputStream.socketRead0
2 6.49% 64.68% 12052 300945 java.lang.System.identityHashCode
3 4.54% 69.22% 8436 300938 java.lang.System.identityHashCode
4 4.10% 73.32% 7614 300930 java.net.SocketInputStream.socketRead0
5 3.79% 77.11% 7032 300556 java.net.PlainSocketImpl.socketAccept
6 2.86% 79.97% 5317 300983 java.net.SocketOutputStream.socketWrite0
7 2.06% 82.03% 3833 301470 java.net.SocketInputStream.socketRead0
8 1.79% 83.82% 3323 300988 java.lang.System.identityHashCode
9 1.39% 85.22% 2588 301153 java.io.ObjectInputStream$PeekInputStream.peek
10 1.10% 86.31% 2042 301195 java.net.SocketInputStream.socketRead0
11 0.80% 87.12% 1494 300944 java.net.SocketInputStream.socketRead0
12 0.51% 87.63% 956 301003 java.io.ObjectOutputStream$HandleTable.lookup
13 0.49% 88.12% 910 300718 java.util.zip.Inflater.inflateBytes
14 0.46% 88.58% 847 301188 java.io.ObjectInputStream$PeekInputStream.peek
15 0.44% 89.02% 814 301210 java.io.ObjectInputStream$PeekInputStream.readFully
16 0.38% 89.40% 706 301170 java.net.SocketInputStream.socketRead0
17 0.35% 89.74% 645 301161 java.net.SocketInputStream.socketRead0
18 0.33% 90.07% 613 301031 java.io.ObjectOutputStream$HandleTable.lookup
19 0.30% 90.38% 565 301004 java.io.ObjectOutputStream$HandleTable.growSpine
20 0.28% 90.66% 522 300842 sun.misc.Unsafe.defineClass
21 0.27% 90.93% 498 301067 java.net.SocketOutputStream.socketWrite0
22 0.25% 91.18% 473 301011 java.io.ObjectOutputStream$HandleTable.growSpine
23 0.23% 91.41% 423 301276 java.net.PlainSocketImpl.socketAvailable
24 0.20% 91.61% 372 301194 java.io.ObjectStreamClass.setObjFieldValues
25 0.17% 91.78% 311 300986 java.io.ObjectOutputStream$HandleTable.lookup
26 0.15% 91.93% 282 301156 java.lang.reflect.Constructor.newInstance
27 0.15% 92.08% 280 301179 java.io.ObjectInputStream$PeekInputStream.readFully
28 0.15% 92.23% 279 301211 java.io.ObjectInputStream$PeekInputStream.readFully
29 0.15% 92.38% 276 301288 java.io.ObjectInputStream$PeekInputStream.peek
30 0.15% 92.53% 272 301282 java.io.ObjectInputStream$BlockDataInputStream.read
31 0.14% 92.67% 264 301224 java.net.SocketInputStream.socketRead0
32 0.14% 92.81% 261 301173 java.io.ObjectInputStream$PeekInputStream.readFully
33 0.14% 92.95% 255 301046 java.io.ObjectOutputStream$HandleTable.growSpine
34 0.13% 93.08% 242 300706 java.util.zip.Inflater.inflateBytes
35 0.13% 93.20% 238 301212 java.io.ObjectInputStream.readArray
36 0.12% 93.33% 232 301198 java.io.ObjectInputStream$PeekInputStream.peek
37 0.12% 93.45% 225 301398 java.io.ObjectInputStream.readArray
38 0.12% 93.57% 220 300957 java.io.ObjectOutputStream.writeObject0
39 0.11% 93.68% 212 301148 java.io.ObjectOutputStream.writeArray
40 0.11% 93.80% 211 301297 java.io.ObjectInputStream.defaultReadFields
41 0.11% 93.91% 208 301029 java.io.ObjectOutputStream$BlockDataOutputStream.write
42 0.11% 94.02% 203 301138 java.net.PlainSocketImpl.socketAvailable
43 0.11% 94.13% 202 301215 java.io.ObjectStreamClass$FieldReflector.setObjFieldValues
44 0.10% 94.23% 191 301010 java.lang.System.identityHashCode
45 0.10% 94.33% 188 301167 java.net.PlainSocketImpl.socketAvailable
46 0.10% 94.43% 184 301270 java.io.ObjectInputStream$BlockDataInputStream.read
47 0.10% 94.52% 177 301274 java.net.PlainSocketImpl.socketAvailable
48 0.09% 94.62% 172 301185 java.io.ObjectInputStream$PeekInputStream.readFully
49 0.09% 94.70% 159 301273 java.net.PlainSocketImpl.socketAvailable
50 0.08% 94.79% 156 301200 java.net.PlainSocketImpl.socketAvailable
51 0.08% 94.87% 156 301308 java.io.ObjectInputStream$BlockDataInputStream.readUTFSpan
52 0.08% 94.95% 153 301548 java.lang.Character.digit
53 0.08% 95.03% 144 301213 java.io.ObjectInputStream$PeekInputStream.peek
54 0.08% 95.11% 140 301093 java.io.ObjectStreamClass.getObjFieldValues
55 0.07% 95.18% 131 300991 java.io.ObjectOutputStream$BlockDataOutputStream.getUTFLength
56 0.07% 95.25% 130 301260 java.net.SocketInputStream.socketRead0
57 0.07% 95.31% 124 301100 java.io.ObjectOutputStream$HandleTable.lookup
58 0.07% 95.38% 121 301414 java.io.BufferedInputStream.read
59 0.06% 95.44% 117 301301 java.io.ObjectInputStream.readObject0
60 0.06% 95.50% 107 300755 java.util.zip.Inflater.inflateBytes
61 0.06% 95.56% 105 301181 java.io.ObjectStreamClass.setObjFieldValues
62 0.06% 95.61% 103 300715 java.util.zip.CRC32.updateBytes
63 0.05% 95.67% 101 301238 java.io.ObjectInputStream$BlockDataInputStream.readUTF
64 0.05% 95.72% 100 300769 java.io.FileInputStream.readBytes
65 0.05% 95.77% 100 301103 java.io.ObjectOutputStream$HandleTable.lookup
66 0.05% 95.83% 99 301052 java.io.ObjectOutputStream.writeObject0
67 0.05% 95.88% 99 301176 java.net.SocketInputStream.socketRead0
68 0.05% 95.93% 94 301109 java.io.ObjectStreamClass.getPrimFieldValues
69 0.05% 95.98% 94 301278 java.io.ObjectInputStream.readHandle
70 0.05% 96.03% 93 301163 java.lang.reflect.Constructor.newInstance
71 0.05% 96.08% 93 301174 java.net.SocketInputStream.socketRead0
72 0.05% 96.13% 92 301280 java.io.ObjectInputStream$PeekInputStream.readFully
73 0.05% 96.18% 90 301304 java.io.ObjectInputStream$PeekInputStream.peek
74 0.05% 96.23% 87 301085 java.io.ObjectOutputStream.writeObject0
75 0.05% 96.27% 86 301220 java.lang.AbstractStringBuilder.ensureCapacityInternal
76 0.05% 96.32% 84 300767 util.BufferedDataInputStream.read
77 0.04% 96.36% 81 301560 java.io.DataInputStream.readUTF
78 0.04% 96.40% 80 301377 java.io.ObjectStreamClass$FieldReflector.setPrimFieldValues
79 0.04% 96.45% 79 301370 java.io.ObjectInputStream$PeekInputStream.readFully
80 0.04% 96.49% 77 301032 java.io.ObjectOutputStream.writeOrdinaryObject
81 0.04% 96.53% 76 301242 java.io.ObjectInputStream.defaultReadFields
82 0.04% 96.57% 76 301458 java.net.PlainSocketImpl.socketConnect
83 0.04% 96.61% 74 301113 java.util.concurrent.ConcurrentHashMap.get
84 0.04% 96.65% 72 301000 java.io.ObjectOutputStream$BlockDataOutputStream.writeBytes
85 0.04% 96.69% 70 301340 java.io.ObjectStreamClass$FieldReflector.setPrimFieldValues
86 0.04% 96.72% 69 301107 java.io.ObjectOutputStream.defaultWriteFields
87 0.04% 96.76% 69 301303 java.lang.StringBuilder.append
88 0.04% 96.80% 69 301402 java.lang.reflect.Array.newInstance
89 0.04% 96.83% 66 301358 java.io.ObjectInputStream.readHandle
90 0.03% 96.87% 65 301072 java.io.ObjectOutputStream$HandleTable.lookup
91 0.03% 96.90% 65 301310 java.io.ObjectOutputStream.writeArray
92 0.03% 96.94% 62 301058 java.io.ObjectStreamClass$FieldReflector.getPrimFieldValues
93 0.03% 96.97% 62 301116 java.io.ObjectOutputStream.writeObject0
94 0.03% 97.00% 61 301277 java.io.ObjectInputStream.readClassDesc
95 0.03% 97.03% 60 300981 java.io.ObjectOutputStream$HandleTable.growSpine
96 0.03% 97.07% 60 301389 java.io.ObjectInputStream.readOrdinaryObject
97 0.03% 97.10% 59 301271 java.net.SocketInputStream.socketRead0
98 0.03% 97.13% 58 301410 java.io.ObjectInputStream.defaultReadFields
99 0.03% 97.16% 57 301272 java.io.ObjectInputStream.readHandle
100 0.03% 97.19% 56 301177 java.io.ObjectStreamClass$FieldReflector.getPrimFieldValues
101 0.03% 97.22% 54 300772 tlc2.value.ValueInputStream.read
102 0.03% 97.25% 51 301089 java.io.ObjectOutputStream$HandleTable.lookup
103 0.03% 97.27% 47 301101 java.util.zip.Inflater.inflateBytes
104 0.02% 97.30% 45 300765 tlc2.tool.TLCStateMut.read
105 0.02% 97.32% 45 301015 java.io.ObjectOutputStream$HandleTable.growEntries
106 0.02% 97.35% 45 301068 java.util.zip.CRC32.updateBytes
107 0.02% 97.37% 45 301097 util.BufferedDataInputStream.readFully
108 0.02% 97.39% 45 301186 java.io.ObjectStreamClass$FieldReflector.getObjFieldValues
109 0.02% 97.42% 44 301053 java.util.zip.Inflater.inflateBytes
110 0.02% 97.44% 42 301295 java.net.SocketInputStream.socketRead0
111 0.02% 97.46% 40 300962 java.io.FileInputStream.readBytes
112 0.02% 97.48% 40 301002 java.io.ObjectOutputStream.defaultWriteFields
113 0.02% 97.50% 40 301530 java.io.RandomAccessFile.readBytes0
114 0.02% 97.53% 39 301178 java.io.ObjectStreamClass.setPrimFieldValues
115 0.02% 97.55% 39 301218 java.io.ObjectOutputStream$BlockDataOutputStream.write
116 0.02% 97.57% 38 301078 java.io.ObjectStreamClass.getObjFieldValues
117 0.02% 97.59% 38 301321 java.io.ObjectInputStream.readArray
118 0.02% 97.61% 38 301385 java.io.ObjectInputStream.readHandle
119 0.02% 97.63% 37 301317 java.io.ObjectInputStream.readHandle
120 0.02% 97.65% 36 300758 tlc2.value.ValueInputStream.read
121 0.02% 97.67% 36 301155 java.io.ObjectOutputStream$HandleTable.growSpine
122 0.02% 97.69% 36 301292 java.io.ObjectInputStream$PeekInputStream.readFully
123 0.02% 97.71% 35 301081 java.io.ObjectOutputStream$HandleTable.growEntries
124 0.02% 97.72% 35 301202 tlc2.tool.TLCStateVec.readObject
125 0.02% 97.74% 34 301320 java.util.Arrays.copyOfRange
126 0.02% 97.76% 33 301407 java.io.ObjectInputStream$HandleTable.grow
127 0.02% 97.78% 32 301409 java.io.ObjectInputStream$HandleTable.grow
128 0.02% 97.79% 31 301027 java.io.ObjectStreamClass.lookup
129 0.02% 97.81% 31 301190 java.io.ObjectOutputStream.writeArray
130 0.02% 97.83% 31 301349 java.io.ObjectOutputStream.writeOrdinaryObject
131 0.02% 97.84% 31 301393 java.io.ObjectInputStream$PeekInputStream.peek
132 0.02% 97.86% 30 301221 java.io.ObjectInputStream.readOrdinaryObject
133 0.02% 97.88% 30 301241 sun.reflect.GeneratedSerializationConstructorAccessor28.newInstance
134 0.02% 97.89% 30 301379 java.io.ObjectInputStream$PeekInputStream.readFully
135 0.02% 97.91% 30 301485 java.lang.AbstractStringBuilder.<init>
136 0.02% 97.92% 29 301281 java.io.ObjectInputStream$HandleTable.grow
137 0.02% 97.94% 28 301030 java.util.zip.Inflater.inflateBytes
138 0.01% 97.95% 27 300898 java.net.SocketInputStream.socketRead0
139 0.01% 97.97% 27 301049 util.BufferedDataInputStream.read
140 0.01% 97.98% 27 301059 java.util.zip.Inflater.inflateBytes
141 0.01% 98.00% 27 301225 util.BufferedDataInputStream.read
142 0.01% 98.01% 27 301285 java.io.ObjectInputStream.readOrdinaryObject
143 0.01% 98.03% 27 301413 java.io.ObjectStreamClass.lookup
144 0.01% 98.04% 26 301039 tlc2.value.ValueInputStream.read
145 0.01% 98.05% 26 301244 java.lang.System.arraycopy
146 0.01% 98.07% 26 301287 java.io.ObjectInputStream.readNull
147 0.01% 98.08% 25 301073 java.lang.System.arraycopy
148 0.01% 98.10% 25 301227 util.BufferedDataInputStream.readFully
149 0.01% 98.11% 25 301268 java.io.ObjectInputStream.defaultReadFields
150 0.01% 98.12% 25 301284 java.io.ObjectInputStream.readOrdinaryObject
151 0.01% 98.14% 25 301333 java.io.ObjectInputStream.readOrdinaryObject
152 0.01% 98.15% 25 301357 java.io.ObjectInputStream.readOrdinaryObject
153 0.01% 98.16% 24 301233 java.io.ObjectInputStream.readArray
154 0.01% 98.17% 23 300761 java.util.zip.Inflater.inflateBytes
155 0.01% 98.19% 23 301296 java.io.ObjectInputStream$PeekInputStream.readFully
156 0.01% 98.20% 23 301376 java.io.ObjectInputStream.readString
157 0.01% 98.21% 23 301520 java.io.ObjectInputStream$PeekInputStream.readFully
158 0.01% 98.22% 22 300976 java.util.zip.Inflater.inflateBytes
159 0.01% 98.24% 22 300985 java.util.zip.Inflater.inflateBytes
160 0.01% 98.25% 22 301017 java.io.ObjectOutputStream$HandleTable.growEntries
161 0.01% 98.26% 22 301112 java.util.zip.CRC32.updateBytes
162 0.01% 98.27% 22 301250 util.BufferedDataInputStream.read
163 0.01% 98.28% 21 300764 util.BufferedDataInputStream.readFully
164 0.01% 98.29% 20 301144 java.io.ObjectInputStream.readArray
165 0.01% 98.30% 20 301228 java.io.ObjectInputStream.readOrdinaryObject
166 0.01% 98.31% 20 301450 java.io.ObjectInputStream.readHandle
167 0.01% 98.32% 19 301057 java.util.zip.Inflater.inflateBytes
168 0.01% 98.33% 19 301060 java.util.concurrent.ConcurrentHashMap.get
169 0.01% 98.35% 19 301189 java.io.ObjectInputStream.readClassDesc
170 0.01% 98.36% 19 301279 java.io.ObjectInputStream.readHandle
171 0.01% 98.37% 19 301706 java.lang.Class.getDeclaredConstructors0
CPU SAMPLES END