Version: 1.13 
 _ data/zoo_json_alt_waypoint4/VtlWavenet2008_1.json -f output/flip/data/zoo_json_alt_waypoint4/VtlWavenet2008_1.json.subpaths
Flip subpaths generated in 0.189 seconds!
real 0.64
user 0.86
sys 0.11
<logging.Logger object at 0x7f2f5f36f7d0>
W1217 12:34:11.891 2597178 flip.py:156] subpath ['81', '41', '46', '73', '13', '27', '47', '26'] is superfluous, discarding it
I1217 12:34:11.911 2597178 flip.py:638] node 11 (11->7->11) adds LOOP: ANY ['7'] < ['11']
I1217 12:34:11.911 2597178 flip.py:638] node 42 (42->74->42) adds LOOP: ANY ['42'] < ['74']
I1217 12:34:11.912 2597178 flip.py:638] node 3 (3->4->3) adds LOOP: ANY ['3'] < ['4']
I1217 12:34:11.912 2597178 flip.py:638] node 3 (3->2->3) adds LOOP: ANY ['2'] < ['3']
I1217 12:34:11.912 2597178 flip.py:638] node 5 (5->6->5) adds LOOP: ANY ['5'] < ['6']
I1217 12:34:11.912 2597178 flip.py:638] node 5 (5->4->5) adds LOOP: ANY ['4'] < ['5']
I1217 12:34:11.913 2597178 flip.py:638] node 7 (7->6->7) adds LOOP: ANY ['6'] < ['7']
I1217 12:34:11.913 2597178 flip.py:638] node 2 (2->74->2) adds LOOP: ANY ['74'] < ['2']
I1217 12:34:11.917 2597178 flip.py:564] node 62 adds BLACKHOLE: ALL ['11'] < ['62']
I1217 12:34:11.917 2597178 flip.py:564] node 63 adds BLACKHOLE: ALL ['11'] < ['63']
I1217 12:34:11.918 2597178 flip.py:564] node 16 adds BLACKHOLE: ALL ['11'] < ['16']
I1217 12:34:11.918 2597178 flip.py:564] node 60 adds BLACKHOLE: ALL ['11'] < ['60']
I1217 12:34:11.918 2597178 flip.py:564] node 12 adds BLACKHOLE: ALL ['11'] < ['12']
I1217 12:34:11.918 2597178 flip.py:564] node 61 adds BLACKHOLE: ALL ['11'] < ['61']
I1217 12:34:11.918 2597178 flip.py:564] node 58 adds BLACKHOLE: ALL ['11'] < ['58']
I1217 12:34:11.918 2597178 flip.py:564] node 10 adds BLACKHOLE: ALL ['11'] < ['10']
I1217 12:34:11.919 2597178 flip.py:839] node 11 (white-green) adds POLICY: ALL ['11'] < ['81'] with dependencies []
I1217 12:34:11.919 2597178 flip.py:839] node 7 (white-green) adds POLICY: ALL ['7'] < ['11'] with dependencies []
I1217 12:34:11.920 2597178 flip.py:839] node 6 (white-green) adds POLICY: ALL ['6'] < ['7'] with dependencies []
I1217 12:34:11.920 2597178 flip.py:839] node 5 (white-green) adds POLICY: ALL ['5'] < ['6'] with dependencies []
I1217 12:34:11.920 2597178 flip.py:839] node 4 (white-green) adds POLICY: ALL ['4'] < ['5'] with dependencies []
I1217 12:34:11.920 2597178 flip.py:839] node 3 (white-green) adds POLICY: ALL ['3'] < ['4'] with dependencies []
I1217 12:34:11.921 2597178 flip.py:839] node 2 (white-green) adds POLICY: ALL ['2'] < ['3'] with dependencies []
I1217 12:34:11.921 2597178 flip.py:839] node 74 (white-green) adds POLICY: ALL ['74'] < ['2'] with dependencies []
I1217 12:34:11.921 2597178 flip.py:839] node 42 (white-green) adds POLICY: ALL ['42'] < ['74'] with dependencies []
I1217 12:34:11.922 2597178 flip.py:564] node 36 adds BLACKHOLE: ALL ['81'] < ['36']
I1217 12:34:11.922 2597178 flip.py:564] node 75 adds BLACKHOLE: ALL ['81'] < ['75']
I1217 12:34:11.922 2597178 flip.py:564] node 24 adds BLACKHOLE: ALL ['81'] < ['24']
I1217 12:34:11.922 2597178 flip.py:564] node 43 adds BLACKHOLE: ALL ['81'] < ['43']
I1217 12:34:11.922 2597178 flip.py:564] node 25 adds BLACKHOLE: ALL ['81'] < ['25']
I1217 12:34:11.923 2597178 flip.py:564] node 22 adds BLACKHOLE: ALL ['81'] < ['22']
I1217 12:34:11.923 2597178 flip.py:564] node 26 adds BLACKHOLE: ALL ['81'] < ['26']
I1217 12:34:11.923 2597178 flip.py:564] node 47 adds BLACKHOLE: ALL ['81'] < ['47']
I1217 12:34:11.923 2597178 flip.py:564] node 27 adds BLACKHOLE: ALL ['81'] < ['27']
I1217 12:34:11.923 2597178 flip.py:564] node 13 adds BLACKHOLE: ALL ['81'] < ['13']
I1217 12:34:11.923 2597178 flip.py:564] node 73 adds BLACKHOLE: ALL ['81'] < ['73']
I1217 12:34:11.924 2597178 flip.py:564] node 46 adds BLACKHOLE: ALL ['81'] < ['46']
I1217 12:34:11.924 2597178 flip.py:564] node 41 adds BLACKHOLE: ALL ['81'] < ['41']
I1217 12:34:11.924 2597178 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['81']
I1217 12:34:11.924 2597178 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['81']
I1217 12:34:11.925 2597178 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['81']
I1217 12:34:11.925 2597178 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['81']
I1217 12:34:11.925 2597178 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['81']
I1217 12:34:11.926 2597178 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['81']
I1217 12:34:11.926 2597178 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['81']
I1217 12:34:11.926 2597178 flip.py:564] node 30 adds BLACKHOLE: ALL ['30'] < ['81']
I1217 12:34:11.927 2597178 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['81']
I1217 12:34:11.927 2597178 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['81']
I1217 12:34:11.927 2597178 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['81']
I1217 12:34:11.927 2597178 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['81']
I1217 12:34:11.927 2597178 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['81']
I1217 12:34:11.928 2597178 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['81']
I1217 12:34:11.929 2597178 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['81']
I1217 12:34:11.929 2597178 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['81']
I1217 12:34:11.929 2597178 flip.py:564] node 64 adds BLACKHOLE: ALL ['64'] < ['42']
I1217 12:34:11.929 2597178 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['42']
I1217 12:34:11.930 2597178 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['42']
I1217 12:34:11.930 2597178 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['42']
I1217 12:34:11.930 2597178 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['42']
I1217 12:34:11.930 2597178 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['42']
I1217 12:34:11.930 2597178 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['42']
I1217 12:34:11.931 2597178 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['42']
I1217 12:34:11.931 2597178 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['42']
I1217 12:34:11.931 2597178 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['42']
I1217 12:34:11.931 2597178 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['42']
I1217 12:34:11.931 2597178 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['42']
I1217 12:34:11.932 2597178 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['42']
I1217 12:34:11.932 2597178 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['42']
I1217 12:34:11.932 2597178 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['42']
I1217 12:34:11.932 2597178 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['42']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:34:11.943 2597178 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: 81, dst: 65, path: ['81', '80', '82', '59', '83', '84', '85', '86', '34', '35', '33', '87', '32', '51', '30', '29', '1', '28', '0', '37', '9', '8', '11', '7', '6', '5', '4', '3', '2', '74', '42', '69', '68', '50', '53', '52', '55', '54', '57', '17', '56', '49', '48', '14', '66', '67', '64', '65'], tags: {}> doesn't satisfy any of [['81', '41', '46', '73', '13', '27', '47', '26']]
