Version: 1.13 
 _ data/zoo_json_cond_enf1/BtNorthAmerica_4.json -f output/flip/data/zoo_json_cond_enf1/BtNorthAmerica_4.json.subpaths
Flip subpaths generated in 0.175 seconds!
real 0.59
user 0.89
sys 0.08
<logging.Logger object at 0x7f187a5977d0>
I1217 12:44:50.478 3250949 flip.py:638] node 15 (15->4->15) adds LOOP: ANY ['4'] < ['15']
I1217 12:44:50.483 3250949 flip.py:638] node 38 (38->49->38) adds LOOP: ANY ['38'] < ['49']
I1217 12:44:50.487 3250949 flip.py:638] node 83 (83->72->83) adds LOOP: ANY ['72'] < ['83']
I1217 12:44:50.491 3250949 flip.py:638] node 117 (117->106->117) adds LOOP: ANY ['106'] < ['117']
I1217 12:44:50.494 3250949 flip.py:638] node 151 (151->140->151) adds LOOP: ANY ['140'] < ['151']
I1217 12:44:50.497 3250949 flip.py:638] node 174 (174->185->174) adds LOOP: ANY ['174'] < ['185']
I1217 12:44:50.499 3250949 flip.py:638] node 208 (208->219->208) adds LOOP: ANY ['208'] < ['219']
I1217 12:44:50.500 3250949 flip.py:638] node 253 (253->242->253) adds LOOP: ANY ['242'] < ['253']
I1217 12:44:50.500 3250949 flip.py:839] node 253 (white-green) adds POLICY: ALL ['253'] < ['271'] with dependencies []
I1217 12:44:50.500 3250949 flip.py:839] node 242 (white-green) adds POLICY: ALL ['242'] < ['253'] with dependencies []
I1217 12:44:50.500 3250949 flip.py:564] node 246 adds BLACKHOLE: ALL ['271'] < ['246']
I1217 12:44:50.501 3250949 flip.py:564] node 263 adds BLACKHOLE: ALL ['271'] < ['263']
I1217 12:44:50.501 3250949 flip.py:564] node 261 adds BLACKHOLE: ALL ['271'] < ['261']
I1217 12:44:50.501 3250949 flip.py:564] node 260 adds BLACKHOLE: ALL ['271'] < ['260']
I1217 12:44:50.501 3250949 flip.py:839] node 271 (white-green) adds POLICY: ALL ['271'] < ['208'] with dependencies []
I1217 12:44:50.501 3250949 flip.py:839] node 219 (white-green) adds POLICY: ALL ['219'] < ['237'] with dependencies []
I1217 12:44:50.502 3250949 flip.py:839] node 208 (white-green) adds POLICY: ALL ['208'] < ['219'] with dependencies []
I1217 12:44:50.502 3250949 flip.py:564] node 212 adds BLACKHOLE: ALL ['237'] < ['212']
I1217 12:44:50.502 3250949 flip.py:564] node 229 adds BLACKHOLE: ALL ['237'] < ['229']
I1217 12:44:50.502 3250949 flip.py:564] node 227 adds BLACKHOLE: ALL ['237'] < ['227']
I1217 12:44:50.502 3250949 flip.py:564] node 226 adds BLACKHOLE: ALL ['237'] < ['226']
I1217 12:44:50.502 3250949 flip.py:839] node 237 (white-green) adds POLICY: ALL ['237'] < ['174'] with dependencies []
I1217 12:44:50.503 3250949 flip.py:839] node 185 (white-green) adds POLICY: ALL ['185'] < ['203'] with dependencies []
I1217 12:44:50.503 3250949 flip.py:839] node 174 (white-green) adds POLICY: ALL ['174'] < ['185'] with dependencies []
I1217 12:44:50.503 3250949 flip.py:564] node 178 adds BLACKHOLE: ALL ['203'] < ['178']
I1217 12:44:50.503 3250949 flip.py:564] node 195 adds BLACKHOLE: ALL ['203'] < ['195']
I1217 12:44:50.503 3250949 flip.py:564] node 193 adds BLACKHOLE: ALL ['203'] < ['193']
I1217 12:44:50.504 3250949 flip.py:564] node 192 adds BLACKHOLE: ALL ['203'] < ['192']
I1217 12:44:50.504 3250949 flip.py:564] node 144 adds BLACKHOLE: ALL ['169'] < ['144']
I1217 12:44:50.504 3250949 flip.py:564] node 161 adds BLACKHOLE: ALL ['169'] < ['161']
I1217 12:44:50.504 3250949 flip.py:564] node 159 adds BLACKHOLE: ALL ['169'] < ['159']
I1217 12:44:50.504 3250949 flip.py:564] node 158 adds BLACKHOLE: ALL ['169'] < ['158']
I1217 12:44:50.504 3250949 flip.py:564] node 110 adds BLACKHOLE: ALL ['135'] < ['110']
I1217 12:44:50.505 3250949 flip.py:564] node 127 adds BLACKHOLE: ALL ['135'] < ['127']
I1217 12:44:50.505 3250949 flip.py:564] node 125 adds BLACKHOLE: ALL ['135'] < ['125']
I1217 12:44:50.505 3250949 flip.py:564] node 124 adds BLACKHOLE: ALL ['135'] < ['124']
I1217 12:44:50.505 3250949 flip.py:564] node 76 adds BLACKHOLE: ALL ['101'] < ['76']
I1217 12:44:50.505 3250949 flip.py:564] node 93 adds BLACKHOLE: ALL ['101'] < ['93']
I1217 12:44:50.505 3250949 flip.py:564] node 91 adds BLACKHOLE: ALL ['101'] < ['91']
I1217 12:44:50.506 3250949 flip.py:564] node 90 adds BLACKHOLE: ALL ['101'] < ['90']
I1217 12:44:50.506 3250949 flip.py:564] node 42 adds BLACKHOLE: ALL ['67'] < ['42']
I1217 12:44:50.506 3250949 flip.py:564] node 59 adds BLACKHOLE: ALL ['67'] < ['59']
I1217 12:44:50.506 3250949 flip.py:564] node 57 adds BLACKHOLE: ALL ['67'] < ['57']
I1217 12:44:50.506 3250949 flip.py:564] node 56 adds BLACKHOLE: ALL ['67'] < ['56']
I1217 12:44:50.507 3250949 flip.py:564] node 8 adds BLACKHOLE: ALL ['33'] < ['8']
I1217 12:44:50.507 3250949 flip.py:564] node 25 adds BLACKHOLE: ALL ['33'] < ['25']
I1217 12:44:50.507 3250949 flip.py:564] node 23 adds BLACKHOLE: ALL ['33'] < ['23']
I1217 12:44:50.507 3250949 flip.py:564] node 22 adds BLACKHOLE: ALL ['33'] < ['22']
I1217 12:44:50.507 3250949 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['33']
I1217 12:44:50.507 3250949 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['33']
I1217 12:44:50.507 3250949 flip.py:564] node 27 adds BLACKHOLE: ALL ['27'] < ['33']
I1217 12:44:50.507 3250949 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['67']
I1217 12:44:50.507 3250949 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['67']
I1217 12:44:50.508 3250949 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['67']
I1217 12:44:50.508 3250949 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['101']
I1217 12:44:50.508 3250949 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['101']
I1217 12:44:50.508 3250949 flip.py:564] node 95 adds BLACKHOLE: ALL ['95'] < ['101']
I1217 12:44:50.508 3250949 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['135']
I1217 12:44:50.508 3250949 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['135']
I1217 12:44:50.508 3250949 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['135']
I1217 12:44:50.509 3250949 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['169']
I1217 12:44:50.509 3250949 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['169']
I1217 12:44:50.509 3250949 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['169']
I1217 12:44:50.509 3250949 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['203']
I1217 12:44:50.509 3250949 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['203']
I1217 12:44:50.509 3250949 flip.py:564] node 197 adds BLACKHOLE: ALL ['197'] < ['203']
I1217 12:44:50.509 3250949 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['237']
I1217 12:44:50.510 3250949 flip.py:564] node 221 adds BLACKHOLE: ALL ['221'] < ['237']
I1217 12:44:50.510 3250949 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['237']
I1217 12:44:50.510 3250949 flip.py:564] node 245 adds BLACKHOLE: ALL ['245'] < ['271']
I1217 12:44:50.510 3250949 flip.py:564] node 255 adds BLACKHOLE: ALL ['255'] < ['271']
I1217 12:44:50.510 3250949 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['271']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:50.522 3250949 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: 32, dst: 243, path: ['32', '33', '27', '17', '7', '15', '4', '5', '66', '67', '61', '51', '41', '49', '38', '39', '100', '101', '95', '85', '75', '83', '72', '73', '134', '135', '129', '119', '109', '117', '106', '107', '168', '169', '163', '153', '143', '151', '140', '141', '202', '203', '197', '187', '177', '185', '174', '175', '236', '237', '231', '221', '211', '219', '208', '209', '270', '271', '265', '255', '245', '253', '242', '243'], tags: {}> doesn't satisfy any of [['193']]
