Version: 1.13 
 _ data/zoo_json_reachability/GtsCzechRepublic_4.json -f output/flip/zoo_reach/flip/data/zoo_json_reachability/GtsCzechRepublic_4.json.subpaths
Flip subpaths generated in 0.188 seconds!
real 0.76
user 0.92
sys 0.12
<logging.Logger object at 0x7f1d6e8d87d0>
I1217 13:31:20.2 3277732 flip.py:638] node 11 (11->30->11) adds LOOP: ANY ['30'] < ['11']
I1217 13:31:20.15 3277732 flip.py:638] node 61 (61->42->61) adds LOOP: ANY ['61'] < ['42']
I1217 13:31:20.26 3277732 flip.py:638] node 92 (92->73->92) adds LOOP: ANY ['92'] < ['73']
I1217 13:31:20.35 3277732 flip.py:638] node 123 (123->104->123) adds LOOP: ANY ['123'] < ['104']
I1217 13:31:20.42 3277732 flip.py:638] node 154 (154->135->154) adds LOOP: ANY ['154'] < ['135']
I1217 13:31:20.48 3277732 flip.py:638] node 166 (166->185->166) adds LOOP: ANY ['185'] < ['166']
I1217 13:31:20.52 3277732 flip.py:638] node 216 (216->197->216) adds LOOP: ANY ['216'] < ['197']
I1217 13:31:20.54 3277732 flip.py:638] node 247 (247->228->247) adds LOOP: ANY ['247'] < ['228']
I1217 13:31:20.55 3277732 flip.py:564] node 219 adds BLACKHOLE: ALL ['228'] < ['219']
I1217 13:31:20.55 3277732 flip.py:564] node 229 adds BLACKHOLE: ALL ['228'] < ['229']
I1217 13:31:20.55 3277732 flip.py:564] node 244 adds BLACKHOLE: ALL ['228'] < ['244']
I1217 13:31:20.55 3277732 flip.py:564] node 245 adds BLACKHOLE: ALL ['228'] < ['245']
I1217 13:31:20.55 3277732 flip.py:564] node 223 adds BLACKHOLE: ALL ['226'] < ['223']
I1217 13:31:20.55 3277732 flip.py:564] node 221 adds BLACKHOLE: ALL ['226'] < ['221']
I1217 13:31:20.56 3277732 flip.py:564] node 222 adds BLACKHOLE: ALL ['226'] < ['222']
I1217 13:31:20.56 3277732 flip.py:564] node 188 adds BLACKHOLE: ALL ['197'] < ['188']
I1217 13:31:20.56 3277732 flip.py:564] node 198 adds BLACKHOLE: ALL ['197'] < ['198']
I1217 13:31:20.56 3277732 flip.py:564] node 213 adds BLACKHOLE: ALL ['197'] < ['213']
I1217 13:31:20.56 3277732 flip.py:564] node 214 adds BLACKHOLE: ALL ['197'] < ['214']
I1217 13:31:20.56 3277732 flip.py:564] node 192 adds BLACKHOLE: ALL ['195'] < ['192']
I1217 13:31:20.56 3277732 flip.py:564] node 190 adds BLACKHOLE: ALL ['195'] < ['190']
I1217 13:31:20.57 3277732 flip.py:564] node 191 adds BLACKHOLE: ALL ['195'] < ['191']
I1217 13:31:20.57 3277732 flip.py:564] node 157 adds BLACKHOLE: ALL ['166'] < ['157']
I1217 13:31:20.57 3277732 flip.py:564] node 167 adds BLACKHOLE: ALL ['166'] < ['167']
I1217 13:31:20.57 3277732 flip.py:564] node 182 adds BLACKHOLE: ALL ['166'] < ['182']
I1217 13:31:20.57 3277732 flip.py:564] node 183 adds BLACKHOLE: ALL ['166'] < ['183']
I1217 13:31:20.57 3277732 flip.py:564] node 161 adds BLACKHOLE: ALL ['164'] < ['161']
I1217 13:31:20.57 3277732 flip.py:564] node 159 adds BLACKHOLE: ALL ['164'] < ['159']
I1217 13:31:20.57 3277732 flip.py:564] node 160 adds BLACKHOLE: ALL ['164'] < ['160']
I1217 13:31:20.58 3277732 flip.py:564] node 126 adds BLACKHOLE: ALL ['135'] < ['126']
I1217 13:31:20.58 3277732 flip.py:564] node 136 adds BLACKHOLE: ALL ['135'] < ['136']
I1217 13:31:20.58 3277732 flip.py:564] node 151 adds BLACKHOLE: ALL ['135'] < ['151']
I1217 13:31:20.58 3277732 flip.py:564] node 152 adds BLACKHOLE: ALL ['135'] < ['152']
I1217 13:31:20.58 3277732 flip.py:564] node 130 adds BLACKHOLE: ALL ['133'] < ['130']
I1217 13:31:20.58 3277732 flip.py:564] node 128 adds BLACKHOLE: ALL ['133'] < ['128']
I1217 13:31:20.58 3277732 flip.py:564] node 129 adds BLACKHOLE: ALL ['133'] < ['129']
I1217 13:31:20.58 3277732 flip.py:564] node 95 adds BLACKHOLE: ALL ['104'] < ['95']
I1217 13:31:20.58 3277732 flip.py:564] node 105 adds BLACKHOLE: ALL ['104'] < ['105']
I1217 13:31:20.59 3277732 flip.py:564] node 120 adds BLACKHOLE: ALL ['104'] < ['120']
I1217 13:31:20.59 3277732 flip.py:564] node 121 adds BLACKHOLE: ALL ['104'] < ['121']
I1217 13:31:20.59 3277732 flip.py:564] node 99 adds BLACKHOLE: ALL ['102'] < ['99']
I1217 13:31:20.59 3277732 flip.py:564] node 97 adds BLACKHOLE: ALL ['102'] < ['97']
I1217 13:31:20.59 3277732 flip.py:564] node 98 adds BLACKHOLE: ALL ['102'] < ['98']
I1217 13:31:20.59 3277732 flip.py:564] node 64 adds BLACKHOLE: ALL ['73'] < ['64']
I1217 13:31:20.59 3277732 flip.py:564] node 74 adds BLACKHOLE: ALL ['73'] < ['74']
I1217 13:31:20.60 3277732 flip.py:564] node 89 adds BLACKHOLE: ALL ['73'] < ['89']
I1217 13:31:20.60 3277732 flip.py:564] node 90 adds BLACKHOLE: ALL ['73'] < ['90']
I1217 13:31:20.60 3277732 flip.py:564] node 68 adds BLACKHOLE: ALL ['71'] < ['68']
I1217 13:31:20.60 3277732 flip.py:564] node 66 adds BLACKHOLE: ALL ['71'] < ['66']
I1217 13:31:20.60 3277732 flip.py:564] node 67 adds BLACKHOLE: ALL ['71'] < ['67']
I1217 13:31:20.60 3277732 flip.py:564] node 33 adds BLACKHOLE: ALL ['42'] < ['33']
I1217 13:31:20.60 3277732 flip.py:564] node 43 adds BLACKHOLE: ALL ['42'] < ['43']
I1217 13:31:20.60 3277732 flip.py:564] node 58 adds BLACKHOLE: ALL ['42'] < ['58']
I1217 13:31:20.60 3277732 flip.py:564] node 59 adds BLACKHOLE: ALL ['42'] < ['59']
I1217 13:31:20.61 3277732 flip.py:564] node 37 adds BLACKHOLE: ALL ['40'] < ['37']
I1217 13:31:20.61 3277732 flip.py:564] node 35 adds BLACKHOLE: ALL ['40'] < ['35']
I1217 13:31:20.61 3277732 flip.py:564] node 36 adds BLACKHOLE: ALL ['40'] < ['36']
I1217 13:31:20.61 3277732 flip.py:564] node 2 adds BLACKHOLE: ALL ['11'] < ['2']
I1217 13:31:20.61 3277732 flip.py:564] node 12 adds BLACKHOLE: ALL ['11'] < ['12']
I1217 13:31:20.61 3277732 flip.py:564] node 27 adds BLACKHOLE: ALL ['11'] < ['27']
I1217 13:31:20.61 3277732 flip.py:564] node 28 adds BLACKHOLE: ALL ['11'] < ['28']
I1217 13:31:20.62 3277732 flip.py:564] node 6 adds BLACKHOLE: ALL ['9'] < ['6']
I1217 13:31:20.62 3277732 flip.py:564] node 4 adds BLACKHOLE: ALL ['9'] < ['4']
I1217 13:31:20.62 3277732 flip.py:564] node 5 adds BLACKHOLE: ALL ['9'] < ['5']
I1217 13:31:20.62 3277732 flip.py:564] node 26 adds BLACKHOLE: ALL ['26'] < ['9']
I1217 13:31:20.62 3277732 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['9']
I1217 13:31:20.63 3277732 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['9']
I1217 13:31:20.63 3277732 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['9']
I1217 13:31:20.63 3277732 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['9']
I1217 13:31:20.63 3277732 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['9']
I1217 13:31:20.63 3277732 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['30']
I1217 13:31:20.63 3277732 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['30']
I1217 13:31:20.63 3277732 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['40']
I1217 13:31:20.63 3277732 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['40']
I1217 13:31:20.64 3277732 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['40']
I1217 13:31:20.64 3277732 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['40']
I1217 13:31:20.64 3277732 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['40']
I1217 13:31:20.64 3277732 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['40']
I1217 13:31:20.64 3277732 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['61']
I1217 13:31:20.64 3277732 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['61']
I1217 13:31:20.64 3277732 flip.py:564] node 88 adds BLACKHOLE: ALL ['88'] < ['71']
I1217 13:31:20.64 3277732 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['71']
I1217 13:31:20.64 3277732 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['71']
I1217 13:31:20.65 3277732 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['71']
I1217 13:31:20.65 3277732 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['71']
I1217 13:31:20.65 3277732 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['71']
I1217 13:31:20.65 3277732 flip.py:564] node 65 adds BLACKHOLE: ALL ['65'] < ['92']
I1217 13:31:20.65 3277732 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['92']
I1217 13:31:20.65 3277732 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['102']
I1217 13:31:20.65 3277732 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['102']
I1217 13:31:20.65 3277732 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['102']
I1217 13:31:20.66 3277732 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['102']
I1217 13:31:20.66 3277732 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['102']
I1217 13:31:20.66 3277732 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['102']
I1217 13:31:20.66 3277732 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['123']
I1217 13:31:20.66 3277732 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['123']
I1217 13:31:20.66 3277732 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['133']
I1217 13:31:20.66 3277732 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['133']
I1217 13:31:20.66 3277732 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['133']
I1217 13:31:20.67 3277732 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['133']
I1217 13:31:20.67 3277732 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['133']
I1217 13:31:20.67 3277732 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['133']
I1217 13:31:20.67 3277732 flip.py:564] node 127 adds BLACKHOLE: ALL ['127'] < ['154']
I1217 13:31:20.67 3277732 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['154']
I1217 13:31:20.67 3277732 flip.py:564] node 181 adds BLACKHOLE: ALL ['181'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 180 adds BLACKHOLE: ALL ['180'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 171 adds BLACKHOLE: ALL ['171'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['164']
I1217 13:31:20.68 3277732 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['185']
I1217 13:31:20.68 3277732 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['185']
I1217 13:31:20.68 3277732 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 202 adds BLACKHOLE: ALL ['202'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['195']
I1217 13:31:20.69 3277732 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['216']
I1217 13:31:20.69 3277732 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['216']
I1217 13:31:20.69 3277732 flip.py:564] node 243 adds BLACKHOLE: ALL ['243'] < ['226']
I1217 13:31:20.69 3277732 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['226']
I1217 13:31:20.70 3277732 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['226']
I1217 13:31:20.70 3277732 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['226']
I1217 13:31:20.70 3277732 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['226']
I1217 13:31:20.70 3277732 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['226']
I1217 13:31:20.70 3277732 flip.py:564] node 220 adds BLACKHOLE: ALL ['220'] < ['247']
I1217 13:31:20.70 3277732 flip.py:564] node 239 adds BLACKHOLE: ALL ['239'] < ['247']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:31:20.85 3277732 lplib.py:51] Restricted license - for non-production use only - expires 2022-01-13
/nfs/home/student.aau.dk/rtollu18/.local/lib/python2.7/site-packages/pulp/pulp.py:1313: UserWarning: Spaces are not permitted in the name. Converted to '_'
  warnings.warn("Spaces are not permitted in the name. Converted to '_'")
Finished in  0.252149  seconds

*PREUPDATE*
	
*STEP 1*
	OP<101>: migrate
	OP<107>: migrate
	OP<108>: migrate
	OP<109>: migrate
	OP<110>: migrate
	OP<115>: migrate
	OP<116>: migrate
	OP<118>: migrate
	OP<119>: migrate
	OP<127>: migrate
	OP<132>: migrate
	OP<138>: migrate
	OP<139>: migrate
	OP<14>: migrate
	OP<140>: migrate
	OP<141>: migrate
	OP<146>: migrate
	OP<147>: migrate
	OP<149>: migrate
	OP<15>: migrate
	OP<150>: migrate
	OP<158>: migrate
	OP<16>: migrate
	OP<163>: migrate
	OP<169>: migrate
	OP<17>: migrate
	OP<170>: migrate
	OP<171>: migrate
	OP<172>: migrate
	OP<177>: migrate
	OP<178>: migrate
	OP<180>: migrate
	OP<181>: migrate
	OP<189>: migrate
	OP<194>: migrate
	OP<200>: migrate
	OP<201>: migrate
	OP<202>: migrate
	OP<203>: migrate
	OP<208>: migrate
	OP<209>: migrate
	OP<211>: migrate
	OP<212>: migrate
	OP<22>: migrate
	OP<220>: migrate
	OP<225>: migrate
	OP<23>: migrate
	OP<231>: migrate
	OP<232>: migrate
	OP<233>: migrate
	OP<234>: migrate
	OP<239>: migrate
	OP<240>: migrate
	OP<242>: migrate
	OP<243>: migrate
	OP<25>: migrate
	OP<26>: migrate
	OP<3>: migrate
	OP<34>: migrate
	OP<39>: migrate
	OP<45>: migrate
	OP<46>: migrate
	OP<47>: migrate
	OP<48>: migrate
	OP<53>: migrate
	OP<54>: migrate
	OP<56>: migrate
	OP<57>: migrate
	OP<65>: migrate
	OP<70>: migrate
	OP<76>: migrate
	OP<77>: migrate
	OP<78>: migrate
	OP<79>: migrate
	OP<8>: migrate
	OP<84>: migrate
	OP<85>: migrate
	OP<87>: migrate
	OP<88>: migrate
	OP<96>: migrate
*STEP 2*
	OP<102>: migrate
	OP<123>: migrate
	OP<133>: migrate
	OP<154>: migrate
	OP<164>: migrate
	OP<185>: migrate
	OP<195>: migrate
	OP<216>: migrate
	OP<226>: migrate
	OP<247>: migrate
	OP<30>: migrate
	OP<40>: migrate
	OP<61>: migrate
	OP<71>: migrate
	OP<9>: migrate
	OP<92>: migrate
*STEP 3*
	OP<104>: migrate
	OP<11>: migrate
	OP<128>: migrate
	OP<129>: migrate
	OP<130>: migrate
	OP<135>: migrate
	OP<159>: migrate
	OP<160>: migrate
	OP<161>: migrate
	OP<166>: migrate
	OP<190>: migrate
	OP<191>: migrate
	OP<192>: migrate
	OP<197>: migrate
	OP<221>: migrate
	OP<222>: migrate
	OP<223>: migrate
	OP<228>: migrate
	OP<35>: migrate
	OP<36>: migrate
	OP<37>: migrate
	OP<4>: migrate
	OP<42>: migrate
	OP<5>: migrate
	OP<6>: migrate
	OP<66>: migrate
	OP<67>: migrate
	OP<68>: migrate
	OP<73>: migrate
	OP<97>: migrate
	OP<98>: migrate
	OP<99>: migrate
*STEP 4*
	OP<105>: migrate
	OP<12>: migrate
	OP<120>: migrate
	OP<121>: migrate
	OP<126>: migrate
	OP<136>: migrate
	OP<151>: migrate
	OP<152>: migrate
	OP<157>: migrate
	OP<167>: migrate
	OP<182>: migrate
	OP<183>: migrate
	OP<188>: migrate
	OP<198>: migrate
	OP<2>: migrate
	OP<213>: migrate
	OP<214>: migrate
	OP<219>: migrate
	OP<229>: migrate
	OP<244>: migrate
	OP<245>: migrate
	OP<27>: migrate
	OP<28>: migrate
	OP<33>: migrate
	OP<43>: migrate
	OP<58>: migrate
	OP<59>: migrate
	OP<64>: migrate
	OP<74>: migrate
	OP<89>: migrate
	OP<90>: migrate
	OP<95>: migrate
*POSTUPDATE*
	
