Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Dfn_3.json -f output/flip/data/zoo_json_alt_waypoint4/Dfn_3.json.subpaths
Flip subpaths generated in 0.282 seconds!
real 0.76
user 0.95
sys 0.10
<logging.Logger object at 0x7f523a8ef7d0>
W1217 12:30:53.708 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '107', '74', '88'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '74', '88'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '107', '74', '88'] is superfluous, discarding it
W1217 12:30:53.709 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'] is superfluous, discarding it
W1217 12:30:53.710 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'] is superfluous, discarding it
W1217 12:30:53.710 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '74', '88'] is superfluous, discarding it
W1217 12:30:53.710 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'] is superfluous, discarding it
W1217 12:30:53.710 2402667 flip.py:156] subpath ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'] is superfluous, discarding it
I1217 12:30:53.763 2402667 flip.py:638] node 50 (50->52->50) adds LOOP: ANY ['52'] < ['50']
I1217 12:30:53.767 2402667 flip.py:638] node 109 (109->107->109) adds LOOP: ANY ['109'] < ['107']
I1217 12:30:53.769 2402667 flip.py:638] node 164 (164->166->164) adds LOOP: ANY ['166'] < ['164']
I1217 12:30:53.771 2402667 flip.py:638] node 223 (223->221->223) adds LOOP: ANY ['223'] < ['221']
I1217 12:30:53.771 2402667 flip.py:564] node 202 adds BLACKHOLE: ALL ['221'] < ['202']
I1217 12:30:53.771 2402667 flip.py:564] node 188 adds BLACKHOLE: ALL ['221'] < ['188']
I1217 12:30:53.772 2402667 flip.py:564] node 224 adds BLACKHOLE: ALL ['209'] < ['224']
I1217 12:30:53.772 2402667 flip.py:564] node 222 adds BLACKHOLE: ALL ['209'] < ['222']
I1217 12:30:53.772 2402667 flip.py:564] node 190 adds BLACKHOLE: ALL ['209'] < ['190']
I1217 12:30:53.772 2402667 flip.py:564] node 189 adds BLACKHOLE: ALL ['209'] < ['189']
I1217 12:30:53.772 2402667 flip.py:564] node 145 adds BLACKHOLE: ALL ['164'] < ['145']
I1217 12:30:53.772 2402667 flip.py:564] node 131 adds BLACKHOLE: ALL ['164'] < ['131']
I1217 12:30:53.778 2402667 flip.py:839] node 164 (cyan-cyan) adds POLICY: ALL ['166'] < ['164'] with dependencies set([])
I1217 12:30:53.778 2402667 flip.py:839] node 164 (cyan-cyan) adds POLICY: ALL ['164'] < ['152'] with dependencies set([])
I1217 12:30:53.781 2402667 flip.py:839] node 166 (cyan-cyan) adds POLICY: ALL ['166'] < ['164'] with dependencies set([])
I1217 12:30:53.781 2402667 flip.py:564] node 167 adds BLACKHOLE: ALL ['152'] < ['167']
I1217 12:30:53.781 2402667 flip.py:564] node 165 adds BLACKHOLE: ALL ['152'] < ['165']
I1217 12:30:53.781 2402667 flip.py:564] node 133 adds BLACKHOLE: ALL ['152'] < ['133']
I1217 12:30:53.781 2402667 flip.py:564] node 132 adds BLACKHOLE: ALL ['152'] < ['132']
I1217 12:30:53.787 2402667 flip.py:839] node 152 (cyan-cyan) adds POLICY: ALL ['152'] < ['109'] with dependencies set([])
I1217 12:30:53.787 2402667 flip.py:839] node 152 (cyan-cyan) adds POLICY: ALL ['107'] < ['152'] with dependencies set([])
I1217 12:30:53.788 2402667 flip.py:564] node 88 adds BLACKHOLE: ALL ['107'] < ['88']
I1217 12:30:53.788 2402667 flip.py:564] node 74 adds BLACKHOLE: ALL ['107'] < ['74']
I1217 12:30:53.788 2402667 flip.py:839] node 107 (cyan-green) adds POLICY: ALL ['107'] < ['95'] with dependencies []
I1217 12:30:53.792 2402667 flip.py:839] node 109 (cyan-cyan) adds POLICY: ALL ['95'] < ['109'] with dependencies set([])
I1217 12:30:53.792 2402667 flip.py:839] node 109 (cyan-cyan) adds POLICY: ALL ['109'] < ['107'] with dependencies set([])
I1217 12:30:53.792 2402667 flip.py:564] node 110 adds BLACKHOLE: ALL ['95'] < ['110']
I1217 12:30:53.793 2402667 flip.py:564] node 108 adds BLACKHOLE: ALL ['95'] < ['108']
I1217 12:30:53.793 2402667 flip.py:564] node 76 adds BLACKHOLE: ALL ['95'] < ['76']
I1217 12:30:53.793 2402667 flip.py:564] node 75 adds BLACKHOLE: ALL ['95'] < ['75']
I1217 12:30:53.793 2402667 flip.py:839] node 95 (cyan-green) adds POLICY: ALL ['95'] < ['52'] with dependencies []
I1217 12:30:53.793 2402667 flip.py:564] node 31 adds BLACKHOLE: ALL ['50'] < ['31']
I1217 12:30:53.794 2402667 flip.py:564] node 17 adds BLACKHOLE: ALL ['50'] < ['17']
I1217 12:30:53.794 2402667 flip.py:839] node 50 (cyan-green) adds POLICY: ALL ['50'] < ['38'] with dependencies []
I1217 12:30:53.794 2402667 flip.py:839] node 52 (cyan-green) adds POLICY: ALL ['52'] < ['50'] with dependencies []
I1217 12:30:53.794 2402667 flip.py:564] node 53 adds BLACKHOLE: ALL ['38'] < ['53']
I1217 12:30:53.794 2402667 flip.py:564] node 51 adds BLACKHOLE: ALL ['38'] < ['51']
I1217 12:30:53.795 2402667 flip.py:564] node 19 adds BLACKHOLE: ALL ['38'] < ['19']
I1217 12:30:53.795 2402667 flip.py:564] node 18 adds BLACKHOLE: ALL ['38'] < ['18']
I1217 12:30:53.795 2402667 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['38']
I1217 12:30:53.795 2402667 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['38']
I1217 12:30:53.795 2402667 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['52']
I1217 12:30:53.795 2402667 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['52']
I1217 12:30:53.795 2402667 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['95']
I1217 12:30:53.796 2402667 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['95']
I1217 12:30:53.796 2402667 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['109']
I1217 12:30:53.796 2402667 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['109']
I1217 12:30:53.796 2402667 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['152']
I1217 12:30:53.796 2402667 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['152']
I1217 12:30:53.796 2402667 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['166']
I1217 12:30:53.796 2402667 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['166']
I1217 12:30:53.796 2402667 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['209']
I1217 12:30:53.797 2402667 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['209']
I1217 12:30:53.797 2402667 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['223']
I1217 12:30:53.797 2402667 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['223']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:30:53.807 2402667 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', '87', '152', '132', '133', '165', '167'], ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '107', '74', '88'], ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'], ['51', '53', '52', '50', '17', '31', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'], ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '74', '88'], ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'], ['51', '53', '52', '50', '17', '31', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'], ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '107', '74', '88'], ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'], ['51', '53', '52', '56', '48', '30', '95', '75', '76', '108', '110', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'], ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '74', '88'], ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'], ['51', '53', '52', '56', '48', '30', '95', '96', '101', '107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'], ['107', '74', '88', '87', '152', '132', '133', '165', '167'], ['107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '164', '131', '145', '144', '209'], ['107', '109', '113', '105', '87', '152', '132', '133', '165', '167', '166', '170', '162', '144', '209'], ['74', '88', '87', '152', '132', '133', '165', '167'], ['133', '165', '167', '166', '164', '131', '145', '144', '209'], ['133', '165', '167', '166', '170', '162', '144', '209']]
