Version: 1.13 
 _ data/zoo_json_cond_enf2/Cwix_4.json -f output/flip/data/zoo_json_cond_enf2/Cwix_4.json.subpaths
Flip subpaths generated in 0.201 seconds!
real 0.66
user 0.98
sys 0.10
<logging.Logger object at 0x7f9671cdf7d0>
I1217 12:35:20.699 2406918 flip.py:564] node 263 adds BLACKHOLE: ALL ['251'] < ['263']
I1217 12:35:20.699 2406918 flip.py:564] node 269 adds BLACKHOLE: ALL ['251'] < ['269']
I1217 12:35:20.699 2406918 flip.py:564] node 254 adds BLACKHOLE: ALL ['251'] < ['254']
I1217 12:35:20.700 2406918 flip.py:564] node 250 adds BLACKHOLE: ALL ['251'] < ['250']
I1217 12:35:20.700 2406918 flip.py:564] node 278 adds BLACKHOLE: ALL ['251'] < ['278']
I1217 12:35:20.700 2406918 flip.py:564] node 279 adds BLACKHOLE: ALL ['251'] < ['279']
I1217 12:35:20.700 2406918 flip.py:839] node 251 (white-green) adds POLICY: ALL ['251'] < ['216'] with dependencies []
I1217 12:35:20.701 2406918 flip.py:564] node 228 adds BLACKHOLE: ALL ['216'] < ['228']
I1217 12:35:20.701 2406918 flip.py:564] node 234 adds BLACKHOLE: ALL ['216'] < ['234']
I1217 12:35:20.701 2406918 flip.py:564] node 219 adds BLACKHOLE: ALL ['216'] < ['219']
I1217 12:35:20.701 2406918 flip.py:564] node 215 adds BLACKHOLE: ALL ['216'] < ['215']
I1217 12:35:20.701 2406918 flip.py:564] node 243 adds BLACKHOLE: ALL ['216'] < ['243']
I1217 12:35:20.701 2406918 flip.py:564] node 244 adds BLACKHOLE: ALL ['216'] < ['244']
I1217 12:35:20.701 2406918 flip.py:839] node 216 (white-green) adds POLICY: ALL ['216'] < ['181'] with dependencies []
I1217 12:35:20.702 2406918 flip.py:564] node 193 adds BLACKHOLE: ALL ['181'] < ['193']
I1217 12:35:20.702 2406918 flip.py:564] node 199 adds BLACKHOLE: ALL ['181'] < ['199']
I1217 12:35:20.702 2406918 flip.py:564] node 184 adds BLACKHOLE: ALL ['181'] < ['184']
I1217 12:35:20.702 2406918 flip.py:564] node 180 adds BLACKHOLE: ALL ['181'] < ['180']
I1217 12:35:20.702 2406918 flip.py:564] node 208 adds BLACKHOLE: ALL ['181'] < ['208']
I1217 12:35:20.702 2406918 flip.py:564] node 209 adds BLACKHOLE: ALL ['181'] < ['209']
I1217 12:35:20.703 2406918 flip.py:839] node 181 (white-green) adds POLICY: ALL ['181'] < ['146'] with dependencies []
I1217 12:35:20.703 2406918 flip.py:564] node 158 adds BLACKHOLE: ALL ['146'] < ['158']
I1217 12:35:20.703 2406918 flip.py:564] node 164 adds BLACKHOLE: ALL ['146'] < ['164']
I1217 12:35:20.704 2406918 flip.py:564] node 149 adds BLACKHOLE: ALL ['146'] < ['149']
I1217 12:35:20.704 2406918 flip.py:564] node 145 adds BLACKHOLE: ALL ['146'] < ['145']
I1217 12:35:20.704 2406918 flip.py:564] node 173 adds BLACKHOLE: ALL ['146'] < ['173']
I1217 12:35:20.704 2406918 flip.py:564] node 174 adds BLACKHOLE: ALL ['146'] < ['174']
I1217 12:35:20.704 2406918 flip.py:839] node 146 (white-green) adds POLICY: ALL ['146'] < ['111'] with dependencies []
I1217 12:35:20.705 2406918 flip.py:564] node 123 adds BLACKHOLE: ALL ['111'] < ['123']
I1217 12:35:20.705 2406918 flip.py:564] node 129 adds BLACKHOLE: ALL ['111'] < ['129']
I1217 12:35:20.705 2406918 flip.py:564] node 114 adds BLACKHOLE: ALL ['111'] < ['114']
I1217 12:35:20.705 2406918 flip.py:564] node 110 adds BLACKHOLE: ALL ['111'] < ['110']
I1217 12:35:20.705 2406918 flip.py:564] node 138 adds BLACKHOLE: ALL ['111'] < ['138']
I1217 12:35:20.705 2406918 flip.py:564] node 139 adds BLACKHOLE: ALL ['111'] < ['139']
I1217 12:35:20.705 2406918 flip.py:839] node 111 (white-green) adds POLICY: ALL ['111'] < ['76'] with dependencies []
I1217 12:35:20.706 2406918 flip.py:564] node 88 adds BLACKHOLE: ALL ['76'] < ['88']
I1217 12:35:20.706 2406918 flip.py:564] node 94 adds BLACKHOLE: ALL ['76'] < ['94']
I1217 12:35:20.706 2406918 flip.py:564] node 79 adds BLACKHOLE: ALL ['76'] < ['79']
I1217 12:35:20.706 2406918 flip.py:564] node 75 adds BLACKHOLE: ALL ['76'] < ['75']
I1217 12:35:20.706 2406918 flip.py:564] node 103 adds BLACKHOLE: ALL ['76'] < ['103']
I1217 12:35:20.707 2406918 flip.py:564] node 104 adds BLACKHOLE: ALL ['76'] < ['104']
I1217 12:35:20.707 2406918 flip.py:839] node 76 (cyan-green) adds POLICY: ALL ['76'] < ['41'] with dependencies []
I1217 12:35:20.707 2406918 flip.py:564] node 53 adds BLACKHOLE: ALL ['41'] < ['53']
I1217 12:35:20.708 2406918 flip.py:564] node 59 adds BLACKHOLE: ALL ['41'] < ['59']
I1217 12:35:20.708 2406918 flip.py:564] node 44 adds BLACKHOLE: ALL ['41'] < ['44']
I1217 12:35:20.708 2406918 flip.py:564] node 40 adds BLACKHOLE: ALL ['41'] < ['40']
I1217 12:35:20.708 2406918 flip.py:564] node 68 adds BLACKHOLE: ALL ['41'] < ['68']
I1217 12:35:20.708 2406918 flip.py:564] node 69 adds BLACKHOLE: ALL ['41'] < ['69']
I1217 12:35:20.708 2406918 flip.py:564] node 18 adds BLACKHOLE: ALL ['6'] < ['18']
I1217 12:35:20.708 2406918 flip.py:564] node 24 adds BLACKHOLE: ALL ['6'] < ['24']
I1217 12:35:20.709 2406918 flip.py:564] node 9 adds BLACKHOLE: ALL ['6'] < ['9']
I1217 12:35:20.709 2406918 flip.py:564] node 5 adds BLACKHOLE: ALL ['6'] < ['5']
I1217 12:35:20.709 2406918 flip.py:564] node 33 adds BLACKHOLE: ALL ['6'] < ['33']
I1217 12:35:20.709 2406918 flip.py:564] node 34 adds BLACKHOLE: ALL ['6'] < ['34']
I1217 12:35:20.709 2406918 flip.py:564] node 20 adds BLACKHOLE: ALL ['20'] < ['6']
I1217 12:35:20.709 2406918 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['6']
I1217 12:35:20.709 2406918 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['6']
I1217 12:35:20.709 2406918 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['6']
I1217 12:35:20.710 2406918 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['6']
I1217 12:35:20.710 2406918 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['6']
I1217 12:35:20.710 2406918 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['41']
I1217 12:35:20.710 2406918 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['41']
I1217 12:35:20.710 2406918 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['41']
I1217 12:35:20.710 2406918 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['41']
I1217 12:35:20.711 2406918 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['41']
I1217 12:35:20.711 2406918 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['41']
I1217 12:35:20.711 2406918 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['76']
I1217 12:35:20.711 2406918 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['76']
I1217 12:35:20.711 2406918 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['76']
I1217 12:35:20.711 2406918 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['76']
I1217 12:35:20.712 2406918 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['76']
I1217 12:35:20.712 2406918 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['76']
I1217 12:35:20.712 2406918 flip.py:564] node 125 adds BLACKHOLE: ALL ['125'] < ['111']
I1217 12:35:20.712 2406918 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['111']
I1217 12:35:20.712 2406918 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['111']
I1217 12:35:20.712 2406918 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['111']
I1217 12:35:20.712 2406918 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['111']
I1217 12:35:20.713 2406918 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['111']
I1217 12:35:20.713 2406918 flip.py:564] node 160 adds BLACKHOLE: ALL ['160'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['146']
I1217 12:35:20.713 2406918 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 196 adds BLACKHOLE: ALL ['196'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 175 adds BLACKHOLE: ALL ['175'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 176 adds BLACKHOLE: ALL ['176'] < ['181']
I1217 12:35:20.714 2406918 flip.py:564] node 230 adds BLACKHOLE: ALL ['230'] < ['216']
I1217 12:35:20.714 2406918 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['216']
I1217 12:35:20.715 2406918 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['216']
I1217 12:35:20.715 2406918 flip.py:564] node 213 adds BLACKHOLE: ALL ['213'] < ['216']
I1217 12:35:20.715 2406918 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['216']
I1217 12:35:20.715 2406918 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['216']
I1217 12:35:20.715 2406918 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['251']
I1217 12:35:20.715 2406918 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['251']
I1217 12:35:20.716 2406918 flip.py:564] node 247 adds BLACKHOLE: ALL ['247'] < ['251']
I1217 12:35:20.716 2406918 flip.py:564] node 248 adds BLACKHOLE: ALL ['248'] < ['251']
I1217 12:35:20.716 2406918 flip.py:564] node 245 adds BLACKHOLE: ALL ['245'] < ['251']
I1217 12:35:20.716 2406918 flip.py:564] node 246 adds BLACKHOLE: ALL ['246'] < ['251']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:35:20.729 2406918 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: 22, dst: 264, path: ['22', '6', '1', '0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232', '216', '211', '210', '213', '212', '231', '230', '229', '267', '251', '246', '245', '248', '247', '266', '265', '264'], tags: {}> doesn't satisfy any of [['59'], ['103']]
