[INFO] [WallTime: 1468073217.589306] [0.000000] State machine starting in initial state 'Flag1' with userdata: [] [INFO] [WallTime: 1468073217.709184] [1464083282.260754] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073217.753178] [1464083282.311065] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073217.805953] [1464083282.361419] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073217.859533] [1464083282.411802] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073217.903735] [1464083282.462123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073217.957064] [1464083282.512414] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.010176] [1464083282.562747] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.059723] [1464083282.613054] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.110501] [1464083282.663375] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.162679] [1464083282.717700] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.213443] [1464083282.768017] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.270278] [1464083282.828503] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.326347] [1464083282.878834] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.376773] [1464083282.929216] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.427289] [1464083282.979571] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.471850] [1464083283.029883] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.528618] [1464083283.080281] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.578410] [1464083283.130599] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.627843] [1464083283.180937] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.676144] [1464083283.231237] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.723411] [1464083283.281561] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.773819] [1464083283.331951] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.824422] [1464083283.382335] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.876089] [1464083283.432750] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.930585] [1464083283.483124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073218.981115] [1464083283.533448] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.031701] [1464083283.583802] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.076130] [1464083283.634167] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.125903] [1464083283.684475] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.176546] [1464083283.734766] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.230106] [1464083283.785062] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.279586] [1464083283.835455] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.333955] [1464083283.885949] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.383243] [1464083283.936226] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.428627] [1464083283.986482] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.483783] [1464083284.037005] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.529470] [1464083284.087298] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.579868] [1464083284.137591] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.629632] [1464083284.187896] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.680471] [1464083284.238234] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.733563] [1464083284.288562] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.788051] [1464083284.338928] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.834029] [1464083284.389262] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.881636] [1464083284.439615] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.932735] [1464083284.489961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073219.983335] [1464083284.541685] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.037275] [1464083284.592055] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.087024] [1464083284.642426] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.135694] [1464083284.692803] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.185451] [1464083284.743326] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.235478] [1464083284.793662] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.288598] [1464083284.844235] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.341716] [1464083284.894535] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.386984] [1464083284.944842] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.437055] [1464083284.995176] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.487770] [1464083285.045507] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.537775] [1464083285.096006] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.593521] [1464083285.146315] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.643709] [1464083285.196626] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.689910] [1464083285.246984] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.741550] [1464083285.297344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.792204] [1464083285.347654] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.842373] [1464083285.398000] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.890351] [1464083285.448358] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.946880] [1464083285.498723] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073220.993476] [1464083285.549106] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.043988] [1464083285.599444] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.094442] [1464083285.649807] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.143888] [1464083285.700165] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.202228] [1464083285.754638] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.251773] [1464083285.804946] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.304907] [1464083285.855254] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.352297] [1464083285.905560] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.397705] [1464083285.955955] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.457835] [1464083286.016484] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.511006] [1464083286.066798] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.561641] [1464083286.117180] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.613835] [1464083286.167514] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.661217] [1464083286.217870] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.715307] [1464083286.268180] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.762177] [1464083286.318486] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.811210] [1464083286.368796] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.868927] [1464083286.419123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.917460] [1464083286.469459] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073221.967280] [1464083286.519778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.014035] [1464083286.570117] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.070480] [1464083286.620443] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.119894] [1464083286.670963] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.169165] [1464083286.721339] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.219344] [1464083286.771593] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.268648] [1464083286.821850] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.314016] [1464083286.872198] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.367627] [1464083286.922613] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.421160] [1464083286.972961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.470758] [1464083287.023310] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.515969] [1464083287.074111] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.578090] [1464083287.131827] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.630010] [1464083287.182360] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.675482] [1464083287.232729] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.725240] [1464083287.283060] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.775949] [1464083287.333767] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.826244] [1464083287.384229] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.884382] [1464083287.439025] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.939570] [1464083287.489375] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073222.990846] [1464083287.542653] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.040460] [1464083287.593012] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.087592] [1464083287.643377] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.141599] [1464083287.693663] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.186341] [1464083287.744232] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.237624] [1464083287.795344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.293875] [1464083287.849024] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.348227] [1464083287.899239] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.391112] [1464083287.949634] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.445276] [1464083287.999990] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.498141] [1464083288.050487] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.548545] [1464083288.100818] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.598024] [1464083288.151329] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.648959] [1464083288.201641] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.694586] [1464083288.252056] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.744737] [1464083288.302332] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.799882] [1464083288.352687] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.850932] [1464083288.402932] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.900755] [1464083288.453210] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073223.949180] [1464083288.504627] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.001428] [1464083288.555115] State machine transitioning 'Flag1':'outcome1'-->'Check1' [INFO] [WallTime: 1468073224.134145] [1464083288.688591] State machine transitioning 'Check1':'outcome1'-->'Flag1' [INFO] [WallTime: 1468073224.181542] [1464083288.738915] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.232715] [1464083288.790540] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.290759] [1464083288.842929] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.335317] [1464083288.893161] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.385316] [1464083288.943590] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.441382] [1464083288.994107] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.491796] [1464083289.047872] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.540275] [1464083289.098200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.590562] [1464083289.148546] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.640365] [1464083289.198887] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.691257] [1464083289.249286] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.749793] [1464083289.299653] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.797515] [1464083289.350060] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.849225] [1464083289.400546] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.899138] [1464083289.450883] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.948969] [1464083289.503542] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073224.996265] [1464083289.554079] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.046619] [1464083289.605039] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.096758] [1464083289.655348] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.149546] [1464083289.705657] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.199009] [1464083289.756002] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.248018] [1464083289.806323] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.301246] [1464083289.856672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.355311] [1464083289.906985] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.405221] [1464083289.957207] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.449740] [1464083290.007833] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.500051] [1464083290.058200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.552907] [1464083290.108501] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.600337] [1464083290.158722] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.650718] [1464083290.208976] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.704061] [1464083290.259356] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.751358] [1464083290.309821] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.801408] [1464083290.360184] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.852343] [1464083290.410565] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.902919] [1464083290.460997] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073225.958932] [1464083290.511321] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.006082] [1464083290.561629] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.054674] [1464083290.611985] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.105244] [1464083290.662417] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.155232] [1464083290.712961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.205163] [1464083290.763300] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.258952] [1464083290.814327] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.309781] [1464083290.864980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.360809] [1464083290.915409] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.408553] [1464083290.966137] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.459898] [1464083291.018520] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.516481] [1464083291.068825] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.571367] [1464083291.129198] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.621624] [1464083291.179660] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.672722] [1464083291.230109] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.727972] [1464083291.280495] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.773691] [1464083291.331016] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.829229] [1464083291.381451] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.878822] [1464083291.431937] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.929068] [1464083291.482212] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073226.976585] [1464083291.533378] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.025810] [1464083291.583697] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.075692] [1464083291.634134] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.131178] [1464083291.688498] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.186313] [1464083291.739049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.233832] [1464083291.789595] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.287606] [1464083291.839914] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.333402] [1464083291.890370] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.382712] [1464083291.940672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.432903] [1464083291.991088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.489727] [1464083292.041497] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.538709] [1464083292.091782] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.589295] [1464083292.142137] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.634307] [1464083292.192456] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.687642] [1464083292.242746] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.737136] [1464083292.294682] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.786965] [1464083292.345023] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.837474] [1464083292.395359] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.887934] [1464083292.445882] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.945512] [1464083292.496145] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073227.994562] [1464083292.546829] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.039636] [1464083292.597124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.093310] [1464083292.647499] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.147610] [1464083292.698014] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.189795] [1464083292.748429] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.241278] [1464083292.798759] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.291403] [1464083292.849083] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.341416] [1464083292.899450] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.393921] [1464083292.949779] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.450412] [1464083293.000110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.494010] [1464083293.051841] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.550360] [1464083293.102175] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.605133] [1464083293.156634] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.652519] [1464083293.210448] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.702699] [1464083293.260956] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.752599] [1464083293.311477] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.805498] [1464083293.361776] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.859935] [1464083293.412170] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.910220] [1464083293.462474] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073228.957797] [1464083293.512810] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.006813] [1464083293.563364] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.055543] [1464083293.613714] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.113641] [1464083293.664338] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.158528] [1464083293.714736] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.211864] [1464083293.765029] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.257406] [1464083293.815337] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.323656] [1464083293.874666] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.372279] [1464083293.928498] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.426246] [1464083293.978846] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.474347] [1464083294.029395] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.524227] [1464083294.079702] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.572414] [1464083294.130153] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.628930] [1464083294.180521] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.678782] [1464083294.236948] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.737012] [1464083294.287337] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.784679] [1464083294.337658] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.834784] [1464083294.387944] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.887688] [1464083294.438309] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.933356] [1464083294.489053] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073229.986001] [1464083294.539363] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.038829] [1464083294.589707] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.083980] [1464083294.640017] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.137191] [1464083294.690278] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.188760] [1464083294.740610] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.238594] [1464083294.791324] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.294190] [1464083294.846774] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.347889] [1464083294.900675] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.393010] [1464083294.950917] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.446548] [1464083295.001219] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.495587] [1464083295.051508] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.549661] [1464083295.101872] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.595387] [1464083295.152196] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.649223] [1464083295.202518] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.694728] [1464083295.252844] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.750349] [1464083295.303469] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.800953] [1464083295.353708] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.852227] [1464083295.404113] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.900538] [1464083295.457513] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073230.955142] [1464083295.507837] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.000743] [1464083295.558196] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.053759] [1464083295.608972] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.103397] [1464083295.659331] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.157276] [1464083295.709710] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.201893] [1464083295.760168] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.253502] [1464083295.810457] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.309741] [1464083295.863070] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.361076] [1464083295.913476] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.407707] [1464083295.964127] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.456928] [1464083296.014381] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.514099] [1464083296.065110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.559662] [1464083296.115392] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.607859] [1464083296.165708] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.658953] [1464083296.216227] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.708887] [1464083296.266541] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.764748] [1464083296.317117] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.816311] [1464083296.368679] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.867153] [1464083296.418978] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.917837] [1464083296.469531] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073231.976080] [1464083296.529902] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.026228] [1464083296.580889] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.075549] [1464083296.631190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.129706] [1464083296.681509] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.179201] [1464083296.731814] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.224632] [1464083296.782133] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.279525] [1464083296.832530] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.328425] [1464083296.882837] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.375467] [1464083296.933375] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.433137] [1464083296.983706] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.481782] [1464083297.034138] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.532281] [1464083297.084655] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.576535] [1464083297.134987] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.632260] [1464083297.185388] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.678686] [1464083297.236475] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.734918] [1464083297.287587] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.784896] [1464083297.337877] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.829740] [1464083297.388318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.880259] [1464083297.438616] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.930821] [1464083297.488924] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073232.988118] [1464083297.539351] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.038492] [1464083297.591403] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.084190] [1464083297.642039] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.134966] [1464083297.692360] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.185138] [1464083297.742684] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.240222] [1464083297.793282] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.291659] [1464083297.843629] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.336797] [1464083297.893932] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.388652] [1464083297.946759] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.445387] [1464083297.998507] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.496587] [1464083298.048894] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.548788] [1464083298.099258] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.591577] [1464083298.149853] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.642495] [1464083298.200191] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.693983] [1464083298.250575] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.743773] [1464083298.300943] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.795676] [1464083298.351304] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.849772] [1464083298.401630] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.893890] [1464083298.451940] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.947399] [1464083298.502344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073233.997235] [1464083298.554290] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.051717] [1464083298.604552] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.097376] [1464083298.654908] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.147725] [1464083298.705283] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.205881] [1464083298.756025] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.254602] [1464083298.806343] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.298661] [1464083298.856945] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.349244] [1464083298.907204] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.400292] [1464083298.957869] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.452997] [1464083299.008665] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.503201] [1464083299.058995] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.554996] [1464083299.110091] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.609699] [1464083299.160355] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.655072] [1464083299.210622] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.702626] [1464083299.261002] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.755802] [1464083299.311346] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.809604] [1464083299.361763] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.859980] [1464083299.412097] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.909981] [1464083299.462597] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073234.957686] [1464083299.512931] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.009283] [1464083299.563637] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.056786] [1464083299.614120] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.106389] [1464083299.664416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.156893] [1464083299.714750] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.215596] [1464083299.765118] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.259594] [1464083299.817668] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.317821] [1464083299.868665] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.362559] [1464083299.920062] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.412733] [1464083299.970699] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.471599] [1464083300.024074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.521653] [1464083300.074854] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.575892] [1464083300.125222] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.619921] [1464083300.175923] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.673393] [1464083300.226308] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.728311] [1464083300.277493] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.779869] [1464083300.338315] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.833791] [1464083300.388652] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.883632] [1464083300.438951] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.934227] [1464083300.489292] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073235.984058] [1464083300.539627] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.038016] [1464083300.589940] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.090150] [1464083300.640539] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.133844] [1464083300.690909] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.188914] [1464083300.741265] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.239566] [1464083300.791543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.289255] [1464083300.841965] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.335272] [1464083300.892215] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.387932] [1464083300.946669] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.440835] [1464083300.996994] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.495156] [1464083301.047284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.544630] [1464083301.097615] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.595410] [1464083301.147969] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.646477] [1464083301.198379] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.692803] [1464083301.248814] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.746295] [1464083301.299284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.794219] [1464083301.349619] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.844566] [1464083301.399914] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.891740] [1464083301.450205] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.942812] [1464083301.500549] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073236.992823] [1464083301.550875] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.050934] [1464083301.605413] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.100737] [1464083301.656116] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.150033] [1464083301.706448] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.198826] [1464083301.756763] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.251946] [1464083301.807049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.301907] [1464083301.857338] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.352899] [1464083301.907645] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.400617] [1464083301.958046] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.458847] [1464083302.011551] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.508779] [1464083302.062002] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.558216] [1464083302.113254] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.608111] [1464083302.163656] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.656991] [1464083302.214069] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.706051] [1464083302.264568] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.760305] [1464083302.314977] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.816083] [1464083302.365741] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.864159] [1464083302.416149] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.910103] [1464083302.466537] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073237.959222] [1464083302.517039] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.010233] [1464083302.567349] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.061834] [1464083302.617693] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.116621] [1464083302.668420] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.167416] [1464083302.718831] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.217202] [1464083302.769156] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.266829] [1464083302.819873] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.314688] [1464083302.870262] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.363380] [1464083302.921747] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.418730] [1464083302.974577] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.474079] [1464083303.026659] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.524889] [1464083303.077485] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.573540] [1464083303.129289] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.621111] [1464083303.179739] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.671719] [1464083303.230052] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.725538] [1464083303.280451] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.773354] [1464083303.330791] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.831199] [1464083303.382734] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.880874] [1464083303.433366] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.933304] [1464083303.483697] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073238.977231] [1464083303.534005] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.026930] [1464083303.584370] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.077382] [1464083303.635830] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.131617] [1464083303.686081] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.184049] [1464083303.737200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.237790] [1464083303.789427] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.289082] [1464083303.839810] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.332000] [1464083303.890175] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.385652] [1464083303.940567] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.436051] [1464083303.991396] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.483562] [1464083304.041781] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.534072] [1464083304.092372] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.590049] [1464083304.143264] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.641576] [1464083304.193613] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.693278] [1464083304.248105] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.742990] [1464083304.298430] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.793858] [1464083304.348760] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.843969] [1464083304.399153] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.896391] [1464083304.449477] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.944027] [1464083304.499689] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073239.996974] [1464083304.549965] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.047236] [1464083304.600236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.101286] [1464083304.652446] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.150530] [1464083304.702756] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.200303] [1464083304.753441] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.245660] [1464083304.803853] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.320541] [1464083304.870523] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.368008] [1464083304.921648] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.428786] [1464083304.982944] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.481147] [1464083305.033332] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.528104] [1464083305.083664] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.576235] [1464083305.134261] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.630162] [1464083305.188556] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.680477] [1464083305.238895] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.732693] [1464083305.289425] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.782876] [1464083305.339828] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.837939] [1464083305.390403] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.887495] [1464083305.442532] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.934384] [1464083305.492897] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073240.985052] [1464083305.543271] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.038738] [1464083305.593750] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.094762] [1464083305.645137] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.140174] [1464083305.695481] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.192886] [1464083305.745805] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.237530] [1464083305.796088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.295383] [1464083305.846401] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.346327] [1464083305.897114] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.392040] [1464083305.947371] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.439114] [1464083305.997892] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.496828] [1464083306.048730] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.547517] [1464083306.099063] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.594169] [1464083306.149619] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.644769] [1464083306.200019] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.692323] [1464083306.250864] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.747893] [1464083306.301217] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.793283] [1464083306.351527] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.851368] [1464083306.401868] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.896582] [1464083306.452200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.945559] [1464083306.502700] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073241.997527] [1464083306.553034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.050752] [1464083306.603393] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.101643] [1464083306.653704] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.153489] [1464083306.704074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.197318] [1464083306.754418] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.256051] [1464083306.805655] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.304601] [1464083306.856229] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.350061] [1464083306.907980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.399686] [1464083306.958267] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.452795] [1464083307.008554] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.507491] [1464083307.058826] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.551098] [1464083307.109486] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.601903] [1464083307.159834] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.652256] [1464083307.210162] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.702083] [1464083307.260484] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.755964] [1464083307.310817] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.802555] [1464083307.361124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.859166] [1464083307.411445] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.909276] [1464083307.461808] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073242.958917] [1464083307.514178] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.013738] [1464083307.568588] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.063264] [1464083307.618919] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.116890] [1464083307.669272] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.167112] [1464083307.719588] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.212102] [1464083307.769897] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.269233] [1464083307.820202] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.318543] [1464083307.870508] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.370972] [1464083307.922650] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.422817] [1464083307.974584] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.475836] [1464083308.028300] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.526823] [1464083308.078796] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.570645] [1464083308.129158] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.624440] [1464083308.179622] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.678113] [1464083308.230000] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.729298] [1464083308.280292] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.775295] [1464083308.330784] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.829193] [1464083308.381449] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.878895] [1464083308.431780] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.929194] [1464083308.482275] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073243.981145] [1464083308.532830] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.025064] [1464083308.583170] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.081661] [1464083308.634056] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.135133] [1464083308.686253] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.181807] [1464083308.736616] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.231280] [1464083308.787008] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.283197] [1464083308.837377] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.333857] [1464083308.888946] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.387115] [1464083308.939271] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.436418] [1464083308.989567] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.481476] [1464083309.039894] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.534520] [1464083309.090205] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.589416] [1464083309.140597] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.635649] [1464083309.190997] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.685942] [1464083309.241286] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.740261] [1464083309.291639] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.789973] [1464083309.341937] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.838876] [1464083309.392234] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.883869] [1464083309.442528] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.934500] [1464083309.492798] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073244.988000] [1464083309.543200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.041546] [1464083309.593534] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.088431] [1464083309.644056] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.139520] [1464083309.694445] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.192959] [1464083309.746020] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.243546] [1464083309.796447] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.294089] [1464083309.846726] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.345331] [1464083309.897101] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.395127] [1464083309.948313] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.443997] [1464083309.998705] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.498361] [1464083310.049215] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.545522] [1464083310.099699] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.591806] [1464083310.150034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.645735] [1464083310.200699] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.693536] [1464083310.251029] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.743850] [1464083310.301308] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.799481] [1464083310.351840] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.848953] [1464083310.402253] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.894864] [1464083310.452571] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073245.945113] [1464083310.502904] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.002641] [1464083310.553184] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.047557] [1464083310.603475] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.097222] [1464083310.653740] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.150651] [1464083310.704011] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.196259] [1464083310.754337] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.259494] [1464083310.810674] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.306071] [1464083310.861076] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.353358] [1464083310.911631] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.407819] [1464083310.961959] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.456115] [1464083311.012418] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.507645] [1464083311.062798] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.557472] [1464083311.113163] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.607837] [1464083311.163530] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.655567] [1464083311.213884] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.711768] [1464083311.264580] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.759197] [1464083311.314900] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.808118] [1464083311.366333] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.860837] [1464083311.416682] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.914043] [1464083311.466955] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073246.964811] [1464083311.517247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.015264] [1464083311.567556] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.059851] [1464083311.617936] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.110062] [1464083311.668320] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.161172] [1464083311.718673] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.219428] [1464083311.769065] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.271520] [1464083311.829505] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.327156] [1464083311.879961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.377500] [1464083311.930546] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.423166] [1464083311.980911] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.476852] [1464083312.031260] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.532078] [1464083312.087123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.579178] [1464083312.137512] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.629579] [1464083312.187841] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.687942] [1464083312.238296] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.735804] [1464083312.288628] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.786416] [1464083312.339072] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.836387] [1464083312.389417] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.885045] [1464083312.439740] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.931701] [1464083312.490057] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073247.985439] [1464083312.540324] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.038627] [1464083312.590663] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.088599] [1464083312.640935] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.133466] [1464083312.691244] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.183243] [1464083312.741591] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.239046] [1464083312.792143] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.289066] [1464083312.842477] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.334706] [1464083312.892841] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.385340] [1464083312.943268] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.440882] [1464083312.993778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.488795] [1464083313.044141] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.540590] [1464083313.098714] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.594630] [1464083313.149177] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.643685] [1464083313.199577] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.696770] [1464083313.249871] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.749811] [1464083313.300169] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.793060] [1464083313.350660] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.842902] [1464083313.401060] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.893479] [1464083313.451371] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.950953] [1464083313.502023] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073248.994702] [1464083313.552318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.051457] [1464083313.604636] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.098430] [1464083313.655780] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.156602] [1464083313.708672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.206559] [1464083313.759012] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.257824] [1464083313.809746] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.309031] [1464083313.860124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.357446] [1464083313.910481] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.402674] [1464083313.960850] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.453800] [1464083314.011680] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.503878] [1464083314.062112] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.561877] [1464083314.117256] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.615707] [1464083314.168879] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.660744] [1464083314.219344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.713946] [1464083314.269588] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.763669] [1464083314.319880] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.819804] [1464083314.370312] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.866041] [1464083314.420846] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.913751] [1464083314.471181] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073249.967646] [1464083314.522472] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.017886] [1464083314.572942] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.068643] [1464083314.623501] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.118441] [1464083314.673843] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.166084] [1464083314.724481] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.219674] [1464083314.776210] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.274019] [1464083314.826532] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.329316] [1464083314.880086] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.371953] [1464083314.930523] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.422240] [1464083314.980843] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.478598] [1464083315.031234] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.535427] [1464083315.081531] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.581202] [1464083315.133080] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.630491] [1464083315.183412] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.680916] [1464083315.233734] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.734217] [1464083315.284179] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.777740] [1464083315.334568] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.828507] [1464083315.386065] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.882564] [1464083315.438746] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.933446] [1464083315.489152] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073250.987616] [1464083315.539498] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.035449] [1464083315.589787] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.085794] [1464083315.640231] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.133497] [1464083315.690550] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.189300] [1464083315.740904] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.239219] [1464083315.791275] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.289083] [1464083315.841601] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.338786] [1464083315.892095] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.384351] [1464083315.942469] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.434523] [1464083315.993042] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.488407] [1464083316.043369] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.543668] [1464083316.097022] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.594506] [1464083316.147473] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.645674] [1464083316.197894] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.695178] [1464083316.250608] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.750387] [1464083316.301624] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.799830] [1464083316.352077] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.850528] [1464083316.402759] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.901820] [1464083316.453078] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073251.953220] [1464083316.503426] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.000718] [1464083316.553715] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.051531] [1464083316.604117] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.105082] [1464083316.656297] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.151780] [1464083316.706704] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.201844] [1464083316.757004] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.252465] [1464083316.807308] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.302380] [1464083316.857711] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.356873] [1464083316.908563] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.405501] [1464083316.958899] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.453313] [1464083317.009538] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.508047] [1464083317.059941] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.555690] [1464083317.110543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.613010] [1464083317.164842] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.662064] [1464083317.215204] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.707121] [1464083317.265554] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.760193] [1464083317.315890] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.814680] [1464083317.366396] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.865140] [1464083317.416725] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.915032] [1464083317.467296] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073252.962516] [1464083317.517672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.010116] [1464083317.568088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.063950] [1464083317.618441] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.117926] [1464083317.673474] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.168322] [1464083317.723951] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.222619] [1464083317.774215] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.272323] [1464083317.824967] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.321210] [1464083317.876585] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.374539] [1464083317.926906] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.424801] [1464083317.977270] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.475171] [1464083318.027668] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.519899] [1464083318.078114] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.573063] [1464083318.128718] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.620917] [1464083318.178993] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.671557] [1464083318.229543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.728336] [1464083318.279864] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.775234] [1464083318.330291] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.829461] [1464083318.380612] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.875888] [1464083318.430978] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.926366] [1464083318.482217] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073253.974550] [1464083318.532565] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.024986] [1464083318.582999] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.075607] [1464083318.633365] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.125453] [1464083318.683694] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.181878] [1464083318.734075] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.231588] [1464083318.784633] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.277728] [1464083318.835122] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.336703] [1464083318.888743] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.380564] [1464083318.939150] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.430879] [1464083318.989465] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.484662] [1464083319.039806] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.533176] [1464083319.090075] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.591438] [1464083319.147085] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.640690] [1464083319.198433] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.690769] [1464083319.248741] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.744102] [1464083319.299036] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.792598] [1464083319.350482] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.850100] [1464083319.400703] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.893801] [1464083319.451173] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.943687] [1464083319.501485] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073254.993664] [1464083319.551898] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.048574] [1464083319.602670] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.102906] [1464083319.653147] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.148911] [1464083319.703466] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.198702] [1464083319.753801] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.255471] [1464083319.805473] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.300633] [1464083319.858615] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.350997] [1464083319.908921] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.402070] [1464083319.959247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.452745] [1464083320.009712] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.506920] [1464083320.060235] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.557694] [1464083320.110553] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.603443] [1464083320.160798] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.656381] [1464083320.211088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.705520] [1464083320.261416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.758501] [1464083320.311853] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.809464] [1464083320.362156] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.860772] [1464083320.412549] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.911081] [1464083320.462887] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073255.961443] [1464083320.513505] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.010906] [1464083320.563846] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.056737] [1464083320.614236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.110136] [1464083320.664553] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.159647] [1464083320.714886] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.212393] [1464083320.765209] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.262551] [1464083320.815535] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.313538] [1464083320.865903] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.357751] [1464083320.916195] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.408141] [1464083320.966583] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.462074] [1464083321.017035] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.511845] [1464083321.067356] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.562447] [1464083321.117948] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.615705] [1464083321.168482] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.665322] [1464083321.218779] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.718165] [1464083321.269062] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.763977] [1464083321.319357] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.818082] [1464083321.369639] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.867052] [1464083321.419981] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.915739] [1464083321.470304] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073256.971012] [1464083321.520680] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.014056] [1464083321.571063] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.069669] [1464083321.622021] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.119568] [1464083321.672544] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.167917] [1464083321.723049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.215237] [1464083321.773337] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.266066] [1464083321.823617] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.315938] [1464083321.873939] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.375657] [1464083321.925877] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.420474] [1464083321.976856] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.474488] [1464083322.027359] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.524516] [1464083322.077664] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.576059] [1464083322.128000] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.625423] [1464083322.178338] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.671124] [1464083322.228657] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.720536] [1464083322.278975] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.778463] [1464083322.329289] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.827449] [1464083322.379593] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.877501] [1464083322.429961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.924590] [1464083322.480293] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073257.979468] [1464083322.530604] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.028994] [1464083322.580905] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.078220] [1464083322.631166] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.123867] [1464083322.681942] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.174047] [1464083322.732255] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.224441] [1464083322.782582] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.274400] [1464083322.832980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.332006] [1464083322.883448] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.382547] [1464083322.933777] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.429363] [1464083322.984318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.483574] [1464083323.034879] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.528691] [1464083323.086566] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.583991] [1464083323.136899] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.629521] [1464083323.187391] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.680621] [1464083323.237784] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.730749] [1464083323.288111] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.780683] [1464083323.338606] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.838727] [1464083323.389207] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.884843] [1464083323.439486] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.934840] [1464083323.489903] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073258.985315] [1464083323.540416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.035068] [1464083323.590939] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.083474] [1464083323.641507] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.133530] [1464083323.691876] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.183939] [1464083323.742342] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.237507] [1464083323.792722] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.287450] [1464083323.843059] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.335896] [1464083323.894527] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.392242] [1464083323.944852] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.442043] [1464083323.995139] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.488467] [1464083324.045478] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.543080] [1464083324.095800] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.593118] [1464083324.146208] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.646020] [1464083324.196552] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.695621] [1464083324.248263] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.745416] [1464083324.298585] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.791104] [1464083324.348994] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.841074] [1464083324.399318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.892546] [1464083324.449686] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.947164] [1464083324.500000] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073259.997685] [1464083324.550477] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.049091] [1464083324.600976] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.092910] [1464083324.651301] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.144678] [1464083324.702030] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.194974] [1464083324.753390] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.245260] [1464083324.803796] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.301964] [1464083324.857502] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.357325] [1464083324.907767] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.401254] [1464083324.958143] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.453852] [1464083325.008458] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.505371] [1464083325.058758] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.559556] [1464083325.112236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.610434] [1464083325.162960] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.662875] [1464083325.213211] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.710712] [1464083325.263550] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.761340] [1464083325.314129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.806534] [1464083325.364423] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.861558] [1464083325.414761] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.911919] [1464083325.465145] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073260.962596] [1464083325.515508] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.013283] [1464083325.565989] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.059212] [1464083325.617915] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.115316] [1464083325.668504] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.163498] [1464083325.718827] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.214268] [1464083325.769369] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.264092] [1464083325.819840] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.315252] [1464083325.870121] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.365357] [1464083325.920455] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.415466] [1464083325.970887] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.462924] [1464083326.021196] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.519117] [1464083326.071528] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.565878] [1464083326.122448] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.620175] [1464083326.172773] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.670329] [1464083326.223074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.721095] [1464083326.273703] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.767686] [1464083326.324085] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.821740] [1464083326.374428] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.866601] [1464083326.425013] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.920212] [1464083326.475926] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073261.972419] [1464083326.529665] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.026760] [1464083326.579974] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.077297] [1464083326.630290] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.128202] [1464083326.680548] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.175501] [1464083326.730934] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.229583] [1464083326.781264] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.279036] [1464083326.831547] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.329804] [1464083326.881940] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.381473] [1464083326.932301] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.427370] [1464083326.982780] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.480238] [1464083327.033063] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.527835] [1464083327.083389] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.582630] [1464083327.133654] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.633303] [1464083327.184716] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.678850] [1464083327.236118] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.730378] [1464083327.287427] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.784660] [1464083327.342066] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.833867] [1464083327.392349] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.886609] [1464083327.442663] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.939533] [1464083327.492947] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073262.990347] [1464083327.543246] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.040291] [1464083327.595370] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.096060] [1464083327.647407] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.139648] [1464083327.697752] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.192436] [1464083327.748122] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.243584] [1464083327.798473] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.290877] [1464083327.848942] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.340909] [1464083327.899379] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.397115] [1464083327.949734] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.447510] [1464083328.000062] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.498702] [1464083328.051007] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.549186] [1464083328.101315] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.599070] [1464083328.151554] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.643905] [1464083328.201983] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.699929] [1464083328.252249] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.749416] [1464083328.302585] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.802612] [1464083328.352915] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.848633] [1464083328.403250] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.898325] [1464083328.453594] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073263.952385] [1464083328.504284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.002681] [1464083328.554637] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.052266] [1464083328.605009] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.098503] [1464083328.655353] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.148062] [1464083328.705718] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.197512] [1464083328.756034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.249282] [1464083328.806471] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.304230] [1464083328.856834] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.351794] [1464083328.907166] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.402560] [1464083328.957495] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.453360] [1464083329.007926] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.500504] [1464083329.058250] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.555558] [1464083329.108565] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.606393] [1464083329.158794] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.657023] [1464083329.209168] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.706992] [1464083329.259528] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.754452] [1464083329.309793] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.805101] [1464083329.360165] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.858409] [1464083329.410478] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.907981] [1464083329.460824] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073264.952769] [1464083329.511118] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.006473] [1464083329.561415] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.059317] [1464083329.611758] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.110069] [1464083329.662209] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.159852] [1464083329.712550] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.211242] [1464083329.762796] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.261649] [1464083329.813174] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.305984] [1464083329.864078] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.356258] [1464083329.914490] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.410681] [1464083329.965656] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.460831] [1464083330.016196] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.508570] [1464083330.066705] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.561664] [1464083330.119747] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.617730] [1464083330.170110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.662692] [1464083330.220611] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.718306] [1464083330.271363] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.764303] [1464083330.321771] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.814157] [1464083330.372097] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.864773] [1464083330.422489] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.919798] [1464083330.472788] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073265.966498] [1464083330.523123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.021752] [1464083330.573466] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.070755] [1464083330.623756] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.115681] [1464083330.674050] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.172937] [1464083330.725910] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.225907] [1464083330.777907] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.272918] [1464083330.828253] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.323059] [1464083330.878570] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.377198] [1464083330.928998] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.421386] [1464083330.979327] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.471500] [1464083331.029694] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.531219] [1464083331.082177] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.577279] [1464083331.132650] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.630952] [1464083331.183190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.680778] [1464083331.233519] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.735545] [1464083331.292129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.784941] [1464083331.342427] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.834095] [1464083331.392713] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.886936] [1464083331.443003] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.940577] [1464083331.493312] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073266.986082] [1464083331.543634] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.037122] [1464083331.594089] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.095568] [1464083331.646286] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.141422] [1464083331.696611] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.196676] [1464083331.748068] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.240253] [1464083331.798326] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.290186] [1464083331.848721] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.349533] [1464083331.900642] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.395453] [1464083331.950989] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.446473] [1464083332.001437] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.494049] [1464083332.051985] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.544481] [1464083332.102648] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.594912] [1464083332.152965] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.648220] [1464083332.203259] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.702164] [1464083332.253548] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.752325] [1464083332.303966] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.801470] [1464083332.354452] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.857526] [1464083332.405922] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.916464] [1464083332.468514] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073267.968295] [1464083332.518900] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.027815] [1464083332.579344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.073933] [1464083332.629802] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.129399] [1464083332.682154] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.175739] [1464083332.732566] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.230269] [1464083332.782992] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.280194] [1464083332.833376] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.334647] [1464083332.883985] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.381107] [1464083332.937356] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.435364] [1464083332.987679] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.480015] [1464083333.037967] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.529966] [1464083333.088317] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.580579] [1464083333.138630] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.630572] [1464083333.188942] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.684157] [1464083333.239262] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.733921] [1464083333.290649] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.789714] [1464083333.340951] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.836133] [1464083333.391303] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.885113] [1464083333.441752] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.940383] [1464083333.492028] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073268.989968] [1464083333.542340] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.039853] [1464083333.592662] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.090458] [1464083333.643008] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.136474] [1464083333.693813] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.185978] [1464083333.744144] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.241723] [1464083333.797097] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.293822] [1464083333.851756] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.343576] [1464083333.902126] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.394252] [1464083333.952433] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.444598] [1464083334.002766] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.495210] [1464083334.053301] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.545559] [1464083334.103619] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.599286] [1464083334.154161] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468073269.646566] [1464083334.204698] State machine transitioning 'Flag1':'outcome2'-->'Flag1'