Version: 1.13 
 _ data/zoo_json_cond_enf1/PionierL3_4.json -f output/flip/data/zoo_json_cond_enf1/PionierL3_4.json.subpaths
Flip subpaths generated in 0.279 seconds!
real 1.80
user 0.96
sys 0.06
<logging.Logger object at 0x7f5e8b82f7d0>
I1217 12:43:10.194 2414154 flip.py:564] node 272 adds BLACKHOLE: ALL ['285'] < ['272']
I1217 12:43:10.194 2414154 flip.py:564] node 286 adds BLACKHOLE: ALL ['285'] < ['286']
I1217 12:43:10.194 2414154 flip.py:564] node 293 adds BLACKHOLE: ALL ['285'] < ['293']
I1217 12:43:10.194 2414154 flip.py:564] node 284 adds BLACKHOLE: ALL ['285'] < ['284']
I1217 12:43:10.194 2414154 flip.py:564] node 289 adds BLACKHOLE: ALL ['285'] < ['289']
I1217 12:43:10.195 2414154 flip.py:564] node 274 adds BLACKHOLE: ALL ['285'] < ['274']
I1217 12:43:10.195 2414154 flip.py:839] node 285 (white-green) adds POLICY: ALL ['285'] < ['247'] with dependencies []
I1217 12:43:10.195 2414154 flip.py:564] node 234 adds BLACKHOLE: ALL ['247'] < ['234']
I1217 12:43:10.196 2414154 flip.py:564] node 248 adds BLACKHOLE: ALL ['247'] < ['248']
I1217 12:43:10.196 2414154 flip.py:564] node 255 adds BLACKHOLE: ALL ['247'] < ['255']
I1217 12:43:10.196 2414154 flip.py:564] node 246 adds BLACKHOLE: ALL ['247'] < ['246']
I1217 12:43:10.196 2414154 flip.py:564] node 251 adds BLACKHOLE: ALL ['247'] < ['251']
I1217 12:43:10.196 2414154 flip.py:564] node 236 adds BLACKHOLE: ALL ['247'] < ['236']
I1217 12:43:10.196 2414154 flip.py:839] node 247 (white-green) adds POLICY: ALL ['247'] < ['209'] with dependencies []
I1217 12:43:10.197 2414154 flip.py:564] node 196 adds BLACKHOLE: ALL ['209'] < ['196']
I1217 12:43:10.197 2414154 flip.py:564] node 210 adds BLACKHOLE: ALL ['209'] < ['210']
I1217 12:43:10.197 2414154 flip.py:564] node 217 adds BLACKHOLE: ALL ['209'] < ['217']
I1217 12:43:10.197 2414154 flip.py:564] node 208 adds BLACKHOLE: ALL ['209'] < ['208']
I1217 12:43:10.198 2414154 flip.py:564] node 213 adds BLACKHOLE: ALL ['209'] < ['213']
I1217 12:43:10.198 2414154 flip.py:564] node 198 adds BLACKHOLE: ALL ['209'] < ['198']
I1217 12:43:10.198 2414154 flip.py:839] node 209 (white-green) adds POLICY: ALL ['209'] < ['171'] with dependencies []
I1217 12:43:10.199 2414154 flip.py:564] node 158 adds BLACKHOLE: ALL ['171'] < ['158']
I1217 12:43:10.199 2414154 flip.py:564] node 172 adds BLACKHOLE: ALL ['171'] < ['172']
I1217 12:43:10.199 2414154 flip.py:564] node 179 adds BLACKHOLE: ALL ['171'] < ['179']
I1217 12:43:10.199 2414154 flip.py:564] node 170 adds BLACKHOLE: ALL ['171'] < ['170']
I1217 12:43:10.199 2414154 flip.py:564] node 175 adds BLACKHOLE: ALL ['171'] < ['175']
I1217 12:43:10.199 2414154 flip.py:564] node 160 adds BLACKHOLE: ALL ['171'] < ['160']
I1217 12:43:10.200 2414154 flip.py:839] node 171 (white-green) adds POLICY: ALL ['171'] < ['133'] with dependencies []
I1217 12:43:10.200 2414154 flip.py:564] node 120 adds BLACKHOLE: ALL ['133'] < ['120']
I1217 12:43:10.200 2414154 flip.py:564] node 134 adds BLACKHOLE: ALL ['133'] < ['134']
I1217 12:43:10.200 2414154 flip.py:564] node 141 adds BLACKHOLE: ALL ['133'] < ['141']
I1217 12:43:10.201 2414154 flip.py:564] node 132 adds BLACKHOLE: ALL ['133'] < ['132']
I1217 12:43:10.201 2414154 flip.py:564] node 137 adds BLACKHOLE: ALL ['133'] < ['137']
I1217 12:43:10.201 2414154 flip.py:564] node 122 adds BLACKHOLE: ALL ['133'] < ['122']
I1217 12:43:10.201 2414154 flip.py:839] node 133 (white-green) adds POLICY: ALL ['133'] < ['95'] with dependencies []
I1217 12:43:10.202 2414154 flip.py:564] node 82 adds BLACKHOLE: ALL ['95'] < ['82']
I1217 12:43:10.202 2414154 flip.py:564] node 96 adds BLACKHOLE: ALL ['95'] < ['96']
I1217 12:43:10.202 2414154 flip.py:564] node 103 adds BLACKHOLE: ALL ['95'] < ['103']
I1217 12:43:10.202 2414154 flip.py:564] node 94 adds BLACKHOLE: ALL ['95'] < ['94']
I1217 12:43:10.202 2414154 flip.py:564] node 99 adds BLACKHOLE: ALL ['95'] < ['99']
I1217 12:43:10.202 2414154 flip.py:564] node 84 adds BLACKHOLE: ALL ['95'] < ['84']
I1217 12:43:10.203 2414154 flip.py:839] node 95 (white-green) adds POLICY: ALL ['95'] < ['57'] with dependencies []
I1217 12:43:10.203 2414154 flip.py:564] node 44 adds BLACKHOLE: ALL ['57'] < ['44']
I1217 12:43:10.204 2414154 flip.py:564] node 58 adds BLACKHOLE: ALL ['57'] < ['58']
I1217 12:43:10.204 2414154 flip.py:564] node 65 adds BLACKHOLE: ALL ['57'] < ['65']
I1217 12:43:10.204 2414154 flip.py:564] node 56 adds BLACKHOLE: ALL ['57'] < ['56']
I1217 12:43:10.204 2414154 flip.py:564] node 61 adds BLACKHOLE: ALL ['57'] < ['61']
I1217 12:43:10.204 2414154 flip.py:564] node 46 adds BLACKHOLE: ALL ['57'] < ['46']
I1217 12:43:10.205 2414154 flip.py:564] node 6 adds BLACKHOLE: ALL ['19'] < ['6']
I1217 12:43:10.205 2414154 flip.py:564] node 20 adds BLACKHOLE: ALL ['19'] < ['20']
I1217 12:43:10.205 2414154 flip.py:564] node 27 adds BLACKHOLE: ALL ['19'] < ['27']
I1217 12:43:10.205 2414154 flip.py:564] node 18 adds BLACKHOLE: ALL ['19'] < ['18']
I1217 12:43:10.205 2414154 flip.py:564] node 23 adds BLACKHOLE: ALL ['19'] < ['23']
I1217 12:43:10.206 2414154 flip.py:564] node 8 adds BLACKHOLE: ALL ['19'] < ['8']
I1217 12:43:10.206 2414154 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['19']
I1217 12:43:10.206 2414154 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['19']
I1217 12:43:10.206 2414154 flip.py:564] node 4 adds BLACKHOLE: ALL ['4'] < ['19']
I1217 12:43:10.206 2414154 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['57']
I1217 12:43:10.207 2414154 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['57']
I1217 12:43:10.207 2414154 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['57']
I1217 12:43:10.207 2414154 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['95']
I1217 12:43:10.207 2414154 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['95']
I1217 12:43:10.207 2414154 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['95']
I1217 12:43:10.208 2414154 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['133']
I1217 12:43:10.208 2414154 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['133']
I1217 12:43:10.208 2414154 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['133']
I1217 12:43:10.208 2414154 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['171']
I1217 12:43:10.208 2414154 flip.py:564] node 159 adds BLACKHOLE: ALL ['159'] < ['171']
I1217 12:43:10.209 2414154 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['171']
I1217 12:43:10.209 2414154 flip.py:564] node 191 adds BLACKHOLE: ALL ['191'] < ['209']
I1217 12:43:10.209 2414154 flip.py:564] node 197 adds BLACKHOLE: ALL ['197'] < ['209']
I1217 12:43:10.209 2414154 flip.py:564] node 194 adds BLACKHOLE: ALL ['194'] < ['209']
I1217 12:43:10.209 2414154 flip.py:564] node 229 adds BLACKHOLE: ALL ['229'] < ['247']
I1217 12:43:10.210 2414154 flip.py:564] node 235 adds BLACKHOLE: ALL ['235'] < ['247']
I1217 12:43:10.210 2414154 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['247']
I1217 12:43:10.210 2414154 flip.py:564] node 267 adds BLACKHOLE: ALL ['267'] < ['285']
I1217 12:43:10.210 2414154 flip.py:564] node 273 adds BLACKHOLE: ALL ['273'] < ['285']
I1217 12:43:10.210 2414154 flip.py:564] node 270 adds BLACKHOLE: ALL ['270'] < ['285']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:10.230 2414154 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: 5, dst: 303, path: ['5', '19', '4', '7', '1', '0', '3', '11', '28', '10', '37', '43', '57', '42', '45', '39', '38', '41', '49', '66', '48', '75', '81', '95', '80', '83', '77', '76', '79', '87', '104', '86', '113', '119', '133', '118', '121', '115', '114', '117', '125', '142', '124', '151', '157', '171', '156', '159', '153', '152', '155', '163', '180', '162', '189', '195', '209', '194', '197', '191', '190', '193', '201', '218', '200', '227', '233', '247', '232', '235', '229', '228', '231', '239', '256', '238', '265', '271', '285', '270', '273', '267', '266', '269', '277', '294', '276', '303'], tags: {}> doesn't satisfy any of [['56']]
