Version: 1.13 
 _ data/zoo_json_cond_enf1/Uninett2010_4.json -f output/flip/data/zoo_json_cond_enf1/Uninett2010_4.json.subpaths
Flip subpaths generated in 0.218 seconds!
real 0.70
user 1.06
sys 0.09
<logging.Logger object at 0x7facc4e7f7d0>
I1217 12:42:30.772 2312604 flip.py:564] node 542 adds BLACKHOLE: ALL ['578'] < ['542']
I1217 12:42:30.772 2312604 flip.py:564] node 526 adds BLACKHOLE: ALL ['578'] < ['526']
I1217 12:42:30.772 2312604 flip.py:564] node 519 adds BLACKHOLE: ALL ['578'] < ['519']
I1217 12:42:30.772 2312604 flip.py:839] node 578 (green-white) adds POLICY: ALL ['575'] < ['578'] with dependencies []
I1217 12:42:30.773 2312604 flip.py:564] node 512 adds BLACKHOLE: ALL ['575'] < ['512']
I1217 12:42:30.773 2312604 flip.py:564] node 514 adds BLACKHOLE: ALL ['575'] < ['514']
I1217 12:42:30.773 2312604 flip.py:564] node 513 adds BLACKHOLE: ALL ['575'] < ['513']
I1217 12:42:30.773 2312604 flip.py:564] node 576 adds BLACKHOLE: ALL ['575'] < ['576']
I1217 12:42:30.773 2312604 flip.py:839] node 575 (green-white) adds POLICY: ALL ['505'] < ['575'] with dependencies []
I1217 12:42:30.773 2312604 flip.py:564] node 469 adds BLACKHOLE: ALL ['505'] < ['469']
I1217 12:42:30.774 2312604 flip.py:564] node 453 adds BLACKHOLE: ALL ['505'] < ['453']
I1217 12:42:30.774 2312604 flip.py:564] node 446 adds BLACKHOLE: ALL ['505'] < ['446']
I1217 12:42:30.774 2312604 flip.py:839] node 505 (green-white) adds POLICY: ALL ['502'] < ['505'] with dependencies []
I1217 12:42:30.774 2312604 flip.py:564] node 439 adds BLACKHOLE: ALL ['502'] < ['439']
I1217 12:42:30.774 2312604 flip.py:564] node 441 adds BLACKHOLE: ALL ['502'] < ['441']
I1217 12:42:30.774 2312604 flip.py:564] node 440 adds BLACKHOLE: ALL ['502'] < ['440']
I1217 12:42:30.775 2312604 flip.py:564] node 503 adds BLACKHOLE: ALL ['502'] < ['503']
I1217 12:42:30.775 2312604 flip.py:839] node 502 (green-white) adds POLICY: ALL ['432'] < ['502'] with dependencies []
I1217 12:42:30.775 2312604 flip.py:564] node 396 adds BLACKHOLE: ALL ['432'] < ['396']
I1217 12:42:30.775 2312604 flip.py:564] node 380 adds BLACKHOLE: ALL ['432'] < ['380']
I1217 12:42:30.775 2312604 flip.py:564] node 373 adds BLACKHOLE: ALL ['432'] < ['373']
I1217 12:42:30.775 2312604 flip.py:839] node 432 (green-white) adds POLICY: ALL ['429'] < ['432'] with dependencies []
I1217 12:42:30.776 2312604 flip.py:564] node 366 adds BLACKHOLE: ALL ['429'] < ['366']
I1217 12:42:30.776 2312604 flip.py:564] node 368 adds BLACKHOLE: ALL ['429'] < ['368']
I1217 12:42:30.776 2312604 flip.py:564] node 367 adds BLACKHOLE: ALL ['429'] < ['367']
I1217 12:42:30.776 2312604 flip.py:564] node 430 adds BLACKHOLE: ALL ['429'] < ['430']
I1217 12:42:30.776 2312604 flip.py:839] node 429 (green-white) adds POLICY: ALL ['359'] < ['429'] with dependencies []
I1217 12:42:30.776 2312604 flip.py:564] node 323 adds BLACKHOLE: ALL ['359'] < ['323']
I1217 12:42:30.777 2312604 flip.py:564] node 307 adds BLACKHOLE: ALL ['359'] < ['307']
I1217 12:42:30.777 2312604 flip.py:564] node 300 adds BLACKHOLE: ALL ['359'] < ['300']
I1217 12:42:30.777 2312604 flip.py:839] node 359 (green-white) adds POLICY: ALL ['356'] < ['359'] with dependencies []
I1217 12:42:30.777 2312604 flip.py:564] node 293 adds BLACKHOLE: ALL ['356'] < ['293']
I1217 12:42:30.777 2312604 flip.py:564] node 295 adds BLACKHOLE: ALL ['356'] < ['295']
I1217 12:42:30.777 2312604 flip.py:564] node 294 adds BLACKHOLE: ALL ['356'] < ['294']
I1217 12:42:30.777 2312604 flip.py:564] node 357 adds BLACKHOLE: ALL ['356'] < ['357']
I1217 12:42:30.778 2312604 flip.py:839] node 356 (green-white) adds POLICY: ALL ['286'] < ['356'] with dependencies []
I1217 12:42:30.778 2312604 flip.py:564] node 250 adds BLACKHOLE: ALL ['286'] < ['250']
I1217 12:42:30.778 2312604 flip.py:564] node 234 adds BLACKHOLE: ALL ['286'] < ['234']
I1217 12:42:30.778 2312604 flip.py:564] node 227 adds BLACKHOLE: ALL ['286'] < ['227']
I1217 12:42:30.779 2312604 flip.py:839] node 286 (green-white) adds POLICY: ALL ['283'] < ['286'] with dependencies []
I1217 12:42:30.779 2312604 flip.py:564] node 220 adds BLACKHOLE: ALL ['283'] < ['220']
I1217 12:42:30.779 2312604 flip.py:564] node 222 adds BLACKHOLE: ALL ['283'] < ['222']
I1217 12:42:30.779 2312604 flip.py:564] node 221 adds BLACKHOLE: ALL ['283'] < ['221']
I1217 12:42:30.779 2312604 flip.py:564] node 284 adds BLACKHOLE: ALL ['283'] < ['284']
I1217 12:42:30.780 2312604 flip.py:839] node 283 (green-white) adds POLICY: ALL ['213'] < ['283'] with dependencies []
I1217 12:42:30.780 2312604 flip.py:564] node 177 adds BLACKHOLE: ALL ['213'] < ['177']
I1217 12:42:30.780 2312604 flip.py:564] node 161 adds BLACKHOLE: ALL ['213'] < ['161']
I1217 12:42:30.780 2312604 flip.py:564] node 154 adds BLACKHOLE: ALL ['213'] < ['154']
I1217 12:42:30.780 2312604 flip.py:839] node 213 (green-white) adds POLICY: ALL ['210'] < ['213'] with dependencies []
I1217 12:42:30.781 2312604 flip.py:564] node 147 adds BLACKHOLE: ALL ['210'] < ['147']
I1217 12:42:30.781 2312604 flip.py:564] node 149 adds BLACKHOLE: ALL ['210'] < ['149']
I1217 12:42:30.781 2312604 flip.py:564] node 148 adds BLACKHOLE: ALL ['210'] < ['148']
I1217 12:42:30.781 2312604 flip.py:564] node 211 adds BLACKHOLE: ALL ['210'] < ['211']
I1217 12:42:30.781 2312604 flip.py:839] node 210 (green-white) adds POLICY: ALL ['140'] < ['210'] with dependencies []
I1217 12:42:30.781 2312604 flip.py:564] node 104 adds BLACKHOLE: ALL ['140'] < ['104']
I1217 12:42:30.782 2312604 flip.py:564] node 88 adds BLACKHOLE: ALL ['140'] < ['88']
I1217 12:42:30.782 2312604 flip.py:564] node 81 adds BLACKHOLE: ALL ['140'] < ['81']
I1217 12:42:30.782 2312604 flip.py:839] node 140 (green-white) adds POLICY: ALL ['137'] < ['140'] with dependencies []
I1217 12:42:30.782 2312604 flip.py:564] node 74 adds BLACKHOLE: ALL ['137'] < ['74']
I1217 12:42:30.782 2312604 flip.py:564] node 76 adds BLACKHOLE: ALL ['137'] < ['76']
I1217 12:42:30.782 2312604 flip.py:564] node 75 adds BLACKHOLE: ALL ['137'] < ['75']
I1217 12:42:30.783 2312604 flip.py:564] node 138 adds BLACKHOLE: ALL ['137'] < ['138']
I1217 12:42:30.783 2312604 flip.py:564] node 31 adds BLACKHOLE: ALL ['67'] < ['31']
I1217 12:42:30.783 2312604 flip.py:564] node 15 adds BLACKHOLE: ALL ['67'] < ['15']
I1217 12:42:30.783 2312604 flip.py:564] node 8 adds BLACKHOLE: ALL ['67'] < ['8']
I1217 12:42:30.783 2312604 flip.py:564] node 1 adds BLACKHOLE: ALL ['64'] < ['1']
I1217 12:42:30.783 2312604 flip.py:564] node 3 adds BLACKHOLE: ALL ['64'] < ['3']
I1217 12:42:30.783 2312604 flip.py:564] node 2 adds BLACKHOLE: ALL ['64'] < ['2']
I1217 12:42:30.784 2312604 flip.py:564] node 65 adds BLACKHOLE: ALL ['64'] < ['65']
I1217 12:42:30.784 2312604 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['64']
I1217 12:42:30.784 2312604 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['64']
I1217 12:42:30.784 2312604 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['64']
I1217 12:42:30.784 2312604 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['64']
I1217 12:42:30.784 2312604 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['64']
I1217 12:42:30.784 2312604 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['67']
I1217 12:42:30.784 2312604 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['67']
I1217 12:42:30.785 2312604 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['67']
I1217 12:42:30.785 2312604 flip.py:564] node 26 adds BLACKHOLE: ALL ['26'] < ['67']
I1217 12:42:30.785 2312604 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['67']
I1217 12:42:30.785 2312604 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['137']
I1217 12:42:30.785 2312604 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['137']
I1217 12:42:30.785 2312604 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['137']
I1217 12:42:30.785 2312604 flip.py:564] node 144 adds BLACKHOLE: ALL ['144'] < ['137']
I1217 12:42:30.786 2312604 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['137']
I1217 12:42:30.786 2312604 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['140']
I1217 12:42:30.786 2312604 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['140']
I1217 12:42:30.786 2312604 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['140']
I1217 12:42:30.786 2312604 flip.py:564] node 99 adds BLACKHOLE: ALL ['99'] < ['140']
I1217 12:42:30.786 2312604 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['140']
I1217 12:42:30.786 2312604 flip.py:564] node 214 adds BLACKHOLE: ALL ['214'] < ['210']
I1217 12:42:30.787 2312604 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['210']
I1217 12:42:30.787 2312604 flip.py:564] node 216 adds BLACKHOLE: ALL ['216'] < ['210']
I1217 12:42:30.787 2312604 flip.py:564] node 217 adds BLACKHOLE: ALL ['217'] < ['210']
I1217 12:42:30.787 2312604 flip.py:564] node 218 adds BLACKHOLE: ALL ['218'] < ['210']
I1217 12:42:30.787 2312604 flip.py:564] node 159 adds BLACKHOLE: ALL ['159'] < ['213']
I1217 12:42:30.787 2312604 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['213']
I1217 12:42:30.787 2312604 flip.py:564] node 160 adds BLACKHOLE: ALL ['160'] < ['213']
I1217 12:42:30.787 2312604 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['213']
I1217 12:42:30.787 2312604 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['213']
I1217 12:42:30.788 2312604 flip.py:564] node 287 adds BLACKHOLE: ALL ['287'] < ['283']
I1217 12:42:30.788 2312604 flip.py:564] node 288 adds BLACKHOLE: ALL ['288'] < ['283']
I1217 12:42:30.788 2312604 flip.py:564] node 289 adds BLACKHOLE: ALL ['289'] < ['283']
I1217 12:42:30.788 2312604 flip.py:564] node 290 adds BLACKHOLE: ALL ['290'] < ['283']
I1217 12:42:30.788 2312604 flip.py:564] node 291 adds BLACKHOLE: ALL ['291'] < ['283']
I1217 12:42:30.788 2312604 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['286']
I1217 12:42:30.788 2312604 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['286']
I1217 12:42:30.788 2312604 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['286']
I1217 12:42:30.789 2312604 flip.py:564] node 245 adds BLACKHOLE: ALL ['245'] < ['286']
I1217 12:42:30.789 2312604 flip.py:564] node 285 adds BLACKHOLE: ALL ['285'] < ['286']
I1217 12:42:30.789 2312604 flip.py:564] node 360 adds BLACKHOLE: ALL ['360'] < ['356']
I1217 12:42:30.789 2312604 flip.py:564] node 361 adds BLACKHOLE: ALL ['361'] < ['356']
I1217 12:42:30.789 2312604 flip.py:564] node 362 adds BLACKHOLE: ALL ['362'] < ['356']
I1217 12:42:30.789 2312604 flip.py:564] node 363 adds BLACKHOLE: ALL ['363'] < ['356']
I1217 12:42:30.789 2312604 flip.py:564] node 364 adds BLACKHOLE: ALL ['364'] < ['356']
I1217 12:42:30.790 2312604 flip.py:564] node 305 adds BLACKHOLE: ALL ['305'] < ['359']
I1217 12:42:30.790 2312604 flip.py:564] node 304 adds BLACKHOLE: ALL ['304'] < ['359']
I1217 12:42:30.790 2312604 flip.py:564] node 306 adds BLACKHOLE: ALL ['306'] < ['359']
I1217 12:42:30.790 2312604 flip.py:564] node 318 adds BLACKHOLE: ALL ['318'] < ['359']
I1217 12:42:30.790 2312604 flip.py:564] node 358 adds BLACKHOLE: ALL ['358'] < ['359']
I1217 12:42:30.790 2312604 flip.py:564] node 433 adds BLACKHOLE: ALL ['433'] < ['429']
I1217 12:42:30.790 2312604 flip.py:564] node 434 adds BLACKHOLE: ALL ['434'] < ['429']
I1217 12:42:30.791 2312604 flip.py:564] node 435 adds BLACKHOLE: ALL ['435'] < ['429']
I1217 12:42:30.791 2312604 flip.py:564] node 436 adds BLACKHOLE: ALL ['436'] < ['429']
I1217 12:42:30.791 2312604 flip.py:564] node 437 adds BLACKHOLE: ALL ['437'] < ['429']
I1217 12:42:30.791 2312604 flip.py:564] node 378 adds BLACKHOLE: ALL ['378'] < ['432']
I1217 12:42:30.791 2312604 flip.py:564] node 377 adds BLACKHOLE: ALL ['377'] < ['432']
I1217 12:42:30.791 2312604 flip.py:564] node 379 adds BLACKHOLE: ALL ['379'] < ['432']
I1217 12:42:30.791 2312604 flip.py:564] node 391 adds BLACKHOLE: ALL ['391'] < ['432']
I1217 12:42:30.791 2312604 flip.py:564] node 431 adds BLACKHOLE: ALL ['431'] < ['432']
I1217 12:42:30.792 2312604 flip.py:564] node 506 adds BLACKHOLE: ALL ['506'] < ['502']
I1217 12:42:30.792 2312604 flip.py:564] node 507 adds BLACKHOLE: ALL ['507'] < ['502']
I1217 12:42:30.792 2312604 flip.py:564] node 508 adds BLACKHOLE: ALL ['508'] < ['502']
I1217 12:42:30.792 2312604 flip.py:564] node 509 adds BLACKHOLE: ALL ['509'] < ['502']
I1217 12:42:30.792 2312604 flip.py:564] node 510 adds BLACKHOLE: ALL ['510'] < ['502']
I1217 12:42:30.792 2312604 flip.py:564] node 451 adds BLACKHOLE: ALL ['451'] < ['505']
I1217 12:42:30.792 2312604 flip.py:564] node 450 adds BLACKHOLE: ALL ['450'] < ['505']
I1217 12:42:30.792 2312604 flip.py:564] node 452 adds BLACKHOLE: ALL ['452'] < ['505']
I1217 12:42:30.792 2312604 flip.py:564] node 464 adds BLACKHOLE: ALL ['464'] < ['505']
I1217 12:42:30.793 2312604 flip.py:564] node 504 adds BLACKHOLE: ALL ['504'] < ['505']
I1217 12:42:30.793 2312604 flip.py:564] node 579 adds BLACKHOLE: ALL ['579'] < ['575']
I1217 12:42:30.793 2312604 flip.py:564] node 580 adds BLACKHOLE: ALL ['580'] < ['575']
I1217 12:42:30.793 2312604 flip.py:564] node 581 adds BLACKHOLE: ALL ['581'] < ['575']
I1217 12:42:30.793 2312604 flip.py:564] node 582 adds BLACKHOLE: ALL ['582'] < ['575']
I1217 12:42:30.793 2312604 flip.py:564] node 583 adds BLACKHOLE: ALL ['583'] < ['575']
I1217 12:42:30.793 2312604 flip.py:564] node 524 adds BLACKHOLE: ALL ['524'] < ['578']
I1217 12:42:30.794 2312604 flip.py:564] node 523 adds BLACKHOLE: ALL ['523'] < ['578']
I1217 12:42:30.794 2312604 flip.py:564] node 525 adds BLACKHOLE: ALL ['525'] < ['578']
I1217 12:42:30.794 2312604 flip.py:564] node 537 adds BLACKHOLE: ALL ['537'] < ['578']
I1217 12:42:30.794 2312604 flip.py:564] node 577 adds BLACKHOLE: ALL ['577'] < ['578']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:30.808 2312604 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: 64, dst: 559, path: ['64', '65', '2', '3', '1', '67', '8', '15', '31', '48', '137', '138', '75', '76', '74', '140', '81', '88', '104', '121', '210', '211', '148', '149', '147', '213', '154', '161', '177', '194', '283', '284', '221', '222', '220', '286', '227', '234', '250', '267', '356', '357', '294', '295', '293', '359', '300', '307', '323', '340', '429', '430', '367', '368', '366', '432', '373', '380', '396', '413', '502', '503', '440', '441', '439', '505', '446', '453', '469', '486', '575', '576', '513', '514', '512', '578', '519', '526', '542', '559'], tags: {}> doesn't satisfy any of [['141']]
