Version: 1.13 
 _ data/zoo_json_cond_enf1/Kdl_1.json -f output/flip/data/zoo_json_cond_enf1/Kdl_1.json.subpaths
Flip subpaths generated in 0.228 seconds!
real 0.64
user 0.84
sys 0.11
<logging.Logger object at 0x7f4aaf7b77d0>
I1217 12:44:51.638 2975518 flip.py:564] node 599 adds BLACKHOLE: ALL ['719'] < ['599']
I1217 12:44:51.639 2975518 flip.py:564] node 598 adds BLACKHOLE: ALL ['719'] < ['598']
I1217 12:44:51.639 2975518 flip.py:564] node 212 adds BLACKHOLE: ALL ['719'] < ['212']
I1217 12:44:51.640 2975518 flip.py:564] node 213 adds BLACKHOLE: ALL ['719'] < ['213']
I1217 12:44:51.640 2975518 flip.py:564] node 221 adds BLACKHOLE: ALL ['719'] < ['221']
I1217 12:44:51.641 2975518 flip.py:564] node 222 adds BLACKHOLE: ALL ['719'] < ['222']
I1217 12:44:51.641 2975518 flip.py:564] node 518 adds BLACKHOLE: ALL ['719'] < ['518']
I1217 12:44:51.642 2975518 flip.py:564] node 219 adds BLACKHOLE: ALL ['719'] < ['219']
I1217 12:44:51.642 2975518 flip.py:564] node 220 adds BLACKHOLE: ALL ['719'] < ['220']
I1217 12:44:51.643 2975518 flip.py:564] node 9 adds BLACKHOLE: ALL ['719'] < ['9']
I1217 12:44:51.643 2975518 flip.py:564] node 8 adds BLACKHOLE: ALL ['719'] < ['8']
I1217 12:44:51.644 2975518 flip.py:564] node 449 adds BLACKHOLE: ALL ['719'] < ['449']
I1217 12:44:51.644 2975518 flip.py:564] node 448 adds BLACKHOLE: ALL ['719'] < ['448']
I1217 12:44:51.645 2975518 flip.py:564] node 447 adds BLACKHOLE: ALL ['719'] < ['447']
I1217 12:44:51.645 2975518 flip.py:564] node 446 adds BLACKHOLE: ALL ['719'] < ['446']
I1217 12:44:51.645 2975518 flip.py:564] node 445 adds BLACKHOLE: ALL ['719'] < ['445']
I1217 12:44:51.646 2975518 flip.py:564] node 444 adds BLACKHOLE: ALL ['719'] < ['444']
I1217 12:44:51.646 2975518 flip.py:564] node 443 adds BLACKHOLE: ALL ['719'] < ['443']
I1217 12:44:51.647 2975518 flip.py:564] node 440 adds BLACKHOLE: ALL ['719'] < ['440']
I1217 12:44:51.647 2975518 flip.py:564] node 442 adds BLACKHOLE: ALL ['719'] < ['442']
I1217 12:44:51.647 2975518 flip.py:564] node 441 adds BLACKHOLE: ALL ['719'] < ['441']
I1217 12:44:51.648 2975518 flip.py:564] node 2 adds BLACKHOLE: ALL ['719'] < ['2']
I1217 12:44:51.648 2975518 flip.py:564] node 4 adds BLACKHOLE: ALL ['719'] < ['4']
I1217 12:44:51.649 2975518 flip.py:564] node 649 adds BLACKHOLE: ALL ['719'] < ['649']
I1217 12:44:51.649 2975518 flip.py:564] node 245 adds BLACKHOLE: ALL ['719'] < ['245']
I1217 12:44:51.649 2975518 flip.py:564] node 565 adds BLACKHOLE: ALL ['719'] < ['565']
I1217 12:44:51.650 2975518 flip.py:564] node 745 adds BLACKHOLE: ALL ['719'] < ['745']
I1217 12:44:51.650 2975518 flip.py:564] node 751 adds BLACKHOLE: ALL ['719'] < ['751']
I1217 12:44:51.650 2975518 flip.py:564] node 0 adds BLACKHOLE: ALL ['719'] < ['0']
I1217 12:44:51.650 2975518 flip.py:564] node 237 adds BLACKHOLE: ALL ['719'] < ['237']
I1217 12:44:51.651 2975518 flip.py:564] node 238 adds BLACKHOLE: ALL ['719'] < ['238']
I1217 12:44:51.651 2975518 flip.py:564] node 634 adds BLACKHOLE: ALL ['719'] < ['634']
I1217 12:44:51.651 2975518 flip.py:564] node 654 adds BLACKHOLE: ALL ['719'] < ['654']
I1217 12:44:51.651 2975518 flip.py:564] node 523 adds BLACKHOLE: ALL ['719'] < ['523']
I1217 12:44:51.652 2975518 flip.py:564] node 690 adds BLACKHOLE: ALL ['719'] < ['690']
I1217 12:44:51.652 2975518 flip.py:564] node 741 adds BLACKHOLE: ALL ['719'] < ['741']
I1217 12:44:51.652 2975518 flip.py:564] node 742 adds BLACKHOLE: ALL ['719'] < ['742']
I1217 12:44:51.652 2975518 flip.py:564] node 32 adds BLACKHOLE: ALL ['719'] < ['32']
I1217 12:44:51.653 2975518 flip.py:564] node 211 adds BLACKHOLE: ALL ['719'] < ['211']
I1217 12:44:51.653 2975518 flip.py:564] node 39 adds BLACKHOLE: ALL ['719'] < ['39']
I1217 12:44:51.653 2975518 flip.py:564] node 624 adds BLACKHOLE: ALL ['719'] < ['624']
I1217 12:44:51.653 2975518 flip.py:564] node 309 adds BLACKHOLE: ALL ['719'] < ['309']
I1217 12:44:51.653 2975518 flip.py:564] node 316 adds BLACKHOLE: ALL ['719'] < ['316']
I1217 12:44:51.653 2975518 flip.py:564] node 314 adds BLACKHOLE: ALL ['719'] < ['314']
I1217 12:44:51.654 2975518 flip.py:564] node 315 adds BLACKHOLE: ALL ['719'] < ['315']
I1217 12:44:51.654 2975518 flip.py:564] node 317 adds BLACKHOLE: ALL ['719'] < ['317']
I1217 12:44:51.654 2975518 flip.py:564] node 5 adds BLACKHOLE: ALL ['719'] < ['5']
I1217 12:44:51.654 2975518 flip.py:564] node 720 adds BLACKHOLE: ALL ['16'] < ['720']
I1217 12:44:51.654 2975518 flip.py:564] node 717 adds BLACKHOLE: ALL ['16'] < ['717']
I1217 12:44:51.654 2975518 flip.py:564] node 718 adds BLACKHOLE: ALL ['16'] < ['718']
I1217 12:44:51.654 2975518 flip.py:564] node 363 adds BLACKHOLE: ALL ['363'] < ['16']
I1217 12:44:51.655 2975518 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['16']
I1217 12:44:51.655 2975518 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['16']
I1217 12:44:51.655 2975518 flip.py:564] node 193 adds BLACKHOLE: ALL ['193'] < ['16']
I1217 12:44:51.655 2975518 flip.py:564] node 348 adds BLACKHOLE: ALL ['348'] < ['16']
I1217 12:44:51.655 2975518 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['16']
I1217 12:44:51.656 2975518 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['719']
I1217 12:44:51.656 2975518 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['719']
I1217 12:44:51.657 2975518 flip.py:564] node 562 adds BLACKHOLE: ALL ['562'] < ['719']
I1217 12:44:51.658 2975518 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['719']
I1217 12:44:51.658 2975518 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['719']
I1217 12:44:51.659 2975518 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['719']
I1217 12:44:51.659 2975518 flip.py:564] node 541 adds BLACKHOLE: ALL ['541'] < ['719']
I1217 12:44:51.660 2975518 flip.py:564] node 542 adds BLACKHOLE: ALL ['542'] < ['719']
I1217 12:44:51.661 2975518 flip.py:564] node 536 adds BLACKHOLE: ALL ['536'] < ['719']
I1217 12:44:51.661 2975518 flip.py:564] node 535 adds BLACKHOLE: ALL ['535'] < ['719']
I1217 12:44:51.661 2975518 flip.py:564] node 430 adds BLACKHOLE: ALL ['430'] < ['719']
I1217 12:44:51.662 2975518 flip.py:564] node 429 adds BLACKHOLE: ALL ['429'] < ['719']
I1217 12:44:51.662 2975518 flip.py:564] node 431 adds BLACKHOLE: ALL ['431'] < ['719']
I1217 12:44:51.663 2975518 flip.py:564] node 432 adds BLACKHOLE: ALL ['432'] < ['719']
I1217 12:44:51.663 2975518 flip.py:564] node 437 adds BLACKHOLE: ALL ['437'] < ['719']
I1217 12:44:51.664 2975518 flip.py:564] node 670 adds BLACKHOLE: ALL ['670'] < ['719']
I1217 12:44:51.664 2975518 flip.py:564] node 688 adds BLACKHOLE: ALL ['688'] < ['719']
I1217 12:44:51.665 2975518 flip.py:564] node 703 adds BLACKHOLE: ALL ['703'] < ['719']
I1217 12:44:51.665 2975518 flip.py:564] node 702 adds BLACKHOLE: ALL ['702'] < ['719']
I1217 12:44:51.666 2975518 flip.py:564] node 701 adds BLACKHOLE: ALL ['701'] < ['719']
I1217 12:44:51.666 2975518 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['719']
I1217 12:44:51.666 2975518 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['719']
I1217 12:44:51.667 2975518 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['719']
I1217 12:44:51.667 2975518 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['719']
I1217 12:44:51.668 2975518 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['719']
I1217 12:44:51.668 2975518 flip.py:564] node 705 adds BLACKHOLE: ALL ['705'] < ['719']
I1217 12:44:51.669 2975518 flip.py:564] node 230 adds BLACKHOLE: ALL ['230'] < ['719']
I1217 12:44:51.669 2975518 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['719']
I1217 12:44:51.669 2975518 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['719']
I1217 12:44:51.669 2975518 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['719']
I1217 12:44:51.670 2975518 flip.py:564] node 164 adds BLACKHOLE: ALL ['164'] < ['719']
I1217 12:44:51.670 2975518 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['719']
I1217 12:44:51.670 2975518 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['719']
I1217 12:44:51.671 2975518 flip.py:564] node 503 adds BLACKHOLE: ALL ['503'] < ['719']
I1217 12:44:51.671 2975518 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['719']
I1217 12:44:51.671 2975518 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['719']
I1217 12:44:51.672 2975518 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['719']
I1217 12:44:51.672 2975518 flip.py:564] node 408 adds BLACKHOLE: ALL ['408'] < ['719']
I1217 12:44:51.672 2975518 flip.py:564] node 247 adds BLACKHOLE: ALL ['247'] < ['719']
I1217 12:44:51.672 2975518 flip.py:564] node 417 adds BLACKHOLE: ALL ['417'] < ['719']
I1217 12:44:51.673 2975518 flip.py:564] node 418 adds BLACKHOLE: ALL ['418'] < ['719']
I1217 12:44:51.673 2975518 flip.py:564] node 739 adds BLACKHOLE: ALL ['739'] < ['719']
I1217 12:44:51.673 2975518 flip.py:564] node 273 adds BLACKHOLE: ALL ['273'] < ['719']
I1217 12:44:51.673 2975518 flip.py:564] node 529 adds BLACKHOLE: ALL ['529'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 704 adds BLACKHOLE: ALL ['704'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 235 adds BLACKHOLE: ALL ['235'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 512 adds BLACKHOLE: ALL ['512'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 511 adds BLACKHOLE: ALL ['511'] < ['719']
I1217 12:44:51.674 2975518 flip.py:564] node 199 adds BLACKHOLE: ALL ['199'] < ['719']
I1217 12:44:51.675 2975518 flip.py:564] node 513 adds BLACKHOLE: ALL ['513'] < ['719']
I1217 12:44:51.675 2975518 flip.py:564] node 516 adds BLACKHOLE: ALL ['516'] < ['719']
I1217 12:44:51.675 2975518 flip.py:564] node 515 adds BLACKHOLE: ALL ['515'] < ['719']
I1217 12:44:51.675 2975518 flip.py:564] node 308 adds BLACKHOLE: ALL ['308'] < ['719']
I1217 12:44:51.675 2975518 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['719']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:51.687 2975518 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: 10, dst: 566, path: ['10', '272', '534', '311', '16', '718', '717', '720', '719', '5', '317', '315', '314', '316', '309', '624', '39', '211', '32', '742', '741', '690', '523', '654', '634', '238', '237', '0', '751', '745', '565', '245', '649', '4', '2', '441', '442', '440', '443', '444', '445', '446', '447', '448', '449', '8', '9', '220', '219', '518', '222', '221', '213', '212', '598', '599', '566'], tags: {}> doesn't satisfy any of [['536']]
