Version: 1.13 
 _ data/zoo_json_alt_waypoint1/Digex_4.json -f output/flip/data/zoo_json_alt_waypoint1/Digex_4.json.subpaths
Flip subpaths generated in 0.188 seconds!
real 0.97
user 0.96
sys 0.07
<logging.Logger object at 0x7f8523b577d0>
I1217 13:05:19.498 3272237 flip.py:564] node 245 adds BLACKHOLE: ALL ['246'] < ['245']
I1217 13:05:19.499 3272237 flip.py:839] node 246 (green-white) adds POLICY: ALL ['238'] < ['246'] with dependencies []
I1217 13:05:19.499 3272237 flip.py:564] node 222 adds BLACKHOLE: ALL ['238'] < ['222']
I1217 13:05:19.499 3272237 flip.py:564] node 233 adds BLACKHOLE: ALL ['238'] < ['233']
I1217 13:05:19.499 3272237 flip.py:564] node 226 adds BLACKHOLE: ALL ['238'] < ['226']
I1217 13:05:19.499 3272237 flip.py:564] node 225 adds BLACKHOLE: ALL ['238'] < ['225']
I1217 13:05:19.500 3272237 flip.py:564] node 247 adds BLACKHOLE: ALL ['238'] < ['247']
I1217 13:05:19.500 3272237 flip.py:839] node 238 (green-white) adds POLICY: ALL ['215'] < ['238'] with dependencies []
I1217 13:05:19.500 3272237 flip.py:564] node 214 adds BLACKHOLE: ALL ['215'] < ['214']
I1217 13:05:19.500 3272237 flip.py:839] node 215 (green-white) adds POLICY: ALL ['207'] < ['215'] with dependencies []
I1217 13:05:19.500 3272237 flip.py:564] node 191 adds BLACKHOLE: ALL ['207'] < ['191']
I1217 13:05:19.501 3272237 flip.py:564] node 202 adds BLACKHOLE: ALL ['207'] < ['202']
I1217 13:05:19.501 3272237 flip.py:564] node 195 adds BLACKHOLE: ALL ['207'] < ['195']
I1217 13:05:19.501 3272237 flip.py:564] node 194 adds BLACKHOLE: ALL ['207'] < ['194']
I1217 13:05:19.501 3272237 flip.py:564] node 216 adds BLACKHOLE: ALL ['207'] < ['216']
I1217 13:05:19.501 3272237 flip.py:839] node 207 (green-white) adds POLICY: ALL ['184'] < ['207'] with dependencies []
I1217 13:05:19.502 3272237 flip.py:564] node 183 adds BLACKHOLE: ALL ['184'] < ['183']
I1217 13:05:19.502 3272237 flip.py:839] node 184 (green-white) adds POLICY: ALL ['176'] < ['184'] with dependencies []
I1217 13:05:19.502 3272237 flip.py:564] node 160 adds BLACKHOLE: ALL ['176'] < ['160']
I1217 13:05:19.502 3272237 flip.py:564] node 171 adds BLACKHOLE: ALL ['176'] < ['171']
I1217 13:05:19.502 3272237 flip.py:564] node 164 adds BLACKHOLE: ALL ['176'] < ['164']
I1217 13:05:19.503 3272237 flip.py:564] node 163 adds BLACKHOLE: ALL ['176'] < ['163']
I1217 13:05:19.503 3272237 flip.py:564] node 185 adds BLACKHOLE: ALL ['176'] < ['185']
I1217 13:05:19.503 3272237 flip.py:839] node 176 (green-white) adds POLICY: ALL ['153'] < ['176'] with dependencies []
I1217 13:05:19.503 3272237 flip.py:564] node 152 adds BLACKHOLE: ALL ['153'] < ['152']
I1217 13:05:19.503 3272237 flip.py:839] node 153 (green-white) adds POLICY: ALL ['145'] < ['153'] with dependencies []
I1217 13:05:19.503 3272237 flip.py:564] node 129 adds BLACKHOLE: ALL ['145'] < ['129']
I1217 13:05:19.504 3272237 flip.py:564] node 140 adds BLACKHOLE: ALL ['145'] < ['140']
I1217 13:05:19.504 3272237 flip.py:564] node 133 adds BLACKHOLE: ALL ['145'] < ['133']
I1217 13:05:19.504 3272237 flip.py:564] node 132 adds BLACKHOLE: ALL ['145'] < ['132']
I1217 13:05:19.504 3272237 flip.py:564] node 154 adds BLACKHOLE: ALL ['145'] < ['154']
I1217 13:05:19.504 3272237 flip.py:839] node 145 (green-white) adds POLICY: ALL ['122'] < ['145'] with dependencies []
I1217 13:05:19.504 3272237 flip.py:564] node 121 adds BLACKHOLE: ALL ['122'] < ['121']
I1217 13:05:19.505 3272237 flip.py:839] node 122 (green-white) adds POLICY: ALL ['114'] < ['122'] with dependencies []
I1217 13:05:19.505 3272237 flip.py:564] node 98 adds BLACKHOLE: ALL ['114'] < ['98']
I1217 13:05:19.505 3272237 flip.py:564] node 109 adds BLACKHOLE: ALL ['114'] < ['109']
I1217 13:05:19.505 3272237 flip.py:564] node 102 adds BLACKHOLE: ALL ['114'] < ['102']
I1217 13:05:19.505 3272237 flip.py:564] node 101 adds BLACKHOLE: ALL ['114'] < ['101']
I1217 13:05:19.506 3272237 flip.py:564] node 123 adds BLACKHOLE: ALL ['114'] < ['123']
I1217 13:05:19.506 3272237 flip.py:839] node 114 (green-white) adds POLICY: ALL ['91'] < ['114'] with dependencies []
I1217 13:05:19.506 3272237 flip.py:564] node 90 adds BLACKHOLE: ALL ['91'] < ['90']
I1217 13:05:19.506 3272237 flip.py:839] node 91 (green-cyan) adds POLICY: ALL ['83'] < ['91'] with dependencies []
I1217 13:05:19.507 3272237 flip.py:564] node 67 adds BLACKHOLE: ALL ['83'] < ['67']
I1217 13:05:19.507 3272237 flip.py:564] node 78 adds BLACKHOLE: ALL ['83'] < ['78']
I1217 13:05:19.507 3272237 flip.py:564] node 71 adds BLACKHOLE: ALL ['83'] < ['71']
I1217 13:05:19.507 3272237 flip.py:564] node 70 adds BLACKHOLE: ALL ['83'] < ['70']
I1217 13:05:19.507 3272237 flip.py:564] node 92 adds BLACKHOLE: ALL ['83'] < ['92']
I1217 13:05:19.507 3272237 flip.py:839] node 83 (green-cyan) adds POLICY: ALL ['60'] < ['83'] with dependencies []
I1217 13:05:19.507 3272237 flip.py:564] node 59 adds BLACKHOLE: ALL ['60'] < ['59']
I1217 13:05:19.508 3272237 flip.py:564] node 36 adds BLACKHOLE: ALL ['52'] < ['36']
I1217 13:05:19.508 3272237 flip.py:564] node 47 adds BLACKHOLE: ALL ['52'] < ['47']
I1217 13:05:19.508 3272237 flip.py:564] node 40 adds BLACKHOLE: ALL ['52'] < ['40']
I1217 13:05:19.508 3272237 flip.py:564] node 39 adds BLACKHOLE: ALL ['52'] < ['39']
I1217 13:05:19.508 3272237 flip.py:564] node 61 adds BLACKHOLE: ALL ['52'] < ['61']
I1217 13:05:19.508 3272237 flip.py:564] node 28 adds BLACKHOLE: ALL ['29'] < ['28']
I1217 13:05:19.508 3272237 flip.py:564] node 5 adds BLACKHOLE: ALL ['21'] < ['5']
I1217 13:05:19.509 3272237 flip.py:564] node 16 adds BLACKHOLE: ALL ['21'] < ['16']
I1217 13:05:19.509 3272237 flip.py:564] node 9 adds BLACKHOLE: ALL ['21'] < ['9']
I1217 13:05:19.509 3272237 flip.py:564] node 8 adds BLACKHOLE: ALL ['21'] < ['8']
I1217 13:05:19.509 3272237 flip.py:564] node 30 adds BLACKHOLE: ALL ['21'] < ['30']
I1217 13:05:19.510 3272237 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 19 adds BLACKHOLE: ALL ['19'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['21']
I1217 13:05:19.510 3272237 flip.py:564] node 26 adds BLACKHOLE: ALL ['26'] < ['29']
I1217 13:05:19.510 3272237 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['29']
I1217 13:05:19.511 3272237 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['52']
I1217 13:05:19.511 3272237 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['60']
I1217 13:05:19.512 3272237 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['60']
I1217 13:05:19.512 3272237 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 64 adds BLACKHOLE: ALL ['64'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['83']
I1217 13:05:19.512 3272237 flip.py:564] node 88 adds BLACKHOLE: ALL ['88'] < ['91']
I1217 13:05:19.513 3272237 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['91']
I1217 13:05:19.513 3272237 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['114']
I1217 13:05:19.513 3272237 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['114']
I1217 13:05:19.513 3272237 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['114']
I1217 13:05:19.513 3272237 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['114']
I1217 13:05:19.513 3272237 flip.py:564] node 95 adds BLACKHOLE: ALL ['95'] < ['114']
I1217 13:05:19.513 3272237 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['114']
I1217 13:05:19.514 3272237 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['122']
I1217 13:05:19.514 3272237 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['122']
I1217 13:05:19.514 3272237 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['145']
I1217 13:05:19.514 3272237 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['145']
I1217 13:05:19.514 3272237 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['145']
I1217 13:05:19.514 3272237 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['145']
I1217 13:05:19.514 3272237 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['145']
I1217 13:05:19.515 3272237 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['145']
I1217 13:05:19.515 3272237 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['153']
I1217 13:05:19.515 3272237 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['153']
I1217 13:05:19.515 3272237 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['176']
I1217 13:05:19.515 3272237 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['176']
I1217 13:05:19.515 3272237 flip.py:564] node 174 adds BLACKHOLE: ALL ['174'] < ['176']
I1217 13:05:19.515 3272237 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['176']
I1217 13:05:19.515 3272237 flip.py:564] node 157 adds BLACKHOLE: ALL ['157'] < ['176']
I1217 13:05:19.516 3272237 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['176']
I1217 13:05:19.516 3272237 flip.py:564] node 181 adds BLACKHOLE: ALL ['181'] < ['184']
I1217 13:05:19.516 3272237 flip.py:564] node 180 adds BLACKHOLE: ALL ['180'] < ['184']
I1217 13:05:19.516 3272237 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['207']
I1217 13:05:19.516 3272237 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['207']
I1217 13:05:19.516 3272237 flip.py:564] node 205 adds BLACKHOLE: ALL ['205'] < ['207']
I1217 13:05:19.516 3272237 flip.py:564] node 199 adds BLACKHOLE: ALL ['199'] < ['207']
I1217 13:05:19.516 3272237 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['207']
I1217 13:05:19.517 3272237 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['207']
I1217 13:05:19.517 3272237 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['215']
I1217 13:05:19.517 3272237 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['215']
I1217 13:05:19.517 3272237 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['238']
I1217 13:05:19.517 3272237 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['238']
I1217 13:05:19.517 3272237 flip.py:564] node 236 adds BLACKHOLE: ALL ['236'] < ['238']
I1217 13:05:19.518 3272237 flip.py:564] node 230 adds BLACKHOLE: ALL ['230'] < ['238']
I1217 13:05:19.518 3272237 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['238']
I1217 13:05:19.518 3272237 flip.py:564] node 239 adds BLACKHOLE: ALL ['239'] < ['238']
I1217 13:05:19.518 3272237 flip.py:564] node 243 adds BLACKHOLE: ALL ['243'] < ['246']
I1217 13:05:19.518 3272237 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['246']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:05:19.532 3272237 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 202, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='initial')
  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 initial configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 21, dst: 244, path: ['21', '30', '8', '9', '16', '5', '4', '29', '28', '27', '52', '61', '39', '40', '47', '36', '35', '60', '59', '58', '83', '92', '70', '71', '78', '67', '66', '91', '90', '89', '114', '123', '101', '102', '109', '98', '97', '122', '121', '120', '145', '154', '132', '133', '140', '129', '128', '153', '152', '151', '176', '185', '163', '164', '171', '160', '159', '184', '183', '182', '207', '216', '194', '195', '202', '191', '190', '215', '214', '213', '238', '247', '225', '226', '233', '222', '221', '246', '245', '244'], tags: {}> doesn't satisfy any of [['87'], ['57']]
