Version: 1.13 
 _ data/zoo_json_cond_enf1/Colt_4.json -f output/flip/data/zoo_json_cond_enf1/Colt_4.json.subpaths
Flip subpaths generated in 0.312 seconds!
real 1.80
user 1.25
sys 0.11
<logging.Logger object at 0x7face9b877d0>
I1217 12:43:45.646 2313586 flip.py:564] node 1178 adds BLACKHOLE: ALL ['1223'] < ['1178']
I1217 12:43:45.646 2313586 flip.py:564] node 1182 adds BLACKHOLE: ALL ['1223'] < ['1182']
I1217 12:43:45.646 2313586 flip.py:564] node 1183 adds BLACKHOLE: ALL ['1223'] < ['1183']
I1217 12:43:45.646 2313586 flip.py:564] node 1180 adds BLACKHOLE: ALL ['1223'] < ['1180']
I1217 12:43:45.647 2313586 flip.py:839] node 1223 (green-white) adds POLICY: ALL ['1189'] < ['1223'] with dependencies []
I1217 12:43:45.647 2313586 flip.py:564] node 1143 adds BLACKHOLE: ALL ['1189'] < ['1143']
I1217 12:43:45.647 2313586 flip.py:564] node 1135 adds BLACKHOLE: ALL ['1189'] < ['1135']
I1217 12:43:45.647 2313586 flip.py:564] node 1197 adds BLACKHOLE: ALL ['1189'] < ['1197']
I1217 12:43:45.647 2313586 flip.py:564] node 1134 adds BLACKHOLE: ALL ['1189'] < ['1134']
I1217 12:43:45.648 2313586 flip.py:564] node 1196 adds BLACKHOLE: ALL ['1189'] < ['1196']
I1217 12:43:45.648 2313586 flip.py:564] node 1145 adds BLACKHOLE: ALL ['1189'] < ['1145']
I1217 12:43:45.648 2313586 flip.py:564] node 1188 adds BLACKHOLE: ALL ['1189'] < ['1188']
I1217 12:43:45.648 2313586 flip.py:839] node 1189 (green-white) adds POLICY: ALL ['1122'] < ['1189'] with dependencies []
I1217 12:43:45.648 2313586 flip.py:564] node 1190 adds BLACKHOLE: ALL ['1122'] < ['1190']
I1217 12:43:45.648 2313586 flip.py:564] node 1084 adds BLACKHOLE: ALL ['1122'] < ['1084']
I1217 12:43:45.649 2313586 flip.py:564] node 1081 adds BLACKHOLE: ALL ['1122'] < ['1081']
I1217 12:43:45.649 2313586 flip.py:564] node 1082 adds BLACKHOLE: ALL ['1122'] < ['1082']
I1217 12:43:45.649 2313586 flip.py:564] node 1076 adds BLACKHOLE: ALL ['1122'] < ['1076']
I1217 12:43:45.649 2313586 flip.py:564] node 1215 adds BLACKHOLE: ALL ['1122'] < ['1215']
I1217 12:43:45.649 2313586 flip.py:564] node 1073 adds BLACKHOLE: ALL ['1122'] < ['1073']
I1217 12:43:45.649 2313586 flip.py:839] node 1122 (green-white) adds POLICY: ALL ['1121'] < ['1122'] with dependencies []
I1217 12:43:45.650 2313586 flip.py:839] node 1121 (green-white) adds POLICY: ALL ['1130'] < ['1121'] with dependencies []
I1217 12:43:45.650 2313586 flip.py:564] node 1127 adds BLACKHOLE: ALL ['1130'] < ['1127']
I1217 12:43:45.650 2313586 flip.py:839] node 1130 (green-white) adds POLICY: ALL ['1070'] < ['1130'] with dependencies []
I1217 12:43:45.650 2313586 flip.py:564] node 1025 adds BLACKHOLE: ALL ['1070'] < ['1025']
I1217 12:43:45.651 2313586 flip.py:564] node 1029 adds BLACKHOLE: ALL ['1070'] < ['1029']
I1217 12:43:45.651 2313586 flip.py:564] node 1030 adds BLACKHOLE: ALL ['1070'] < ['1030']
I1217 12:43:45.651 2313586 flip.py:564] node 1027 adds BLACKHOLE: ALL ['1070'] < ['1027']
I1217 12:43:45.651 2313586 flip.py:564] node 990 adds BLACKHOLE: ALL ['1036'] < ['990']
I1217 12:43:45.651 2313586 flip.py:564] node 982 adds BLACKHOLE: ALL ['1036'] < ['982']
I1217 12:43:45.651 2313586 flip.py:564] node 1044 adds BLACKHOLE: ALL ['1036'] < ['1044']
I1217 12:43:45.651 2313586 flip.py:564] node 981 adds BLACKHOLE: ALL ['1036'] < ['981']
I1217 12:43:45.652 2313586 flip.py:564] node 1043 adds BLACKHOLE: ALL ['1036'] < ['1043']
I1217 12:43:45.652 2313586 flip.py:564] node 992 adds BLACKHOLE: ALL ['1036'] < ['992']
I1217 12:43:45.652 2313586 flip.py:564] node 1035 adds BLACKHOLE: ALL ['1036'] < ['1035']
I1217 12:43:45.652 2313586 flip.py:564] node 1037 adds BLACKHOLE: ALL ['969'] < ['1037']
I1217 12:43:45.652 2313586 flip.py:564] node 931 adds BLACKHOLE: ALL ['969'] < ['931']
I1217 12:43:45.652 2313586 flip.py:564] node 928 adds BLACKHOLE: ALL ['969'] < ['928']
I1217 12:43:45.652 2313586 flip.py:564] node 929 adds BLACKHOLE: ALL ['969'] < ['929']
I1217 12:43:45.653 2313586 flip.py:564] node 923 adds BLACKHOLE: ALL ['969'] < ['923']
I1217 12:43:45.653 2313586 flip.py:564] node 1062 adds BLACKHOLE: ALL ['969'] < ['1062']
I1217 12:43:45.653 2313586 flip.py:564] node 920 adds BLACKHOLE: ALL ['969'] < ['920']
I1217 12:43:45.653 2313586 flip.py:564] node 974 adds BLACKHOLE: ALL ['977'] < ['974']
I1217 12:43:45.653 2313586 flip.py:564] node 872 adds BLACKHOLE: ALL ['917'] < ['872']
I1217 12:43:45.654 2313586 flip.py:564] node 876 adds BLACKHOLE: ALL ['917'] < ['876']
I1217 12:43:45.654 2313586 flip.py:564] node 877 adds BLACKHOLE: ALL ['917'] < ['877']
I1217 12:43:45.654 2313586 flip.py:564] node 874 adds BLACKHOLE: ALL ['917'] < ['874']
I1217 12:43:45.654 2313586 flip.py:564] node 837 adds BLACKHOLE: ALL ['883'] < ['837']
I1217 12:43:45.654 2313586 flip.py:564] node 829 adds BLACKHOLE: ALL ['883'] < ['829']
I1217 12:43:45.654 2313586 flip.py:564] node 891 adds BLACKHOLE: ALL ['883'] < ['891']
I1217 12:43:45.655 2313586 flip.py:564] node 828 adds BLACKHOLE: ALL ['883'] < ['828']
I1217 12:43:45.655 2313586 flip.py:564] node 890 adds BLACKHOLE: ALL ['883'] < ['890']
I1217 12:43:45.655 2313586 flip.py:564] node 839 adds BLACKHOLE: ALL ['883'] < ['839']
I1217 12:43:45.655 2313586 flip.py:564] node 882 adds BLACKHOLE: ALL ['883'] < ['882']
I1217 12:43:45.655 2313586 flip.py:564] node 884 adds BLACKHOLE: ALL ['816'] < ['884']
I1217 12:43:45.655 2313586 flip.py:564] node 778 adds BLACKHOLE: ALL ['816'] < ['778']
I1217 12:43:45.655 2313586 flip.py:564] node 775 adds BLACKHOLE: ALL ['816'] < ['775']
I1217 12:43:45.655 2313586 flip.py:564] node 776 adds BLACKHOLE: ALL ['816'] < ['776']
I1217 12:43:45.656 2313586 flip.py:564] node 770 adds BLACKHOLE: ALL ['816'] < ['770']
I1217 12:43:45.656 2313586 flip.py:564] node 909 adds BLACKHOLE: ALL ['816'] < ['909']
I1217 12:43:45.656 2313586 flip.py:564] node 767 adds BLACKHOLE: ALL ['816'] < ['767']
I1217 12:43:45.656 2313586 flip.py:564] node 821 adds BLACKHOLE: ALL ['824'] < ['821']
I1217 12:43:45.656 2313586 flip.py:564] node 719 adds BLACKHOLE: ALL ['764'] < ['719']
I1217 12:43:45.656 2313586 flip.py:564] node 723 adds BLACKHOLE: ALL ['764'] < ['723']
I1217 12:43:45.657 2313586 flip.py:564] node 724 adds BLACKHOLE: ALL ['764'] < ['724']
I1217 12:43:45.657 2313586 flip.py:564] node 721 adds BLACKHOLE: ALL ['764'] < ['721']
I1217 12:43:45.657 2313586 flip.py:564] node 684 adds BLACKHOLE: ALL ['730'] < ['684']
I1217 12:43:45.657 2313586 flip.py:564] node 676 adds BLACKHOLE: ALL ['730'] < ['676']
I1217 12:43:45.657 2313586 flip.py:564] node 738 adds BLACKHOLE: ALL ['730'] < ['738']
I1217 12:43:45.657 2313586 flip.py:564] node 675 adds BLACKHOLE: ALL ['730'] < ['675']
I1217 12:43:45.658 2313586 flip.py:564] node 737 adds BLACKHOLE: ALL ['730'] < ['737']
I1217 12:43:45.658 2313586 flip.py:564] node 686 adds BLACKHOLE: ALL ['730'] < ['686']
I1217 12:43:45.658 2313586 flip.py:564] node 729 adds BLACKHOLE: ALL ['730'] < ['729']
I1217 12:43:45.658 2313586 flip.py:564] node 731 adds BLACKHOLE: ALL ['663'] < ['731']
I1217 12:43:45.658 2313586 flip.py:564] node 625 adds BLACKHOLE: ALL ['663'] < ['625']
I1217 12:43:45.658 2313586 flip.py:564] node 622 adds BLACKHOLE: ALL ['663'] < ['622']
I1217 12:43:45.659 2313586 flip.py:564] node 623 adds BLACKHOLE: ALL ['663'] < ['623']
I1217 12:43:45.659 2313586 flip.py:564] node 617 adds BLACKHOLE: ALL ['663'] < ['617']
I1217 12:43:45.659 2313586 flip.py:564] node 756 adds BLACKHOLE: ALL ['663'] < ['756']
I1217 12:43:45.659 2313586 flip.py:564] node 614 adds BLACKHOLE: ALL ['663'] < ['614']
I1217 12:43:45.659 2313586 flip.py:564] node 668 adds BLACKHOLE: ALL ['671'] < ['668']
I1217 12:43:45.659 2313586 flip.py:564] node 566 adds BLACKHOLE: ALL ['611'] < ['566']
I1217 12:43:45.659 2313586 flip.py:564] node 570 adds BLACKHOLE: ALL ['611'] < ['570']
I1217 12:43:45.660 2313586 flip.py:564] node 571 adds BLACKHOLE: ALL ['611'] < ['571']
I1217 12:43:45.660 2313586 flip.py:564] node 568 adds BLACKHOLE: ALL ['611'] < ['568']
I1217 12:43:45.660 2313586 flip.py:564] node 531 adds BLACKHOLE: ALL ['577'] < ['531']
I1217 12:43:45.660 2313586 flip.py:564] node 523 adds BLACKHOLE: ALL ['577'] < ['523']
I1217 12:43:45.660 2313586 flip.py:564] node 585 adds BLACKHOLE: ALL ['577'] < ['585']
I1217 12:43:45.660 2313586 flip.py:564] node 522 adds BLACKHOLE: ALL ['577'] < ['522']
I1217 12:43:45.660 2313586 flip.py:564] node 584 adds BLACKHOLE: ALL ['577'] < ['584']
I1217 12:43:45.661 2313586 flip.py:564] node 533 adds BLACKHOLE: ALL ['577'] < ['533']
I1217 12:43:45.661 2313586 flip.py:564] node 576 adds BLACKHOLE: ALL ['577'] < ['576']
I1217 12:43:45.661 2313586 flip.py:564] node 578 adds BLACKHOLE: ALL ['510'] < ['578']
I1217 12:43:45.661 2313586 flip.py:564] node 472 adds BLACKHOLE: ALL ['510'] < ['472']
I1217 12:43:45.661 2313586 flip.py:564] node 469 adds BLACKHOLE: ALL ['510'] < ['469']
I1217 12:43:45.662 2313586 flip.py:564] node 470 adds BLACKHOLE: ALL ['510'] < ['470']
I1217 12:43:45.662 2313586 flip.py:564] node 464 adds BLACKHOLE: ALL ['510'] < ['464']
I1217 12:43:45.662 2313586 flip.py:564] node 603 adds BLACKHOLE: ALL ['510'] < ['603']
I1217 12:43:45.662 2313586 flip.py:564] node 461 adds BLACKHOLE: ALL ['510'] < ['461']
I1217 12:43:45.662 2313586 flip.py:564] node 515 adds BLACKHOLE: ALL ['518'] < ['515']
I1217 12:43:45.662 2313586 flip.py:564] node 413 adds BLACKHOLE: ALL ['458'] < ['413']
I1217 12:43:45.662 2313586 flip.py:564] node 417 adds BLACKHOLE: ALL ['458'] < ['417']
I1217 12:43:45.663 2313586 flip.py:564] node 418 adds BLACKHOLE: ALL ['458'] < ['418']
I1217 12:43:45.663 2313586 flip.py:564] node 415 adds BLACKHOLE: ALL ['458'] < ['415']
I1217 12:43:45.663 2313586 flip.py:564] node 378 adds BLACKHOLE: ALL ['424'] < ['378']
I1217 12:43:45.663 2313586 flip.py:564] node 370 adds BLACKHOLE: ALL ['424'] < ['370']
I1217 12:43:45.663 2313586 flip.py:564] node 432 adds BLACKHOLE: ALL ['424'] < ['432']
I1217 12:43:45.663 2313586 flip.py:564] node 369 adds BLACKHOLE: ALL ['424'] < ['369']
I1217 12:43:45.663 2313586 flip.py:564] node 431 adds BLACKHOLE: ALL ['424'] < ['431']
I1217 12:43:45.664 2313586 flip.py:564] node 380 adds BLACKHOLE: ALL ['424'] < ['380']
I1217 12:43:45.664 2313586 flip.py:564] node 423 adds BLACKHOLE: ALL ['424'] < ['423']
I1217 12:43:45.664 2313586 flip.py:564] node 425 adds BLACKHOLE: ALL ['357'] < ['425']
I1217 12:43:45.664 2313586 flip.py:564] node 319 adds BLACKHOLE: ALL ['357'] < ['319']
I1217 12:43:45.664 2313586 flip.py:564] node 316 adds BLACKHOLE: ALL ['357'] < ['316']
I1217 12:43:45.664 2313586 flip.py:564] node 317 adds BLACKHOLE: ALL ['357'] < ['317']
I1217 12:43:45.665 2313586 flip.py:564] node 311 adds BLACKHOLE: ALL ['357'] < ['311']
I1217 12:43:45.665 2313586 flip.py:564] node 450 adds BLACKHOLE: ALL ['357'] < ['450']
I1217 12:43:45.665 2313586 flip.py:564] node 308 adds BLACKHOLE: ALL ['357'] < ['308']
I1217 12:43:45.665 2313586 flip.py:564] node 362 adds BLACKHOLE: ALL ['365'] < ['362']
I1217 12:43:45.665 2313586 flip.py:564] node 260 adds BLACKHOLE: ALL ['305'] < ['260']
I1217 12:43:45.666 2313586 flip.py:564] node 264 adds BLACKHOLE: ALL ['305'] < ['264']
I1217 12:43:45.666 2313586 flip.py:564] node 265 adds BLACKHOLE: ALL ['305'] < ['265']
I1217 12:43:45.666 2313586 flip.py:564] node 262 adds BLACKHOLE: ALL ['305'] < ['262']
I1217 12:43:45.666 2313586 flip.py:564] node 225 adds BLACKHOLE: ALL ['271'] < ['225']
I1217 12:43:45.666 2313586 flip.py:564] node 217 adds BLACKHOLE: ALL ['271'] < ['217']
I1217 12:43:45.667 2313586 flip.py:564] node 279 adds BLACKHOLE: ALL ['271'] < ['279']
I1217 12:43:45.667 2313586 flip.py:564] node 216 adds BLACKHOLE: ALL ['271'] < ['216']
I1217 12:43:45.667 2313586 flip.py:564] node 278 adds BLACKHOLE: ALL ['271'] < ['278']
I1217 12:43:45.667 2313586 flip.py:564] node 227 adds BLACKHOLE: ALL ['271'] < ['227']
I1217 12:43:45.667 2313586 flip.py:564] node 270 adds BLACKHOLE: ALL ['271'] < ['270']
I1217 12:43:45.667 2313586 flip.py:564] node 272 adds BLACKHOLE: ALL ['204'] < ['272']
I1217 12:43:45.668 2313586 flip.py:564] node 166 adds BLACKHOLE: ALL ['204'] < ['166']
I1217 12:43:45.668 2313586 flip.py:564] node 163 adds BLACKHOLE: ALL ['204'] < ['163']
I1217 12:43:45.668 2313586 flip.py:564] node 164 adds BLACKHOLE: ALL ['204'] < ['164']
I1217 12:43:45.668 2313586 flip.py:564] node 158 adds BLACKHOLE: ALL ['204'] < ['158']
I1217 12:43:45.668 2313586 flip.py:564] node 297 adds BLACKHOLE: ALL ['204'] < ['297']
I1217 12:43:45.669 2313586 flip.py:564] node 155 adds BLACKHOLE: ALL ['204'] < ['155']
I1217 12:43:45.669 2313586 flip.py:564] node 209 adds BLACKHOLE: ALL ['212'] < ['209']
I1217 12:43:45.669 2313586 flip.py:564] node 107 adds BLACKHOLE: ALL ['152'] < ['107']
I1217 12:43:45.669 2313586 flip.py:564] node 111 adds BLACKHOLE: ALL ['152'] < ['111']
I1217 12:43:45.669 2313586 flip.py:564] node 112 adds BLACKHOLE: ALL ['152'] < ['112']
I1217 12:43:45.669 2313586 flip.py:564] node 109 adds BLACKHOLE: ALL ['152'] < ['109']
I1217 12:43:45.670 2313586 flip.py:564] node 72 adds BLACKHOLE: ALL ['118'] < ['72']
I1217 12:43:45.670 2313586 flip.py:564] node 64 adds BLACKHOLE: ALL ['118'] < ['64']
I1217 12:43:45.670 2313586 flip.py:564] node 126 adds BLACKHOLE: ALL ['118'] < ['126']
I1217 12:43:45.670 2313586 flip.py:564] node 63 adds BLACKHOLE: ALL ['118'] < ['63']
I1217 12:43:45.670 2313586 flip.py:564] node 125 adds BLACKHOLE: ALL ['118'] < ['125']
I1217 12:43:45.670 2313586 flip.py:564] node 74 adds BLACKHOLE: ALL ['118'] < ['74']
I1217 12:43:45.671 2313586 flip.py:564] node 117 adds BLACKHOLE: ALL ['118'] < ['117']
I1217 12:43:45.671 2313586 flip.py:564] node 119 adds BLACKHOLE: ALL ['51'] < ['119']
I1217 12:43:45.671 2313586 flip.py:564] node 13 adds BLACKHOLE: ALL ['51'] < ['13']
I1217 12:43:45.671 2313586 flip.py:564] node 10 adds BLACKHOLE: ALL ['51'] < ['10']
I1217 12:43:45.671 2313586 flip.py:564] node 11 adds BLACKHOLE: ALL ['51'] < ['11']
I1217 12:43:45.671 2313586 flip.py:564] node 5 adds BLACKHOLE: ALL ['51'] < ['5']
I1217 12:43:45.672 2313586 flip.py:564] node 144 adds BLACKHOLE: ALL ['51'] < ['144']
I1217 12:43:45.672 2313586 flip.py:564] node 2 adds BLACKHOLE: ALL ['51'] < ['2']
I1217 12:43:45.672 2313586 flip.py:564] node 56 adds BLACKHOLE: ALL ['59'] < ['56']
I1217 12:43:45.672 2313586 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['59']
I1217 12:43:45.672 2313586 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['50']
I1217 12:43:45.672 2313586 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['51']
I1217 12:43:45.673 2313586 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['51']
I1217 12:43:45.673 2313586 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['51']
I1217 12:43:45.673 2313586 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['51']
I1217 12:43:45.673 2313586 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['51']
I1217 12:43:45.673 2313586 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['118']
I1217 12:43:45.673 2313586 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['118']
I1217 12:43:45.674 2313586 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['118']
I1217 12:43:45.674 2313586 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['118']
I1217 12:43:45.674 2313586 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['152']
I1217 12:43:45.674 2313586 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['152']
I1217 12:43:45.674 2313586 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['212']
I1217 12:43:45.674 2313586 flip.py:564] node 206 adds BLACKHOLE: ALL ['206'] < ['203']
I1217 12:43:45.674 2313586 flip.py:564] node 165 adds BLACKHOLE: ALL ['165'] < ['204']
I1217 12:43:45.675 2313586 flip.py:564] node 294 adds BLACKHOLE: ALL ['294'] < ['204']
I1217 12:43:45.675 2313586 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['204']
I1217 12:43:45.675 2313586 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['204']
I1217 12:43:45.675 2313586 flip.py:564] node 289 adds BLACKHOLE: ALL ['289'] < ['204']
I1217 12:43:45.675 2313586 flip.py:564] node 291 adds BLACKHOLE: ALL ['291'] < ['271']
I1217 12:43:45.675 2313586 flip.py:564] node 235 adds BLACKHOLE: ALL ['235'] < ['271']
I1217 12:43:45.675 2313586 flip.py:564] node 276 adds BLACKHOLE: ALL ['276'] < ['271']
I1217 12:43:45.675 2313586 flip.py:564] node 292 adds BLACKHOLE: ALL ['292'] < ['271']
I1217 12:43:45.675 2313586 flip.py:564] node 221 adds BLACKHOLE: ALL ['221'] < ['305']
I1217 12:43:45.676 2313586 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['305']
I1217 12:43:45.676 2313586 flip.py:564] node 364 adds BLACKHOLE: ALL ['364'] < ['365']
I1217 12:43:45.676 2313586 flip.py:564] node 359 adds BLACKHOLE: ALL ['359'] < ['356']
I1217 12:43:45.676 2313586 flip.py:564] node 318 adds BLACKHOLE: ALL ['318'] < ['357']
I1217 12:43:45.676 2313586 flip.py:564] node 447 adds BLACKHOLE: ALL ['447'] < ['357']
I1217 12:43:45.676 2313586 flip.py:564] node 320 adds BLACKHOLE: ALL ['320'] < ['357']
I1217 12:43:45.676 2313586 flip.py:564] node 323 adds BLACKHOLE: ALL ['323'] < ['357']
I1217 12:43:45.676 2313586 flip.py:564] node 442 adds BLACKHOLE: ALL ['442'] < ['357']
I1217 12:43:45.677 2313586 flip.py:564] node 444 adds BLACKHOLE: ALL ['444'] < ['424']
I1217 12:43:45.677 2313586 flip.py:564] node 388 adds BLACKHOLE: ALL ['388'] < ['424']
I1217 12:43:45.677 2313586 flip.py:564] node 429 adds BLACKHOLE: ALL ['429'] < ['424']
I1217 12:43:45.677 2313586 flip.py:564] node 445 adds BLACKHOLE: ALL ['445'] < ['424']
I1217 12:43:45.677 2313586 flip.py:564] node 374 adds BLACKHOLE: ALL ['374'] < ['458']
I1217 12:43:45.677 2313586 flip.py:564] node 372 adds BLACKHOLE: ALL ['372'] < ['458']
I1217 12:43:45.677 2313586 flip.py:564] node 517 adds BLACKHOLE: ALL ['517'] < ['518']
I1217 12:43:45.678 2313586 flip.py:564] node 512 adds BLACKHOLE: ALL ['512'] < ['509']
I1217 12:43:45.678 2313586 flip.py:564] node 471 adds BLACKHOLE: ALL ['471'] < ['510']
I1217 12:43:45.678 2313586 flip.py:564] node 600 adds BLACKHOLE: ALL ['600'] < ['510']
I1217 12:43:45.678 2313586 flip.py:564] node 473 adds BLACKHOLE: ALL ['473'] < ['510']
I1217 12:43:45.678 2313586 flip.py:564] node 476 adds BLACKHOLE: ALL ['476'] < ['510']
I1217 12:43:45.678 2313586 flip.py:564] node 595 adds BLACKHOLE: ALL ['595'] < ['510']
I1217 12:43:45.679 2313586 flip.py:564] node 597 adds BLACKHOLE: ALL ['597'] < ['577']
I1217 12:43:45.679 2313586 flip.py:564] node 541 adds BLACKHOLE: ALL ['541'] < ['577']
I1217 12:43:45.679 2313586 flip.py:564] node 582 adds BLACKHOLE: ALL ['582'] < ['577']
I1217 12:43:45.679 2313586 flip.py:564] node 598 adds BLACKHOLE: ALL ['598'] < ['577']
I1217 12:43:45.679 2313586 flip.py:564] node 527 adds BLACKHOLE: ALL ['527'] < ['611']
I1217 12:43:45.679 2313586 flip.py:564] node 525 adds BLACKHOLE: ALL ['525'] < ['611']
I1217 12:43:45.679 2313586 flip.py:564] node 670 adds BLACKHOLE: ALL ['670'] < ['671']
I1217 12:43:45.679 2313586 flip.py:564] node 665 adds BLACKHOLE: ALL ['665'] < ['662']
I1217 12:43:45.679 2313586 flip.py:564] node 624 adds BLACKHOLE: ALL ['624'] < ['663']
I1217 12:43:45.680 2313586 flip.py:564] node 753 adds BLACKHOLE: ALL ['753'] < ['663']
I1217 12:43:45.680 2313586 flip.py:564] node 626 adds BLACKHOLE: ALL ['626'] < ['663']
I1217 12:43:45.680 2313586 flip.py:564] node 629 adds BLACKHOLE: ALL ['629'] < ['663']
I1217 12:43:45.680 2313586 flip.py:564] node 748 adds BLACKHOLE: ALL ['748'] < ['663']
I1217 12:43:45.680 2313586 flip.py:564] node 750 adds BLACKHOLE: ALL ['750'] < ['730']
I1217 12:43:45.680 2313586 flip.py:564] node 694 adds BLACKHOLE: ALL ['694'] < ['730']
I1217 12:43:45.680 2313586 flip.py:564] node 735 adds BLACKHOLE: ALL ['735'] < ['730']
I1217 12:43:45.681 2313586 flip.py:564] node 751 adds BLACKHOLE: ALL ['751'] < ['730']
I1217 12:43:45.681 2313586 flip.py:564] node 680 adds BLACKHOLE: ALL ['680'] < ['764']
I1217 12:43:45.681 2313586 flip.py:564] node 678 adds BLACKHOLE: ALL ['678'] < ['764']
I1217 12:43:45.681 2313586 flip.py:564] node 823 adds BLACKHOLE: ALL ['823'] < ['824']
I1217 12:43:45.681 2313586 flip.py:564] node 818 adds BLACKHOLE: ALL ['818'] < ['815']
I1217 12:43:45.681 2313586 flip.py:564] node 777 adds BLACKHOLE: ALL ['777'] < ['816']
I1217 12:43:45.682 2313586 flip.py:564] node 906 adds BLACKHOLE: ALL ['906'] < ['816']
I1217 12:43:45.682 2313586 flip.py:564] node 779 adds BLACKHOLE: ALL ['779'] < ['816']
I1217 12:43:45.682 2313586 flip.py:564] node 782 adds BLACKHOLE: ALL ['782'] < ['816']
I1217 12:43:45.682 2313586 flip.py:564] node 901 adds BLACKHOLE: ALL ['901'] < ['816']
I1217 12:43:45.682 2313586 flip.py:564] node 903 adds BLACKHOLE: ALL ['903'] < ['883']
I1217 12:43:45.682 2313586 flip.py:564] node 847 adds BLACKHOLE: ALL ['847'] < ['883']
I1217 12:43:45.683 2313586 flip.py:564] node 888 adds BLACKHOLE: ALL ['888'] < ['883']
I1217 12:43:45.683 2313586 flip.py:564] node 904 adds BLACKHOLE: ALL ['904'] < ['883']
I1217 12:43:45.683 2313586 flip.py:564] node 833 adds BLACKHOLE: ALL ['833'] < ['917']
I1217 12:43:45.683 2313586 flip.py:564] node 831 adds BLACKHOLE: ALL ['831'] < ['917']
I1217 12:43:45.683 2313586 flip.py:564] node 976 adds BLACKHOLE: ALL ['976'] < ['977']
I1217 12:43:45.683 2313586 flip.py:564] node 971 adds BLACKHOLE: ALL ['971'] < ['968']
I1217 12:43:45.684 2313586 flip.py:564] node 930 adds BLACKHOLE: ALL ['930'] < ['969']
I1217 12:43:45.684 2313586 flip.py:564] node 1059 adds BLACKHOLE: ALL ['1059'] < ['969']
I1217 12:43:45.684 2313586 flip.py:564] node 932 adds BLACKHOLE: ALL ['932'] < ['969']
I1217 12:43:45.684 2313586 flip.py:564] node 935 adds BLACKHOLE: ALL ['935'] < ['969']
I1217 12:43:45.684 2313586 flip.py:564] node 1054 adds BLACKHOLE: ALL ['1054'] < ['969']
I1217 12:43:45.684 2313586 flip.py:564] node 1056 adds BLACKHOLE: ALL ['1056'] < ['1036']
I1217 12:43:45.684 2313586 flip.py:564] node 1000 adds BLACKHOLE: ALL ['1000'] < ['1036']
I1217 12:43:45.685 2313586 flip.py:564] node 1041 adds BLACKHOLE: ALL ['1041'] < ['1036']
I1217 12:43:45.685 2313586 flip.py:564] node 1057 adds BLACKHOLE: ALL ['1057'] < ['1036']
I1217 12:43:45.685 2313586 flip.py:564] node 986 adds BLACKHOLE: ALL ['986'] < ['1070']
I1217 12:43:45.685 2313586 flip.py:564] node 984 adds BLACKHOLE: ALL ['984'] < ['1070']
I1217 12:43:45.685 2313586 flip.py:564] node 1129 adds BLACKHOLE: ALL ['1129'] < ['1130']
I1217 12:43:45.685 2313586 flip.py:564] node 1124 adds BLACKHOLE: ALL ['1124'] < ['1121']
I1217 12:43:45.685 2313586 flip.py:564] node 1083 adds BLACKHOLE: ALL ['1083'] < ['1122']
I1217 12:43:45.686 2313586 flip.py:564] node 1212 adds BLACKHOLE: ALL ['1212'] < ['1122']
I1217 12:43:45.686 2313586 flip.py:564] node 1085 adds BLACKHOLE: ALL ['1085'] < ['1122']
I1217 12:43:45.686 2313586 flip.py:564] node 1088 adds BLACKHOLE: ALL ['1088'] < ['1122']
I1217 12:43:45.686 2313586 flip.py:564] node 1207 adds BLACKHOLE: ALL ['1207'] < ['1122']
I1217 12:43:45.686 2313586 flip.py:564] node 1209 adds BLACKHOLE: ALL ['1209'] < ['1189']
I1217 12:43:45.686 2313586 flip.py:564] node 1153 adds BLACKHOLE: ALL ['1153'] < ['1189']
I1217 12:43:45.687 2313586 flip.py:564] node 1194 adds BLACKHOLE: ALL ['1194'] < ['1189']
I1217 12:43:45.687 2313586 flip.py:564] node 1210 adds BLACKHOLE: ALL ['1210'] < ['1189']
I1217 12:43:45.687 2313586 flip.py:564] node 1139 adds BLACKHOLE: ALL ['1139'] < ['1223']
I1217 12:43:45.687 2313586 flip.py:564] node 1137 adds BLACKHOLE: ALL ['1137'] < ['1223']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:45.712 2313586 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: 59, dst: 1095, path: ['59', '56', '50', '51', '2', '144', '5', '11', '10', '13', '119', '30', '118', '117', '74', '125', '63', '126', '64', '72', '152', '109', '112', '111', '107', '81', '24', '212', '209', '203', '204', '155', '297', '158', '164', '163', '166', '272', '183', '271', '270', '227', '278', '216', '279', '217', '225', '305', '262', '265', '264', '260', '234', '177', '365', '362', '356', '357', '308', '450', '311', '317', '316', '319', '425', '336', '424', '423', '380', '431', '369', '432', '370', '378', '458', '415', '418', '417', '413', '387', '330', '518', '515', '509', '510', '461', '603', '464', '470', '469', '472', '578', '489', '577', '576', '533', '584', '522', '585', '523', '531', '611', '568', '571', '570', '566', '540', '483', '671', '668', '662', '663', '614', '756', '617', '623', '622', '625', '731', '642', '730', '729', '686', '737', '675', '738', '676', '684', '764', '721', '724', '723', '719', '693', '636', '824', '821', '815', '816', '767', '909', '770', '776', '775', '778', '884', '795', '883', '882', '839', '890', '828', '891', '829', '837', '917', '874', '877', '876', '872', '846', '789', '977', '974', '968', '969', '920', '1062', '923', '929', '928', '931', '1037', '948', '1036', '1035', '992', '1043', '981', '1044', '982', '990', '1070', '1027', '1030', '1029', '1025', '999', '942', '1130', '1127', '1121', '1122', '1073', '1215', '1076', '1082', '1081', '1084', '1190', '1101', '1189', '1188', '1145', '1196', '1134', '1197', '1135', '1143', '1223', '1180', '1183', '1182', '1178', '1152', '1095'], tags: {}> doesn't satisfy any of [['984']]
