Version: 1.13 
 _ data/zoo_json_alt_waypoint4/TataNld_1.json -f output/flip/data/zoo_json_alt_waypoint4/TataNld_1.json.subpaths
Flip subpaths generated in 0.192 seconds!
real 0.71
user 0.95
sys 0.09
<logging.Logger object at 0x7fa53b2977d0>
W1217 12:30:52.549 2469002 flip.py:156] subpath ['91', '105', '106', '103', '104', '101', '102', '99', '76', '24', '25', '23', '54', '70', '52', '133', '136', '135', '134'] is superfluous, discarding it
W1217 12:30:52.549 2469002 flip.py:156] subpath ['126', '1', '91', '105', '106', '103', '104', '101', '102', '99', '76', '24', '25', '23', '54', '70', '52', '133', '136', '135', '134'] is superfluous, discarding it
I1217 12:30:52.564 2469002 flip.py:564] node 130 adds BLACKHOLE: ALL ['52'] < ['130']
I1217 12:30:52.564 2469002 flip.py:564] node 134 adds BLACKHOLE: ALL ['52'] < ['134']
I1217 12:30:52.565 2469002 flip.py:564] node 135 adds BLACKHOLE: ALL ['52'] < ['135']
I1217 12:30:52.565 2469002 flip.py:564] node 136 adds BLACKHOLE: ALL ['52'] < ['136']
I1217 12:30:52.565 2469002 flip.py:564] node 133 adds BLACKHOLE: ALL ['52'] < ['133']
I1217 12:30:52.565 2469002 flip.py:839] node 52 (cyan-green) adds POLICY: ALL ['52'] < ['46'] with dependencies []
I1217 12:30:52.566 2469002 flip.py:564] node 70 adds BLACKHOLE: ALL ['46'] < ['70']
I1217 12:30:52.566 2469002 flip.py:564] node 54 adds BLACKHOLE: ALL ['46'] < ['54']
I1217 12:30:52.566 2469002 flip.py:564] node 23 adds BLACKHOLE: ALL ['46'] < ['23']
I1217 12:30:52.566 2469002 flip.py:564] node 25 adds BLACKHOLE: ALL ['46'] < ['25']
I1217 12:30:52.567 2469002 flip.py:564] node 24 adds BLACKHOLE: ALL ['46'] < ['24']
I1217 12:30:52.567 2469002 flip.py:564] node 76 adds BLACKHOLE: ALL ['46'] < ['76']
I1217 12:30:52.567 2469002 flip.py:564] node 99 adds BLACKHOLE: ALL ['46'] < ['99']
I1217 12:30:52.567 2469002 flip.py:564] node 102 adds BLACKHOLE: ALL ['46'] < ['102']
I1217 12:30:52.568 2469002 flip.py:564] node 101 adds BLACKHOLE: ALL ['46'] < ['101']
I1217 12:30:52.568 2469002 flip.py:564] node 104 adds BLACKHOLE: ALL ['46'] < ['104']
I1217 12:30:52.568 2469002 flip.py:564] node 103 adds BLACKHOLE: ALL ['46'] < ['103']
I1217 12:30:52.568 2469002 flip.py:564] node 106 adds BLACKHOLE: ALL ['46'] < ['106']
I1217 12:30:52.568 2469002 flip.py:564] node 105 adds BLACKHOLE: ALL ['46'] < ['105']
I1217 12:30:52.568 2469002 flip.py:564] node 91 adds BLACKHOLE: ALL ['46'] < ['91']
I1217 12:30:52.568 2469002 flip.py:564] node 1 adds BLACKHOLE: ALL ['46'] < ['1']
I1217 12:30:52.569 2469002 flip.py:564] node 126 adds BLACKHOLE: ALL ['46'] < ['126']
I1217 12:30:52.569 2469002 flip.py:564] node 127 adds BLACKHOLE: ALL ['46'] < ['127']
I1217 12:30:52.569 2469002 flip.py:564] node 128 adds BLACKHOLE: ALL ['46'] < ['128']
I1217 12:30:52.569 2469002 flip.py:564] node 47 adds BLACKHOLE: ALL ['141'] < ['47']
I1217 12:30:52.569 2469002 flip.py:564] node 107 adds BLACKHOLE: ALL ['141'] < ['107']
I1217 12:30:52.569 2469002 flip.py:564] node 86 adds BLACKHOLE: ALL ['141'] < ['86']
I1217 12:30:52.569 2469002 flip.py:564] node 83 adds BLACKHOLE: ALL ['141'] < ['83']
I1217 12:30:52.569 2469002 flip.py:564] node 140 adds BLACKHOLE: ALL ['137'] < ['140']
I1217 12:30:52.570 2469002 flip.py:564] node 138 adds BLACKHOLE: ALL ['137'] < ['138']
I1217 12:30:52.570 2469002 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['137']
I1217 12:30:52.570 2469002 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['137']
I1217 12:30:52.570 2469002 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['137']
I1217 12:30:52.570 2469002 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['141']
I1217 12:30:52.570 2469002 flip.py:564] node 40 adds BLACKHOLE: ALL ['40'] < ['141']
I1217 12:30:52.570 2469002 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['141']
I1217 12:30:52.571 2469002 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['46']
I1217 12:30:52.571 2469002 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['46']
I1217 12:30:52.571 2469002 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['46']
I1217 12:30:52.571 2469002 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 19 adds BLACKHOLE: ALL ['19'] < ['46']
I1217 12:30:52.572 2469002 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['46']
I1217 12:30:52.573 2469002 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['46']
I1217 12:30:52.573 2469002 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['46']
I1217 12:30:52.573 2469002 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['52']
I1217 12:30:52.573 2469002 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['52']
I1217 12:30:52.573 2469002 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['52']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:30:52.582 2469002 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: 137, dst: 116, path: ['137', '139', '43', '108', '141', '142', '40', '41', '46', '123', '122', '119', '19', '15', '71', '60', '69', '79', '56', '59', '58', '53', '52', '132', '131', '32', '129', '113', '115', '116'], tags: {}> doesn't satisfy any of [['91', '105', '106', '103', '104', '101', '102', '99', '76', '24', '25', '23', '54', '70', '52', '133', '136', '135', '134'], ['126', '1', '91', '105', '106', '103', '104', '101', '102', '99', '76', '24', '25', '23', '54', '70', '52', '133', '136', '135', '134']]
