Version: 1.13 
 _ data/zoo_json_cond_enf2/GtsCe_3.json -f output/flip/data/zoo_json_cond_enf2/GtsCe_3.json.subpaths
Flip subpaths generated in 0.301 seconds!
real 1.37
user 1.63
sys 0.13
<logging.Logger object at 0x7fc0fbe077d0>
I1217 12:37:28.641 2306359 flip.py:638] node 131 (131->130->131) adds LOOP: ANY ['131'] < ['130']
I1217 12:37:28.681 2306359 flip.py:638] node 280 (280->279->280) adds LOOP: ANY ['280'] < ['279']
I1217 12:37:28.709 2306359 flip.py:638] node 429 (429->428->429) adds LOOP: ANY ['429'] < ['428']
I1217 12:37:28.723 2306359 flip.py:638] node 578 (578->577->578) adds LOOP: ANY ['578'] < ['577']
I1217 12:37:28.726 2306359 flip.py:564] node 500 adds BLACKHOLE: ALL ['591'] < ['500']
I1217 12:37:28.726 2306359 flip.py:564] node 505 adds BLACKHOLE: ALL ['591'] < ['505']
I1217 12:37:28.726 2306359 flip.py:564] node 564 adds BLACKHOLE: ALL ['591'] < ['564']
I1217 12:37:28.726 2306359 flip.py:564] node 534 adds BLACKHOLE: ALL ['591'] < ['534']
I1217 12:37:28.726 2306359 flip.py:564] node 498 adds BLACKHOLE: ALL ['591'] < ['498']
I1217 12:37:28.726 2306359 flip.py:564] node 587 adds BLACKHOLE: ALL ['591'] < ['587']
I1217 12:37:28.727 2306359 flip.py:839] node 591 (green-white) adds POLICY: ALL ['577'] < ['591'] with dependencies []
I1217 12:37:28.727 2306359 flip.py:564] node 467 adds BLACKHOLE: ALL ['577'] < ['467']
I1217 12:37:28.727 2306359 flip.py:564] node 528 adds BLACKHOLE: ALL ['577'] < ['528']
I1217 12:37:28.727 2306359 flip.py:564] node 529 adds BLACKHOLE: ALL ['577'] < ['529']
I1217 12:37:28.727 2306359 flip.py:564] node 532 adds BLACKHOLE: ALL ['577'] < ['532']
I1217 12:37:28.728 2306359 flip.py:564] node 525 adds BLACKHOLE: ALL ['577'] < ['525']
I1217 12:37:28.728 2306359 flip.py:564] node 576 adds BLACKHOLE: ALL ['577'] < ['576']
I1217 12:37:28.728 2306359 flip.py:564] node 480 adds BLACKHOLE: ALL ['577'] < ['480']
I1217 12:37:28.728 2306359 flip.py:564] node 508 adds BLACKHOLE: ALL ['577'] < ['508']
I1217 12:37:28.728 2306359 flip.py:839] node 577 (green-white) adds POLICY: ALL ['578'] < ['577'] with dependencies []
I1217 12:37:28.728 2306359 flip.py:839] node 578 (green-white) adds POLICY: ALL ['541'] < ['578'] with dependencies []
I1217 12:37:28.729 2306359 flip.py:564] node 572 adds BLACKHOLE: ALL ['541'] < ['572']
I1217 12:37:28.729 2306359 flip.py:564] node 579 adds BLACKHOLE: ALL ['541'] < ['579']
I1217 12:37:28.729 2306359 flip.py:564] node 464 adds BLACKHOLE: ALL ['541'] < ['464']
I1217 12:37:28.729 2306359 flip.py:839] node 541 (green-white) adds POLICY: ALL ['452'] < ['541'] with dependencies []
I1217 12:37:28.729 2306359 flip.py:564] node 540 adds BLACKHOLE: ALL ['452'] < ['540']
I1217 12:37:28.730 2306359 flip.py:564] node 543 adds BLACKHOLE: ALL ['452'] < ['543']
I1217 12:37:28.730 2306359 flip.py:564] node 542 adds BLACKHOLE: ALL ['452'] < ['542']
I1217 12:37:28.730 2306359 flip.py:564] node 463 adds BLACKHOLE: ALL ['452'] < ['463']
I1217 12:37:28.730 2306359 flip.py:564] node 451 adds BLACKHOLE: ALL ['452'] < ['451']
I1217 12:37:28.730 2306359 flip.py:839] node 452 (green-white) adds POLICY: ALL ['442'] < ['452'] with dependencies []
I1217 12:37:28.731 2306359 flip.py:564] node 351 adds BLACKHOLE: ALL ['442'] < ['351']
I1217 12:37:28.731 2306359 flip.py:564] node 356 adds BLACKHOLE: ALL ['442'] < ['356']
I1217 12:37:28.731 2306359 flip.py:564] node 415 adds BLACKHOLE: ALL ['442'] < ['415']
I1217 12:37:28.731 2306359 flip.py:564] node 385 adds BLACKHOLE: ALL ['442'] < ['385']
I1217 12:37:28.731 2306359 flip.py:564] node 349 adds BLACKHOLE: ALL ['442'] < ['349']
I1217 12:37:28.731 2306359 flip.py:564] node 438 adds BLACKHOLE: ALL ['442'] < ['438']
I1217 12:37:28.731 2306359 flip.py:839] node 442 (green-white) adds POLICY: ALL ['428'] < ['442'] with dependencies []
I1217 12:37:28.732 2306359 flip.py:564] node 318 adds BLACKHOLE: ALL ['428'] < ['318']
I1217 12:37:28.732 2306359 flip.py:564] node 379 adds BLACKHOLE: ALL ['428'] < ['379']
I1217 12:37:28.732 2306359 flip.py:564] node 380 adds BLACKHOLE: ALL ['428'] < ['380']
I1217 12:37:28.732 2306359 flip.py:564] node 383 adds BLACKHOLE: ALL ['428'] < ['383']
I1217 12:37:28.733 2306359 flip.py:564] node 376 adds BLACKHOLE: ALL ['428'] < ['376']
I1217 12:37:28.733 2306359 flip.py:564] node 427 adds BLACKHOLE: ALL ['428'] < ['427']
I1217 12:37:28.733 2306359 flip.py:564] node 331 adds BLACKHOLE: ALL ['428'] < ['331']
I1217 12:37:28.733 2306359 flip.py:564] node 359 adds BLACKHOLE: ALL ['428'] < ['359']
I1217 12:37:28.733 2306359 flip.py:839] node 428 (green-white) adds POLICY: ALL ['429'] < ['428'] with dependencies []
I1217 12:37:28.733 2306359 flip.py:839] node 429 (green-white) adds POLICY: ALL ['392'] < ['429'] with dependencies []
I1217 12:37:28.734 2306359 flip.py:564] node 423 adds BLACKHOLE: ALL ['392'] < ['423']
I1217 12:37:28.734 2306359 flip.py:564] node 430 adds BLACKHOLE: ALL ['392'] < ['430']
I1217 12:37:28.734 2306359 flip.py:564] node 315 adds BLACKHOLE: ALL ['392'] < ['315']
I1217 12:37:28.734 2306359 flip.py:839] node 392 (green-white) adds POLICY: ALL ['303'] < ['392'] with dependencies []
I1217 12:37:28.735 2306359 flip.py:564] node 391 adds BLACKHOLE: ALL ['303'] < ['391']
I1217 12:37:28.735 2306359 flip.py:564] node 394 adds BLACKHOLE: ALL ['303'] < ['394']
I1217 12:37:28.735 2306359 flip.py:564] node 393 adds BLACKHOLE: ALL ['303'] < ['393']
I1217 12:37:28.735 2306359 flip.py:564] node 314 adds BLACKHOLE: ALL ['303'] < ['314']
I1217 12:37:28.735 2306359 flip.py:564] node 302 adds BLACKHOLE: ALL ['303'] < ['302']
I1217 12:37:28.735 2306359 flip.py:839] node 303 (green-white) adds POLICY: ALL ['293'] < ['303'] with dependencies []
I1217 12:37:28.736 2306359 flip.py:564] node 202 adds BLACKHOLE: ALL ['293'] < ['202']
I1217 12:37:28.736 2306359 flip.py:564] node 207 adds BLACKHOLE: ALL ['293'] < ['207']
I1217 12:37:28.736 2306359 flip.py:564] node 266 adds BLACKHOLE: ALL ['293'] < ['266']
I1217 12:37:28.736 2306359 flip.py:564] node 236 adds BLACKHOLE: ALL ['293'] < ['236']
I1217 12:37:28.736 2306359 flip.py:564] node 200 adds BLACKHOLE: ALL ['293'] < ['200']
I1217 12:37:28.736 2306359 flip.py:564] node 289 adds BLACKHOLE: ALL ['293'] < ['289']
I1217 12:37:28.736 2306359 flip.py:839] node 293 (green-cyan) adds POLICY: ALL ['279'] < ['293'] with dependencies []
I1217 12:37:28.737 2306359 flip.py:564] node 169 adds BLACKHOLE: ALL ['279'] < ['169']
I1217 12:37:28.737 2306359 flip.py:564] node 230 adds BLACKHOLE: ALL ['279'] < ['230']
I1217 12:37:28.737 2306359 flip.py:564] node 231 adds BLACKHOLE: ALL ['279'] < ['231']
I1217 12:37:28.737 2306359 flip.py:564] node 234 adds BLACKHOLE: ALL ['279'] < ['234']
I1217 12:37:28.737 2306359 flip.py:564] node 227 adds BLACKHOLE: ALL ['279'] < ['227']
I1217 12:37:28.738 2306359 flip.py:564] node 278 adds BLACKHOLE: ALL ['279'] < ['278']
I1217 12:37:28.738 2306359 flip.py:564] node 182 adds BLACKHOLE: ALL ['279'] < ['182']
I1217 12:37:28.738 2306359 flip.py:564] node 210 adds BLACKHOLE: ALL ['279'] < ['210']
I1217 12:37:28.738 2306359 flip.py:839] node 279 (green-cyan) adds POLICY: ALL ['280'] < ['279'] with dependencies []
I1217 12:37:28.739 2306359 flip.py:839] node 280 (green-cyan) adds POLICY: ALL ['243'] < ['280'] with dependencies []
I1217 12:37:28.739 2306359 flip.py:564] node 274 adds BLACKHOLE: ALL ['243'] < ['274']
I1217 12:37:28.739 2306359 flip.py:564] node 281 adds BLACKHOLE: ALL ['243'] < ['281']
I1217 12:37:28.739 2306359 flip.py:564] node 166 adds BLACKHOLE: ALL ['243'] < ['166']
I1217 12:37:28.740 2306359 flip.py:839] node 243 (green-cyan) adds POLICY: ALL ['154'] < ['243'] with dependencies []
I1217 12:37:28.740 2306359 flip.py:564] node 242 adds BLACKHOLE: ALL ['154'] < ['242']
I1217 12:37:28.740 2306359 flip.py:564] node 245 adds BLACKHOLE: ALL ['154'] < ['245']
I1217 12:37:28.740 2306359 flip.py:564] node 244 adds BLACKHOLE: ALL ['154'] < ['244']
I1217 12:37:28.740 2306359 flip.py:564] node 165 adds BLACKHOLE: ALL ['154'] < ['165']
I1217 12:37:28.740 2306359 flip.py:564] node 153 adds BLACKHOLE: ALL ['154'] < ['153']
I1217 12:37:28.741 2306359 flip.py:839] node 154 (green-cyan) adds POLICY: ALL ['144'] < ['154'] with dependencies []
I1217 12:37:28.741 2306359 flip.py:564] node 53 adds BLACKHOLE: ALL ['144'] < ['53']
I1217 12:37:28.741 2306359 flip.py:564] node 58 adds BLACKHOLE: ALL ['144'] < ['58']
I1217 12:37:28.741 2306359 flip.py:564] node 117 adds BLACKHOLE: ALL ['144'] < ['117']
I1217 12:37:28.742 2306359 flip.py:564] node 87 adds BLACKHOLE: ALL ['144'] < ['87']
I1217 12:37:28.742 2306359 flip.py:564] node 51 adds BLACKHOLE: ALL ['144'] < ['51']
I1217 12:37:28.742 2306359 flip.py:564] node 140 adds BLACKHOLE: ALL ['144'] < ['140']
I1217 12:37:28.742 2306359 flip.py:839] node 144 (green-cyan) adds POLICY: ALL ['130'] < ['144'] with dependencies []
I1217 12:37:28.743 2306359 flip.py:564] node 20 adds BLACKHOLE: ALL ['130'] < ['20']
I1217 12:37:28.743 2306359 flip.py:564] node 81 adds BLACKHOLE: ALL ['130'] < ['81']
I1217 12:37:28.743 2306359 flip.py:564] node 82 adds BLACKHOLE: ALL ['130'] < ['82']
I1217 12:37:28.743 2306359 flip.py:564] node 85 adds BLACKHOLE: ALL ['130'] < ['85']
I1217 12:37:28.744 2306359 flip.py:564] node 78 adds BLACKHOLE: ALL ['130'] < ['78']
I1217 12:37:28.744 2306359 flip.py:564] node 129 adds BLACKHOLE: ALL ['130'] < ['129']
I1217 12:37:28.744 2306359 flip.py:564] node 33 adds BLACKHOLE: ALL ['130'] < ['33']
I1217 12:37:28.744 2306359 flip.py:564] node 61 adds BLACKHOLE: ALL ['130'] < ['61']
I1217 12:37:28.744 2306359 flip.py:839] node 130 (green-cyan) adds POLICY: ALL ['131'] < ['130'] with dependencies []
I1217 12:37:28.744 2306359 flip.py:839] node 131 (green-cyan) adds POLICY: ALL ['94'] < ['131'] with dependencies []
I1217 12:37:28.745 2306359 flip.py:564] node 125 adds BLACKHOLE: ALL ['94'] < ['125']
I1217 12:37:28.745 2306359 flip.py:564] node 132 adds BLACKHOLE: ALL ['94'] < ['132']
I1217 12:37:28.745 2306359 flip.py:564] node 17 adds BLACKHOLE: ALL ['94'] < ['17']
I1217 12:37:28.745 2306359 flip.py:564] node 93 adds BLACKHOLE: ALL ['5'] < ['93']
I1217 12:37:28.745 2306359 flip.py:564] node 96 adds BLACKHOLE: ALL ['5'] < ['96']
I1217 12:37:28.746 2306359 flip.py:564] node 95 adds BLACKHOLE: ALL ['5'] < ['95']
I1217 12:37:28.746 2306359 flip.py:564] node 16 adds BLACKHOLE: ALL ['5'] < ['16']
I1217 12:37:28.746 2306359 flip.py:564] node 4 adds BLACKHOLE: ALL ['5'] < ['4']
I1217 12:37:28.746 2306359 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['5']
I1217 12:37:28.746 2306359 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['5']
I1217 12:37:28.746 2306359 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['5']
I1217 12:37:28.746 2306359 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['5']
I1217 12:37:28.747 2306359 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['5']
I1217 12:37:28.747 2306359 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['94']
I1217 12:37:28.747 2306359 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['94']
I1217 12:37:28.747 2306359 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['94']
I1217 12:37:28.747 2306359 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['94']
I1217 12:37:28.747 2306359 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['94']
I1217 12:37:28.747 2306359 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['94']
I1217 12:37:28.748 2306359 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['94']
I1217 12:37:28.748 2306359 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['94']
I1217 12:37:28.748 2306359 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['131']
I1217 12:37:28.748 2306359 flip.py:564] node 133 adds BLACKHOLE: ALL ['133'] < ['131']
I1217 12:37:28.748 2306359 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['131']
I1217 12:37:28.748 2306359 flip.py:564] node 124 adds BLACKHOLE: ALL ['124'] < ['131']
I1217 12:37:28.748 2306359 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['131']
I1217 12:37:28.748 2306359 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['144']
I1217 12:37:28.749 2306359 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['154']
I1217 12:37:28.750 2306359 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['154']
I1217 12:37:28.750 2306359 flip.py:564] node 157 adds BLACKHOLE: ALL ['157'] < ['154']
I1217 12:37:28.750 2306359 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['154']
I1217 12:37:28.750 2306359 flip.py:564] node 155 adds BLACKHOLE: ALL ['155'] < ['154']
I1217 12:37:28.750 2306359 flip.py:564] node 269 adds BLACKHOLE: ALL ['269'] < ['243']
I1217 12:37:28.750 2306359 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 270 adds BLACKHOLE: ALL ['270'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 259 adds BLACKHOLE: ALL ['259'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 240 adds BLACKHOLE: ALL ['240'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 241 adds BLACKHOLE: ALL ['241'] < ['243']
I1217 12:37:28.751 2306359 flip.py:564] node 297 adds BLACKHOLE: ALL ['297'] < ['280']
I1217 12:37:28.751 2306359 flip.py:564] node 282 adds BLACKHOLE: ALL ['282'] < ['280']
I1217 12:37:28.752 2306359 flip.py:564] node 290 adds BLACKHOLE: ALL ['290'] < ['280']
I1217 12:37:28.752 2306359 flip.py:564] node 273 adds BLACKHOLE: ALL ['273'] < ['280']
I1217 12:37:28.752 2306359 flip.py:564] node 272 adds BLACKHOLE: ALL ['272'] < ['280']
I1217 12:37:28.752 2306359 flip.py:564] node 204 adds BLACKHOLE: ALL ['204'] < ['293']
I1217 12:37:28.752 2306359 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['293']
I1217 12:37:28.752 2306359 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['293']
I1217 12:37:28.752 2306359 flip.py:564] node 291 adds BLACKHOLE: ALL ['291'] < ['293']
I1217 12:37:28.752 2306359 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['293']
I1217 12:37:28.753 2306359 flip.py:564] node 288 adds BLACKHOLE: ALL ['288'] < ['293']
I1217 12:37:28.753 2306359 flip.py:564] node 312 adds BLACKHOLE: ALL ['312'] < ['303']
I1217 12:37:28.753 2306359 flip.py:564] node 307 adds BLACKHOLE: ALL ['307'] < ['303']
I1217 12:37:28.753 2306359 flip.py:564] node 306 adds BLACKHOLE: ALL ['306'] < ['303']
I1217 12:37:28.753 2306359 flip.py:564] node 305 adds BLACKHOLE: ALL ['305'] < ['303']
I1217 12:37:28.753 2306359 flip.py:564] node 304 adds BLACKHOLE: ALL ['304'] < ['303']
I1217 12:37:28.753 2306359 flip.py:564] node 418 adds BLACKHOLE: ALL ['418'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 411 adds BLACKHOLE: ALL ['411'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 414 adds BLACKHOLE: ALL ['414'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 419 adds BLACKHOLE: ALL ['419'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 408 adds BLACKHOLE: ALL ['408'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 407 adds BLACKHOLE: ALL ['407'] < ['392']
I1217 12:37:28.754 2306359 flip.py:564] node 389 adds BLACKHOLE: ALL ['389'] < ['392']
I1217 12:37:28.755 2306359 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['392']
I1217 12:37:28.755 2306359 flip.py:564] node 446 adds BLACKHOLE: ALL ['446'] < ['429']
I1217 12:37:28.755 2306359 flip.py:564] node 431 adds BLACKHOLE: ALL ['431'] < ['429']
I1217 12:37:28.755 2306359 flip.py:564] node 439 adds BLACKHOLE: ALL ['439'] < ['429']
I1217 12:37:28.755 2306359 flip.py:564] node 422 adds BLACKHOLE: ALL ['422'] < ['429']
I1217 12:37:28.755 2306359 flip.py:564] node 421 adds BLACKHOLE: ALL ['421'] < ['429']
I1217 12:37:28.755 2306359 flip.py:564] node 353 adds BLACKHOLE: ALL ['353'] < ['442']
I1217 12:37:28.755 2306359 flip.py:564] node 352 adds BLACKHOLE: ALL ['352'] < ['442']
I1217 12:37:28.756 2306359 flip.py:564] node 326 adds BLACKHOLE: ALL ['326'] < ['442']
I1217 12:37:28.756 2306359 flip.py:564] node 440 adds BLACKHOLE: ALL ['440'] < ['442']
I1217 12:37:28.756 2306359 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['442']
I1217 12:37:28.756 2306359 flip.py:564] node 437 adds BLACKHOLE: ALL ['437'] < ['442']
I1217 12:37:28.756 2306359 flip.py:564] node 461 adds BLACKHOLE: ALL ['461'] < ['452']
I1217 12:37:28.756 2306359 flip.py:564] node 456 adds BLACKHOLE: ALL ['456'] < ['452']
I1217 12:37:28.756 2306359 flip.py:564] node 455 adds BLACKHOLE: ALL ['455'] < ['452']
I1217 12:37:28.757 2306359 flip.py:564] node 454 adds BLACKHOLE: ALL ['454'] < ['452']
I1217 12:37:28.757 2306359 flip.py:564] node 453 adds BLACKHOLE: ALL ['453'] < ['452']
I1217 12:37:28.757 2306359 flip.py:564] node 567 adds BLACKHOLE: ALL ['567'] < ['541']
I1217 12:37:28.757 2306359 flip.py:564] node 560 adds BLACKHOLE: ALL ['560'] < ['541']
I1217 12:37:28.757 2306359 flip.py:564] node 563 adds BLACKHOLE: ALL ['563'] < ['541']
I1217 12:37:28.757 2306359 flip.py:564] node 568 adds BLACKHOLE: ALL ['568'] < ['541']
I1217 12:37:28.758 2306359 flip.py:564] node 557 adds BLACKHOLE: ALL ['557'] < ['541']
I1217 12:37:28.758 2306359 flip.py:564] node 556 adds BLACKHOLE: ALL ['556'] < ['541']
I1217 12:37:28.758 2306359 flip.py:564] node 538 adds BLACKHOLE: ALL ['538'] < ['541']
I1217 12:37:28.758 2306359 flip.py:564] node 539 adds BLACKHOLE: ALL ['539'] < ['541']
I1217 12:37:28.758 2306359 flip.py:564] node 595 adds BLACKHOLE: ALL ['595'] < ['578']
I1217 12:37:28.758 2306359 flip.py:564] node 580 adds BLACKHOLE: ALL ['580'] < ['578']
I1217 12:37:28.758 2306359 flip.py:564] node 588 adds BLACKHOLE: ALL ['588'] < ['578']
I1217 12:37:28.759 2306359 flip.py:564] node 571 adds BLACKHOLE: ALL ['571'] < ['578']
I1217 12:37:28.759 2306359 flip.py:564] node 570 adds BLACKHOLE: ALL ['570'] < ['578']
I1217 12:37:28.759 2306359 flip.py:564] node 502 adds BLACKHOLE: ALL ['502'] < ['591']
I1217 12:37:28.759 2306359 flip.py:564] node 501 adds BLACKHOLE: ALL ['501'] < ['591']
I1217 12:37:28.759 2306359 flip.py:564] node 475 adds BLACKHOLE: ALL ['475'] < ['591']
I1217 12:37:28.759 2306359 flip.py:564] node 589 adds BLACKHOLE: ALL ['589'] < ['591']
I1217 12:37:28.759 2306359 flip.py:564] node 476 adds BLACKHOLE: ALL ['476'] < ['591']
I1217 12:37:28.759 2306359 flip.py:564] node 586 adds BLACKHOLE: ALL ['586'] < ['591']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:37:28.777 2306359 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: 5, dst: 590, path: ['5', '4', '16', '95', '96', '93', '94', '17', '132', '125', '131', '130', '61', '33', '129', '78', '85', '82', '81', '20', '144', '140', '51', '87', '117', '58', '53', '52', '143', '154', '153', '165', '244', '245', '242', '243', '166', '281', '274', '280', '279', '210', '182', '278', '227', '234', '231', '230', '169', '293', '289', '200', '236', '266', '207', '202', '201', '292', '303', '302', '314', '393', '394', '391', '392', '315', '430', '423', '429', '428', '359', '331', '427', '376', '383', '380', '379', '318', '442', '438', '349', '385', '415', '356', '351', '350', '441', '452', '451', '463', '542', '543', '540', '541', '464', '579', '572', '578', '577', '508', '480', '576', '525', '532', '529', '528', '467', '591', '587', '498', '534', '564', '505', '500', '499', '590'], tags: {}> doesn't satisfy any of [['204'], ['91']]
