Version: 1.13 
 _ data/zoo_json_cond_enf2/Intellifiber_3.json -f output/flip/data/zoo_json_cond_enf2/Intellifiber_3.json.subpaths
Flip subpaths generated in 0.208 seconds!
real 0.80
user 1.00
sys 0.12
<logging.Logger object at 0x7f8cf105f7d0>
I1217 12:35:21.105 2334554 flip.py:638] node 44 (44->16->44) adds LOOP: ANY ['16'] < ['44']
I1217 12:35:21.127 2334554 flip.py:638] node 88 (88->116->88) adds LOOP: ANY ['88'] < ['116']
I1217 12:35:21.142 2334554 flip.py:638] node 188 (188->160->188) adds LOOP: ANY ['160'] < ['188']
I1217 12:35:21.151 2334554 flip.py:638] node 260 (260->232->260) adds LOOP: ANY ['232'] < ['260']
I1217 12:35:21.153 2334554 flip.py:564] node 218 adds BLACKHOLE: ALL ['260'] < ['218']
I1217 12:35:21.153 2334554 flip.py:564] node 219 adds BLACKHOLE: ALL ['260'] < ['219']
I1217 12:35:21.154 2334554 flip.py:564] node 247 adds BLACKHOLE: ALL ['260'] < ['247']
I1217 12:35:21.154 2334554 flip.py:564] node 278 adds BLACKHOLE: ALL ['260'] < ['278']
I1217 12:35:21.154 2334554 flip.py:564] node 251 adds BLACKHOLE: ALL ['260'] < ['251']
I1217 12:35:21.154 2334554 flip.py:564] node 252 adds BLACKHOLE: ALL ['260'] < ['252']
I1217 12:35:21.155 2334554 flip.py:564] node 223 adds BLACKHOLE: ALL ['260'] < ['223']
I1217 12:35:21.155 2334554 flip.py:564] node 257 adds BLACKHOLE: ALL ['260'] < ['257']
I1217 12:35:21.155 2334554 flip.py:839] node 260 (white-green) adds POLICY: ALL ['260'] < ['240'] with dependencies []
I1217 12:35:21.155 2334554 flip.py:839] node 232 (white-green) adds POLICY: ALL ['232'] < ['260'] with dependencies []
I1217 12:35:21.156 2334554 flip.py:564] node 239 adds BLACKHOLE: ALL ['240'] < ['239']
I1217 12:35:21.156 2334554 flip.py:839] node 240 (white-green) adds POLICY: ALL ['240'] < ['245'] with dependencies []
I1217 12:35:21.156 2334554 flip.py:564] node 277 adds BLACKHOLE: ALL ['245'] < ['277']
I1217 12:35:21.156 2334554 flip.py:564] node 242 adds BLACKHOLE: ALL ['245'] < ['242']
I1217 12:35:21.157 2334554 flip.py:839] node 245 (white-green) adds POLICY: ALL ['245'] < ['160'] with dependencies []
I1217 12:35:21.158 2334554 flip.py:564] node 146 adds BLACKHOLE: ALL ['188'] < ['146']
I1217 12:35:21.158 2334554 flip.py:564] node 147 adds BLACKHOLE: ALL ['188'] < ['147']
I1217 12:35:21.158 2334554 flip.py:564] node 175 adds BLACKHOLE: ALL ['188'] < ['175']
I1217 12:35:21.158 2334554 flip.py:564] node 206 adds BLACKHOLE: ALL ['188'] < ['206']
I1217 12:35:21.159 2334554 flip.py:564] node 179 adds BLACKHOLE: ALL ['188'] < ['179']
I1217 12:35:21.159 2334554 flip.py:564] node 180 adds BLACKHOLE: ALL ['188'] < ['180']
I1217 12:35:21.159 2334554 flip.py:564] node 151 adds BLACKHOLE: ALL ['188'] < ['151']
I1217 12:35:21.159 2334554 flip.py:564] node 185 adds BLACKHOLE: ALL ['188'] < ['185']
I1217 12:35:21.159 2334554 flip.py:839] node 188 (white-green) adds POLICY: ALL ['188'] < ['168'] with dependencies []
I1217 12:35:21.160 2334554 flip.py:839] node 160 (white-green) adds POLICY: ALL ['160'] < ['188'] with dependencies []
I1217 12:35:21.160 2334554 flip.py:564] node 167 adds BLACKHOLE: ALL ['168'] < ['167']
I1217 12:35:21.160 2334554 flip.py:839] node 168 (white-green) adds POLICY: ALL ['168'] < ['173'] with dependencies []
I1217 12:35:21.161 2334554 flip.py:564] node 205 adds BLACKHOLE: ALL ['173'] < ['205']
I1217 12:35:21.161 2334554 flip.py:564] node 170 adds BLACKHOLE: ALL ['173'] < ['170']
I1217 12:35:21.161 2334554 flip.py:839] node 173 (white-green) adds POLICY: ALL ['173'] < ['88'] with dependencies []
I1217 12:35:21.162 2334554 flip.py:564] node 74 adds BLACKHOLE: ALL ['116'] < ['74']
I1217 12:35:21.162 2334554 flip.py:564] node 75 adds BLACKHOLE: ALL ['116'] < ['75']
I1217 12:35:21.163 2334554 flip.py:564] node 103 adds BLACKHOLE: ALL ['116'] < ['103']
I1217 12:35:21.163 2334554 flip.py:564] node 134 adds BLACKHOLE: ALL ['116'] < ['134']
I1217 12:35:21.163 2334554 flip.py:564] node 107 adds BLACKHOLE: ALL ['116'] < ['107']
I1217 12:35:21.163 2334554 flip.py:564] node 108 adds BLACKHOLE: ALL ['116'] < ['108']
I1217 12:35:21.163 2334554 flip.py:564] node 79 adds BLACKHOLE: ALL ['116'] < ['79']
I1217 12:35:21.164 2334554 flip.py:564] node 113 adds BLACKHOLE: ALL ['116'] < ['113']
I1217 12:35:21.164 2334554 flip.py:839] node 116 (white-green) adds POLICY: ALL ['116'] < ['96'] with dependencies []
I1217 12:35:21.164 2334554 flip.py:839] node 88 (white-green) adds POLICY: ALL ['88'] < ['116'] with dependencies []
I1217 12:35:21.165 2334554 flip.py:564] node 95 adds BLACKHOLE: ALL ['96'] < ['95']
I1217 12:35:21.165 2334554 flip.py:839] node 96 (white-green) adds POLICY: ALL ['96'] < ['101'] with dependencies []
I1217 12:35:21.165 2334554 flip.py:564] node 133 adds BLACKHOLE: ALL ['101'] < ['133']
I1217 12:35:21.165 2334554 flip.py:564] node 98 adds BLACKHOLE: ALL ['101'] < ['98']
I1217 12:35:21.166 2334554 flip.py:839] node 101 (cyan-green) adds POLICY: ALL ['101'] < ['16'] with dependencies []
I1217 12:35:21.167 2334554 flip.py:564] node 2 adds BLACKHOLE: ALL ['44'] < ['2']
I1217 12:35:21.167 2334554 flip.py:564] node 3 adds BLACKHOLE: ALL ['44'] < ['3']
I1217 12:35:21.167 2334554 flip.py:564] node 31 adds BLACKHOLE: ALL ['44'] < ['31']
I1217 12:35:21.167 2334554 flip.py:564] node 62 adds BLACKHOLE: ALL ['44'] < ['62']
I1217 12:35:21.167 2334554 flip.py:564] node 35 adds BLACKHOLE: ALL ['44'] < ['35']
I1217 12:35:21.168 2334554 flip.py:564] node 36 adds BLACKHOLE: ALL ['44'] < ['36']
I1217 12:35:21.168 2334554 flip.py:564] node 7 adds BLACKHOLE: ALL ['44'] < ['7']
I1217 12:35:21.168 2334554 flip.py:564] node 41 adds BLACKHOLE: ALL ['44'] < ['41']
I1217 12:35:21.168 2334554 flip.py:564] node 23 adds BLACKHOLE: ALL ['24'] < ['23']
I1217 12:35:21.169 2334554 flip.py:564] node 61 adds BLACKHOLE: ALL ['29'] < ['61']
I1217 12:35:21.169 2334554 flip.py:564] node 26 adds BLACKHOLE: ALL ['29'] < ['26']
I1217 12:35:21.169 2334554 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['29']
I1217 12:35:21.170 2334554 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['24']
I1217 12:35:21.170 2334554 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['24']
I1217 12:35:21.170 2334554 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['16']
I1217 12:35:21.171 2334554 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['16']
I1217 12:35:21.171 2334554 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['16']
I1217 12:35:21.171 2334554 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['16']
I1217 12:35:21.172 2334554 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['16']
I1217 12:35:21.172 2334554 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['16']
I1217 12:35:21.172 2334554 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['16']
I1217 12:35:21.172 2334554 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['16']
I1217 12:35:21.173 2334554 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['16']
I1217 12:35:21.173 2334554 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['101']
I1217 12:35:21.173 2334554 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['96']
I1217 12:35:21.174 2334554 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['96']
I1217 12:35:21.174 2334554 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['88']
I1217 12:35:21.174 2334554 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['88']
I1217 12:35:21.175 2334554 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['88']
I1217 12:35:21.175 2334554 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['88']
I1217 12:35:21.175 2334554 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['88']
I1217 12:35:21.176 2334554 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['88']
I1217 12:35:21.176 2334554 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['88']
I1217 12:35:21.176 2334554 flip.py:564] node 114 adds BLACKHOLE: ALL ['114'] < ['88']
I1217 12:35:21.176 2334554 flip.py:564] node 89 adds BLACKHOLE: ALL ['89'] < ['88']
I1217 12:35:21.177 2334554 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['173']
I1217 12:35:21.177 2334554 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['168']
I1217 12:35:21.177 2334554 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['168']
I1217 12:35:21.178 2334554 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['160']
I1217 12:35:21.178 2334554 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['160']
I1217 12:35:21.178 2334554 flip.py:564] node 214 adds BLACKHOLE: ALL ['214'] < ['160']
I1217 12:35:21.178 2334554 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['160']
I1217 12:35:21.178 2334554 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['160']
I1217 12:35:21.179 2334554 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['160']
I1217 12:35:21.179 2334554 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['160']
I1217 12:35:21.179 2334554 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['160']
I1217 12:35:21.179 2334554 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['160']
I1217 12:35:21.179 2334554 flip.py:564] node 225 adds BLACKHOLE: ALL ['225'] < ['245']
I1217 12:35:21.179 2334554 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['240']
I1217 12:35:21.180 2334554 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['240']
I1217 12:35:21.180 2334554 flip.py:564] node 283 adds BLACKHOLE: ALL ['283'] < ['232']
I1217 12:35:21.180 2334554 flip.py:564] node 284 adds BLACKHOLE: ALL ['284'] < ['232']
I1217 12:35:21.180 2334554 flip.py:564] node 286 adds BLACKHOLE: ALL ['286'] < ['232']
I1217 12:35:21.181 2334554 flip.py:564] node 287 adds BLACKHOLE: ALL ['287'] < ['232']
I1217 12:35:21.181 2334554 flip.py:564] node 217 adds BLACKHOLE: ALL ['217'] < ['232']
I1217 12:35:21.181 2334554 flip.py:564] node 222 adds BLACKHOLE: ALL ['222'] < ['232']
I1217 12:35:21.181 2334554 flip.py:564] node 221 adds BLACKHOLE: ALL ['221'] < ['232']
I1217 12:35:21.181 2334554 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['232']
I1217 12:35:21.182 2334554 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['232']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:35:21.196 2334554 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: 69, dst: 281, path: ['69', '29', '9', '24', '48', '46', '44', '16', '17', '42', '5', '6', '1', '71', '70', '68', '67', '66', '65', '141', '101', '81', '96', '120', '118', '116', '88', '89', '114', '77', '78', '73', '143', '142', '140', '139', '138', '137', '213', '173', '153', '168', '192', '190', '188', '160', '161', '186', '149', '150', '145', '215', '214', '212', '211', '210', '209', '285', '245', '225', '240', '264', '262', '260', '232', '233', '258', '221', '222', '217', '287', '286', '284', '283', '282', '281'], tags: {}> doesn't satisfy any of [['2'], ['133']]
