Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr200908_3.json -f output/flip/data/zoo_json_cond_enf1/Garr200908_3.json.subpaths
Flip subpaths generated in 0.201 seconds!
real 1.20
user 0.82
sys 0.06
<logging.Logger object at 0x7ff376c477d0>
I1217 12:43:09.653 2480198 flip.py:839] node 190 (white-green) adds POLICY: ALL ['190'] < ['178'] with dependencies []
I1217 12:43:09.654 2480198 flip.py:564] node 184 adds BLACKHOLE: ALL ['178'] < ['184']
I1217 12:43:09.654 2480198 flip.py:564] node 183 adds BLACKHOLE: ALL ['178'] < ['183']
I1217 12:43:09.654 2480198 flip.py:564] node 198 adds BLACKHOLE: ALL ['178'] < ['198']
I1217 12:43:09.654 2480198 flip.py:564] node 167 adds BLACKHOLE: ALL ['178'] < ['167']
I1217 12:43:09.654 2480198 flip.py:839] node 178 (white-green) adds POLICY: ALL ['178'] < ['137'] with dependencies []
I1217 12:43:09.655 2480198 flip.py:839] node 137 (white-green) adds POLICY: ALL ['137'] < ['125'] with dependencies []
I1217 12:43:09.655 2480198 flip.py:564] node 131 adds BLACKHOLE: ALL ['125'] < ['131']
I1217 12:43:09.655 2480198 flip.py:564] node 130 adds BLACKHOLE: ALL ['125'] < ['130']
I1217 12:43:09.655 2480198 flip.py:564] node 145 adds BLACKHOLE: ALL ['125'] < ['145']
I1217 12:43:09.655 2480198 flip.py:564] node 114 adds BLACKHOLE: ALL ['125'] < ['114']
I1217 12:43:09.656 2480198 flip.py:839] node 125 (white-green) adds POLICY: ALL ['125'] < ['84'] with dependencies []
I1217 12:43:09.656 2480198 flip.py:839] node 84 (white-green) adds POLICY: ALL ['84'] < ['72'] with dependencies []
I1217 12:43:09.656 2480198 flip.py:564] node 78 adds BLACKHOLE: ALL ['72'] < ['78']
I1217 12:43:09.657 2480198 flip.py:564] node 77 adds BLACKHOLE: ALL ['72'] < ['77']
I1217 12:43:09.657 2480198 flip.py:564] node 92 adds BLACKHOLE: ALL ['72'] < ['92']
I1217 12:43:09.657 2480198 flip.py:564] node 61 adds BLACKHOLE: ALL ['72'] < ['61']
I1217 12:43:09.657 2480198 flip.py:564] node 25 adds BLACKHOLE: ALL ['19'] < ['25']
I1217 12:43:09.657 2480198 flip.py:564] node 24 adds BLACKHOLE: ALL ['19'] < ['24']
I1217 12:43:09.657 2480198 flip.py:564] node 39 adds BLACKHOLE: ALL ['19'] < ['39']
I1217 12:43:09.657 2480198 flip.py:564] node 8 adds BLACKHOLE: ALL ['19'] < ['8']
I1217 12:43:09.658 2480198 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['19']
I1217 12:43:09.658 2480198 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['19']
I1217 12:43:09.658 2480198 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['31']
I1217 12:43:09.658 2480198 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['72']
I1217 12:43:09.658 2480198 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['72']
I1217 12:43:09.658 2480198 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['84']
I1217 12:43:09.659 2480198 flip.py:564] node 154 adds BLACKHOLE: ALL ['154'] < ['125']
I1217 12:43:09.659 2480198 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['125']
I1217 12:43:09.659 2480198 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['137']
I1217 12:43:09.659 2480198 flip.py:564] node 207 adds BLACKHOLE: ALL ['207'] < ['178']
I1217 12:43:09.659 2480198 flip.py:564] node 175 adds BLACKHOLE: ALL ['175'] < ['178']
I1217 12:43:09.659 2480198 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['190']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:09.670 2480198 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: 13, dst: 205, path: ['13', '18', '19', '16', '48', '52', '30', '31', '29', '12', '46', '66', '71', '72', '69', '101', '105', '83', '84', '82', '65', '99', '119', '124', '125', '122', '154', '158', '136', '137', '135', '118', '152', '172', '177', '178', '175', '207', '211', '189', '190', '188', '171', '205'], tags: {}> doesn't satisfy any of [['78']]
