REPLAY PARAMETERS:
REPLAY PARAMETER: BACKUP_BUG_STATE = “1”
REPLAY PARAMETER: CHECKED_SERVICE = “Paxos”
REPLAY PARAMETER: DONT_EXIT = “1”
REPLAY PARAMETER: DO_PURE_MC = “1”
REPLAY PARAMETER: FIX_ISSAFE_INIT_BUG = “1”
REPLAY PARAMETER: FIX_ORIGINAL_ID_BUG = “1”
REPLAY PARAMETER: INIT_NETWORK = “1”
REPLAY PARAMETER: LET_MODELCHECKER_FINISH_HIS_JOB = “1”
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_LIVENESS_PENALTY = “10”
REPLAY PARAMETER: MAX_PATHS = “200000000”
REPLAY PARAMETER: PRINT_SEARCH_PREFIX = “0”
REPLAY PARAMETER: RUN_DIVERGENCE_MONITOR = “1”
REPLAY PARAMETER: RUN_PARALLEL_MODELCHECKER = “1”
REPLAY PARAMETER: SEARCH_DEPTH = “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: bandwidthLimit = “1000000”
REPLAY PARAMETER: blockSize = “16000”
REPLAY PARAMETER: divergence_assert = “1”
REPLAY PARAMETER: divergence_timeout = “30”
REPLAY PARAMETER: downloadPath = “/tmp”
REPLAY PARAMETER: experimentlength = “200000”
REPLAY PARAMETER: file = “/tmp/big-20”
REPLAY PARAMETER: linger = “10”
REPLAY PARAMETER: maxTime = “100”
REPLAY PARAMETER: max_num_steps = “20000”
REPLAY PARAMETER: myNodeId = “0”
REPLAY PARAMETER: nodeIP(0) = “10.0.0.1”
REPLAY PARAMETER: nodeIP(1) = “10.0.0.2”
REPLAY PARAMETER: nodeIP(2) = “10.0.0.3”
REPLAY PARAMETER: nodeIP(3) = “10.0.0.4”
REPLAY PARAMETER: num_nodes = “4”
REPLAY PARAMETER: peer = “10.0.0.1”
REPLAY PARAMETER: queue_size = “100000”
REPLAY PARAMETER: root = “10.0.0.1”
REPLAY PARAMETER: search_print_mask = “4095”
REPLAY PARAMETER: source = “false”
REPLAY PARAMETER: streaming_rate = “1500”
REPLAY PARAMETER: user = “maysam”
[MCTest] Registered tests: BulletPrime Chord Pastry Paxos RandTree
TTTTTTTTTTTTTTTTTTTTTTT ip of node 0 IPV4/10.0.0.1:5377
TTTTTTTTTTTTTTTTTTTTTTT ip of node 1 IPV4/10.0.0.2:5377
TTTTTTTTTTTTTTTTTTTTTTT ip of node 2 IPV4/10.0.0.3:5377
TTTTTTTTTTTTTTTTTTTTTTT ip of node 3 IPV4/10.0.0.4:5377
10.0.0.1:5377 [void* monitor(void*)] monitor begun
10.0.0.4:5377 [PREVIOUS_BUGS_CHECK] checkThePreviousManifestedBugPaths Begin
10.0.0.4:5377 [PREVIOUS_BUGS_CHECK] checkThePreviousManifestedBugPaths Stop
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 1, 3 (0 dup) paths searched so far in 0
10.0.0.2:5377 [SearchRandomUtil::next] Searching up to depths of 2, 19 (6 dup) paths searched so far in 1
10.0.0.2:5377 [SearchRandomUtil::next] Searching up to depths of 3, 57 (14 dup) paths searched so far in 2
10.0.0.1:5377 [SearchRandomUtil::next] Searching up to depths of 4, 127 (17 dup) paths searched so far in 5
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 5, 252 (17 dup) paths searched so far in 10
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 6, 485 (17 dup) paths searched so far in 21
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 7, 1222 (209 dup) paths searched so far in 48
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 8, 3351 (657 dup) paths searched so far in 125
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 9, 8968 (1841 dup) paths searched so far in 319
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 10, 22601 (4625 dup) paths searched so far in 789
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 11, 51914 (9777 dup) paths searched so far in 1824
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 12, 115963 (22561 dup) paths searched so far in 4053
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 13, 261524 (48337 dup) paths searched so far in 9267
10.0.0.3:5377 [SearchRandomUtil::next] Searching up to depths of 14, 591005 (116913 dup) paths searched so far in 20902