[INFO] [WallTime: 1468072818.354991] [1464082665.759228] State machine starting in initial state 'Flag1' with userdata: [] [INFO] [WallTime: 1468072818.405584] [1464082665.809869] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.459363] [1464082665.860555] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.509635] [1464082665.910873] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.559436] [1464082665.961242] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.613067] [1464082666.011584] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.665847] [1464082666.061940] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.714025] [1464082666.112324] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.759508] [1464082666.162768] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.814784] [1464082666.213524] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.860450] [1464082666.263862] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.915701] [1464082666.314494] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072818.966099] [1464082666.364853] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.016757] [1464082666.415434] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.063060] [1464082666.467129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.116853] [1464082666.517439] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.166589] [1464082666.567800] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.216381] [1464082666.618144] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.266848] [1464082666.668521] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.317142] [1464082666.718894] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.370992] [1464082666.769284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.421312] [1464082666.819672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.471775] [1464082666.870060] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.523024] [1464082666.920365] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.569045] [1464082666.970750] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.619384] [1464082667.021080] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.673190] [1464082667.071408] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.722919] [1464082667.121741] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.768669] [1464082667.172084] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.818418] [1464082667.222416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.868512] [1464082667.272778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.922432] [1464082667.323169] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072819.971775] [1464082667.373569] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.025507] [1464082667.424099] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.075448] [1464082667.476920] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.129484] [1464082667.527367] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.180658] [1464082667.577694] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.226176] [1464082667.628033] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.280003] [1464082667.678401] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.329927] [1464082667.728766] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.380019] [1464082667.779154] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.426147] [1464082667.829502] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.475853] [1464082667.879905] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.529536] [1464082667.930478] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.579189] [1464082667.980829] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.633407] [1464082668.031205] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.683324] [1464082668.081568] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.733434] [1464082668.131923] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.783653] [1464082668.182317] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.829410] [1464082668.232673] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.878871] [1464082668.283035] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.932617] [1464082668.333410] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072820.979832] [1464082668.384064] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.029854] [1464082668.434598] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.084181] [1464082668.484992] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.133926] [1464082668.535340] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.184976] [1464082668.586236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.234834] [1464082668.636558] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.287985] [1464082668.686908] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.333347] [1464082668.737277] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.383250] [1464082668.787617] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.433624] [1464082668.838049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.483855] [1464082668.888410] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.535247] [1464082668.938756] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.585196] [1464082668.989011] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.635056] [1464082669.039410] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.688639] [1464082669.089787] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.738837] [1464082669.140129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.788880] [1464082669.190547] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.839172] [1464082669.240944] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.893601] [1464082669.291296] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.939758] [1464082669.341656] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072821.990494] [1464082669.392009] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.040580] [1464082669.442684] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.090791] [1464082669.493013] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.143828] [1464082669.543315] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.188873] [1464082669.593644] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.246597] [1464082669.644321] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.297144] [1464082669.694838] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.347180] [1464082669.745208] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.396993] [1464082669.795677] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.442508] [1464082669.846304] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.493267] [1464082669.896722] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.543071] [1464082669.947077] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.593668] [1464082669.998034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.644291] [1464082670.048364] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.698277] [1464082670.098710] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.744644] [1464082670.149048] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.798576] [1464082670.199820] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.857246] [1464082670.260283] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.907196] [1464082670.310638] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072822.956792] [1464082670.360980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.006863] [1464082670.411375] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.071212] [1464082670.468467] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.120751] [1464082670.518764] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.169720] [1464082670.569045] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.214944] [1464082670.619370] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.267909] [1464082670.669673] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.321181] [1464082670.719957] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.371314] [1464082670.770391] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.421431] [1464082670.820708] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.467598] [1464082670.871335] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.517253] [1464082670.921695] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.567433] [1464082670.972024] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.620972] [1464082671.022264] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.670793] [1464082671.072749] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.726104] [1464082671.123289] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.772021] [1464082671.173703] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.822160] [1464082671.224197] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.876468] [1464082671.274591] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.926497] [1464082671.325435] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072823.973044] [1464082671.377095] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.023740] [1464082671.427408] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.079677] [1464082671.477727] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.128975] [1464082671.528049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.180068] [1464082671.578376] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.229271] [1464082671.628684] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.280892] [1464082671.679123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.331791] [1464082671.729472] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.378575] [1464082671.779965] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.428414] [1464082671.830288] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.482352] [1464082671.880619] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.527999] [1464082671.932524] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.581461] [1464082671.982980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.635983] [1464082672.033477] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.681933] [1464082672.085153] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.731471] [1464082672.135497] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.787397] [1464082672.186657] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.833188] [1464082672.236980] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.885228] [1464082672.287485] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.939392] [1464082672.337809] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072824.985329] [1464082672.388290] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.039950] [1464082672.438626] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.088434] [1464082672.489416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.138168] [1464082672.540639] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.191447] [1464082672.590990] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.236796] [1464082672.641307] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.290755] [1464082672.691707] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.340390] [1464082672.742157] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.390493] [1464082672.792507] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.444667] [1464082672.843201] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.495065] [1464082672.896590] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.544958] [1464082672.948765] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.594995] [1464082672.999119] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.645528] [1464082673.049470] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.695626] [1464082673.100034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.749099] [1464082673.150355] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.798849] [1464082673.200676] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.853205] [1464082673.251203] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.898397] [1464082673.301575] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.948334] [1464082673.351902] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072825.998216] [1464082673.402358] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.048194] [1464082673.452653] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.101476] [1464082673.503887] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.155292] [1464082673.554383] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.202229] [1464082673.606669] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.255378] [1464082673.656889] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.308756] [1464082673.707242] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.354111] [1464082673.758740] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.408183] [1464082673.809081] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.454586] [1464082673.859528] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.508540] [1464082673.909885] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.562227] [1464082673.960252] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.608933] [1464082674.010579] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.659167] [1464082674.060899] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.712995] [1464082674.111213] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.762729] [1464082674.161543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.813577] [1464082674.212141] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.863091] [1464082674.262378] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.908228] [1464082674.312828] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072826.961161] [1464082674.363155] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.014188] [1464082674.413449] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.068261] [1464082674.467364] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.119115] [1464082674.517688] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.169047] [1464082674.567968] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.219549] [1464082674.618274] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.269910] [1464082674.668594] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.319413] [1464082674.718945] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.365207] [1464082674.769268] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.423375] [1464082674.819530] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.471316] [1464082674.869919] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.516651] [1464082674.920279] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.566780] [1464082674.970600] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.616501] [1464082675.020993] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.668310] [1464082675.071375] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.718039] [1464082675.121696] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.768248] [1464082675.172205] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.817755] [1464082675.222576] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.871639] [1464082675.272928] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.921623] [1464082675.323454] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072827.975272] [1464082675.373821] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.025051] [1464082675.424129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.070187] [1464082675.474359] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.120899] [1464082675.524649] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.178959] [1464082675.577326] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.228890] [1464082675.627534] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.274777] [1464082675.677902] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.324518] [1464082675.728247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.380323] [1464082675.778532] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.428617] [1464082675.829320] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.477977] [1464082675.879624] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.528933] [1464082675.929964] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.576471] [1464082675.980320] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.625902] [1464082676.030694] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.679693] [1464082676.081140] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.733842] [1464082676.132779] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.786356] [1464082676.185939] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.831979] [1464082676.236261] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.885562] [1464082676.286711] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.935223] [1464082676.336960] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072828.989269] [1464082676.387270] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.039033] [1464082676.437582] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.089123] [1464082676.487881] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.134786] [1464082676.538417] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.184246] [1464082676.588884] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.240157] [1464082676.639210] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.290236] [1464082676.689565] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.344267] [1464082676.744615] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.393842] [1464082676.794990] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.447950] [1464082676.845486] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.490961] [1464082676.895789] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.544545] [1464082676.946123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.598121] [1464082676.996608] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.648107] [1464082677.046890] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.692770] [1464082677.097178] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.745612] [1464082677.147523] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.798677] [1464082677.197846] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.844776] [1464082677.248189] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.894786] [1464082677.298522] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072829.953173] [1464082677.351061] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.002914] [1464082677.401376] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.053777] [1464082677.452216] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.103173] [1464082677.502515] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.148206] [1464082677.553035] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.205784] [1464082677.604157] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.255614] [1464082677.654535] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.305933] [1464082677.704888] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.351904] [1464082677.755336] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.401702] [1464082677.805724] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.451076] [1464082677.856057] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.501932] [1464082677.906386] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.554993] [1464082677.956689] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.608204] [1464082678.007130] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.658362] [1464082678.059041] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.707981] [1464082678.109363] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.757833] [1464082678.159749] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.811757] [1464082678.210065] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.861754] [1464082678.260354] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.911676] [1464082678.310638] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072830.961373] [1464082678.360976] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.006976] [1464082678.411301] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.063259] [1464082678.462077] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.110925] [1464082678.512522] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.165234] [1464082678.567674] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.219303] [1464082678.618029] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.265213] [1464082678.668423] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.314903] [1464082678.718805] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.364827] [1464082678.769206] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.414747] [1464082678.819533] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.468616] [1464082678.869855] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.518709] [1464082678.920267] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.568771] [1464082678.970496] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.618970] [1464082679.020809] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.672667] [1464082679.071284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.717412] [1464082679.121580] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.770379] [1464082679.171874] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.819945] [1464082679.222171] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.869135] [1464082679.272538] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.918485] [1464082679.323088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072831.972044] [1464082679.373511] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.026064] [1464082679.423986] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.072941] [1464082679.474345] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.120047] [1464082679.524636] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.176226] [1464082679.577660] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.230401] [1464082679.628930] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.280861] [1464082679.679220] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.330468] [1464082679.729495] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.376531] [1464082679.779871] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.426442] [1464082679.830484] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.476268] [1464082679.880894] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.526311] [1464082679.931247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.580107] [1464082679.981778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.634425] [1464082680.032138] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.684188] [1464082680.082543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.733840] [1464082680.133011] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.779509] [1464082680.183467] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.829464] [1464082680.233775] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.882149] [1464082680.284077] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.935323] [1464082680.337073] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072832.988284] [1464082680.387303] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.033727] [1464082680.437576] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.083339] [1464082680.487844] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.137142] [1464082680.538244] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.183853] [1464082680.588849] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.237328] [1464082680.639220] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.291511] [1464082680.689754] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.341202] [1464082680.740088] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.392457] [1464082680.790992] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.443598] [1464082680.841435] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.493292] [1464082680.891758] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.543464] [1464082680.942293] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.593643] [1464082680.993080] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.639705] [1464082681.043617] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.697756] [1464082681.094143] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.740938] [1464082681.144753] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.790901] [1464082681.195230] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.840928] [1464082681.245654] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.895033] [1464082681.296260] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.950670] [1464082681.346636] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072833.998322] [1464082681.396977] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.043701] [1464082681.447308] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.093079] [1464082681.497591] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.146293] [1464082681.547905] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.193625] [1464082681.598276] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.245433] [1464082681.648623] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.295368] [1464082681.699085] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.345283] [1464082681.749782] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.399316] [1464082681.800312] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.449041] [1464082681.850815] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.502610] [1464082681.901165] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.552481] [1464082681.951520] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.598021] [1464082682.001901] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.647594] [1464082682.052228] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.701420] [1464082682.103064] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.751504] [1464082682.155187] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.809170] [1464082682.206639] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.854846] [1464082682.256935] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.908900] [1464082682.307302] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072834.958686] [1464082682.357628] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.008808] [1464082682.407961] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.054523] [1464082682.459074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.104861] [1464082682.509384] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.158169] [1464082682.559698] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.211610] [1464082682.610543] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.259451] [1464082682.660874] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.309248] [1464082682.712105] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.358834] [1464082682.762550] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.416768] [1464082682.815222] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.470612] [1464082682.867878] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.517242] [1464082682.918316] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.566780] [1464082682.968682] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.620707] [1464082683.019091] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.670692] [1464082683.069443] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.721672] [1464082683.119710] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.771637] [1464082683.170079] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.821569] [1464082683.220354] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.867312] [1464082683.270817] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.917012] [1464082683.321147] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072835.967197] [1464082683.371528] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.017235] [1464082683.421868] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.071376] [1464082683.472278] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.118110] [1464082683.522539] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.168603] [1464082683.572956] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.218990] [1464082683.623567] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.269201] [1464082683.673875] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.323080] [1464082683.724318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.377080] [1464082683.775287] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.427456] [1464082683.825753] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.474420] [1464082683.876074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.528033] [1464082683.927362] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.572976] [1464082683.977651] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.623413] [1464082684.027906] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.676949] [1464082684.079487] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.731170] [1464082684.129929] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.781235] [1464082684.180387] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.831628] [1464082684.230767] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.877249] [1464082684.281195] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.926980] [1464082684.331558] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072836.980664] [1464082684.382330] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.031006] [1464082684.432821] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.084862] [1464082684.483178] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.135247] [1464082684.534008] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.185343] [1464082684.585274] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.239775] [1464082684.639222] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.293449] [1464082684.692956] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.338459] [1464082684.743217] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.391526] [1464082684.793519] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.444443] [1464082684.843795] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.489668] [1464082684.894411] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.543621] [1464082684.946041] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.597706] [1464082684.996505] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.645658] [1464082685.047311] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.698940] [1464082685.097760] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.744141] [1464082685.148082] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.800095] [1464082685.198369] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.849741] [1464082685.248708] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.899941] [1464082685.299072] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072837.945963] [1464082685.349873] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.003507] [1464082685.400213] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.051696] [1464082685.450574] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.102180] [1464082685.500864] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.151929] [1464082685.551172] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.197385] [1464082685.601487] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.247336] [1464082685.651883] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.305322] [1464082685.702260] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.353662] [1464082685.752509] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.403889] [1464082685.802834] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.454391] [1464082685.853453] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.504454] [1464082685.903783] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.550743] [1464082685.954263] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.600653] [1464082686.004542] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.658695] [1464082686.057490] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.709049] [1464082686.107849] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.759182] [1464082686.158241] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.809187] [1464082686.208619] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.857832] [1464082686.259051] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.907605] [1464082686.309390] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072838.961189] [1464082686.359705] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.006903] [1464082686.410010] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.057331] [1464082686.460431] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.109394] [1464082686.510722] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.159182] [1464082686.561070] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.213527] [1464082686.611417] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.259574] [1464082686.661956] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.313172] [1464082686.712285] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.359469] [1464082686.762625] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.413911] [1464082686.813007] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.464733] [1464082686.863357] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.515097] [1464082686.913801] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.561173] [1464082686.965243] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.611549] [1464082687.015551] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.669623] [1464082687.068779] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.715827] [1464082687.119125] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.765839] [1464082687.169433] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.817049] [1464082687.220878] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.866894] [1464082687.271178] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.916890] [1464082687.321529] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072839.967720] [1464082687.372165] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.026006] [1464082687.425987] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.071380] [1464082687.476297] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.124664] [1464082687.526734] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.177896] [1464082687.577026] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.222903] [1464082687.627353] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.279123] [1464082687.677665] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.329055] [1464082687.728036] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.375062] [1464082687.779404] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.425655] [1464082687.829732] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.482723] [1464082687.880017] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.531927] [1464082687.930305] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.581793] [1464082687.980596] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.626876] [1464082688.031019] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.680549] [1464082688.081301] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.729954] [1464082688.131682] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.783634] [1464082688.182005] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.833208] [1464082688.232318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.878681] [1464082688.282736] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.928363] [1464082688.333060] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072840.978810] [1464082688.383629] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.037092] [1464082688.434484] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.086357] [1464082688.484920] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.139966] [1464082688.538131] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.190357] [1464082688.588466] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.236702] [1464082688.638813] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.290561] [1464082688.689298] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.341878] [1464082688.740802] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.391963] [1464082688.791317] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.437075] [1464082688.841628] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.492944] [1464082688.892046] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.542425] [1464082688.947130] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.596224] [1464082688.997497] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.646520] [1464082689.047789] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.692963] [1464082689.098082] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.745945] [1464082689.148314] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.794578] [1464082689.198613] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.851854] [1464082689.248904] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.897175] [1464082689.299217] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072841.951092] [1464082689.349643] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.001072] [1464082689.400027] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.050908] [1464082689.450565] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.096830] [1464082689.500915] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.146994] [1464082689.551234] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.205102] [1464082689.601583] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.253333] [1464082689.652119] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.301831] [1464082689.703138] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.351420] [1464082689.756116] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.405095] [1464082689.806791] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.454814] [1464082689.857101] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.507663] [1464082689.907353] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.560512] [1464082689.957646] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.605524] [1464082690.007945] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.659029] [1464082690.058324] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.704786] [1464082690.108726] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.754714] [1464082690.159044] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.808347] [1464082690.209353] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.858044] [1464082690.259710] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.908422] [1464082690.310011] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072842.961114] [1464082690.360294] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.006216] [1464082690.410629] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.059448] [1464082690.461030] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.109067] [1464082690.511373] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.163164] [1464082690.561701] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.213497] [1464082690.612110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.263067] [1464082690.662473] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.310688] [1464082690.715180] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.368205] [1464082690.766973] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.413587] [1464082690.817382] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.463135] [1464082690.867695] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.517001] [1464082690.918185] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.567406] [1464082690.968683] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.617370] [1464082691.018997] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.665848] [1464082691.069325] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.715182] [1464082691.119746] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.769387] [1464082691.170072] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.816006] [1464082691.220352] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.869878] [1464082691.270672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.919678] [1464082691.321036] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072843.969231] [1464082691.371349] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.023182] [1464082691.421731] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.073203] [1464082691.472103] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.123081] [1464082691.522421] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.168835] [1464082691.572743] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.219416] [1464082691.623071] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.269240] [1464082691.673395] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.323885] [1464082691.724037] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.373534] [1464082691.775266] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.427558] [1464082691.826195] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.472702] [1464082691.876416] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.522722] [1464082691.926984] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.576058] [1464082691.977289] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.629609] [1464082692.030780] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.679769] [1464082692.081153] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.729594] [1464082692.131637] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.783422] [1464082692.181998] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.829205] [1464082692.232765] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.880222] [1464082692.283123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.934414] [1464082692.338575] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072844.984493] [1464082692.388926] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.038222] [1464082692.439356] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.088074] [1464082692.489681] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.138169] [1464082692.540037] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.192427] [1464082692.590410] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.242024] [1464082692.640815] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.292432] [1464082692.691144] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.345533] [1464082692.742360] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.390302] [1464082692.792672] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.443413] [1464082692.842936] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.488789] [1464082692.893265] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.538783] [1464082692.943656] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.589820] [1464082692.994276] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.643681] [1464082693.044767] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.697676] [1464082693.098675] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.751586] [1464082693.149001] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.797269] [1464082693.199306] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.851222] [1464082693.249950] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.901315] [1464082693.300332] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.947038] [1464082693.350855] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072845.996792] [1464082693.401266] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.050728] [1464082693.451599] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.100475] [1464082693.501932] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.150548] [1464082693.552297] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.204693] [1464082693.602521] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.250707] [1464082693.652758] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.304544] [1464082693.703260] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.350347] [1464082693.754292] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.409178] [1464082693.806946] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.459021] [1464082693.857372] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.513209] [1464082693.909655] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.556396] [1464082693.960781] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.614267] [1464082694.012842] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.664101] [1464082694.063168] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.710133] [1464082694.113530] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.760172] [1464082694.164190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.810404] [1464082694.214443] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.860384] [1464082694.264763] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.911133] [1464082694.315102] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072846.964736] [1464082694.365514] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.018946] [1464082694.415915] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.068386] [1464082694.468129] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.114043] [1464082694.518500] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.168267] [1464082694.568858] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.220304] [1464082694.619187] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.266113] [1464082694.669496] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.315354] [1464082694.719781] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.368549] [1464082694.770100] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.418046] [1464082694.820338] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.471378] [1464082694.870676] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.517332] [1464082694.921022] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.573307] [1464082694.971323] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.623059] [1464082695.021654] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.673906] [1464082695.071949] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.723239] [1464082695.122277] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.768245] [1464082695.172575] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.829506] [1464082695.226866] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.879279] [1464082695.277298] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.929546] [1464082695.327634] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072847.979331] [1464082695.377960] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.029144] [1464082695.428373] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.074989] [1464082695.478739] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.125062] [1464082695.529116] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.174580] [1464082695.579436] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.227930] [1464082695.629826] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.282740] [1464082695.680259] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.332773] [1464082695.731058] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.382638] [1464082695.781374] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.428022] [1464082695.831960] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.477488] [1464082695.882295] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.530440] [1464082695.932831] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.583776] [1464082695.983164] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.629126] [1464082696.033490] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.691194] [1464082696.094009] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.745346] [1464082696.144358] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.791313] [1464082696.195681] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.845130] [1464082696.246031] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.894836] [1464082696.296541] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.947949] [1464082696.346818] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072848.992719] [1464082696.397117] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.045924] [1464082696.447393] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.095686] [1464082696.497721] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.149495] [1464082696.548165] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.199143] [1464082696.598442] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.244842] [1464082696.648757] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.294759] [1464082696.699113] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.344719] [1464082696.749420] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.398739] [1464082696.799778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.452951] [1464082696.851197] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.503982] [1464082696.901626] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.554249] [1464082696.952121] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.598438] [1464082697.002476] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.648648] [1464082697.052923] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.706005] [1464082697.103247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.754669] [1464082697.153574] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.807797] [1464082697.204767] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.853152] [1464082697.255223] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.906908] [1464082697.305506] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072849.957308] [1464082697.356008] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.007573] [1464082697.406381] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.057977] [1464082697.456846] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.103798] [1464082697.508503] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.157726] [1464082697.558940] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.207668] [1464082697.609271] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.261617] [1464082697.659746] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.311838] [1464082697.710362] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.361278] [1464082697.760705] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.406662] [1464082697.811121] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.463270] [1464082697.862187] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.513119] [1464082697.912505] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.557716] [1464082697.962808] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.618586] [1464082698.015911] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.667474] [1464082698.066189] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.717751] [1464082698.116692] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.763533] [1464082698.167154] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.813257] [1464082698.217547] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.866995] [1464082698.267907] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.916392] [1464082698.318184] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072850.969256] [1464082698.368474] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.014492] [1464082698.418735] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.067396] [1464082698.469043] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.120860] [1464082698.519355] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.170994] [1464082698.569723] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.221002] [1464082698.620034] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.267596] [1464082698.670382] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.321633] [1464082698.720723] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.369079] [1464082698.771046] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.423309] [1464082698.821397] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.467528] [1464082698.871957] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.517628] [1464082698.922279] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.570759] [1464082698.972566] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.624229] [1464082699.022856] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.669110] [1464082699.073359] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.718925] [1464082699.123669] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.772733] [1464082699.174014] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.822230] [1464082699.224399] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.876038] [1464082699.274889] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.922617] [1464082699.327049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072851.972963] [1464082699.377608] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.027282] [1464082699.427974] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.081404] [1464082699.478341] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.127316] [1464082699.529310] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.181147] [1464082699.582147] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.227535] [1464082699.632485] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.281681] [1464082699.682791] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.331379] [1464082699.733153] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.381253] [1464082699.783506] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.435041] [1464082699.834049] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.481222] [1464082699.884360] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.535857] [1464082699.934658] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.581544] [1464082699.985557] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.631288] [1464082700.035976] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.685279] [1464082700.086357] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.735761] [1464082700.136826] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.790328] [1464082700.187190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.838642] [1464082700.239786] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.888717] [1464082700.292072] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.938580] [1464082700.342407] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072852.988914] [1464082700.392864] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.044338] [1464082700.443227] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.094503] [1464082700.493556] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.140619] [1464082700.544062] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.195059] [1464082700.594404] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.240702] [1464082700.644652] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.292869] [1464082700.696453] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.342611] [1464082700.747043] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.393369] [1464082700.798327] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.447129] [1464082700.849739] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.498785] [1464082700.901019] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.551562] [1464082700.952763] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.604704] [1464082701.003435] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.649796] [1464082701.053740] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.707151] [1464082701.104344] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.752497] [1464082701.154664] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.805930] [1464082701.204976] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.851155] [1464082701.255360] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.900719] [1464082701.305705] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072853.954678] [1464082701.356017] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.002354] [1464082701.406431] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.060376] [1464082701.457649] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.110170] [1464082701.508026] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.159941] [1464082701.558333] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.204914] [1464082701.608847] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.262851] [1464082701.659190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.310564] [1464082701.709531] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.356101] [1464082701.759889] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.405817] [1464082701.810203] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.459953] [1464082701.860523] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.507155] [1464082701.911033] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.564754] [1464082701.961629] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.614065] [1464082702.011966] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.663971] [1464082702.062291] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.714404] [1464082702.112738] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.764623] [1464082702.163113] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.810501] [1464082702.215025] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.873107] [1464082702.275787] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.924757] [1464082702.326426] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072854.974498] [1464082702.376788] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.028136] [1464082702.429447] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.081853] [1464082702.480527] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.127608] [1464082702.530866] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.182122] [1464082702.581276] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.227723] [1464082702.631596] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.277420] [1464082702.682026] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.328948] [1464082702.732435] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.381406] [1464082702.782886] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.431904] [1464082702.833697] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.489987] [1464082702.884131] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.539368] [1464082702.937919] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.588793] [1464082702.988236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.633842] [1464082703.038542] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.687240] [1464082703.088850] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.740849] [1464082703.139188] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.790354] [1464082703.189465] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.840771] [1464082703.239851] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.891082] [1464082703.290270] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.936543] [1464082703.340778] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072855.986605] [1464082703.391134] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.040424] [1464082703.441525] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.090673] [1464082703.492024] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.141254] [1464082703.542435] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.191611] [1464082703.592783] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.241218] [1464082703.643172] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.294959] [1464082703.693503] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.339933] [1464082703.743813] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.397896] [1464082703.794236] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.444370] [1464082703.845696] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.494441] [1464082703.896374] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.547935] [1464082703.946748] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.593816] [1464082703.997114] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.643476] [1464082704.047620] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.693165] [1464082704.098084] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.746635] [1464082704.148426] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.800727] [1464082704.198825] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.850571] [1464082704.249964] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.901131] [1464082704.300333] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072856.952168] [1464082704.350734] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.002591] [1464082704.401212] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.052482] [1464082704.451577] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.098783] [1464082704.502045] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.153253] [1464082704.552408] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.207285] [1464082704.606204] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.252733] [1464082704.656687] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.310676] [1464082704.707174] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.355675] [1464082704.757474] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.408916] [1464082704.807785] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.454032] [1464082704.858083] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.511354] [1464082704.908384] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.556810] [1464082704.958759] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.610663] [1464082705.009110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.660244] [1464082705.059458] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.705805] [1464082705.109771] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.755683] [1464082705.160157] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.806005] [1464082705.210594] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.859745] [1464082705.260963] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.909807] [1464082705.311339] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072857.959499] [1464082705.361690] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.013351] [1464082705.412024] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.063230] [1464082705.462330] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.118514] [1464082705.516853] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.168013] [1464082705.567189] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.213629] [1464082705.617599] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.264099] [1464082705.667964] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.314103] [1464082705.718318] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.364380] [1464082705.768675] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.422436] [1464082705.819059] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.464835] [1464082705.869378] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.518566] [1464082705.919684] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.569093] [1464082705.970723] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.622178] [1464082706.021025] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.667121] [1464082706.071323] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.725869] [1464082706.123518] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.772146] [1464082706.173834] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.826159] [1464082706.224381] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.876081] [1464082706.274710] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.926545] [1464082706.326657] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072858.980314] [1464082706.377029] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.025980] [1464082706.427314] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.075868] [1464082706.477661] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.129527] [1464082706.528104] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.179674] [1464082706.578436] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.225166] [1464082706.628722] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.275426] [1464082706.679058] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.325143] [1464082706.729377] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.377999] [1464082706.779677] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.431417] [1464082706.830098] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.476805] [1464082706.880450] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.529891] [1464082706.933495] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.578991] [1464082706.983824] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.632749] [1464082707.034461] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.691123] [1464082707.088793] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.741344] [1464082707.139124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.790104] [1464082707.189427] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.835098] [1464082707.239728] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.888232] [1464082707.290092] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.942321] [1464082707.340405] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072859.991757] [1464082707.390707] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.041756] [1464082707.441038] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.092406] [1464082707.491370] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.137814] [1464082707.541795] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.187449] [1464082707.592220] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.241437] [1464082707.642977] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.291371] [1464082707.693316] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.345492] [1464082707.743657] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.394971] [1464082707.794157] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.444898] [1464082707.846874] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.499166] [1464082707.897190] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.548898] [1464082707.948275] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.594851] [1464082707.998717] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.652090] [1464082708.049015] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.697475] [1464082708.099268] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.750575] [1464082708.149567] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.795381] [1464082708.199855] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.852207] [1464082708.250277] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.896416] [1464082708.300806] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072860.952820] [1464082708.351139] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.002421] [1464082708.401466] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.052441] [1464082708.451802] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.098341] [1464082708.502115] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.148234] [1464082708.552502] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.199481] [1464082708.602916] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.249569] [1464082708.653266] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.299397] [1464082708.703703] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.353515] [1464082708.754680] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.402921] [1464082708.806892] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.460590] [1464082708.857897] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.510225] [1464082708.908275] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.561102] [1464082708.960788] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.607350] [1464082709.011243] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.657710] [1464082709.061789] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.707907] [1464082709.112237] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.761489] [1464082709.162645] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.810974] [1464082709.214957] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.868623] [1464082709.266020] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.914215] [1464082709.316286] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072861.968030] [1464082709.367200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.013667] [1464082709.417504] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.067870] [1464082709.468408] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.114614] [1464082709.518970] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.164777] [1464082709.569298] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.218293] [1464082709.619626] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.271977] [1464082709.669971] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.322002] [1464082709.720583] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.372739] [1464082709.770865] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.422527] [1464082709.821198] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.472442] [1464082709.871520] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.518733] [1464082709.921829] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.573057] [1464082709.973211] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.622107] [1464082710.024100] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.670848] [1464082710.075775] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.723738] [1464082710.126095] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.776838] [1464082710.176418] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.822966] [1464082710.226869] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.872971] [1464082710.277228] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.922852] [1464082710.327624] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072862.980474] [1464082710.378998] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.030158] [1464082710.429342] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.075939] [1464082710.479696] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.125901] [1464082710.530003] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.175830] [1464082710.580400] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.226348] [1464082710.630873] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.280086] [1464082710.681237] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.329986] [1464082710.731628] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.379729] [1464082710.781954] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.433651] [1464082710.832273] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.484024] [1464082710.882792] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.534928] [1464082710.933083] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.585908] [1464082710.987178] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.635205] [1464082711.037392] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.688347] [1464082711.087842] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.741789] [1464082711.138250] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.790397] [1464082711.189016] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.836182] [1464082711.240413] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.886749] [1464082711.290730] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.936736] [1464082711.341100] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072863.986658] [1464082711.391440] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.040742] [1464082711.441880] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.090976] [1464082711.492209] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.140708] [1464082711.542536] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.194730] [1464082711.593134] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.244317] [1464082711.643466] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.294831] [1464082711.693806] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.349102] [1464082711.745658] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.412744] [1464082711.816957] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.462622] [1464082711.867287] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.516898] [1464082711.917637] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.566715] [1464082711.970683] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.616100] [1464082712.020989] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.670481] [1464082712.071345] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.720696] [1464082712.121796] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072864.768968] [1464082712.172114] State machine transitioning 'Flag1':'outcome1'-->'Flag2' [INFO] [WallTime: 1468072864.820126] [1464082712.222437] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072864.869257] [1464082712.272867] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072864.919346] [1464082712.323260] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072864.969794] [1464082712.373581] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.027745] [1464082712.424636] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.073399] [1464082712.474983] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.127240] [1464082712.525261] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.177476] [1464082712.576705] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.231528] [1464082712.630054] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.281290] [1464082712.680658] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.327111] [1464082712.731168] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.380284] [1464082712.781577] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.429633] [1464082712.831876] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.478542] [1464082712.882264] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.527875] [1464082712.932572] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.582253] [1464082712.983041] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.631850] [1464082713.033485] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.685447] [1464082713.083800] State machine transitioning 'Flag2':'outcome2'-->'Flag2' [INFO] [WallTime: 1468072865.735384] [1464082713.134256] State machine transitioning 'Flag2':'outcome1'-->'Flag1' [INFO] [WallTime: 1468072865.785286] [1464082713.184577] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072865.831178] [1464082713.234917] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072865.880965] [1464082713.285193] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072865.934488] [1464082713.335499] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072865.984586] [1464082713.385786] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.034213] [1464082713.436091] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.087669] [1464082713.486413] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.133463] [1464082713.537841] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.186876] [1464082713.588161] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.236537] [1464082713.638492] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.286469] [1464082713.688821] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.340383] [1464082713.739243] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.390736] [1464082713.789512] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.440955] [1464082713.839916] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.490928] [1464082713.890343] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.541316] [1464082713.940670] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.586159] [1464082713.990969] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.639535] [1464082714.041460] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.691813] [1464082714.094861] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.749311] [1464082714.146408] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.793545] [1464082714.197044] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.843478] [1464082714.247507] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.893626] [1464082714.297855] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.947827] [1464082714.350845] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072866.997447] [1464082714.401197] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.046944] [1464082714.451492] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.097314] [1464082714.501839] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.147723] [1464082714.552198] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.201785] [1464082714.602552] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.251842] [1464082714.652927] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.301671] [1464082714.703200] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.351431] [1464082714.753557] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.405472] [1464082714.803883] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.455387] [1464082714.854355] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.505561] [1464082714.905138] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.559726] [1464082714.957074] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.605877] [1464082715.007404] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.655871] [1464082715.057872] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.709713] [1464082715.108259] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.759754] [1464082715.158604] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.805728] [1464082715.208935] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.855398] [1464082715.259284] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.905718] [1464082715.309680] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072867.955111] [1464082715.360020] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.008804] [1464082715.410343] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.067710] [1464082715.470779] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.117759] [1464082715.521137] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.167470] [1464082715.571510] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.217190] [1464082715.621791] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.268367] [1464082715.672110] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.318258] [1464082715.722443] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.371863] [1464082715.773245] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.421785] [1464082715.823610] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.472167] [1464082715.874340] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.526426] [1464082715.924725] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.577674] [1464082715.975797] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.628083] [1464082716.026247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.675488] [1464082716.079556] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.728337] [1464082716.132828] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.781518] [1464082716.183124] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.830281] [1464082716.234845] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.883417] [1464082716.285247] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.937071] [1464082716.335587] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072868.983577] [1464082716.387337] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.041103] [1464082716.437822] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.089136] [1464082716.490514] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.139466] [1464082716.540827] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.189348] [1464082716.591123] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.243647] [1464082716.641469] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.293153] [1464082716.691819] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.343150] [1464082716.742137] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.388270] [1464082716.792424] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.441281] [1464082716.843540] State machine transitioning 'Flag1':'outcome2'-->'Flag1' [INFO] [WallTime: 1468072869.494493] [1464082716.896574] State machine transitioning 'Flag1':'outcome2'-->'Flag1'