Version: 1.13 
 _ data/zoo_json_alt_waypoint1/Bandcon_4.json -f output/flip/data/zoo_json_alt_waypoint1/Bandcon_4.json.subpaths
Flip subpaths generated in 0.166 seconds!
real 0.98
user 0.76
sys 0.11
<logging.Logger object at 0x7fa6c05377d0>
I1217 13:04:11.905 2499456 flip.py:564] node 152 adds BLACKHOLE: ALL ['153'] < ['152']
I1217 13:04:11.905 2499456 flip.py:839] node 153 (cyan-green) adds POLICY: ALL ['153'] < ['155'] with dependencies []
I1217 13:04:11.906 2499456 flip.py:564] node 154 adds BLACKHOLE: ALL ['155'] < ['154']
I1217 13:04:11.906 2499456 flip.py:839] node 155 (cyan-green) adds POLICY: ALL ['155'] < ['133'] with dependencies []
I1217 13:04:11.906 2499456 flip.py:564] node 132 adds BLACKHOLE: ALL ['133'] < ['132']
I1217 13:04:11.906 2499456 flip.py:839] node 133 (cyan-green) adds POLICY: ALL ['133'] < ['135'] with dependencies []
I1217 13:04:11.907 2499456 flip.py:564] node 134 adds BLACKHOLE: ALL ['135'] < ['134']
I1217 13:04:11.907 2499456 flip.py:839] node 135 (cyan-green) adds POLICY: ALL ['135'] < ['113'] with dependencies []
I1217 13:04:11.907 2499456 flip.py:564] node 112 adds BLACKHOLE: ALL ['113'] < ['112']
I1217 13:04:11.907 2499456 flip.py:839] node 113 (cyan-green) adds POLICY: ALL ['113'] < ['115'] with dependencies []
I1217 13:04:11.908 2499456 flip.py:564] node 114 adds BLACKHOLE: ALL ['115'] < ['114']
I1217 13:04:11.908 2499456 flip.py:839] node 115 (cyan-green) adds POLICY: ALL ['115'] < ['93'] with dependencies []
I1217 13:04:11.908 2499456 flip.py:564] node 92 adds BLACKHOLE: ALL ['93'] < ['92']
I1217 13:04:11.908 2499456 flip.py:564] node 94 adds BLACKHOLE: ALL ['95'] < ['94']
I1217 13:04:11.909 2499456 flip.py:564] node 72 adds BLACKHOLE: ALL ['73'] < ['72']
I1217 13:04:11.909 2499456 flip.py:564] node 74 adds BLACKHOLE: ALL ['75'] < ['74']
I1217 13:04:11.909 2499456 flip.py:564] node 52 adds BLACKHOLE: ALL ['53'] < ['52']
I1217 13:04:11.909 2499456 flip.py:564] node 54 adds BLACKHOLE: ALL ['55'] < ['54']
I1217 13:04:11.909 2499456 flip.py:564] node 32 adds BLACKHOLE: ALL ['33'] < ['32']
I1217 13:04:11.909 2499456 flip.py:564] node 34 adds BLACKHOLE: ALL ['35'] < ['34']
I1217 13:04:11.910 2499456 flip.py:564] node 12 adds BLACKHOLE: ALL ['13'] < ['12']
I1217 13:04:11.910 2499456 flip.py:564] node 14 adds BLACKHOLE: ALL ['15'] < ['14']
I1217 13:04:11.910 2499456 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['15']
I1217 13:04:11.910 2499456 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['13']
I1217 13:04:11.910 2499456 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['13']
I1217 13:04:11.910 2499456 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['35']
I1217 13:04:11.911 2499456 flip.py:564] node 23 adds BLACKHOLE: ALL ['23'] < ['33']
I1217 13:04:11.911 2499456 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['33']
I1217 13:04:11.911 2499456 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['55']
I1217 13:04:11.911 2499456 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['53']
I1217 13:04:11.911 2499456 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['53']
I1217 13:04:11.911 2499456 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['75']
I1217 13:04:11.911 2499456 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['73']
I1217 13:04:11.912 2499456 flip.py:564] node 62 adds BLACKHOLE: ALL ['62'] < ['73']
I1217 13:04:11.912 2499456 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['95']
I1217 13:04:11.912 2499456 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['93']
I1217 13:04:11.912 2499456 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['93']
I1217 13:04:11.912 2499456 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['115']
I1217 13:04:11.912 2499456 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['113']
I1217 13:04:11.912 2499456 flip.py:564] node 102 adds BLACKHOLE: ALL ['102'] < ['113']
I1217 13:04:11.913 2499456 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['135']
I1217 13:04:11.913 2499456 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['133']
I1217 13:04:11.913 2499456 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['133']
I1217 13:04:11.913 2499456 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['155']
I1217 13:04:11.913 2499456 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['153']
I1217 13:04:11.913 2499456 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['153']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:04:11.925 2499456 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: 15, dst: 140, path: ['15', '16', '17', '19', '13', '2', '3', '0', '35', '36', '37', '39', '33', '22', '23', '20', '55', '56', '57', '59', '53', '42', '43', '40', '75', '76', '77', '79', '73', '62', '63', '60', '95', '96', '97', '99', '93', '82', '83', '80', '115', '116', '117', '119', '113', '102', '103', '100', '135', '136', '137', '139', '133', '122', '123', '120', '155', '156', '157', '159', '153', '142', '143', '140'], tags: {}> doesn't satisfy any of [['152'], ['92']]
