Version: 1.13 
 _ data/zoo_json_cond_enf2/Dfn_3.json -f output/flip/data/zoo_json_cond_enf2/Dfn_3.json.subpaths
Flip subpaths generated in 0.185 seconds!
real 1.07
user 0.86
sys 0.08
<logging.Logger object at 0x7f45d51b77d0>
I1217 12:34:46.695 2334137 flip.py:638] node 50 (50->52->50) adds LOOP: ANY ['52'] < ['50']
I1217 12:34:46.698 2334137 flip.py:638] node 109 (109->107->109) adds LOOP: ANY ['109'] < ['107']
I1217 12:34:46.700 2334137 flip.py:638] node 164 (164->166->164) adds LOOP: ANY ['166'] < ['164']
I1217 12:34:46.702 2334137 flip.py:638] node 223 (223->221->223) adds LOOP: ANY ['223'] < ['221']
I1217 12:34:46.702 2334137 flip.py:564] node 202 adds BLACKHOLE: ALL ['221'] < ['202']
I1217 12:34:46.702 2334137 flip.py:564] node 188 adds BLACKHOLE: ALL ['221'] < ['188']
I1217 12:34:46.703 2334137 flip.py:839] node 221 (white-green) adds POLICY: ALL ['221'] < ['209'] with dependencies []
I1217 12:34:46.703 2334137 flip.py:839] node 223 (white-green) adds POLICY: ALL ['223'] < ['221'] with dependencies []
I1217 12:34:46.703 2334137 flip.py:564] node 224 adds BLACKHOLE: ALL ['209'] < ['224']
I1217 12:34:46.703 2334137 flip.py:564] node 222 adds BLACKHOLE: ALL ['209'] < ['222']
I1217 12:34:46.703 2334137 flip.py:564] node 190 adds BLACKHOLE: ALL ['209'] < ['190']
I1217 12:34:46.703 2334137 flip.py:564] node 189 adds BLACKHOLE: ALL ['209'] < ['189']
I1217 12:34:46.703 2334137 flip.py:839] node 209 (white-green) adds POLICY: ALL ['209'] < ['166'] with dependencies []
I1217 12:34:46.704 2334137 flip.py:564] node 145 adds BLACKHOLE: ALL ['164'] < ['145']
I1217 12:34:46.704 2334137 flip.py:564] node 131 adds BLACKHOLE: ALL ['164'] < ['131']
I1217 12:34:46.704 2334137 flip.py:839] node 164 (white-green) adds POLICY: ALL ['164'] < ['152'] with dependencies []
I1217 12:34:46.704 2334137 flip.py:839] node 166 (white-green) adds POLICY: ALL ['166'] < ['164'] with dependencies []
I1217 12:34:46.704 2334137 flip.py:564] node 167 adds BLACKHOLE: ALL ['152'] < ['167']
I1217 12:34:46.705 2334137 flip.py:564] node 165 adds BLACKHOLE: ALL ['152'] < ['165']
I1217 12:34:46.705 2334137 flip.py:564] node 133 adds BLACKHOLE: ALL ['152'] < ['133']
I1217 12:34:46.705 2334137 flip.py:564] node 132 adds BLACKHOLE: ALL ['152'] < ['132']
I1217 12:34:46.705 2334137 flip.py:839] node 152 (white-green) adds POLICY: ALL ['152'] < ['109'] with dependencies []
I1217 12:34:46.705 2334137 flip.py:564] node 88 adds BLACKHOLE: ALL ['107'] < ['88']
I1217 12:34:46.706 2334137 flip.py:564] node 74 adds BLACKHOLE: ALL ['107'] < ['74']
I1217 12:34:46.706 2334137 flip.py:839] node 107 (cyan-green) adds POLICY: ALL ['107'] < ['95'] with dependencies []
I1217 12:34:46.706 2334137 flip.py:839] node 109 (cyan-green) adds POLICY: ALL ['109'] < ['107'] with dependencies []
I1217 12:34:46.706 2334137 flip.py:564] node 110 adds BLACKHOLE: ALL ['95'] < ['110']
I1217 12:34:46.707 2334137 flip.py:564] node 108 adds BLACKHOLE: ALL ['95'] < ['108']
I1217 12:34:46.707 2334137 flip.py:564] node 76 adds BLACKHOLE: ALL ['95'] < ['76']
I1217 12:34:46.707 2334137 flip.py:564] node 75 adds BLACKHOLE: ALL ['95'] < ['75']
I1217 12:34:46.707 2334137 flip.py:839] node 95 (cyan-green) adds POLICY: ALL ['95'] < ['52'] with dependencies []
I1217 12:34:46.707 2334137 flip.py:564] node 31 adds BLACKHOLE: ALL ['50'] < ['31']
I1217 12:34:46.708 2334137 flip.py:564] node 17 adds BLACKHOLE: ALL ['50'] < ['17']
I1217 12:34:46.708 2334137 flip.py:839] node 50 (cyan-green) adds POLICY: ALL ['50'] < ['38'] with dependencies []
I1217 12:34:46.708 2334137 flip.py:839] node 52 (cyan-green) adds POLICY: ALL ['52'] < ['50'] with dependencies []
I1217 12:34:46.708 2334137 flip.py:564] node 53 adds BLACKHOLE: ALL ['38'] < ['53']
I1217 12:34:46.708 2334137 flip.py:564] node 51 adds BLACKHOLE: ALL ['38'] < ['51']
I1217 12:34:46.708 2334137 flip.py:564] node 19 adds BLACKHOLE: ALL ['38'] < ['19']
I1217 12:34:46.709 2334137 flip.py:564] node 18 adds BLACKHOLE: ALL ['38'] < ['18']
I1217 12:34:46.709 2334137 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['38']
I1217 12:34:46.709 2334137 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['38']
I1217 12:34:46.709 2334137 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['52']
I1217 12:34:46.709 2334137 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['52']
I1217 12:34:46.709 2334137 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['95']
I1217 12:34:46.709 2334137 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['95']
I1217 12:34:46.710 2334137 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['109']
I1217 12:34:46.710 2334137 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['109']
I1217 12:34:46.710 2334137 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['152']
I1217 12:34:46.710 2334137 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['152']
I1217 12:34:46.710 2334137 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['166']
I1217 12:34:46.710 2334137 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['166']
I1217 12:34:46.710 2334137 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['209']
I1217 12:34:46.711 2334137 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['209']
I1217 12:34:46.711 2334137 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['223']
I1217 12:34:46.711 2334137 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['223']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:34:46.720 2334137 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: 38, dst: 201, path: ['38', '39', '44', '50', '52', '56', '48', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '153', '158', '164', '166', '170', '162', '144', '209', '210', '215', '221', '223', '227', '219', '201'], tags: {}> doesn't satisfy any of [['88'], ['51']]
