Version: 1.13 
 _ data/zoo_json_cond_enf1/Kdl_2.json -f output/flip/data/zoo_json_cond_enf1/Kdl_2.json.subpaths
Flip subpaths generated in 0.479 seconds!
real 1.28
user 1.06
sys 0.08
<logging.Logger object at 0x7f95a7c477d0>
I1217 12:42:00.811 2479139 flip.py:564] node 1176 adds BLACKHOLE: ALL ['1182'] < ['1176']
I1217 12:42:00.811 2479139 flip.py:564] node 1175 adds BLACKHOLE: ALL ['1182'] < ['1175']
I1217 12:42:00.812 2479139 flip.py:564] node 1462 adds BLACKHOLE: ALL ['1182'] < ['1462']
I1217 12:42:00.812 2479139 flip.py:564] node 1492 adds BLACKHOLE: ALL ['1182'] < ['1492']
I1217 12:42:00.812 2479139 flip.py:564] node 1507 adds BLACKHOLE: ALL ['1182'] < ['1507']
I1217 12:42:00.812 2479139 flip.py:564] node 1506 adds BLACKHOLE: ALL ['1182'] < ['1506']
I1217 12:42:00.812 2479139 flip.py:564] node 1491 adds BLACKHOLE: ALL ['1182'] < ['1491']
I1217 12:42:00.812 2479139 flip.py:839] node 1182 (green-white) adds POLICY: ALL ['1299'] < ['1182'] with dependencies []
I1217 12:42:00.813 2479139 flip.py:564] node 1038 adds BLACKHOLE: ALL ['1299'] < ['1038']
I1217 12:42:00.813 2479139 flip.py:564] node 1294 adds BLACKHOLE: ALL ['1299'] < ['1294']
I1217 12:42:00.813 2479139 flip.py:564] node 860 adds BLACKHOLE: ALL ['1299'] < ['860']
I1217 12:42:00.813 2479139 flip.py:564] node 861 adds BLACKHOLE: ALL ['1299'] < ['861']
I1217 12:42:00.813 2479139 flip.py:564] node 1293 adds BLACKHOLE: ALL ['1299'] < ['1293']
I1217 12:42:00.814 2479139 flip.py:839] node 1299 (green-white) adds POLICY: ALL ['1266'] < ['1299'] with dependencies []
I1217 12:42:00.814 2479139 flip.py:564] node 1297 adds BLACKHOLE: ALL ['1266'] < ['1297']
I1217 12:42:00.814 2479139 flip.py:564] node 1015 adds BLACKHOLE: ALL ['1266'] < ['1015']
I1217 12:42:00.814 2479139 flip.py:564] node 1096 adds BLACKHOLE: ALL ['1266'] < ['1096']
I1217 12:42:00.815 2479139 flip.py:564] node 1069 adds BLACKHOLE: ALL ['1266'] < ['1069']
I1217 12:42:00.815 2479139 flip.py:564] node 1071 adds BLACKHOLE: ALL ['1266'] < ['1071']
I1217 12:42:00.815 2479139 flip.py:564] node 759 adds BLACKHOLE: ALL ['1266'] < ['759']
I1217 12:42:00.815 2479139 flip.py:564] node 1473 adds BLACKHOLE: ALL ['1266'] < ['1473']
I1217 12:42:00.815 2479139 flip.py:564] node 760 adds BLACKHOLE: ALL ['1266'] < ['760']
I1217 12:42:00.815 2479139 flip.py:564] node 1062 adds BLACKHOLE: ALL ['1266'] < ['1062']
I1217 12:42:00.816 2479139 flip.py:564] node 1269 adds BLACKHOLE: ALL ['1266'] < ['1269']
I1217 12:42:00.816 2479139 flip.py:564] node 1270 adds BLACKHOLE: ALL ['1266'] < ['1270']
I1217 12:42:00.816 2479139 flip.py:564] node 1267 adds BLACKHOLE: ALL ['1266'] < ['1267']
I1217 12:42:00.816 2479139 flip.py:564] node 953 adds BLACKHOLE: ALL ['1266'] < ['953']
I1217 12:42:00.816 2479139 flip.py:564] node 1265 adds BLACKHOLE: ALL ['1266'] < ['1265']
I1217 12:42:00.817 2479139 flip.py:839] node 1266 (green-white) adds POLICY: ALL ['1440'] < ['1266'] with dependencies []
I1217 12:42:00.818 2479139 flip.py:564] node 761 adds BLACKHOLE: ALL ['1440'] < ['761']
I1217 12:42:00.818 2479139 flip.py:564] node 998 adds BLACKHOLE: ALL ['1440'] < ['998']
I1217 12:42:00.819 2479139 flip.py:564] node 949 adds BLACKHOLE: ALL ['1440'] < ['949']
I1217 12:42:00.819 2479139 flip.py:564] node 1146 adds BLACKHOLE: ALL ['1440'] < ['1146']
I1217 12:42:00.820 2479139 flip.py:564] node 1481 adds BLACKHOLE: ALL ['1440'] < ['1481']
I1217 12:42:00.820 2479139 flip.py:564] node 1477 adds BLACKHOLE: ALL ['1440'] < ['1477']
I1217 12:42:00.820 2479139 flip.py:564] node 1478 adds BLACKHOLE: ALL ['1440'] < ['1478']
I1217 12:42:00.821 2479139 flip.py:564] node 1479 adds BLACKHOLE: ALL ['1440'] < ['1479']
I1217 12:42:00.821 2479139 flip.py:564] node 959 adds BLACKHOLE: ALL ['1440'] < ['959']
I1217 12:42:00.822 2479139 flip.py:564] node 958 adds BLACKHOLE: ALL ['1440'] < ['958']
I1217 12:42:00.822 2479139 flip.py:564] node 961 adds BLACKHOLE: ALL ['1440'] < ['961']
I1217 12:42:00.823 2479139 flip.py:564] node 963 adds BLACKHOLE: ALL ['1440'] < ['963']
I1217 12:42:00.823 2479139 flip.py:564] node 849 adds BLACKHOLE: ALL ['1440'] < ['849']
I1217 12:42:00.823 2479139 flip.py:564] node 852 adds BLACKHOLE: ALL ['1440'] < ['852']
I1217 12:42:00.824 2479139 flip.py:564] node 841 adds BLACKHOLE: ALL ['1440'] < ['841']
I1217 12:42:00.824 2479139 flip.py:564] node 1249 adds BLACKHOLE: ALL ['1440'] < ['1249']
I1217 12:42:00.824 2479139 flip.py:564] node 1047 adds BLACKHOLE: ALL ['1440'] < ['1047']
I1217 12:42:00.825 2479139 flip.py:564] node 1431 adds BLACKHOLE: ALL ['1440'] < ['1431']
I1217 12:42:00.825 2479139 flip.py:564] node 1432 adds BLACKHOLE: ALL ['1440'] < ['1432']
I1217 12:42:00.825 2479139 flip.py:564] node 1433 adds BLACKHOLE: ALL ['1440'] < ['1433']
I1217 12:42:00.826 2479139 flip.py:564] node 1434 adds BLACKHOLE: ALL ['1440'] < ['1434']
I1217 12:42:00.826 2479139 flip.py:564] node 1430 adds BLACKHOLE: ALL ['1440'] < ['1430']
I1217 12:42:00.826 2479139 flip.py:564] node 1112 adds BLACKHOLE: ALL ['1440'] < ['1112']
I1217 12:42:00.827 2479139 flip.py:564] node 1111 adds BLACKHOLE: ALL ['1440'] < ['1111']
I1217 12:42:00.827 2479139 flip.py:564] node 1114 adds BLACKHOLE: ALL ['1440'] < ['1114']
I1217 12:42:00.827 2479139 flip.py:564] node 1109 adds BLACKHOLE: ALL ['1440'] < ['1109']
I1217 12:42:00.827 2479139 flip.py:564] node 1110 adds BLACKHOLE: ALL ['1440'] < ['1110']
I1217 12:42:00.828 2479139 flip.py:564] node 1107 adds BLACKHOLE: ALL ['1440'] < ['1107']
I1217 12:42:00.828 2479139 flip.py:564] node 1391 adds BLACKHOLE: ALL ['1440'] < ['1391']
I1217 12:42:00.828 2479139 flip.py:564] node 1227 adds BLACKHOLE: ALL ['1440'] < ['1227']
I1217 12:42:00.828 2479139 flip.py:564] node 1224 adds BLACKHOLE: ALL ['1440'] < ['1224']
I1217 12:42:00.829 2479139 flip.py:564] node 1225 adds BLACKHOLE: ALL ['1440'] < ['1225']
I1217 12:42:00.829 2479139 flip.py:564] node 1222 adds BLACKHOLE: ALL ['1440'] < ['1222']
I1217 12:42:00.829 2479139 flip.py:564] node 1223 adds BLACKHOLE: ALL ['1440'] < ['1223']
I1217 12:42:00.829 2479139 flip.py:564] node 1385 adds BLACKHOLE: ALL ['1440'] < ['1385']
I1217 12:42:00.829 2479139 flip.py:564] node 1387 adds BLACKHOLE: ALL ['1440'] < ['1387']
I1217 12:42:00.829 2479139 flip.py:564] node 1164 adds BLACKHOLE: ALL ['1440'] < ['1164']
I1217 12:42:00.830 2479139 flip.py:564] node 1436 adds BLACKHOLE: ALL ['1440'] < ['1436']
I1217 12:42:00.830 2479139 flip.py:564] node 1053 adds BLACKHOLE: ALL ['1440'] < ['1053']
I1217 12:42:00.830 2479139 flip.py:564] node 1438 adds BLACKHOLE: ALL ['1440'] < ['1438']
I1217 12:42:00.830 2479139 flip.py:564] node 1435 adds BLACKHOLE: ALL ['1440'] < ['1435']
I1217 12:42:00.830 2479139 flip.py:564] node 1437 adds BLACKHOLE: ALL ['1440'] < ['1437']
I1217 12:42:00.830 2479139 flip.py:839] node 1440 (green-white) adds POLICY: ALL ['428'] < ['1440'] with dependencies []
I1217 12:42:00.831 2479139 flip.py:564] node 422 adds BLACKHOLE: ALL ['428'] < ['422']
I1217 12:42:00.831 2479139 flip.py:564] node 421 adds BLACKHOLE: ALL ['428'] < ['421']
I1217 12:42:00.831 2479139 flip.py:564] node 708 adds BLACKHOLE: ALL ['428'] < ['708']
I1217 12:42:00.831 2479139 flip.py:564] node 738 adds BLACKHOLE: ALL ['428'] < ['738']
I1217 12:42:00.831 2479139 flip.py:564] node 753 adds BLACKHOLE: ALL ['428'] < ['753']
I1217 12:42:00.831 2479139 flip.py:564] node 752 adds BLACKHOLE: ALL ['428'] < ['752']
I1217 12:42:00.832 2479139 flip.py:564] node 737 adds BLACKHOLE: ALL ['428'] < ['737']
I1217 12:42:00.832 2479139 flip.py:839] node 428 (green-white) adds POLICY: ALL ['545'] < ['428'] with dependencies []
I1217 12:42:00.832 2479139 flip.py:564] node 284 adds BLACKHOLE: ALL ['545'] < ['284']
I1217 12:42:00.832 2479139 flip.py:564] node 540 adds BLACKHOLE: ALL ['545'] < ['540']
I1217 12:42:00.832 2479139 flip.py:564] node 106 adds BLACKHOLE: ALL ['545'] < ['106']
I1217 12:42:00.833 2479139 flip.py:564] node 107 adds BLACKHOLE: ALL ['545'] < ['107']
I1217 12:42:00.833 2479139 flip.py:564] node 539 adds BLACKHOLE: ALL ['545'] < ['539']
I1217 12:42:00.833 2479139 flip.py:839] node 545 (green-white) adds POLICY: ALL ['512'] < ['545'] with dependencies []
I1217 12:42:00.833 2479139 flip.py:564] node 543 adds BLACKHOLE: ALL ['512'] < ['543']
I1217 12:42:00.834 2479139 flip.py:564] node 261 adds BLACKHOLE: ALL ['512'] < ['261']
I1217 12:42:00.834 2479139 flip.py:564] node 342 adds BLACKHOLE: ALL ['512'] < ['342']
I1217 12:42:00.834 2479139 flip.py:564] node 315 adds BLACKHOLE: ALL ['512'] < ['315']
I1217 12:42:00.834 2479139 flip.py:564] node 317 adds BLACKHOLE: ALL ['512'] < ['317']
I1217 12:42:00.834 2479139 flip.py:564] node 5 adds BLACKHOLE: ALL ['512'] < ['5']
I1217 12:42:00.835 2479139 flip.py:564] node 719 adds BLACKHOLE: ALL ['512'] < ['719']
I1217 12:42:00.835 2479139 flip.py:564] node 6 adds BLACKHOLE: ALL ['512'] < ['6']
I1217 12:42:00.835 2479139 flip.py:564] node 308 adds BLACKHOLE: ALL ['512'] < ['308']
I1217 12:42:00.835 2479139 flip.py:564] node 515 adds BLACKHOLE: ALL ['512'] < ['515']
I1217 12:42:00.835 2479139 flip.py:564] node 516 adds BLACKHOLE: ALL ['512'] < ['516']
I1217 12:42:00.835 2479139 flip.py:564] node 513 adds BLACKHOLE: ALL ['512'] < ['513']
I1217 12:42:00.835 2479139 flip.py:564] node 199 adds BLACKHOLE: ALL ['512'] < ['199']
I1217 12:42:00.836 2479139 flip.py:564] node 511 adds BLACKHOLE: ALL ['512'] < ['511']
I1217 12:42:00.836 2479139 flip.py:564] node 7 adds BLACKHOLE: ALL ['686'] < ['7']
I1217 12:42:00.837 2479139 flip.py:564] node 244 adds BLACKHOLE: ALL ['686'] < ['244']
I1217 12:42:00.837 2479139 flip.py:564] node 195 adds BLACKHOLE: ALL ['686'] < ['195']
I1217 12:42:00.837 2479139 flip.py:564] node 392 adds BLACKHOLE: ALL ['686'] < ['392']
I1217 12:42:00.838 2479139 flip.py:564] node 727 adds BLACKHOLE: ALL ['686'] < ['727']
I1217 12:42:00.838 2479139 flip.py:564] node 723 adds BLACKHOLE: ALL ['686'] < ['723']
I1217 12:42:00.839 2479139 flip.py:564] node 724 adds BLACKHOLE: ALL ['686'] < ['724']
I1217 12:42:00.839 2479139 flip.py:564] node 725 adds BLACKHOLE: ALL ['686'] < ['725']
I1217 12:42:00.840 2479139 flip.py:564] node 205 adds BLACKHOLE: ALL ['686'] < ['205']
I1217 12:42:00.840 2479139 flip.py:564] node 204 adds BLACKHOLE: ALL ['686'] < ['204']
I1217 12:42:00.840 2479139 flip.py:564] node 207 adds BLACKHOLE: ALL ['686'] < ['207']
I1217 12:42:00.841 2479139 flip.py:564] node 209 adds BLACKHOLE: ALL ['686'] < ['209']
I1217 12:42:00.841 2479139 flip.py:564] node 95 adds BLACKHOLE: ALL ['686'] < ['95']
I1217 12:42:00.841 2479139 flip.py:564] node 98 adds BLACKHOLE: ALL ['686'] < ['98']
I1217 12:42:00.842 2479139 flip.py:564] node 87 adds BLACKHOLE: ALL ['686'] < ['87']
I1217 12:42:00.842 2479139 flip.py:564] node 495 adds BLACKHOLE: ALL ['686'] < ['495']
I1217 12:42:00.842 2479139 flip.py:564] node 293 adds BLACKHOLE: ALL ['686'] < ['293']
I1217 12:42:00.843 2479139 flip.py:564] node 677 adds BLACKHOLE: ALL ['686'] < ['677']
I1217 12:42:00.843 2479139 flip.py:564] node 678 adds BLACKHOLE: ALL ['686'] < ['678']
I1217 12:42:00.843 2479139 flip.py:564] node 679 adds BLACKHOLE: ALL ['686'] < ['679']
I1217 12:42:00.844 2479139 flip.py:564] node 680 adds BLACKHOLE: ALL ['686'] < ['680']
I1217 12:42:00.844 2479139 flip.py:564] node 676 adds BLACKHOLE: ALL ['686'] < ['676']
I1217 12:42:00.844 2479139 flip.py:564] node 358 adds BLACKHOLE: ALL ['686'] < ['358']
I1217 12:42:00.845 2479139 flip.py:564] node 357 adds BLACKHOLE: ALL ['686'] < ['357']
I1217 12:42:00.845 2479139 flip.py:564] node 360 adds BLACKHOLE: ALL ['686'] < ['360']
I1217 12:42:00.845 2479139 flip.py:564] node 355 adds BLACKHOLE: ALL ['686'] < ['355']
I1217 12:42:00.845 2479139 flip.py:564] node 356 adds BLACKHOLE: ALL ['686'] < ['356']
I1217 12:42:00.846 2479139 flip.py:564] node 353 adds BLACKHOLE: ALL ['686'] < ['353']
I1217 12:42:00.846 2479139 flip.py:564] node 637 adds BLACKHOLE: ALL ['686'] < ['637']
I1217 12:42:00.846 2479139 flip.py:564] node 473 adds BLACKHOLE: ALL ['686'] < ['473']
I1217 12:42:00.846 2479139 flip.py:564] node 470 adds BLACKHOLE: ALL ['686'] < ['470']
I1217 12:42:00.847 2479139 flip.py:564] node 471 adds BLACKHOLE: ALL ['686'] < ['471']
I1217 12:42:00.847 2479139 flip.py:564] node 468 adds BLACKHOLE: ALL ['686'] < ['468']
I1217 12:42:00.847 2479139 flip.py:564] node 469 adds BLACKHOLE: ALL ['686'] < ['469']
I1217 12:42:00.847 2479139 flip.py:564] node 631 adds BLACKHOLE: ALL ['686'] < ['631']
I1217 12:42:00.847 2479139 flip.py:564] node 633 adds BLACKHOLE: ALL ['686'] < ['633']
I1217 12:42:00.847 2479139 flip.py:564] node 410 adds BLACKHOLE: ALL ['686'] < ['410']
I1217 12:42:00.848 2479139 flip.py:564] node 682 adds BLACKHOLE: ALL ['686'] < ['682']
I1217 12:42:00.848 2479139 flip.py:564] node 299 adds BLACKHOLE: ALL ['686'] < ['299']
I1217 12:42:00.848 2479139 flip.py:564] node 684 adds BLACKHOLE: ALL ['686'] < ['684']
I1217 12:42:00.848 2479139 flip.py:564] node 681 adds BLACKHOLE: ALL ['686'] < ['681']
I1217 12:42:00.848 2479139 flip.py:564] node 683 adds BLACKHOLE: ALL ['686'] < ['683']
I1217 12:42:00.849 2479139 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['686']
I1217 12:42:00.849 2479139 flip.py:564] node 240 adds BLACKHOLE: ALL ['240'] < ['686']
I1217 12:42:00.850 2479139 flip.py:564] node 505 adds BLACKHOLE: ALL ['505'] < ['686']
I1217 12:42:00.850 2479139 flip.py:564] node 506 adds BLACKHOLE: ALL ['506'] < ['686']
I1217 12:42:00.850 2479139 flip.py:564] node 411 adds BLACKHOLE: ALL ['411'] < ['686']
I1217 12:42:00.851 2479139 flip.py:564] node 408 adds BLACKHOLE: ALL ['408'] < ['686']
I1217 12:42:00.851 2479139 flip.py:564] node 202 adds BLACKHOLE: ALL ['202'] < ['686']
I1217 12:42:00.852 2479139 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['686']
I1217 12:42:00.852 2479139 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['686']
I1217 12:42:00.852 2479139 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['686']
I1217 12:42:00.853 2479139 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['686']
I1217 12:42:00.853 2479139 flip.py:564] node 503 adds BLACKHOLE: ALL ['503'] < ['686']
I1217 12:42:00.854 2479139 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['686']
I1217 12:42:00.854 2479139 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['686']
I1217 12:42:00.854 2479139 flip.py:564] node 164 adds BLACKHOLE: ALL ['164'] < ['686']
I1217 12:42:00.855 2479139 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['686']
I1217 12:42:00.855 2479139 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['686']
I1217 12:42:00.855 2479139 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['686']
I1217 12:42:00.856 2479139 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['686']
I1217 12:42:00.856 2479139 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['686']
I1217 12:42:00.856 2479139 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['686']
I1217 12:42:00.856 2479139 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['686']
I1217 12:42:00.857 2479139 flip.py:564] node 594 adds BLACKHOLE: ALL ['594'] < ['686']
I1217 12:42:00.857 2479139 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['686']
I1217 12:42:00.857 2479139 flip.py:564] node 268 adds BLACKHOLE: ALL ['268'] < ['686']
I1217 12:42:00.857 2479139 flip.py:564] node 590 adds BLACKHOLE: ALL ['590'] < ['686']
I1217 12:42:00.858 2479139 flip.py:564] node 472 adds BLACKHOLE: ALL ['472'] < ['686']
I1217 12:42:00.858 2479139 flip.py:564] node 462 adds BLACKHOLE: ALL ['462'] < ['686']
I1217 12:42:00.858 2479139 flip.py:564] node 667 adds BLACKHOLE: ALL ['667'] < ['686']
I1217 12:42:00.858 2479139 flip.py:564] node 456 adds BLACKHOLE: ALL ['456'] < ['686']
I1217 12:42:00.859 2479139 flip.py:564] node 693 adds BLACKHOLE: ALL ['693'] < ['686']
I1217 12:42:00.859 2479139 flip.py:564] node 692 adds BLACKHOLE: ALL ['692'] < ['686']
I1217 12:42:00.859 2479139 flip.py:564] node 691 adds BLACKHOLE: ALL ['691'] < ['686']
I1217 12:42:00.859 2479139 flip.py:564] node 467 adds BLACKHOLE: ALL ['467'] < ['686']
I1217 12:42:00.859 2479139 flip.py:564] node 464 adds BLACKHOLE: ALL ['464'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 128 adds BLACKHOLE: ALL ['128'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 668 adds BLACKHOLE: ALL ['668'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 337 adds BLACKHOLE: ALL ['337'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 396 adds BLACKHOLE: ALL ['396'] < ['686']
I1217 12:42:00.860 2479139 flip.py:564] node 685 adds BLACKHOLE: ALL ['685'] < ['686']
I1217 12:42:00.861 2479139 flip.py:564] node 321 adds BLACKHOLE: ALL ['321'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 314 adds BLACKHOLE: ALL ['314'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 316 adds BLACKHOLE: ALL ['316'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 309 adds BLACKHOLE: ALL ['309'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 624 adds BLACKHOLE: ALL ['624'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 508 adds BLACKHOLE: ALL ['508'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 509 adds BLACKHOLE: ALL ['509'] < ['512']
I1217 12:42:00.861 2479139 flip.py:564] node 427 adds BLACKHOLE: ALL ['427'] < ['545']
I1217 12:42:00.862 2479139 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['545']
I1217 12:42:00.862 2479139 flip.py:564] node 546 adds BLACKHOLE: ALL ['546'] < ['545']
I1217 12:42:00.862 2479139 flip.py:564] node 420 adds BLACKHOLE: ALL ['420'] < ['428']
I1217 12:42:00.862 2479139 flip.py:564] node 425 adds BLACKHOLE: ALL ['425'] < ['428']
I1217 12:42:00.862 2479139 flip.py:564] node 426 adds BLACKHOLE: ALL ['426'] < ['428']
I1217 12:42:00.862 2479139 flip.py:564] node 424 adds BLACKHOLE: ALL ['424'] < ['428']
I1217 12:42:00.863 2479139 flip.py:564] node 996 adds BLACKHOLE: ALL ['996'] < ['1440']
I1217 12:42:00.863 2479139 flip.py:564] node 994 adds BLACKHOLE: ALL ['994'] < ['1440']
I1217 12:42:00.864 2479139 flip.py:564] node 1259 adds BLACKHOLE: ALL ['1259'] < ['1440']
I1217 12:42:00.864 2479139 flip.py:564] node 1260 adds BLACKHOLE: ALL ['1260'] < ['1440']
I1217 12:42:00.865 2479139 flip.py:564] node 1165 adds BLACKHOLE: ALL ['1165'] < ['1440']
I1217 12:42:00.865 2479139 flip.py:564] node 1162 adds BLACKHOLE: ALL ['1162'] < ['1440']
I1217 12:42:00.865 2479139 flip.py:564] node 956 adds BLACKHOLE: ALL ['956'] < ['1440']
I1217 12:42:00.866 2479139 flip.py:564] node 957 adds BLACKHOLE: ALL ['957'] < ['1440']
I1217 12:42:00.866 2479139 flip.py:564] node 954 adds BLACKHOLE: ALL ['954'] < ['1440']
I1217 12:42:00.866 2479139 flip.py:564] node 916 adds BLACKHOLE: ALL ['916'] < ['1440']
I1217 12:42:00.867 2479139 flip.py:564] node 915 adds BLACKHOLE: ALL ['915'] < ['1440']
I1217 12:42:00.867 2479139 flip.py:564] node 1257 adds BLACKHOLE: ALL ['1257'] < ['1440']
I1217 12:42:00.867 2479139 flip.py:564] node 921 adds BLACKHOLE: ALL ['921'] < ['1440']
I1217 12:42:00.868 2479139 flip.py:564] node 922 adds BLACKHOLE: ALL ['922'] < ['1440']
I1217 12:42:00.868 2479139 flip.py:564] node 918 adds BLACKHOLE: ALL ['918'] < ['1440']
I1217 12:42:00.868 2479139 flip.py:564] node 802 adds BLACKHOLE: ALL ['802'] < ['1440']
I1217 12:42:00.869 2479139 flip.py:564] node 805 adds BLACKHOLE: ALL ['805'] < ['1440']
I1217 12:42:00.869 2479139 flip.py:564] node 806 adds BLACKHOLE: ALL ['806'] < ['1440']
I1217 12:42:00.870 2479139 flip.py:564] node 790 adds BLACKHOLE: ALL ['790'] < ['1440']
I1217 12:42:00.870 2479139 flip.py:564] node 791 adds BLACKHOLE: ALL ['791'] < ['1440']
I1217 12:42:00.870 2479139 flip.py:564] node 788 adds BLACKHOLE: ALL ['788'] < ['1440']
I1217 12:42:00.870 2479139 flip.py:564] node 789 adds BLACKHOLE: ALL ['789'] < ['1440']
I1217 12:42:00.871 2479139 flip.py:564] node 1348 adds BLACKHOLE: ALL ['1348'] < ['1440']
I1217 12:42:00.871 2479139 flip.py:564] node 1020 adds BLACKHOLE: ALL ['1020'] < ['1440']
I1217 12:42:00.871 2479139 flip.py:564] node 1022 adds BLACKHOLE: ALL ['1022'] < ['1440']
I1217 12:42:00.871 2479139 flip.py:564] node 1344 adds BLACKHOLE: ALL ['1344'] < ['1440']
I1217 12:42:00.872 2479139 flip.py:564] node 1226 adds BLACKHOLE: ALL ['1226'] < ['1440']
I1217 12:42:00.872 2479139 flip.py:564] node 1216 adds BLACKHOLE: ALL ['1216'] < ['1440']
I1217 12:42:00.872 2479139 flip.py:564] node 1421 adds BLACKHOLE: ALL ['1421'] < ['1440']
I1217 12:42:00.872 2479139 flip.py:564] node 1210 adds BLACKHOLE: ALL ['1210'] < ['1440']
I1217 12:42:00.872 2479139 flip.py:564] node 1447 adds BLACKHOLE: ALL ['1447'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 1446 adds BLACKHOLE: ALL ['1446'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 1445 adds BLACKHOLE: ALL ['1445'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 1221 adds BLACKHOLE: ALL ['1221'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 1218 adds BLACKHOLE: ALL ['1218'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 882 adds BLACKHOLE: ALL ['882'] < ['1440']
I1217 12:42:00.873 2479139 flip.py:564] node 883 adds BLACKHOLE: ALL ['883'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 880 adds BLACKHOLE: ALL ['880'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 1422 adds BLACKHOLE: ALL ['1422'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 1091 adds BLACKHOLE: ALL ['1091'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 1150 adds BLACKHOLE: ALL ['1150'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 1439 adds BLACKHOLE: ALL ['1439'] < ['1440']
I1217 12:42:00.874 2479139 flip.py:564] node 1075 adds BLACKHOLE: ALL ['1075'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1068 adds BLACKHOLE: ALL ['1068'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1070 adds BLACKHOLE: ALL ['1070'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1063 adds BLACKHOLE: ALL ['1063'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1378 adds BLACKHOLE: ALL ['1378'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1262 adds BLACKHOLE: ALL ['1262'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1263 adds BLACKHOLE: ALL ['1263'] < ['1266']
I1217 12:42:00.875 2479139 flip.py:564] node 1181 adds BLACKHOLE: ALL ['1181'] < ['1299']
I1217 12:42:00.876 2479139 flip.py:564] node 904 adds BLACKHOLE: ALL ['904'] < ['1299']
I1217 12:42:00.876 2479139 flip.py:564] node 1300 adds BLACKHOLE: ALL ['1300'] < ['1299']
I1217 12:42:00.876 2479139 flip.py:564] node 1174 adds BLACKHOLE: ALL ['1174'] < ['1182']
I1217 12:42:00.876 2479139 flip.py:564] node 1179 adds BLACKHOLE: ALL ['1179'] < ['1182']
I1217 12:42:00.876 2479139 flip.py:564] node 1180 adds BLACKHOLE: ALL ['1180'] < ['1182']
I1217 12:42:00.876 2479139 flip.py:564] node 1178 adds BLACKHOLE: ALL ['1178'] < ['1182']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:00.895 2479139 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: 686, dst: 1173, path: ['686', '683', '681', '684', '299', '682', '410', '633', '631', '469', '468', '471', '470', '473', '637', '353', '356', '355', '360', '357', '358', '676', '680', '679', '678', '677', '293', '495', '87', '98', '95', '209', '207', '204', '205', '725', '724', '723', '727', '392', '195', '244', '7', '512', '511', '199', '513', '516', '515', '308', '6', '719', '5', '317', '315', '342', '261', '543', '458', '545', '539', '107', '106', '540', '284', '428', '737', '752', '753', '738', '708', '421', '422', '419', '1440', '1437', '1435', '1438', '1053', '1436', '1164', '1387', '1385', '1223', '1222', '1225', '1224', '1227', '1391', '1107', '1110', '1109', '1114', '1111', '1112', '1430', '1434', '1433', '1432', '1431', '1047', '1249', '841', '852', '849', '963', '961', '958', '959', '1479', '1478', '1477', '1481', '1146', '949', '998', '761', '1266', '1265', '953', '1267', '1270', '1269', '1062', '760', '1473', '759', '1071', '1069', '1096', '1015', '1297', '1212', '1299', '1293', '861', '860', '1294', '1038', '1182', '1491', '1506', '1507', '1492', '1462', '1175', '1176', '1173'], tags: {}> doesn't satisfy any of [['509']]
