Version: 1.13 
 _ data/zoo_json_cond_enf1/Ilan_4.json -f output/flip/data/zoo_json_cond_enf1/Ilan_4.json.subpaths
Flip subpaths generated in 0.318 seconds!
real 1.19
user 0.74
sys 0.11
<logging.Logger object at 0x7f42bfbaf7d0>
W1217 12:43:10.472 2313070 flip.py:156] subpath ['14', '23'] is superfluous, discarding it
I1217 12:43:10.487 2313070 flip.py:564] node 107 adds BLACKHOLE: ALL ['98'] < ['107']
I1217 12:43:10.488 2313070 flip.py:839] node 98 (white-green) adds POLICY: ALL ['98'] < ['84'] with dependencies []
I1217 12:43:10.488 2313070 flip.py:564] node 93 adds BLACKHOLE: ALL ['84'] < ['93']
I1217 12:43:10.488 2313070 flip.py:839] node 84 (white-green) adds POLICY: ALL ['84'] < ['70'] with dependencies []
I1217 12:43:10.488 2313070 flip.py:564] node 79 adds BLACKHOLE: ALL ['70'] < ['79']
I1217 12:43:10.489 2313070 flip.py:839] node 70 (white-green) adds POLICY: ALL ['70'] < ['56'] with dependencies []
I1217 12:43:10.489 2313070 flip.py:564] node 65 adds BLACKHOLE: ALL ['56'] < ['65']
I1217 12:43:10.489 2313070 flip.py:839] node 56 (white-green) adds POLICY: ALL ['56'] < ['42'] with dependencies []
I1217 12:43:10.489 2313070 flip.py:564] node 51 adds BLACKHOLE: ALL ['42'] < ['51']
I1217 12:43:10.490 2313070 flip.py:839] node 42 (white-green) adds POLICY: ALL ['42'] < ['28'] with dependencies []
I1217 12:43:10.490 2313070 flip.py:564] node 37 adds BLACKHOLE: ALL ['28'] < ['37']
I1217 12:43:10.490 2313070 flip.py:839] node 28 (white-green) adds POLICY: ALL ['28'] < ['14'] with dependencies []
I1217 12:43:10.490 2313070 flip.py:564] node 23 adds BLACKHOLE: ALL ['14'] < ['23']
I1217 12:43:10.491 2313070 flip.py:564] node 9 adds BLACKHOLE: ALL ['0'] < ['9']
I1217 12:43:10.491 2313070 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['0']
I1217 12:43:10.491 2313070 flip.py:564] node 27 adds BLACKHOLE: ALL ['27'] < ['14']
I1217 12:43:10.491 2313070 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['28']
I1217 12:43:10.491 2313070 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['42']
I1217 12:43:10.491 2313070 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['56']
I1217 12:43:10.491 2313070 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['70']
I1217 12:43:10.491 2313070 flip.py:564] node 97 adds BLACKHOLE: ALL ['97'] < ['84']
I1217 12:43:10.492 2313070 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['98']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:10.500 2313070 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: 1, dst: 103, path: ['1', '0', '13', '3', '5', '15', '14', '27', '17', '19', '29', '28', '41', '31', '33', '43', '42', '55', '45', '47', '57', '56', '69', '59', '61', '71', '70', '83', '73', '75', '85', '84', '97', '87', '89', '99', '98', '111', '101', '103'], tags: {}> doesn't satisfy any of [['14', '23'], ['23']]
