REPLAY PARAMETERS:
REPLAY PARAMETER: CHECKED_SERVICE = “Chord”
REPLAY PARAMETER: DONT_EXIT = “1”
REPLAY PARAMETER: MACE_LOG_LEVEL = “10”
REPLAY PARAMETER: MACE_PORT = “5377”
REPLAY PARAMETER: MACE_PRINT_HOSTNAME_ONLY = “1”
REPLAY PARAMETER: MACE_SIMULATE_NODES = “MaceMC”
REPLAY PARAMETER: MAX_DEAD_PATHS = “1000”
REPLAY PARAMETER: MAX_PATHS = “200000000”
REPLAY PARAMETER: NUM_RANDOM_PATHS = “60”
REPLAY PARAMETER: PRINT_SEARCH_PREFIX = “0”
REPLAY PARAMETER: RUN_DIVERGENCE_MONITOR = “1”
REPLAY PARAMETER: SEARCH_DEPTH = “1”
REPLAY PARAMETER: SIM_NODE_FAILURE = “1”
REPLAY PARAMETER: USE_BEST_FIRST = “0”
REPLAY PARAMETER: USE_GUSTO = “1”
REPLAY PARAMETER: USE_NET_ERRORS = “1”
REPLAY PARAMETER: USE_RANDOM_WALKS = “1”
REPLAY PARAMETER: USE_STATE_HASHES = “1”
REPLAY PARAMETER: USE_UDP_ERRORS = “1”
REPLAY PARAMETER: USE_UDP_REORDER = “1”
REPLAY PARAMETER: divergence_assert = “1”
REPLAY PARAMETER: divergence_timeout = “30”
REPLAY PARAMETER: file = “tmp.txt”
REPLAY PARAMETER: max_num_steps = “20000”
REPLAY PARAMETER: num_nodes = “3”
REPLAY PARAMETER: queue_size = “100000”
REPLAY PARAMETER: search_print_mask = “4095”
[MCTest] Registered tests: Chord MaceTransport Pastry ProvisionalTransport RanSubAggregator RandTree SimTCP
[void* monitor(void*)] monitor begun
3.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 2, 2 paths searched so far. time: 1219352770
3.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 3, 11 paths searched so far. time: 1219352770
3.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 4, 33 paths searched so far. time: 1219352770
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 5, 82 paths searched so far. time: 1219352770
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 6, 184 paths searched so far. time: 1219352771
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 7, 394 paths searched so far. time: 1219352771
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 8, 806 paths searched so far. time: 1219352772
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 9, 1625 paths searched so far. time: 1219352775
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 10, 3391 paths searched so far. time: 1219352781
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 11, 7615 paths searched so far. time: 1219352797
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 12, 19049 paths searched so far. time: 1219352846
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 13, 53334 paths searched so far. time: 1219353007
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 14, 163222 paths searched so far. time: 1219353564
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 15, 526817 paths searched so far. time: 1219355551
2.0.0.0:5377 [SearchRandomUtil::next] Searching up to depths of 16, 1749976 paths searched so far. time: 1219362686
exit= 1
Error= 1219376464
3.0.0.0:5377 [ERROR::SIM::PROPERTY_FAILED::Chord::yabandeh2] Path<sdepth=16>SimRandUtil<prefixlen=0,position=16,searchlen=16,walklen=0> search sequence [ 0 0 2 2 0 0 7 7 0 1 0 2 2 11 3 3 ]
3.0.0.0:5377 [ERROR::SIM::PROPERTY_FAILED::Chord::yabandeh2] exiting via signal 11
3.0.0.0:5377 [Sim::printStats] Phase time 23693996874 (cumulative) 23693996874
3.0.0.0:5377 [Sim::printStats] Unique state count: 369519 (cumulative) 369519
3.0.0.0:5377 [Sim::printStats] Paths Searched: 3961288 (cumulative) 3961288
3.0.0.0:5377 [Sim::printStats] Live path count: 3961288 (cumulative) 3961288
3.0.0.0:5377 [Sim::printStats] Abandonded duplicates: 3370599 (cumulative) 3370599
3.0.0.0:5377 [Sim::printStats] Out of events count: 0 (cumulative) 0
3.0.0.0:5377 [Sim::printStats] Stopping Condition count: 590689 (cumulative) 590689
3.0.0.0:5377 [Sim::printStats] Too Many Steps count: 0 (cumulative) 0
3.0.0.0:5377 [Sim::printStats] Now on phase 1 : SearchRandom:depth 16::ERROR
3.0.0.0:5377 [HALT] Output paths errorN.path for 0 < N < 2
Execution returned 0 0