Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr200902_3.json -f output/flip/data/zoo_json_cond_enf1/Garr200902_3.json.subpaths
Flip subpaths generated in 0.146 seconds!
real 1.09
user 0.77
sys 0.08
<logging.Logger object at 0x7ff2c00877d0>
I1217 12:43:09.190 2414053 flip.py:638] node 8 (8->48->37->8) adds LOOP: ANY ['37', '48'] < ['8']
I1217 12:43:09.194 2414053 flip.py:638] node 57 (57->97->86->57) adds LOOP: ANY ['86', '97'] < ['57']
I1217 12:43:09.197 2414053 flip.py:638] node 146 (146->135->106->146) adds LOOP: ANY ['135', '146'] < ['106']
I1217 12:43:09.199 2414053 flip.py:638] node 195 (195->184->155->195) adds LOOP: ANY ['184', '195'] < ['155']
I1217 12:43:09.200 2414053 flip.py:564] node 176 adds BLACKHOLE: ALL ['155'] < ['176']
I1217 12:43:09.200 2414053 flip.py:564] node 171 adds BLACKHOLE: ALL ['155'] < ['171']
I1217 12:43:09.200 2414053 flip.py:564] node 186 adds BLACKHOLE: ALL ['155'] < ['186']
I1217 12:43:09.200 2414053 flip.py:839] node 155 (white-green) adds POLICY: ALL ['155'] < ['166'] with dependencies []
I1217 12:43:09.200 2414053 flip.py:564] node 184 adds BLACKHOLE: ALL ['195'] < ['184']
I1217 12:43:09.201 2414053 flip.py:839] node 195 (white-green) adds POLICY: ALL ['195'] < ['155'] with dependencies []
I1217 12:43:09.201 2414053 flip.py:564] node 163 adds BLACKHOLE: ALL ['166'] < ['163']
I1217 12:43:09.201 2414053 flip.py:839] node 166 (white-green) adds POLICY: ALL ['166'] < ['146'] with dependencies []
I1217 12:43:09.201 2414053 flip.py:564] node 127 adds BLACKHOLE: ALL ['106'] < ['127']
I1217 12:43:09.202 2414053 flip.py:564] node 122 adds BLACKHOLE: ALL ['106'] < ['122']
I1217 12:43:09.202 2414053 flip.py:564] node 137 adds BLACKHOLE: ALL ['106'] < ['137']
I1217 12:43:09.202 2414053 flip.py:839] node 106 (white-green) adds POLICY: ALL ['106'] < ['117'] with dependencies []
I1217 12:43:09.202 2414053 flip.py:564] node 135 adds BLACKHOLE: ALL ['146'] < ['135']
I1217 12:43:09.202 2414053 flip.py:839] node 146 (white-green) adds POLICY: ALL ['146'] < ['106'] with dependencies []
I1217 12:43:09.203 2414053 flip.py:564] node 114 adds BLACKHOLE: ALL ['117'] < ['114']
I1217 12:43:09.203 2414053 flip.py:839] node 117 (white-green) adds POLICY: ALL ['117'] < ['97'] with dependencies []
I1217 12:43:09.204 2414053 flip.py:564] node 78 adds BLACKHOLE: ALL ['57'] < ['78']
I1217 12:43:09.204 2414053 flip.py:564] node 73 adds BLACKHOLE: ALL ['57'] < ['73']
I1217 12:43:09.204 2414053 flip.py:564] node 88 adds BLACKHOLE: ALL ['57'] < ['88']
I1217 12:43:09.204 2414053 flip.py:839] node 57 (white-green) adds POLICY: ALL ['57'] < ['68'] with dependencies []
I1217 12:43:09.204 2414053 flip.py:564] node 86 adds BLACKHOLE: ALL ['97'] < ['86']
I1217 12:43:09.205 2414053 flip.py:839] node 97 (white-green) adds POLICY: ALL ['97'] < ['57'] with dependencies []
I1217 12:43:09.205 2414053 flip.py:564] node 65 adds BLACKHOLE: ALL ['68'] < ['65']
I1217 12:43:09.205 2414053 flip.py:564] node 29 adds BLACKHOLE: ALL ['8'] < ['29']
I1217 12:43:09.205 2414053 flip.py:564] node 24 adds BLACKHOLE: ALL ['8'] < ['24']
I1217 12:43:09.205 2414053 flip.py:564] node 39 adds BLACKHOLE: ALL ['8'] < ['39']
I1217 12:43:09.206 2414053 flip.py:564] node 37 adds BLACKHOLE: ALL ['48'] < ['37']
I1217 12:43:09.206 2414053 flip.py:564] node 16 adds BLACKHOLE: ALL ['19'] < ['16']
I1217 12:43:09.206 2414053 flip.py:564] node 31 adds BLACKHOLE: ALL ['31'] < ['48']
I1217 12:43:09.206 2414053 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['97']
I1217 12:43:09.207 2414053 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['146']
I1217 12:43:09.207 2414053 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['195']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:09.242 2414053 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: 193, path: ['13', '18', '19', '8', '48', '31', '12', '46', '62', '67', '68', '57', '97', '80', '61', '95', '111', '116', '117', '106', '146', '129', '110', '144', '160', '165', '166', '155', '195', '178', '159', '193'], tags: {}> doesn't satisfy any of [['65']]
