Version: 1.13 
 _ data/zoo_json_cond_enf1/BtNorthAmerica_3.json -f output/flip/data/zoo_json_cond_enf1/BtNorthAmerica_3.json.subpaths
Flip subpaths generated in 0.185 seconds!
real 1.29
user 0.80
sys 0.08
<logging.Logger object at 0x7f44ff50f7d0>
I1217 12:44:20.51 2314055 flip.py:564] node 143 adds BLACKHOLE: ALL ['135'] < ['143']
I1217 12:44:20.51 2314055 flip.py:839] node 135 (white-green) adds POLICY: ALL ['135'] < ['110'] with dependencies []
I1217 12:44:20.52 2314055 flip.py:839] node 110 (white-green) adds POLICY: ALL ['110'] < ['112'] with dependencies []
I1217 12:44:20.52 2314055 flip.py:564] node 109 adds BLACKHOLE: ALL ['112'] < ['109']
I1217 12:44:20.52 2314055 flip.py:564] node 116 adds BLACKHOLE: ALL ['112'] < ['116']
I1217 12:44:20.52 2314055 flip.py:839] node 112 (white-green) adds POLICY: ALL ['112'] < ['99'] with dependencies []
I1217 12:44:20.53 2314055 flip.py:564] node 107 adds BLACKHOLE: ALL ['99'] < ['107']
I1217 12:44:20.53 2314055 flip.py:839] node 99 (white-green) adds POLICY: ALL ['99'] < ['74'] with dependencies []
I1217 12:44:20.53 2314055 flip.py:839] node 74 (white-green) adds POLICY: ALL ['74'] < ['76'] with dependencies []
I1217 12:44:20.53 2314055 flip.py:564] node 73 adds BLACKHOLE: ALL ['76'] < ['73']
I1217 12:44:20.53 2314055 flip.py:564] node 80 adds BLACKHOLE: ALL ['76'] < ['80']
I1217 12:44:20.54 2314055 flip.py:564] node 71 adds BLACKHOLE: ALL ['63'] < ['71']
I1217 12:44:20.54 2314055 flip.py:564] node 37 adds BLACKHOLE: ALL ['40'] < ['37']
I1217 12:44:20.54 2314055 flip.py:564] node 44 adds BLACKHOLE: ALL ['40'] < ['44']
I1217 12:44:20.54 2314055 flip.py:564] node 35 adds BLACKHOLE: ALL ['27'] < ['35']
I1217 12:44:20.54 2314055 flip.py:564] node 1 adds BLACKHOLE: ALL ['4'] < ['1']
I1217 12:44:20.54 2314055 flip.py:564] node 8 adds BLACKHOLE: ALL ['4'] < ['8']
I1217 12:44:20.55 2314055 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['4']
I1217 12:44:20.55 2314055 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['4']
I1217 12:44:20.55 2314055 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['2']
I1217 12:44:20.55 2314055 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['27']
I1217 12:44:20.55 2314055 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['27']
I1217 12:44:20.55 2314055 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['27']
I1217 12:44:20.55 2314055 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['27']
I1217 12:44:20.56 2314055 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['40']
I1217 12:44:20.56 2314055 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['40']
I1217 12:44:20.56 2314055 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['38']
I1217 12:44:20.56 2314055 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['63']
I1217 12:44:20.56 2314055 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['63']
I1217 12:44:20.56 2314055 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['63']
I1217 12:44:20.56 2314055 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['63']
I1217 12:44:20.57 2314055 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['76']
I1217 12:44:20.57 2314055 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['76']
I1217 12:44:20.57 2314055 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['74']
I1217 12:44:20.57 2314055 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['99']
I1217 12:44:20.57 2314055 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['99']
I1217 12:44:20.57 2314055 flip.py:564] node 94 adds BLACKHOLE: ALL ['94'] < ['99']
I1217 12:44:20.58 2314055 flip.py:564] node 89 adds BLACKHOLE: ALL ['89'] < ['99']
I1217 12:44:20.58 2314055 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['112']
I1217 12:44:20.58 2314055 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['112']
I1217 12:44:20.58 2314055 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['110']
I1217 12:44:20.58 2314055 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['135']
I1217 12:44:20.58 2314055 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['135']
I1217 12:44:20.58 2314055 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['135']
I1217 12:44:20.59 2314055 flip.py:564] node 125 adds BLACKHOLE: ALL ['125'] < ['135']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:20.68 2314055 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: 4, dst: 142, path: ['4', '5', '15', '28', '2', '3', '27', '17', '22', '33', '32', '34', '40', '41', '51', '64', '38', '39', '63', '53', '58', '69', '68', '70', '76', '77', '87', '100', '74', '75', '99', '89', '94', '105', '104', '106', '112', '113', '123', '136', '110', '111', '135', '125', '130', '141', '140', '142'], tags: {}> doesn't satisfy any of [['73']]
