Version: 1.13 
 _ data/zoo_json_alt_waypoint1/Janetbackbone_4.json -f output/flip/data/zoo_json_alt_waypoint1/Janetbackbone_4.json.subpaths
Flip subpaths generated in 0.172 seconds!
real 1.03
user 0.87
sys 0.15
<logging.Logger object at 0x7faaac44f7d0>
I1217 13:04:12.123 2432493 flip.py:638] node 24 (24->25->14->28->27->12->24) adds LOOP: ANY ['14', '27', '28'] < ['12', '24', '25']
I1217 13:04:12.135 2432493 flip.py:638] node 54 (54->43->57->56->41->53->54) adds LOOP: ANY ['43', '56', '57'] < ['41', '53', '54']
I1217 13:04:12.145 2432493 flip.py:638] node 72 (72->86->85->70->82->83->72) adds LOOP: ANY ['72', '85', '86'] < ['70', '82', '83']
I1217 13:04:12.153 2432493 flip.py:638] node 99 (99->111->112->101->115->114->99) adds LOOP: ANY ['101', '114', '115'] < ['111', '112', '99']
I1217 13:04:12.158 2432493 flip.py:638] node 144 (144->143->128->140->141->130->144) adds LOOP: ANY ['130', '143', '144'] < ['128', '140', '141']
I1217 13:04:12.163 2432493 flip.py:638] node 157 (157->169->170->159->173->172->157) adds LOOP: ANY ['159', '172', '173'] < ['157', '169', '170']
I1217 13:04:12.167 2432493 flip.py:638] node 201 (201->186->198->199->188->202->201) adds LOOP: ANY ['188', '201', '202'] < ['186', '198', '199']
I1217 13:04:12.169 2432493 flip.py:638] node 217 (217->231->230->215->227->228->217) adds LOOP: ANY ['217', '230', '231'] < ['215', '227', '228']
I1217 13:04:12.170 2432493 flip.py:564] node 225 adds BLACKHOLE: ALL ['215'] < ['225']
I1217 13:04:12.170 2432493 flip.py:564] node 226 adds BLACKHOLE: ALL ['215'] < ['226']
I1217 13:04:12.170 2432493 flip.py:839] node 215 (cyan-green) adds POLICY: ALL ['215'] < ['204'] with dependencies []
I1217 13:04:12.170 2432493 flip.py:564] node 230 adds BLACKHOLE: ALL ['217'] < ['230']
I1217 13:04:12.170 2432493 flip.py:564] node 231 adds BLACKHOLE: ALL ['217'] < ['231']
I1217 13:04:12.171 2432493 flip.py:839] node 217 (cyan-green) adds POLICY: ALL ['217'] < ['215'] with dependencies []
I1217 13:04:12.171 2432493 flip.py:564] node 223 adds BLACKHOLE: ALL ['204'] < ['223']
I1217 13:04:12.171 2432493 flip.py:564] node 212 adds BLACKHOLE: ALL ['204'] < ['212']
I1217 13:04:12.171 2432493 flip.py:564] node 216 adds BLACKHOLE: ALL ['204'] < ['216']
I1217 13:04:12.171 2432493 flip.py:564] node 214 adds BLACKHOLE: ALL ['204'] < ['214']
I1217 13:04:12.172 2432493 flip.py:564] node 206 adds BLACKHOLE: ALL ['204'] < ['206']
I1217 13:04:12.172 2432493 flip.py:564] node 196 adds BLACKHOLE: ALL ['186'] < ['196']
I1217 13:04:12.172 2432493 flip.py:564] node 197 adds BLACKHOLE: ALL ['186'] < ['197']
I1217 13:04:12.172 2432493 flip.py:564] node 201 adds BLACKHOLE: ALL ['188'] < ['201']
I1217 13:04:12.172 2432493 flip.py:564] node 202 adds BLACKHOLE: ALL ['188'] < ['202']
I1217 13:04:12.172 2432493 flip.py:564] node 194 adds BLACKHOLE: ALL ['175'] < ['194']
I1217 13:04:12.172 2432493 flip.py:564] node 183 adds BLACKHOLE: ALL ['175'] < ['183']
I1217 13:04:12.172 2432493 flip.py:564] node 187 adds BLACKHOLE: ALL ['175'] < ['187']
I1217 13:04:12.173 2432493 flip.py:564] node 185 adds BLACKHOLE: ALL ['175'] < ['185']
I1217 13:04:12.173 2432493 flip.py:564] node 177 adds BLACKHOLE: ALL ['175'] < ['177']
I1217 13:04:12.173 2432493 flip.py:564] node 167 adds BLACKHOLE: ALL ['157'] < ['167']
I1217 13:04:12.173 2432493 flip.py:564] node 168 adds BLACKHOLE: ALL ['157'] < ['168']
I1217 13:04:12.173 2432493 flip.py:564] node 172 adds BLACKHOLE: ALL ['159'] < ['172']
I1217 13:04:12.173 2432493 flip.py:564] node 173 adds BLACKHOLE: ALL ['159'] < ['173']
I1217 13:04:12.173 2432493 flip.py:564] node 165 adds BLACKHOLE: ALL ['146'] < ['165']
I1217 13:04:12.173 2432493 flip.py:564] node 154 adds BLACKHOLE: ALL ['146'] < ['154']
I1217 13:04:12.174 2432493 flip.py:564] node 158 adds BLACKHOLE: ALL ['146'] < ['158']
I1217 13:04:12.174 2432493 flip.py:564] node 156 adds BLACKHOLE: ALL ['146'] < ['156']
I1217 13:04:12.174 2432493 flip.py:564] node 148 adds BLACKHOLE: ALL ['146'] < ['148']
I1217 13:04:12.174 2432493 flip.py:564] node 138 adds BLACKHOLE: ALL ['128'] < ['138']
I1217 13:04:12.174 2432493 flip.py:564] node 139 adds BLACKHOLE: ALL ['128'] < ['139']
I1217 13:04:12.174 2432493 flip.py:564] node 143 adds BLACKHOLE: ALL ['130'] < ['143']
I1217 13:04:12.174 2432493 flip.py:564] node 144 adds BLACKHOLE: ALL ['130'] < ['144']
I1217 13:04:12.175 2432493 flip.py:564] node 136 adds BLACKHOLE: ALL ['117'] < ['136']
I1217 13:04:12.175 2432493 flip.py:564] node 125 adds BLACKHOLE: ALL ['117'] < ['125']
I1217 13:04:12.175 2432493 flip.py:564] node 129 adds BLACKHOLE: ALL ['117'] < ['129']
I1217 13:04:12.175 2432493 flip.py:564] node 127 adds BLACKHOLE: ALL ['117'] < ['127']
I1217 13:04:12.175 2432493 flip.py:564] node 119 adds BLACKHOLE: ALL ['117'] < ['119']
I1217 13:04:12.175 2432493 flip.py:564] node 109 adds BLACKHOLE: ALL ['99'] < ['109']
I1217 13:04:12.175 2432493 flip.py:564] node 110 adds BLACKHOLE: ALL ['99'] < ['110']
I1217 13:04:12.176 2432493 flip.py:564] node 114 adds BLACKHOLE: ALL ['101'] < ['114']
I1217 13:04:12.176 2432493 flip.py:564] node 115 adds BLACKHOLE: ALL ['101'] < ['115']
I1217 13:04:12.176 2432493 flip.py:564] node 107 adds BLACKHOLE: ALL ['88'] < ['107']
I1217 13:04:12.176 2432493 flip.py:564] node 96 adds BLACKHOLE: ALL ['88'] < ['96']
I1217 13:04:12.176 2432493 flip.py:564] node 100 adds BLACKHOLE: ALL ['88'] < ['100']
I1217 13:04:12.176 2432493 flip.py:564] node 98 adds BLACKHOLE: ALL ['88'] < ['98']
I1217 13:04:12.176 2432493 flip.py:564] node 90 adds BLACKHOLE: ALL ['88'] < ['90']
I1217 13:04:12.177 2432493 flip.py:564] node 80 adds BLACKHOLE: ALL ['70'] < ['80']
I1217 13:04:12.177 2432493 flip.py:564] node 81 adds BLACKHOLE: ALL ['70'] < ['81']
I1217 13:04:12.177 2432493 flip.py:564] node 85 adds BLACKHOLE: ALL ['72'] < ['85']
I1217 13:04:12.177 2432493 flip.py:564] node 86 adds BLACKHOLE: ALL ['72'] < ['86']
I1217 13:04:12.177 2432493 flip.py:564] node 78 adds BLACKHOLE: ALL ['59'] < ['78']
I1217 13:04:12.177 2432493 flip.py:564] node 67 adds BLACKHOLE: ALL ['59'] < ['67']
I1217 13:04:12.177 2432493 flip.py:564] node 71 adds BLACKHOLE: ALL ['59'] < ['71']
I1217 13:04:12.177 2432493 flip.py:564] node 69 adds BLACKHOLE: ALL ['59'] < ['69']
I1217 13:04:12.178 2432493 flip.py:564] node 61 adds BLACKHOLE: ALL ['59'] < ['61']
I1217 13:04:12.178 2432493 flip.py:564] node 51 adds BLACKHOLE: ALL ['41'] < ['51']
I1217 13:04:12.178 2432493 flip.py:564] node 52 adds BLACKHOLE: ALL ['41'] < ['52']
I1217 13:04:12.178 2432493 flip.py:564] node 56 adds BLACKHOLE: ALL ['43'] < ['56']
I1217 13:04:12.178 2432493 flip.py:564] node 57 adds BLACKHOLE: ALL ['43'] < ['57']
I1217 13:04:12.178 2432493 flip.py:564] node 49 adds BLACKHOLE: ALL ['30'] < ['49']
I1217 13:04:12.178 2432493 flip.py:564] node 38 adds BLACKHOLE: ALL ['30'] < ['38']
I1217 13:04:12.179 2432493 flip.py:564] node 42 adds BLACKHOLE: ALL ['30'] < ['42']
I1217 13:04:12.179 2432493 flip.py:564] node 40 adds BLACKHOLE: ALL ['30'] < ['40']
I1217 13:04:12.179 2432493 flip.py:564] node 32 adds BLACKHOLE: ALL ['30'] < ['32']
I1217 13:04:12.179 2432493 flip.py:564] node 22 adds BLACKHOLE: ALL ['12'] < ['22']
I1217 13:04:12.179 2432493 flip.py:564] node 23 adds BLACKHOLE: ALL ['12'] < ['23']
I1217 13:04:12.179 2432493 flip.py:564] node 27 adds BLACKHOLE: ALL ['14'] < ['27']
I1217 13:04:12.179 2432493 flip.py:564] node 28 adds BLACKHOLE: ALL ['14'] < ['28']
I1217 13:04:12.180 2432493 flip.py:564] node 20 adds BLACKHOLE: ALL ['1'] < ['20']
I1217 13:04:12.180 2432493 flip.py:564] node 9 adds BLACKHOLE: ALL ['1'] < ['9']
I1217 13:04:12.180 2432493 flip.py:564] node 13 adds BLACKHOLE: ALL ['1'] < ['13']
I1217 13:04:12.180 2432493 flip.py:564] node 11 adds BLACKHOLE: ALL ['1'] < ['11']
I1217 13:04:12.180 2432493 flip.py:564] node 3 adds BLACKHOLE: ALL ['1'] < ['3']
I1217 13:04:12.180 2432493 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['12']
I1217 13:04:12.180 2432493 flip.py:564] node 24 adds BLACKHOLE: ALL ['24'] < ['12']
I1217 13:04:12.181 2432493 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['1']
I1217 13:04:12.181 2432493 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['1']
I1217 13:04:12.181 2432493 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['1']
I1217 13:04:12.181 2432493 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['41']
I1217 13:04:12.181 2432493 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['41']
I1217 13:04:12.181 2432493 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['30']
I1217 13:04:12.181 2432493 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['30']
I1217 13:04:12.181 2432493 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['30']
I1217 13:04:12.181 2432493 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['70']
I1217 13:04:12.182 2432493 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['70']
I1217 13:04:12.182 2432493 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['59']
I1217 13:04:12.182 2432493 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['59']
I1217 13:04:12.182 2432493 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['59']
I1217 13:04:12.182 2432493 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['99']
I1217 13:04:12.182 2432493 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['99']
I1217 13:04:12.182 2432493 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['88']
I1217 13:04:12.182 2432493 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['88']
I1217 13:04:12.182 2432493 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['88']
I1217 13:04:12.183 2432493 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['128']
I1217 13:04:12.183 2432493 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['128']
I1217 13:04:12.183 2432493 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['117']
I1217 13:04:12.183 2432493 flip.py:564] node 133 adds BLACKHOLE: ALL ['133'] < ['117']
I1217 13:04:12.183 2432493 flip.py:564] node 134 adds BLACKHOLE: ALL ['134'] < ['117']
I1217 13:04:12.183 2432493 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['157']
I1217 13:04:12.183 2432493 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['157']
I1217 13:04:12.184 2432493 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['146']
I1217 13:04:12.184 2432493 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['146']
I1217 13:04:12.184 2432493 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['146']
I1217 13:04:12.184 2432493 flip.py:564] node 199 adds BLACKHOLE: ALL ['199'] < ['186']
I1217 13:04:12.184 2432493 flip.py:564] node 198 adds BLACKHOLE: ALL ['198'] < ['186']
I1217 13:04:12.184 2432493 flip.py:564] node 179 adds BLACKHOLE: ALL ['179'] < ['175']
I1217 13:04:12.184 2432493 flip.py:564] node 191 adds BLACKHOLE: ALL ['191'] < ['175']
I1217 13:04:12.185 2432493 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['175']
I1217 13:04:12.185 2432493 flip.py:564] node 228 adds BLACKHOLE: ALL ['228'] < ['215']
I1217 13:04:12.185 2432493 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['215']
I1217 13:04:12.185 2432493 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['204']
I1217 13:04:12.185 2432493 flip.py:564] node 220 adds BLACKHOLE: ALL ['220'] < ['204']
I1217 13:04:12.185 2432493 flip.py:564] node 221 adds BLACKHOLE: ALL ['221'] < ['204']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:04:12.199 2432493 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: 224, path: ['1', '18', '17', '5', '12', '24', '25', '14', '21', '30', '47', '46', '34', '41', '53', '54', '43', '50', '59', '76', '75', '63', '70', '82', '83', '72', '79', '88', '105', '104', '92', '99', '111', '112', '101', '108', '117', '134', '133', '121', '128', '140', '141', '130', '137', '146', '163', '162', '150', '157', '169', '170', '159', '166', '175', '192', '191', '179', '186', '198', '199', '188', '195', '204', '221', '220', '208', '215', '227', '228', '217', '224'], tags: {}> doesn't satisfy any of [['225'], ['212']]
