Version: 1.13 
 _ data/zoo_json_cond_enf2/Tinet_3.json -f output/flip/data/zoo_json_cond_enf2/Tinet_3.json.subpaths
Flip subpaths generated in 0.196 seconds!
real 0.82
user 0.83
sys 0.09
<logging.Logger object at 0x7fbd320c77d0>
I1217 12:34:46.410 2406557 flip.py:564] node 201 adds BLACKHOLE: ALL ['194'] < ['201']
I1217 12:34:46.411 2406557 flip.py:839] node 194 (white-green) adds POLICY: ALL ['194'] < ['202'] with dependencies []
I1217 12:34:46.411 2406557 flip.py:564] node 205 adds BLACKHOLE: ALL ['202'] < ['205']
I1217 12:34:46.411 2406557 flip.py:564] node 204 adds BLACKHOLE: ALL ['202'] < ['204']
I1217 12:34:46.411 2406557 flip.py:564] node 203 adds BLACKHOLE: ALL ['202'] < ['203']
I1217 12:34:46.411 2406557 flip.py:564] node 160 adds BLACKHOLE: ALL ['202'] < ['160']
I1217 12:34:46.412 2406557 flip.py:564] node 211 adds BLACKHOLE: ALL ['202'] < ['211']
I1217 12:34:46.412 2406557 flip.py:839] node 202 (cyan-green) adds POLICY: ALL ['202'] < ['141'] with dependencies []
I1217 12:34:46.412 2406557 flip.py:564] node 148 adds BLACKHOLE: ALL ['141'] < ['148']
I1217 12:34:46.412 2406557 flip.py:839] node 141 (cyan-green) adds POLICY: ALL ['141'] < ['149'] with dependencies []
I1217 12:34:46.413 2406557 flip.py:564] node 152 adds BLACKHOLE: ALL ['149'] < ['152']
I1217 12:34:46.413 2406557 flip.py:564] node 151 adds BLACKHOLE: ALL ['149'] < ['151']
I1217 12:34:46.413 2406557 flip.py:564] node 150 adds BLACKHOLE: ALL ['149'] < ['150']
I1217 12:34:46.413 2406557 flip.py:564] node 107 adds BLACKHOLE: ALL ['149'] < ['107']
I1217 12:34:46.413 2406557 flip.py:564] node 158 adds BLACKHOLE: ALL ['149'] < ['158']
I1217 12:34:46.413 2406557 flip.py:839] node 149 (cyan-green) adds POLICY: ALL ['149'] < ['88'] with dependencies []
I1217 12:34:46.413 2406557 flip.py:564] node 95 adds BLACKHOLE: ALL ['88'] < ['95']
I1217 12:34:46.414 2406557 flip.py:839] node 88 (cyan-green) adds POLICY: ALL ['88'] < ['96'] with dependencies []
I1217 12:34:46.414 2406557 flip.py:564] node 99 adds BLACKHOLE: ALL ['96'] < ['99']
I1217 12:34:46.414 2406557 flip.py:564] node 98 adds BLACKHOLE: ALL ['96'] < ['98']
I1217 12:34:46.414 2406557 flip.py:564] node 97 adds BLACKHOLE: ALL ['96'] < ['97']
I1217 12:34:46.414 2406557 flip.py:564] node 54 adds BLACKHOLE: ALL ['96'] < ['54']
I1217 12:34:46.415 2406557 flip.py:564] node 105 adds BLACKHOLE: ALL ['96'] < ['105']
I1217 12:34:46.415 2406557 flip.py:564] node 42 adds BLACKHOLE: ALL ['35'] < ['42']
I1217 12:34:46.415 2406557 flip.py:564] node 46 adds BLACKHOLE: ALL ['43'] < ['46']
I1217 12:34:46.415 2406557 flip.py:564] node 45 adds BLACKHOLE: ALL ['43'] < ['45']
I1217 12:34:46.415 2406557 flip.py:564] node 44 adds BLACKHOLE: ALL ['43'] < ['44']
I1217 12:34:46.415 2406557 flip.py:564] node 1 adds BLACKHOLE: ALL ['43'] < ['1']
I1217 12:34:46.416 2406557 flip.py:564] node 52 adds BLACKHOLE: ALL ['43'] < ['52']
I1217 12:34:46.416 2406557 flip.py:564] node 31 adds BLACKHOLE: ALL ['31'] < ['43']
I1217 12:34:46.416 2406557 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['43']
I1217 12:34:46.416 2406557 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['43']
I1217 12:34:46.416 2406557 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['43']
I1217 12:34:46.416 2406557 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['96']
I1217 12:34:46.416 2406557 flip.py:564] node 100 adds BLACKHOLE: ALL ['100'] < ['96']
I1217 12:34:46.417 2406557 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['96']
I1217 12:34:46.417 2406557 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['96']
I1217 12:34:46.417 2406557 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['149']
I1217 12:34:46.417 2406557 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['149']
I1217 12:34:46.417 2406557 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['149']
I1217 12:34:46.417 2406557 flip.py:564] node 157 adds BLACKHOLE: ALL ['157'] < ['149']
I1217 12:34:46.417 2406557 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['202']
I1217 12:34:46.417 2406557 flip.py:564] node 206 adds BLACKHOLE: ALL ['206'] < ['202']
I1217 12:34:46.417 2406557 flip.py:564] node 209 adds BLACKHOLE: ALL ['209'] < ['202']
I1217 12:34:46.418 2406557 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['202']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:34:46.426 2406557 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: 43, dst: 179, path: ['43', '51', '50', '47', '31', '24', '35', '41', '22', '20', '96', '104', '103', '100', '84', '77', '88', '94', '75', '73', '149', '157', '156', '153', '137', '130', '141', '147', '128', '126', '202', '210', '209', '206', '190', '183', '194', '200', '181', '179'], tags: {}> doesn't satisfy any of [['211'], ['105']]
