Version: 1.13 
 _ data/zoo_json_alt_waypoint4/BtEurope_4.json -f output/flip/data/zoo_json_alt_waypoint4/BtEurope_4.json.subpaths
Flip subpaths generated in 0.777 seconds!
real 3.00
user 1.41
sys 0.10
<logging.Logger object at 0x7fbb31d9f7d0>
I1217 12:32:36.713 2962154 flip.py:564] node 184 adds BLACKHOLE: ALL ['191'] < ['184']
I1217 12:32:36.715 2962154 flip.py:564] node 160 adds BLACKHOLE: ALL ['167'] < ['160']
I1217 12:32:36.732 2962154 flip.py:839] node 137 (cyan-cyan) adds POLICY: ALL ['137'] < ['143'] with dependencies set([])
I1217 12:32:36.732 2962154 flip.py:839] node 137 (cyan-cyan) adds POLICY: ALL ['143'] < ['137'] with dependencies set([])
I1217 12:32:36.733 2962154 flip.py:564] node 136 adds BLACKHOLE: ALL ['143'] < ['136']
I1217 12:32:36.766 2962154 flip.py:839] node 143 (cyan-cyan) adds POLICY: ALL ['143'] < ['113'] with dependencies set([])
I1217 12:32:36.767 2962154 flip.py:839] node 143 (cyan-cyan) adds POLICY: ALL ['113'] < ['143'] with dependencies set([])
I1217 12:32:36.784 2962154 flip.py:839] node 113 (cyan-cyan) adds POLICY: ALL ['113'] < ['119'] with dependencies set([])
I1217 12:32:36.784 2962154 flip.py:564] node 112 adds BLACKHOLE: ALL ['119'] < ['112']
I1217 12:32:36.814 2962154 flip.py:839] node 119 (cyan-cyan) adds POLICY: ALL ['89'] < ['119'] with dependencies set([])
I1217 12:32:36.832 2962154 flip.py:839] node 89 (cyan-cyan) adds POLICY: ALL ['89'] < ['95'] with dependencies set([])
I1217 12:32:36.832 2962154 flip.py:564] node 88 adds BLACKHOLE: ALL ['95'] < ['88']
I1217 12:32:36.862 2962154 flip.py:839] node 95 (cyan-cyan) adds POLICY: ALL ['65'] < ['95'] with dependencies set([])
I1217 12:32:36.879 2962154 flip.py:839] node 65 (cyan-cyan) adds POLICY: ALL ['65'] < ['71'] with dependencies set([])
I1217 12:32:36.879 2962154 flip.py:839] node 65 (cyan-cyan) adds POLICY: ALL ['71'] < ['65'] with dependencies set([])
I1217 12:32:36.879 2962154 flip.py:564] node 64 adds BLACKHOLE: ALL ['71'] < ['64']
I1217 12:32:36.913 2962154 flip.py:839] node 71 (cyan-cyan) adds POLICY: ALL ['41'] < ['71'] with dependencies set([])
I1217 12:32:36.913 2962154 flip.py:839] node 71 (cyan-cyan) adds POLICY: ALL ['71'] < ['41'] with dependencies set([])
I1217 12:32:36.929 2962154 flip.py:839] node 41 (cyan-cyan) adds POLICY: ALL ['47'] < ['41'] with dependencies set([])
I1217 12:32:36.929 2962154 flip.py:839] node 41 (cyan-cyan) adds POLICY: ALL ['41'] < ['47'] with dependencies set([])
I1217 12:32:36.929 2962154 flip.py:564] node 40 adds BLACKHOLE: ALL ['47'] < ['40']
I1217 12:32:36.962 2962154 flip.py:839] node 47 (cyan-cyan) adds POLICY: ALL ['17'] < ['47'] with dependencies set([])
I1217 12:32:36.962 2962154 flip.py:839] node 47 (cyan-cyan) adds POLICY: ALL ['47'] < ['17'] with dependencies set([])
I1217 12:32:36.962 2962154 flip.py:564] node 16 adds BLACKHOLE: ALL ['23'] < ['16']
I1217 12:32:36.963 2962154 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['23']
I1217 12:32:36.963 2962154 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['17']
I1217 12:32:36.963 2962154 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['47']
I1217 12:32:36.963 2962154 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['41']
I1217 12:32:36.963 2962154 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['71']
I1217 12:32:36.963 2962154 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['65']
I1217 12:32:36.964 2962154 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['95']
I1217 12:32:36.964 2962154 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['89']
I1217 12:32:36.964 2962154 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['119']
I1217 12:32:36.964 2962154 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['113']
I1217 12:32:36.964 2962154 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['143']
I1217 12:32:36.964 2962154 flip.py:564] node 125 adds BLACKHOLE: ALL ['125'] < ['137']
I1217 12:32:36.964 2962154 flip.py:564] node 165 adds BLACKHOLE: ALL ['165'] < ['167']
I1217 12:32:36.964 2962154 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['161']
I1217 12:32:36.964 2962154 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['191']
I1217 12:32:36.965 2962154 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['185']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:32:36.980 2962154 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: 174, path: ['15', '23', '21', '17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '117', '113', '101', '102', '135', '143', '141', '137', '125', '126', '159', '167', '165', '161', '149', '150', '183', '191', '189', '185', '173', '174'], tags: {}> doesn't satisfy any of [['89', '78', '111', '119', '112', '113', '102'], ['89', '78', '111', '119', '112', '113', '101', '102'], ['89', '77', '78', '111', '119', '112', '113', '102'], ['89', '77', '78', '111', '119', '112', '113', '101', '102'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '40', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '64', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '88', '89'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '78', '111', '119', '112'], ['17', '5', '6', '39', '47', '45', '41', '29', '30', '63', '71', '69', '65', '53', '54', '87', '95', '93', '89', '77', '78', '111', '119', '112'], ['95', '88', '89', '78', '111', '119', '112', '113', '102'], ['95', '88', '89', '78', '111', '119', '112', '113', '101', '102'], ['95', '88', '89', '78', '111', '119', '117', '113', '102'], ['95', '88', '89', '78', '111', '119', '117', '113', '101', '102'], ['95', '88', '89', '77', '78', '111', '119', '112', '113', '102'], ['95', '88', '89', '77', '78', '111', '119', '112', '113', '101', '102'], ['95', '88', '89', '77', '78', '111', '119', '117', '113', '102'], ['95', '88', '89', '77', '78', '111', '119', '117', '113', '101', '102'], ['95', '93', '89', '78', '111', '119', '112', '113', '102'], ['95', '93', '89', '78', '111', '119', '112', '113', '101', '102'], ['95', '93', '89', '77', '78', '111', '119', '112', '113', '102'], ['95', '93', '89', '77', '78', '111', '119', '112', '113', '101', '102'], ['88', '89', '78', '111', '119', '112', '113', '102'], ['88', '89', '78', '111', '119', '112', '113', '101', '102'], ['88', '89', '78', '111', '119', '117', '113', '102'], ['88', '89', '78', '111', '119', '117', '113', '101', '102'], ['88', '89', '77', '78', '111', '119', '112', '113', '102'], ['88', '89', '77', '78', '111', '119', '112', '113', '101', '102'], ['88', '89', '77', '78', '111', '119', '117', '113', '102'], ['88', '89', '77', '78', '111', '119', '117', '113', '101', '102'], ['112', '113', '102', '135', '143', '136', '137', '126', '159'], ['112', '113', '102', '135', '143', '136', '137', '125', '126', '159'], ['112', '113', '102', '135', '143', '141', '137', '126', '159'], ['112', '113', '102', '135', '143', '141', '137', '125', '126', '159'], ['112', '113', '101', '102', '135', '143', '136', '137', '126', '159'], ['112', '113', '101', '102', '135', '143', '136', '137', '125', '126', '159'], ['112', '113', '101', '102', '135', '143', '141', '137', '126', '159'], ['112', '113', '101', '102', '135', '143', '141', '137', '125', '126', '159']]
