Version: 1.13 
 _ data/zoo_json_alt_waypoint1/AsnetAm_4.json -f output/flip/data/zoo_json_alt_waypoint1/AsnetAm_4.json.subpaths
Flip subpaths generated in 0.537 seconds!
real 3.85
user 0.90
sys 0.09
<logging.Logger object at 0x7ff2824af7d0>
I1217 13:05:52.99 2997716 flip.py:638] node 7 (7->22->7) adds LOOP: ANY ['22'] < ['7']
I1217 13:05:52.107 2997716 flip.py:638] node 86 (86->71->86) adds LOOP: ANY ['86'] < ['71']
I1217 13:05:52.114 2997716 flip.py:638] node 150 (150->135->150) adds LOOP: ANY ['150'] < ['135']
I1217 13:05:52.120 2997716 flip.py:638] node 214 (214->199->214) adds LOOP: ANY ['214'] < ['199']
I1217 13:05:52.125 2997716 flip.py:638] node 263 (263->278->263) adds LOOP: ANY ['278'] < ['263']
I1217 13:05:52.129 2997716 flip.py:638] node 327 (327->342->327) adds LOOP: ANY ['342'] < ['327']
I1217 13:05:52.132 2997716 flip.py:638] node 406 (406->391->406) adds LOOP: ANY ['406'] < ['391']
I1217 13:05:52.133 2997716 flip.py:638] node 470 (470->455->470) adds LOOP: ANY ['470'] < ['455']
I1217 13:05:52.134 2997716 flip.py:564] node 507 adds BLACKHOLE: ALL ['455'] < ['507']
I1217 13:05:52.134 2997716 flip.py:564] node 508 adds BLACKHOLE: ALL ['455'] < ['508']
I1217 13:05:52.134 2997716 flip.py:564] node 504 adds BLACKHOLE: ALL ['455'] < ['504']
I1217 13:05:52.134 2997716 flip.py:839] node 455 (cyan-green) adds POLICY: ALL ['455'] < ['456'] with dependencies []
I1217 13:05:52.135 2997716 flip.py:839] node 470 (cyan-green) adds POLICY: ALL ['470'] < ['455'] with dependencies []
I1217 13:05:52.135 2997716 flip.py:564] node 509 adds BLACKHOLE: ALL ['456'] < ['509']
I1217 13:05:52.135 2997716 flip.py:839] node 456 (cyan-green) adds POLICY: ALL ['456'] < ['406'] with dependencies []
I1217 13:05:52.135 2997716 flip.py:564] node 443 adds BLACKHOLE: ALL ['391'] < ['443']
I1217 13:05:52.136 2997716 flip.py:564] node 444 adds BLACKHOLE: ALL ['391'] < ['444']
I1217 13:05:52.136 2997716 flip.py:564] node 440 adds BLACKHOLE: ALL ['391'] < ['440']
I1217 13:05:52.136 2997716 flip.py:839] node 391 (cyan-green) adds POLICY: ALL ['391'] < ['392'] with dependencies []
I1217 13:05:52.136 2997716 flip.py:839] node 406 (cyan-green) adds POLICY: ALL ['406'] < ['391'] with dependencies []
I1217 13:05:52.136 2997716 flip.py:564] node 445 adds BLACKHOLE: ALL ['392'] < ['445']
I1217 13:05:52.137 2997716 flip.py:839] node 392 (cyan-green) adds POLICY: ALL ['392'] < ['342'] with dependencies []
I1217 13:05:52.137 2997716 flip.py:564] node 379 adds BLACKHOLE: ALL ['327'] < ['379']
I1217 13:05:52.137 2997716 flip.py:564] node 380 adds BLACKHOLE: ALL ['327'] < ['380']
I1217 13:05:52.137 2997716 flip.py:564] node 376 adds BLACKHOLE: ALL ['327'] < ['376']
I1217 13:05:52.137 2997716 flip.py:839] node 327 (cyan-green) adds POLICY: ALL ['327'] < ['328'] with dependencies []
I1217 13:05:52.138 2997716 flip.py:839] node 342 (cyan-green) adds POLICY: ALL ['342'] < ['327'] with dependencies []
I1217 13:05:52.138 2997716 flip.py:564] node 381 adds BLACKHOLE: ALL ['328'] < ['381']
I1217 13:05:52.138 2997716 flip.py:839] node 328 (cyan-green) adds POLICY: ALL ['328'] < ['278'] with dependencies []
I1217 13:05:52.138 2997716 flip.py:564] node 315 adds BLACKHOLE: ALL ['263'] < ['315']
I1217 13:05:52.139 2997716 flip.py:564] node 316 adds BLACKHOLE: ALL ['263'] < ['316']
I1217 13:05:52.139 2997716 flip.py:564] node 312 adds BLACKHOLE: ALL ['263'] < ['312']
I1217 13:05:52.139 2997716 flip.py:839] node 263 (cyan-green) adds POLICY: ALL ['263'] < ['264'] with dependencies []
I1217 13:05:52.139 2997716 flip.py:839] node 278 (cyan-green) adds POLICY: ALL ['278'] < ['263'] with dependencies []
I1217 13:05:52.139 2997716 flip.py:564] node 317 adds BLACKHOLE: ALL ['264'] < ['317']
I1217 13:05:52.140 2997716 flip.py:839] node 264 (cyan-green) adds POLICY: ALL ['264'] < ['214'] with dependencies []
I1217 13:05:52.140 2997716 flip.py:564] node 251 adds BLACKHOLE: ALL ['199'] < ['251']
I1217 13:05:52.140 2997716 flip.py:564] node 252 adds BLACKHOLE: ALL ['199'] < ['252']
I1217 13:05:52.140 2997716 flip.py:564] node 248 adds BLACKHOLE: ALL ['199'] < ['248']
I1217 13:05:52.140 2997716 flip.py:564] node 253 adds BLACKHOLE: ALL ['200'] < ['253']
I1217 13:05:52.141 2997716 flip.py:564] node 187 adds BLACKHOLE: ALL ['135'] < ['187']
I1217 13:05:52.141 2997716 flip.py:564] node 188 adds BLACKHOLE: ALL ['135'] < ['188']
I1217 13:05:52.141 2997716 flip.py:564] node 184 adds BLACKHOLE: ALL ['135'] < ['184']
I1217 13:05:52.141 2997716 flip.py:564] node 189 adds BLACKHOLE: ALL ['136'] < ['189']
I1217 13:05:52.141 2997716 flip.py:564] node 123 adds BLACKHOLE: ALL ['71'] < ['123']
I1217 13:05:52.141 2997716 flip.py:564] node 124 adds BLACKHOLE: ALL ['71'] < ['124']
I1217 13:05:52.142 2997716 flip.py:564] node 120 adds BLACKHOLE: ALL ['71'] < ['120']
I1217 13:05:52.142 2997716 flip.py:564] node 125 adds BLACKHOLE: ALL ['72'] < ['125']
I1217 13:05:52.142 2997716 flip.py:564] node 59 adds BLACKHOLE: ALL ['7'] < ['59']
I1217 13:05:52.142 2997716 flip.py:564] node 60 adds BLACKHOLE: ALL ['7'] < ['60']
I1217 13:05:52.142 2997716 flip.py:564] node 56 adds BLACKHOLE: ALL ['7'] < ['56']
I1217 13:05:52.142 2997716 flip.py:564] node 61 adds BLACKHOLE: ALL ['8'] < ['61']
I1217 13:05:52.142 2997716 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['22']
I1217 13:05:52.143 2997716 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['22']
I1217 13:05:52.143 2997716 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['22']
I1217 13:05:52.143 2997716 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['86']
I1217 13:05:52.143 2997716 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['86']
I1217 13:05:52.143 2997716 flip.py:564] node 127 adds BLACKHOLE: ALL ['127'] < ['86']
I1217 13:05:52.143 2997716 flip.py:564] node 185 adds BLACKHOLE: ALL ['185'] < ['150']
I1217 13:05:52.143 2997716 flip.py:564] node 182 adds BLACKHOLE: ALL ['182'] < ['150']
I1217 13:05:52.143 2997716 flip.py:564] node 191 adds BLACKHOLE: ALL ['191'] < ['150']
I1217 13:05:52.144 2997716 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['214']
I1217 13:05:52.144 2997716 flip.py:564] node 246 adds BLACKHOLE: ALL ['246'] < ['214']
I1217 13:05:52.144 2997716 flip.py:564] node 255 adds BLACKHOLE: ALL ['255'] < ['214']
I1217 13:05:52.144 2997716 flip.py:564] node 313 adds BLACKHOLE: ALL ['313'] < ['278']
I1217 13:05:52.144 2997716 flip.py:564] node 310 adds BLACKHOLE: ALL ['310'] < ['278']
I1217 13:05:52.144 2997716 flip.py:564] node 319 adds BLACKHOLE: ALL ['319'] < ['278']
I1217 13:05:52.145 2997716 flip.py:564] node 377 adds BLACKHOLE: ALL ['377'] < ['342']
I1217 13:05:52.145 2997716 flip.py:564] node 374 adds BLACKHOLE: ALL ['374'] < ['342']
I1217 13:05:52.145 2997716 flip.py:564] node 383 adds BLACKHOLE: ALL ['383'] < ['342']
I1217 13:05:52.145 2997716 flip.py:564] node 441 adds BLACKHOLE: ALL ['441'] < ['406']
I1217 13:05:52.145 2997716 flip.py:564] node 438 adds BLACKHOLE: ALL ['438'] < ['406']
I1217 13:05:52.145 2997716 flip.py:564] node 447 adds BLACKHOLE: ALL ['447'] < ['406']
I1217 13:05:52.145 2997716 flip.py:564] node 505 adds BLACKHOLE: ALL ['505'] < ['470']
I1217 13:05:52.146 2997716 flip.py:564] node 502 adds BLACKHOLE: ALL ['502'] < ['470']
I1217 13:05:52.146 2997716 flip.py:564] node 511 adds BLACKHOLE: ALL ['511'] < ['470']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:05:52.159 2997716 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: 32, dst: 506, path: ['32', '31', '27', '8', '7', '22', '63', '54', '57', '58', '96', '95', '91', '72', '71', '86', '127', '118', '121', '122', '160', '159', '155', '136', '135', '150', '191', '182', '185', '186', '224', '223', '219', '200', '199', '214', '255', '246', '249', '250', '288', '287', '283', '264', '263', '278', '319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '470', '511', '502', '505', '506'], tags: {}> doesn't satisfy any of [['507'], ['251']]
