Version: 1.13 
 _ data/zoo_json_alt_waypoint1/TataNld_2.json -f output/flip/data/zoo_json_alt_waypoint1/TataNld_2.json.subpaths
Flip subpaths generated in 0.223 seconds!
real 1.41
user 0.84
sys 0.10
<logging.Logger object at 0x7f7e3911f7d0>
I1217 13:05:23.338 2404663 flip.py:638] node 47 (47->40->47) adds LOOP: ANY ['47'] < ['40']
I1217 13:05:23.361 2404663 flip.py:638] node 192 (192->185->192) adds LOOP: ANY ['192'] < ['185']
I1217 13:05:23.368 2404663 flip.py:564] node 254 adds BLACKHOLE: ALL ['197'] < ['254']
I1217 13:05:23.368 2404663 flip.py:564] node 261 adds BLACKHOLE: ALL ['197'] < ['261']
I1217 13:05:23.368 2404663 flip.py:564] node 260 adds BLACKHOLE: ALL ['197'] < ['260']
I1217 13:05:23.368 2404663 flip.py:564] node 258 adds BLACKHOLE: ALL ['197'] < ['258']
I1217 13:05:23.368 2404663 flip.py:564] node 289 adds BLACKHOLE: ALL ['197'] < ['289']
I1217 13:05:23.368 2404663 flip.py:564] node 274 adds BLACKHOLE: ALL ['197'] < ['274']
I1217 13:05:23.369 2404663 flip.py:564] node 275 adds BLACKHOLE: ALL ['197'] < ['275']
I1217 13:05:23.369 2404663 flip.py:564] node 279 adds BLACKHOLE: ALL ['197'] < ['279']
I1217 13:05:23.369 2404663 flip.py:564] node 280 adds BLACKHOLE: ALL ['197'] < ['280']
I1217 13:05:23.369 2404663 flip.py:564] node 281 adds BLACKHOLE: ALL ['197'] < ['281']
I1217 13:05:23.369 2404663 flip.py:564] node 278 adds BLACKHOLE: ALL ['197'] < ['278']
I1217 13:05:23.369 2404663 flip.py:839] node 197 (white-green) adds POLICY: ALL ['197'] < ['242'] with dependencies []
I1217 13:05:23.370 2404663 flip.py:564] node 200 adds BLACKHOLE: ALL ['242'] < ['200']
I1217 13:05:23.370 2404663 flip.py:564] node 219 adds BLACKHOLE: ALL ['242'] < ['219']
I1217 13:05:23.370 2404663 flip.py:564] node 182 adds BLACKHOLE: ALL ['242'] < ['182']
I1217 13:05:23.370 2404663 flip.py:564] node 167 adds BLACKHOLE: ALL ['242'] < ['167']
I1217 13:05:23.370 2404663 flip.py:564] node 168 adds BLACKHOLE: ALL ['242'] < ['168']
I1217 13:05:23.370 2404663 flip.py:564] node 170 adds BLACKHOLE: ALL ['242'] < ['170']
I1217 13:05:23.371 2404663 flip.py:564] node 169 adds BLACKHOLE: ALL ['242'] < ['169']
I1217 13:05:23.371 2404663 flip.py:564] node 221 adds BLACKHOLE: ALL ['242'] < ['221']
I1217 13:05:23.371 2404663 flip.py:839] node 242 (white-green) adds POLICY: ALL ['242'] < ['239'] with dependencies []
I1217 13:05:23.371 2404663 flip.py:564] node 249 adds BLACKHOLE: ALL ['239'] < ['249']
I1217 13:05:23.371 2404663 flip.py:564] node 248 adds BLACKHOLE: ALL ['239'] < ['248']
I1217 13:05:23.371 2404663 flip.py:564] node 251 adds BLACKHOLE: ALL ['239'] < ['251']
I1217 13:05:23.372 2404663 flip.py:564] node 250 adds BLACKHOLE: ALL ['239'] < ['250']
I1217 13:05:23.372 2404663 flip.py:564] node 236 adds BLACKHOLE: ALL ['239'] < ['236']
I1217 13:05:23.372 2404663 flip.py:839] node 239 (white-green) adds POLICY: ALL ['239'] < ['192'] with dependencies []
I1217 13:05:23.372 2404663 flip.py:564] node 186 adds BLACKHOLE: ALL ['185'] < ['186']
I1217 13:05:23.372 2404663 flip.py:839] node 185 (cyan-green) adds POLICY: ALL ['185'] < ['286'] with dependencies []
I1217 13:05:23.372 2404663 flip.py:839] node 192 (cyan-green) adds POLICY: ALL ['192'] < ['185'] with dependencies []
I1217 13:05:23.373 2404663 flip.py:564] node 252 adds BLACKHOLE: ALL ['286'] < ['252']
I1217 13:05:23.373 2404663 flip.py:564] node 231 adds BLACKHOLE: ALL ['286'] < ['231']
I1217 13:05:23.373 2404663 flip.py:564] node 228 adds BLACKHOLE: ALL ['286'] < ['228']
I1217 13:05:23.373 2404663 flip.py:839] node 286 (cyan-green) adds POLICY: ALL ['286'] < ['284'] with dependencies []
I1217 13:05:23.373 2404663 flip.py:564] node 285 adds BLACKHOLE: ALL ['284'] < ['285']
I1217 13:05:23.373 2404663 flip.py:564] node 283 adds BLACKHOLE: ALL ['284'] < ['283']
I1217 13:05:23.373 2404663 flip.py:564] node 282 adds BLACKHOLE: ALL ['284'] < ['282']
I1217 13:05:23.374 2404663 flip.py:839] node 284 (cyan-green) adds POLICY: ALL ['284'] < ['52'] with dependencies []
I1217 13:05:23.374 2404663 flip.py:564] node 109 adds BLACKHOLE: ALL ['52'] < ['109']
I1217 13:05:23.374 2404663 flip.py:564] node 116 adds BLACKHOLE: ALL ['52'] < ['116']
I1217 13:05:23.375 2404663 flip.py:564] node 115 adds BLACKHOLE: ALL ['52'] < ['115']
I1217 13:05:23.375 2404663 flip.py:564] node 113 adds BLACKHOLE: ALL ['52'] < ['113']
I1217 13:05:23.375 2404663 flip.py:564] node 144 adds BLACKHOLE: ALL ['52'] < ['144']
I1217 13:05:23.375 2404663 flip.py:564] node 129 adds BLACKHOLE: ALL ['52'] < ['129']
I1217 13:05:23.375 2404663 flip.py:564] node 130 adds BLACKHOLE: ALL ['52'] < ['130']
I1217 13:05:23.375 2404663 flip.py:564] node 134 adds BLACKHOLE: ALL ['52'] < ['134']
I1217 13:05:23.376 2404663 flip.py:564] node 135 adds BLACKHOLE: ALL ['52'] < ['135']
I1217 13:05:23.376 2404663 flip.py:564] node 136 adds BLACKHOLE: ALL ['52'] < ['136']
I1217 13:05:23.376 2404663 flip.py:564] node 133 adds BLACKHOLE: ALL ['52'] < ['133']
I1217 13:05:23.376 2404663 flip.py:839] node 52 (cyan-green) adds POLICY: ALL ['52'] < ['97'] with dependencies []
I1217 13:05:23.376 2404663 flip.py:564] node 55 adds BLACKHOLE: ALL ['97'] < ['55']
I1217 13:05:23.376 2404663 flip.py:564] node 74 adds BLACKHOLE: ALL ['97'] < ['74']
I1217 13:05:23.377 2404663 flip.py:564] node 37 adds BLACKHOLE: ALL ['97'] < ['37']
I1217 13:05:23.377 2404663 flip.py:564] node 22 adds BLACKHOLE: ALL ['97'] < ['22']
I1217 13:05:23.377 2404663 flip.py:564] node 23 adds BLACKHOLE: ALL ['97'] < ['23']
I1217 13:05:23.377 2404663 flip.py:564] node 25 adds BLACKHOLE: ALL ['97'] < ['25']
I1217 13:05:23.377 2404663 flip.py:564] node 24 adds BLACKHOLE: ALL ['97'] < ['24']
I1217 13:05:23.377 2404663 flip.py:564] node 76 adds BLACKHOLE: ALL ['97'] < ['76']
I1217 13:05:23.377 2404663 flip.py:839] node 97 (cyan-green) adds POLICY: ALL ['97'] < ['94'] with dependencies []
I1217 13:05:23.378 2404663 flip.py:564] node 104 adds BLACKHOLE: ALL ['94'] < ['104']
I1217 13:05:23.378 2404663 flip.py:564] node 103 adds BLACKHOLE: ALL ['94'] < ['103']
I1217 13:05:23.378 2404663 flip.py:564] node 106 adds BLACKHOLE: ALL ['94'] < ['106']
I1217 13:05:23.378 2404663 flip.py:564] node 105 adds BLACKHOLE: ALL ['94'] < ['105']
I1217 13:05:23.378 2404663 flip.py:564] node 91 adds BLACKHOLE: ALL ['94'] < ['91']
I1217 13:05:23.379 2404663 flip.py:564] node 41 adds BLACKHOLE: ALL ['40'] < ['41']
I1217 13:05:23.379 2404663 flip.py:564] node 107 adds BLACKHOLE: ALL ['141'] < ['107']
I1217 13:05:23.379 2404663 flip.py:564] node 86 adds BLACKHOLE: ALL ['141'] < ['86']
I1217 13:05:23.379 2404663 flip.py:564] node 83 adds BLACKHOLE: ALL ['141'] < ['83']
I1217 13:05:23.379 2404663 flip.py:564] node 140 adds BLACKHOLE: ALL ['139'] < ['140']
I1217 13:05:23.379 2404663 flip.py:564] node 138 adds BLACKHOLE: ALL ['139'] < ['138']
I1217 13:05:23.379 2404663 flip.py:564] node 137 adds BLACKHOLE: ALL ['139'] < ['137']
I1217 13:05:23.380 2404663 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['139']
I1217 13:05:23.380 2404663 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['139']
I1217 13:05:23.380 2404663 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['141']
I1217 13:05:23.380 2404663 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['94']
I1217 13:05:23.380 2404663 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['94']
I1217 13:05:23.380 2404663 flip.py:564] node 88 adds BLACKHOLE: ALL ['88'] < ['94']
I1217 13:05:23.380 2404663 flip.py:564] node 20 adds BLACKHOLE: ALL ['20'] < ['97']
I1217 13:05:23.380 2404663 flip.py:564] node 26 adds BLACKHOLE: ALL ['26'] < ['97']
I1217 13:05:23.381 2404663 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['97']
I1217 13:05:23.381 2404663 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['97']
I1217 13:05:23.381 2404663 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['97']
I1217 13:05:23.381 2404663 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['52']
I1217 13:05:23.381 2404663 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['52']
I1217 13:05:23.381 2404663 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['52']
I1217 13:05:23.381 2404663 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['52']
I1217 13:05:23.381 2404663 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['52']
I1217 13:05:23.381 2404663 flip.py:564] node 253 adds BLACKHOLE: ALL ['253'] < ['284']
I1217 13:05:23.382 2404663 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['284']
I1217 13:05:23.382 2404663 flip.py:564] node 287 adds BLACKHOLE: ALL ['287'] < ['286']
I1217 13:05:23.382 2404663 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['239']
I1217 13:05:23.382 2404663 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['239']
I1217 13:05:23.382 2404663 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['239']
I1217 13:05:23.382 2404663 flip.py:564] node 165 adds BLACKHOLE: ALL ['165'] < ['242']
I1217 13:05:23.383 2404663 flip.py:564] node 171 adds BLACKHOLE: ALL ['171'] < ['242']
I1217 13:05:23.383 2404663 flip.py:564] node 226 adds BLACKHOLE: ALL ['226'] < ['242']
I1217 13:05:23.383 2404663 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['242']
I1217 13:05:23.383 2404663 flip.py:564] node 220 adds BLACKHOLE: ALL ['220'] < ['242']
I1217 13:05:23.383 2404663 flip.py:564] node 257 adds BLACKHOLE: ALL ['257'] < ['197']
I1217 13:05:23.383 2404663 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['197']
I1217 13:05:23.383 2404663 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['197']
I1217 13:05:23.383 2404663 flip.py:564] node 276 adds BLACKHOLE: ALL ['276'] < ['197']
I1217 13:05:23.384 2404663 flip.py:564] node 277 adds BLACKHOLE: ALL ['277'] < ['197']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:05:23.399 2404663 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 '_'")
Traceback (most recent call last):
  File "runflipwithdfa.py", line 39, in <module>
    main(jsonPath, subpathsPath)
  File "runflipwithdfa.py", line 30, in main
    order = flip.compute_sequence(graph)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1382, in compute_sequence
    new_storage.get_variables()))
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/verify.py", line 199, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='final')
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/verify.py", line 178, in verify_current_configuration
    'in %s configuration: %s %s' %(label, type(e), e))
FLIP.verify.InvalidNetworkConfigurationError: in final configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 139, dst: 256, path: ['139', '43', '108', '141', '142', '40', '47', '46', '128', '126', '94', '88', '87', '67', '98', '97', '75', '82', '81', '26', '20', '52', '132', '131', '32', '117', '112', '110', '111', '284', '188', '253', '286', '287', '185', '192', '191', '273', '271', '239', '233', '232', '212', '243', '242', '220', '227', '226', '171', '165', '197', '277', '276', '177', '262', '257', '255', '256'], tags: {}> doesn't satisfy any of [['186'], ['91']]
