Version: 1.13 
 _ data/zoo_json_cond_enf1/GtsPoland_3.json -f output/flip/data/zoo_json_cond_enf1/GtsPoland_3.json.subpaths
Flip subpaths generated in 0.159 seconds!
real 0.62
user 0.75
sys 0.12
<logging.Logger object at 0x7fe5d62df7d0>
I1217 12:44:44.496 3250427 flip.py:564] node 109 adds BLACKHOLE: ALL ['107'] < ['109']
I1217 12:44:44.496 3250427 flip.py:564] node 115 adds BLACKHOLE: ALL ['107'] < ['115']
I1217 12:44:44.496 3250427 flip.py:564] node 103 adds BLACKHOLE: ALL ['107'] < ['103']
I1217 12:44:44.496 3250427 flip.py:564] node 104 adds BLACKHOLE: ALL ['107'] < ['104']
I1217 12:44:44.496 3250427 flip.py:839] node 107 (white-green) adds POLICY: ALL ['107'] < ['74'] with dependencies []
I1217 12:44:44.497 3250427 flip.py:564] node 76 adds BLACKHOLE: ALL ['74'] < ['76']
I1217 12:44:44.497 3250427 flip.py:564] node 82 adds BLACKHOLE: ALL ['74'] < ['82']
I1217 12:44:44.497 3250427 flip.py:564] node 70 adds BLACKHOLE: ALL ['74'] < ['70']
I1217 12:44:44.497 3250427 flip.py:564] node 71 adds BLACKHOLE: ALL ['74'] < ['71']
I1217 12:44:44.498 3250427 flip.py:839] node 74 (white-green) adds POLICY: ALL ['74'] < ['41'] with dependencies []
I1217 12:44:44.498 3250427 flip.py:564] node 43 adds BLACKHOLE: ALL ['41'] < ['43']
I1217 12:44:44.498 3250427 flip.py:564] node 49 adds BLACKHOLE: ALL ['41'] < ['49']
I1217 12:44:44.499 3250427 flip.py:564] node 37 adds BLACKHOLE: ALL ['41'] < ['37']
I1217 12:44:44.499 3250427 flip.py:564] node 38 adds BLACKHOLE: ALL ['41'] < ['38']
I1217 12:44:44.499 3250427 flip.py:564] node 10 adds BLACKHOLE: ALL ['8'] < ['10']
I1217 12:44:44.499 3250427 flip.py:564] node 16 adds BLACKHOLE: ALL ['8'] < ['16']
I1217 12:44:44.499 3250427 flip.py:564] node 4 adds BLACKHOLE: ALL ['8'] < ['4']
I1217 12:44:44.499 3250427 flip.py:564] node 5 adds BLACKHOLE: ALL ['8'] < ['5']
I1217 12:44:44.500 3250427 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['8']
I1217 12:44:44.500 3250427 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['8']
I1217 12:44:44.500 3250427 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['8']
I1217 12:44:44.500 3250427 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['8']
I1217 12:44:44.500 3250427 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['41']
I1217 12:44:44.500 3250427 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['41']
I1217 12:44:44.501 3250427 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['41']
I1217 12:44:44.501 3250427 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['41']
I1217 12:44:44.501 3250427 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['74']
I1217 12:44:44.501 3250427 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['74']
I1217 12:44:44.501 3250427 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['74']
I1217 12:44:44.501 3250427 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['74']
I1217 12:44:44.502 3250427 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['107']
I1217 12:44:44.502 3250427 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['107']
I1217 12:44:44.502 3250427 flip.py:564] node 99 adds BLACKHOLE: ALL ['99'] < ['107']
I1217 12:44:44.502 3250427 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['107']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:44.512 3250427 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: 28, dst: 114, path: ['28', '29', '32', '31', '8', '9', '0', '18', '17', '11', '15', '61', '62', '65', '64', '41', '42', '33', '51', '50', '44', '48', '94', '95', '98', '97', '74', '75', '66', '84', '83', '77', '81', '127', '128', '131', '130', '107', '108', '99', '117', '116', '110', '114'], tags: {}> doesn't satisfy any of [['49']]
