Version: 1.13 
 _ data/zoo_json_cond_enf1/SwitchL3_4.json -f output/flip/data/zoo_json_cond_enf1/SwitchL3_4.json.subpaths
Flip subpaths generated in 0.394 seconds!
real 1.78
user 0.94
sys 0.11
<logging.Logger object at 0x7f0f3c7977d0>
I1217 12:43:10.375 2387367 flip.py:564] node 310 adds BLACKHOLE: ALL ['294'] < ['310']
I1217 12:43:10.375 2387367 flip.py:839] node 294 (white-green) adds POLICY: ALL ['294'] < ['291'] with dependencies []
I1217 12:43:10.376 2387367 flip.py:564] node 317 adds BLACKHOLE: ALL ['291'] < ['317']
I1217 12:43:10.376 2387367 flip.py:564] node 311 adds BLACKHOLE: ALL ['291'] < ['311']
I1217 12:43:10.376 2387367 flip.py:564] node 312 adds BLACKHOLE: ALL ['291'] < ['312']
I1217 12:43:10.376 2387367 flip.py:564] node 324 adds BLACKHOLE: ALL ['291'] < ['324']
I1217 12:43:10.376 2387367 flip.py:564] node 318 adds BLACKHOLE: ALL ['291'] < ['318']
I1217 12:43:10.376 2387367 flip.py:839] node 291 (white-green) adds POLICY: ALL ['291'] < ['253'] with dependencies []
I1217 12:43:10.376 2387367 flip.py:564] node 269 adds BLACKHOLE: ALL ['253'] < ['269']
I1217 12:43:10.377 2387367 flip.py:839] node 253 (white-green) adds POLICY: ALL ['253'] < ['250'] with dependencies []
I1217 12:43:10.377 2387367 flip.py:564] node 276 adds BLACKHOLE: ALL ['250'] < ['276']
I1217 12:43:10.377 2387367 flip.py:564] node 270 adds BLACKHOLE: ALL ['250'] < ['270']
I1217 12:43:10.377 2387367 flip.py:564] node 271 adds BLACKHOLE: ALL ['250'] < ['271']
I1217 12:43:10.377 2387367 flip.py:564] node 283 adds BLACKHOLE: ALL ['250'] < ['283']
I1217 12:43:10.377 2387367 flip.py:564] node 277 adds BLACKHOLE: ALL ['250'] < ['277']
I1217 12:43:10.378 2387367 flip.py:839] node 250 (white-green) adds POLICY: ALL ['250'] < ['212'] with dependencies []
I1217 12:43:10.378 2387367 flip.py:564] node 228 adds BLACKHOLE: ALL ['212'] < ['228']
I1217 12:43:10.378 2387367 flip.py:839] node 212 (white-green) adds POLICY: ALL ['212'] < ['209'] with dependencies []
I1217 12:43:10.378 2387367 flip.py:564] node 235 adds BLACKHOLE: ALL ['209'] < ['235']
I1217 12:43:10.378 2387367 flip.py:564] node 229 adds BLACKHOLE: ALL ['209'] < ['229']
I1217 12:43:10.379 2387367 flip.py:564] node 230 adds BLACKHOLE: ALL ['209'] < ['230']
I1217 12:43:10.379 2387367 flip.py:564] node 242 adds BLACKHOLE: ALL ['209'] < ['242']
I1217 12:43:10.379 2387367 flip.py:564] node 236 adds BLACKHOLE: ALL ['209'] < ['236']
I1217 12:43:10.379 2387367 flip.py:839] node 209 (white-green) adds POLICY: ALL ['209'] < ['171'] with dependencies []
I1217 12:43:10.379 2387367 flip.py:564] node 187 adds BLACKHOLE: ALL ['171'] < ['187']
I1217 12:43:10.379 2387367 flip.py:839] node 171 (white-green) adds POLICY: ALL ['171'] < ['168'] with dependencies []
I1217 12:43:10.380 2387367 flip.py:564] node 194 adds BLACKHOLE: ALL ['168'] < ['194']
I1217 12:43:10.380 2387367 flip.py:564] node 188 adds BLACKHOLE: ALL ['168'] < ['188']
I1217 12:43:10.380 2387367 flip.py:564] node 189 adds BLACKHOLE: ALL ['168'] < ['189']
I1217 12:43:10.380 2387367 flip.py:564] node 201 adds BLACKHOLE: ALL ['168'] < ['201']
I1217 12:43:10.380 2387367 flip.py:564] node 195 adds BLACKHOLE: ALL ['168'] < ['195']
I1217 12:43:10.380 2387367 flip.py:839] node 168 (white-green) adds POLICY: ALL ['168'] < ['130'] with dependencies []
I1217 12:43:10.381 2387367 flip.py:564] node 146 adds BLACKHOLE: ALL ['130'] < ['146']
I1217 12:43:10.381 2387367 flip.py:839] node 130 (white-green) adds POLICY: ALL ['130'] < ['127'] with dependencies []
I1217 12:43:10.381 2387367 flip.py:564] node 153 adds BLACKHOLE: ALL ['127'] < ['153']
I1217 12:43:10.381 2387367 flip.py:564] node 147 adds BLACKHOLE: ALL ['127'] < ['147']
I1217 12:43:10.381 2387367 flip.py:564] node 148 adds BLACKHOLE: ALL ['127'] < ['148']
I1217 12:43:10.382 2387367 flip.py:564] node 160 adds BLACKHOLE: ALL ['127'] < ['160']
I1217 12:43:10.382 2387367 flip.py:564] node 154 adds BLACKHOLE: ALL ['127'] < ['154']
I1217 12:43:10.382 2387367 flip.py:839] node 127 (white-green) adds POLICY: ALL ['127'] < ['89'] with dependencies []
I1217 12:43:10.382 2387367 flip.py:564] node 105 adds BLACKHOLE: ALL ['89'] < ['105']
I1217 12:43:10.382 2387367 flip.py:839] node 89 (white-green) adds POLICY: ALL ['89'] < ['86'] with dependencies []
I1217 12:43:10.383 2387367 flip.py:564] node 112 adds BLACKHOLE: ALL ['86'] < ['112']
I1217 12:43:10.383 2387367 flip.py:564] node 106 adds BLACKHOLE: ALL ['86'] < ['106']
I1217 12:43:10.383 2387367 flip.py:564] node 107 adds BLACKHOLE: ALL ['86'] < ['107']
I1217 12:43:10.383 2387367 flip.py:564] node 119 adds BLACKHOLE: ALL ['86'] < ['119']
I1217 12:43:10.383 2387367 flip.py:564] node 113 adds BLACKHOLE: ALL ['86'] < ['113']
I1217 12:43:10.383 2387367 flip.py:839] node 86 (white-green) adds POLICY: ALL ['86'] < ['48'] with dependencies []
I1217 12:43:10.383 2387367 flip.py:564] node 64 adds BLACKHOLE: ALL ['48'] < ['64']
I1217 12:43:10.384 2387367 flip.py:839] node 48 (white-green) adds POLICY: ALL ['48'] < ['45'] with dependencies []
I1217 12:43:10.384 2387367 flip.py:564] node 71 adds BLACKHOLE: ALL ['45'] < ['71']
I1217 12:43:10.384 2387367 flip.py:564] node 65 adds BLACKHOLE: ALL ['45'] < ['65']
I1217 12:43:10.384 2387367 flip.py:564] node 66 adds BLACKHOLE: ALL ['45'] < ['66']
I1217 12:43:10.384 2387367 flip.py:564] node 78 adds BLACKHOLE: ALL ['45'] < ['78']
I1217 12:43:10.384 2387367 flip.py:564] node 72 adds BLACKHOLE: ALL ['45'] < ['72']
I1217 12:43:10.385 2387367 flip.py:564] node 23 adds BLACKHOLE: ALL ['7'] < ['23']
I1217 12:43:10.385 2387367 flip.py:564] node 30 adds BLACKHOLE: ALL ['4'] < ['30']
I1217 12:43:10.385 2387367 flip.py:564] node 24 adds BLACKHOLE: ALL ['4'] < ['24']
I1217 12:43:10.385 2387367 flip.py:564] node 25 adds BLACKHOLE: ALL ['4'] < ['25']
I1217 12:43:10.385 2387367 flip.py:564] node 37 adds BLACKHOLE: ALL ['4'] < ['37']
I1217 12:43:10.386 2387367 flip.py:564] node 31 adds BLACKHOLE: ALL ['4'] < ['31']
I1217 12:43:10.386 2387367 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['4']
I1217 12:43:10.386 2387367 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['4']
I1217 12:43:10.386 2387367 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['4']
I1217 12:43:10.386 2387367 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['7']
I1217 12:43:10.386 2387367 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['45']
I1217 12:43:10.386 2387367 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['45']
I1217 12:43:10.386 2387367 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['45']
I1217 12:43:10.386 2387367 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['48']
I1217 12:43:10.387 2387367 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['86']
I1217 12:43:10.387 2387367 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['86']
I1217 12:43:10.387 2387367 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['86']
I1217 12:43:10.387 2387367 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['89']
I1217 12:43:10.387 2387367 flip.py:564] node 151 adds BLACKHOLE: ALL ['151'] < ['127']
I1217 12:43:10.387 2387367 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['127']
I1217 12:43:10.387 2387367 flip.py:564] node 128 adds BLACKHOLE: ALL ['128'] < ['127']
I1217 12:43:10.387 2387367 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['130']
I1217 12:43:10.388 2387367 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['168']
I1217 12:43:10.388 2387367 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['168']
I1217 12:43:10.388 2387367 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['168']
I1217 12:43:10.388 2387367 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['171']
I1217 12:43:10.388 2387367 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['209']
I1217 12:43:10.388 2387367 flip.py:564] node 213 adds BLACKHOLE: ALL ['213'] < ['209']
I1217 12:43:10.388 2387367 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['209']
I1217 12:43:10.388 2387367 flip.py:564] node 244 adds BLACKHOLE: ALL ['244'] < ['212']
I1217 12:43:10.388 2387367 flip.py:564] node 274 adds BLACKHOLE: ALL ['274'] < ['250']
I1217 12:43:10.389 2387367 flip.py:564] node 254 adds BLACKHOLE: ALL ['254'] < ['250']
I1217 12:43:10.389 2387367 flip.py:564] node 251 adds BLACKHOLE: ALL ['251'] < ['250']
I1217 12:43:10.389 2387367 flip.py:564] node 285 adds BLACKHOLE: ALL ['285'] < ['253']
I1217 12:43:10.389 2387367 flip.py:564] node 315 adds BLACKHOLE: ALL ['315'] < ['291']
I1217 12:43:10.389 2387367 flip.py:564] node 295 adds BLACKHOLE: ALL ['295'] < ['291']
I1217 12:43:10.389 2387367 flip.py:564] node 292 adds BLACKHOLE: ALL ['292'] < ['291']
I1217 12:43:10.389 2387367 flip.py:564] node 326 adds BLACKHOLE: ALL ['326'] < ['294']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:10.402 2387367 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: 16, dst: 327, path: ['16', '4', '5', '8', '28', '29', '7', '39', '40', '57', '45', '46', '49', '69', '70', '48', '80', '81', '98', '86', '87', '90', '110', '111', '89', '121', '122', '139', '127', '128', '131', '151', '152', '130', '162', '163', '180', '168', '169', '172', '192', '193', '171', '203', '204', '221', '209', '210', '213', '233', '234', '212', '244', '245', '262', '250', '251', '254', '274', '275', '253', '285', '286', '303', '291', '292', '295', '315', '316', '294', '326', '327'], tags: {}> doesn't satisfy any of [['66']]
