Version: 1.13 
 _ data/zoo_json_cond_enf2/TataNld_3.json -f output/flip/data/zoo_json_cond_enf2/TataNld_3.json.subpaths
Flip subpaths generated in 0.779 seconds!
real 1.32
user 2.15
sys 0.14
<logging.Logger object at 0x7f5f3aba77d0>
I1217 12:36:46.658 2368348 flip.py:638] node 47 (47->40->47) adds LOOP: ANY ['40'] < ['47']
I1217 12:36:46.669 2368348 flip.py:638] node 88 (88->94->88) adds LOOP: ANY ['94'] < ['88']
I1217 12:36:46.697 2368348 flip.py:638] node 32 (32->117->32) adds LOOP: ANY ['32'] < ['117']
I1217 12:36:46.714 2368348 flip.py:638] node 183 (183->190->183) adds LOOP: ANY ['183'] < ['190']
I1217 12:36:46.722 2368348 flip.py:638] node 237 (237->231->237) adds LOOP: ANY ['237'] < ['231']
I1217 12:36:46.741 2368348 flip.py:638] node 175 (175->260->175) adds LOOP: ANY ['175'] < ['260']
I1217 12:36:46.752 2368348 flip.py:638] node 326 (326->333->326) adds LOOP: ANY ['326'] < ['333']
I1217 12:36:46.758 2368348 flip.py:638] node 380 (380->374->380) adds LOOP: ANY ['380'] < ['374']
I1217 12:36:46.769 2368348 flip.py:638] node 318 (318->403->318) adds LOOP: ANY ['318'] < ['403']
I1217 12:36:46.775 2368348 flip.py:638] node 476 (476->469->476) adds LOOP: ANY ['469'] < ['476']
I1217 12:36:46.777 2368348 flip.py:638] node 517 (517->523->517) adds LOOP: ANY ['523'] < ['517']
I1217 12:36:46.781 2368348 flip.py:638] node 546 (546->461->546) adds LOOP: ANY ['461'] < ['546']
I1217 12:36:46.781 2368348 flip.py:564] node 539 adds BLACKHOLE: ALL ['546'] < ['539']
I1217 12:36:46.782 2368348 flip.py:564] node 541 adds BLACKHOLE: ALL ['546'] < ['541']
I1217 12:36:46.782 2368348 flip.py:839] node 546 (green-white) adds POLICY: ALL ['461'] < ['546'] with dependencies []
I1217 12:36:46.782 2368348 flip.py:839] node 461 (green-white) adds POLICY: ALL ['526'] < ['461'] with dependencies []
I1217 12:36:46.782 2368348 flip.py:564] node 560 adds BLACKHOLE: ALL ['526'] < ['560']
I1217 12:36:46.782 2368348 flip.py:564] node 561 adds BLACKHOLE: ALL ['526'] < ['561']
I1217 12:36:46.783 2368348 flip.py:564] node 481 adds BLACKHOLE: ALL ['526'] < ['481']
I1217 12:36:46.783 2368348 flip.py:564] node 449 adds BLACKHOLE: ALL ['526'] < ['449']
I1217 12:36:46.783 2368348 flip.py:564] node 455 adds BLACKHOLE: ALL ['526'] < ['455']
I1217 12:36:46.783 2368348 flip.py:564] node 510 adds BLACKHOLE: ALL ['526'] < ['510']
I1217 12:36:46.783 2368348 flip.py:564] node 511 adds BLACKHOLE: ALL ['526'] < ['511']
I1217 12:36:46.783 2368348 flip.py:564] node 504 adds BLACKHOLE: ALL ['526'] < ['504']
I1217 12:36:46.783 2368348 flip.py:839] node 526 (green-white) adds POLICY: ALL ['517'] < ['526'] with dependencies []
I1217 12:36:46.784 2368348 flip.py:564] node 496 adds BLACKHOLE: ALL ['517'] < ['496']
I1217 12:36:46.784 2368348 flip.py:564] node 516 adds BLACKHOLE: ALL ['517'] < ['516']
I1217 12:36:46.784 2368348 flip.py:839] node 517 (green-white) adds POLICY: ALL ['523'] < ['517'] with dependencies []
I1217 12:36:46.784 2368348 flip.py:839] node 523 (green-white) adds POLICY: ALL ['475'] < ['523'] with dependencies []
I1217 12:36:46.784 2368348 flip.py:564] node 555 adds BLACKHOLE: ALL ['475'] < ['555']
I1217 12:36:46.785 2368348 flip.py:564] node 557 adds BLACKHOLE: ALL ['475'] < ['557']
I1217 12:36:46.785 2368348 flip.py:839] node 475 (green-white) adds POLICY: ALL ['476'] < ['475'] with dependencies []
I1217 12:36:46.785 2368348 flip.py:839] node 476 (green-white) adds POLICY: ALL ['469'] < ['476'] with dependencies []
I1217 12:36:46.785 2368348 flip.py:839] node 469 (green-white) adds POLICY: ALL ['570'] < ['469'] with dependencies []
I1217 12:36:46.785 2368348 flip.py:564] node 571 adds BLACKHOLE: ALL ['570'] < ['571']
I1217 12:36:46.786 2368348 flip.py:839] node 570 (green-white) adds POLICY: ALL ['566'] < ['570'] with dependencies []
I1217 12:36:46.786 2368348 flip.py:564] node 569 adds BLACKHOLE: ALL ['566'] < ['569']
I1217 12:36:46.786 2368348 flip.py:564] node 567 adds BLACKHOLE: ALL ['566'] < ['567']
I1217 12:36:46.786 2368348 flip.py:839] node 566 (green-white) adds POLICY: ALL ['403'] < ['566'] with dependencies []
I1217 12:36:46.786 2368348 flip.py:564] node 396 adds BLACKHOLE: ALL ['403'] < ['396']
I1217 12:36:46.786 2368348 flip.py:564] node 398 adds BLACKHOLE: ALL ['403'] < ['398']
I1217 12:36:46.787 2368348 flip.py:839] node 403 (green-white) adds POLICY: ALL ['318'] < ['403'] with dependencies []
I1217 12:36:46.787 2368348 flip.py:839] node 318 (green-white) adds POLICY: ALL ['383'] < ['318'] with dependencies []
I1217 12:36:46.787 2368348 flip.py:564] node 417 adds BLACKHOLE: ALL ['383'] < ['417']
I1217 12:36:46.787 2368348 flip.py:564] node 418 adds BLACKHOLE: ALL ['383'] < ['418']
I1217 12:36:46.788 2368348 flip.py:564] node 338 adds BLACKHOLE: ALL ['383'] < ['338']
I1217 12:36:46.788 2368348 flip.py:564] node 306 adds BLACKHOLE: ALL ['383'] < ['306']
I1217 12:36:46.788 2368348 flip.py:564] node 312 adds BLACKHOLE: ALL ['383'] < ['312']
I1217 12:36:46.788 2368348 flip.py:564] node 367 adds BLACKHOLE: ALL ['383'] < ['367']
I1217 12:36:46.788 2368348 flip.py:564] node 368 adds BLACKHOLE: ALL ['383'] < ['368']
I1217 12:36:46.788 2368348 flip.py:564] node 361 adds BLACKHOLE: ALL ['383'] < ['361']
I1217 12:36:46.788 2368348 flip.py:839] node 383 (green-cyan) adds POLICY: ALL ['374'] < ['383'] with dependencies []
I1217 12:36:46.789 2368348 flip.py:564] node 353 adds BLACKHOLE: ALL ['374'] < ['353']
I1217 12:36:46.789 2368348 flip.py:564] node 373 adds BLACKHOLE: ALL ['374'] < ['373']
I1217 12:36:46.789 2368348 flip.py:839] node 374 (green-cyan) adds POLICY: ALL ['380'] < ['374'] with dependencies []
I1217 12:36:46.789 2368348 flip.py:839] node 380 (green-cyan) adds POLICY: ALL ['332'] < ['380'] with dependencies []
I1217 12:36:46.789 2368348 flip.py:564] node 412 adds BLACKHOLE: ALL ['332'] < ['412']
I1217 12:36:46.790 2368348 flip.py:564] node 414 adds BLACKHOLE: ALL ['332'] < ['414']
I1217 12:36:46.790 2368348 flip.py:839] node 332 (green-cyan) adds POLICY: ALL ['333'] < ['332'] with dependencies []
I1217 12:36:46.790 2368348 flip.py:839] node 333 (green-cyan) adds POLICY: ALL ['326'] < ['333'] with dependencies []
I1217 12:36:46.790 2368348 flip.py:839] node 326 (green-cyan) adds POLICY: ALL ['427'] < ['326'] with dependencies []
I1217 12:36:46.790 2368348 flip.py:564] node 428 adds BLACKHOLE: ALL ['427'] < ['428']
I1217 12:36:46.790 2368348 flip.py:839] node 427 (green-cyan) adds POLICY: ALL ['423'] < ['427'] with dependencies []
I1217 12:36:46.791 2368348 flip.py:564] node 426 adds BLACKHOLE: ALL ['423'] < ['426']
I1217 12:36:46.791 2368348 flip.py:564] node 424 adds BLACKHOLE: ALL ['423'] < ['424']
I1217 12:36:46.791 2368348 flip.py:839] node 423 (green-cyan) adds POLICY: ALL ['260'] < ['423'] with dependencies []
I1217 12:36:46.791 2368348 flip.py:564] node 253 adds BLACKHOLE: ALL ['260'] < ['253']
I1217 12:36:46.791 2368348 flip.py:564] node 255 adds BLACKHOLE: ALL ['260'] < ['255']
I1217 12:36:46.791 2368348 flip.py:839] node 260 (green-cyan) adds POLICY: ALL ['175'] < ['260'] with dependencies []
I1217 12:36:46.792 2368348 flip.py:839] node 175 (green-cyan) adds POLICY: ALL ['240'] < ['175'] with dependencies []
I1217 12:36:46.792 2368348 flip.py:564] node 274 adds BLACKHOLE: ALL ['240'] < ['274']
I1217 12:36:46.792 2368348 flip.py:564] node 275 adds BLACKHOLE: ALL ['240'] < ['275']
I1217 12:36:46.792 2368348 flip.py:564] node 195 adds BLACKHOLE: ALL ['240'] < ['195']
I1217 12:36:46.792 2368348 flip.py:564] node 163 adds BLACKHOLE: ALL ['240'] < ['163']
I1217 12:36:46.793 2368348 flip.py:564] node 169 adds BLACKHOLE: ALL ['240'] < ['169']
I1217 12:36:46.793 2368348 flip.py:564] node 224 adds BLACKHOLE: ALL ['240'] < ['224']
I1217 12:36:46.793 2368348 flip.py:564] node 225 adds BLACKHOLE: ALL ['240'] < ['225']
I1217 12:36:46.793 2368348 flip.py:564] node 218 adds BLACKHOLE: ALL ['240'] < ['218']
I1217 12:36:46.793 2368348 flip.py:839] node 240 (green-cyan) adds POLICY: ALL ['231'] < ['240'] with dependencies []
I1217 12:36:46.794 2368348 flip.py:564] node 210 adds BLACKHOLE: ALL ['231'] < ['210']
I1217 12:36:46.794 2368348 flip.py:564] node 230 adds BLACKHOLE: ALL ['231'] < ['230']
I1217 12:36:46.794 2368348 flip.py:839] node 231 (green-cyan) adds POLICY: ALL ['237'] < ['231'] with dependencies []
I1217 12:36:46.794 2368348 flip.py:839] node 237 (green-cyan) adds POLICY: ALL ['189'] < ['237'] with dependencies []
I1217 12:36:46.794 2368348 flip.py:564] node 269 adds BLACKHOLE: ALL ['189'] < ['269']
I1217 12:36:46.794 2368348 flip.py:564] node 271 adds BLACKHOLE: ALL ['189'] < ['271']
I1217 12:36:46.795 2368348 flip.py:839] node 189 (green-cyan) adds POLICY: ALL ['190'] < ['189'] with dependencies []
I1217 12:36:46.795 2368348 flip.py:839] node 190 (green-cyan) adds POLICY: ALL ['183'] < ['190'] with dependencies []
I1217 12:36:46.795 2368348 flip.py:839] node 183 (green-cyan) adds POLICY: ALL ['284'] < ['183'] with dependencies []
I1217 12:36:46.795 2368348 flip.py:564] node 285 adds BLACKHOLE: ALL ['284'] < ['285']
I1217 12:36:46.795 2368348 flip.py:839] node 284 (green-cyan) adds POLICY: ALL ['280'] < ['284'] with dependencies []
I1217 12:36:46.796 2368348 flip.py:564] node 283 adds BLACKHOLE: ALL ['280'] < ['283']
I1217 12:36:46.796 2368348 flip.py:564] node 281 adds BLACKHOLE: ALL ['280'] < ['281']
I1217 12:36:46.796 2368348 flip.py:839] node 280 (green-cyan) adds POLICY: ALL ['117'] < ['280'] with dependencies []
I1217 12:36:46.796 2368348 flip.py:564] node 110 adds BLACKHOLE: ALL ['117'] < ['110']
I1217 12:36:46.796 2368348 flip.py:564] node 112 adds BLACKHOLE: ALL ['117'] < ['112']
I1217 12:36:46.796 2368348 flip.py:839] node 117 (green-cyan) adds POLICY: ALL ['32'] < ['117'] with dependencies []
I1217 12:36:46.797 2368348 flip.py:839] node 32 (green-cyan) adds POLICY: ALL ['97'] < ['32'] with dependencies []
I1217 12:36:46.797 2368348 flip.py:564] node 131 adds BLACKHOLE: ALL ['97'] < ['131']
I1217 12:36:46.797 2368348 flip.py:564] node 132 adds BLACKHOLE: ALL ['97'] < ['132']
I1217 12:36:46.797 2368348 flip.py:564] node 52 adds BLACKHOLE: ALL ['97'] < ['52']
I1217 12:36:46.797 2368348 flip.py:564] node 20 adds BLACKHOLE: ALL ['97'] < ['20']
I1217 12:36:46.797 2368348 flip.py:564] node 26 adds BLACKHOLE: ALL ['97'] < ['26']
I1217 12:36:46.798 2368348 flip.py:564] node 81 adds BLACKHOLE: ALL ['97'] < ['81']
I1217 12:36:46.798 2368348 flip.py:564] node 82 adds BLACKHOLE: ALL ['97'] < ['82']
I1217 12:36:46.798 2368348 flip.py:564] node 75 adds BLACKHOLE: ALL ['97'] < ['75']
I1217 12:36:46.798 2368348 flip.py:839] node 97 (green-cyan) adds POLICY: ALL ['88'] < ['97'] with dependencies []
I1217 12:36:46.798 2368348 flip.py:564] node 67 adds BLACKHOLE: ALL ['88'] < ['67']
I1217 12:36:46.799 2368348 flip.py:564] node 87 adds BLACKHOLE: ALL ['88'] < ['87']
I1217 12:36:46.799 2368348 flip.py:839] node 88 (green-cyan) adds POLICY: ALL ['94'] < ['88'] with dependencies []
I1217 12:36:46.799 2368348 flip.py:839] node 94 (green-cyan) adds POLICY: ALL ['46'] < ['94'] with dependencies []
I1217 12:36:46.799 2368348 flip.py:564] node 126 adds BLACKHOLE: ALL ['46'] < ['126']
I1217 12:36:46.799 2368348 flip.py:564] node 128 adds BLACKHOLE: ALL ['46'] < ['128']
I1217 12:36:46.799 2368348 flip.py:564] node 142 adds BLACKHOLE: ALL ['141'] < ['142']
I1217 12:36:46.800 2368348 flip.py:564] node 140 adds BLACKHOLE: ALL ['137'] < ['140']
I1217 12:36:46.800 2368348 flip.py:564] node 138 adds BLACKHOLE: ALL ['137'] < ['138']
I1217 12:36:46.800 2368348 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['137']
I1217 12:36:46.800 2368348 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['137']
I1217 12:36:46.800 2368348 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['137']
I1217 12:36:46.800 2368348 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['141']
I1217 12:36:46.800 2368348 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['141']
I1217 12:36:46.800 2368348 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['141']
I1217 12:36:46.800 2368348 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['40']
I1217 12:36:46.801 2368348 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['46']
I1217 12:36:46.801 2368348 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['46']
I1217 12:36:46.801 2368348 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['46']
I1217 12:36:46.801 2368348 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['46']
I1217 12:36:46.801 2368348 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['46']
I1217 12:36:46.801 2368348 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['94']
I1217 12:36:46.801 2368348 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['94']
I1217 12:36:46.801 2368348 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['94']
I1217 12:36:46.802 2368348 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['94']
I1217 12:36:46.802 2368348 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['94']
I1217 12:36:46.802 2368348 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['97']
I1217 12:36:46.802 2368348 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['97']
I1217 12:36:46.802 2368348 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['97']
I1217 12:36:46.802 2368348 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 23 adds BLACKHOLE: ALL ['23'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 24 adds BLACKHOLE: ALL ['24'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['97']
I1217 12:36:46.803 2368348 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['32']
I1217 12:36:46.804 2368348 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['32']
I1217 12:36:46.804 2368348 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['32']
I1217 12:36:46.804 2368348 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['32']
I1217 12:36:46.804 2368348 flip.py:564] node 251 adds BLACKHOLE: ALL ['251'] < ['280']
I1217 12:36:46.804 2368348 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['280']
I1217 12:36:46.804 2368348 flip.py:564] node 282 adds BLACKHOLE: ALL ['282'] < ['280']
I1217 12:36:46.804 2368348 flip.py:564] node 250 adds BLACKHOLE: ALL ['250'] < ['284']
I1217 12:36:46.804 2368348 flip.py:564] node 229 adds BLACKHOLE: ALL ['229'] < ['284']
I1217 12:36:46.804 2368348 flip.py:564] node 226 adds BLACKHOLE: ALL ['226'] < ['284']
I1217 12:36:46.805 2368348 flip.py:564] node 184 adds BLACKHOLE: ALL ['184'] < ['183']
I1217 12:36:46.805 2368348 flip.py:564] node 236 adds BLACKHOLE: ALL ['236'] < ['189']
I1217 12:36:46.805 2368348 flip.py:564] node 263 adds BLACKHOLE: ALL ['263'] < ['189']
I1217 12:36:46.805 2368348 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['189']
I1217 12:36:46.805 2368348 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['189']
I1217 12:36:46.805 2368348 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['189']
I1217 12:36:46.805 2368348 flip.py:564] node 247 adds BLACKHOLE: ALL ['247'] < ['237']
I1217 12:36:46.805 2368348 flip.py:564] node 246 adds BLACKHOLE: ALL ['246'] < ['237']
I1217 12:36:46.806 2368348 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['237']
I1217 12:36:46.806 2368348 flip.py:564] node 248 adds BLACKHOLE: ALL ['248'] < ['237']
I1217 12:36:46.806 2368348 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['237']
I1217 12:36:46.806 2368348 flip.py:564] node 176 adds BLACKHOLE: ALL ['176'] < ['240']
I1217 12:36:46.806 2368348 flip.py:564] node 181 adds BLACKHOLE: ALL ['181'] < ['240']
I1217 12:36:46.806 2368348 flip.py:564] node 182 adds BLACKHOLE: ALL ['182'] < ['240']
I1217 12:36:46.806 2368348 flip.py:564] node 179 adds BLACKHOLE: ALL ['179'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 180 adds BLACKHOLE: ALL ['180'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 165 adds BLACKHOLE: ALL ['165'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 166 adds BLACKHOLE: ALL ['166'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['240']
I1217 12:36:46.807 2368348 flip.py:564] node 259 adds BLACKHOLE: ALL ['259'] < ['175']
I1217 12:36:46.808 2368348 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['175']
I1217 12:36:46.808 2368348 flip.py:564] node 256 adds BLACKHOLE: ALL ['256'] < ['175']
I1217 12:36:46.808 2368348 flip.py:564] node 272 adds BLACKHOLE: ALL ['272'] < ['175']
I1217 12:36:46.808 2368348 flip.py:564] node 394 adds BLACKHOLE: ALL ['394'] < ['423']
I1217 12:36:46.808 2368348 flip.py:564] node 329 adds BLACKHOLE: ALL ['329'] < ['423']
I1217 12:36:46.808 2368348 flip.py:564] node 425 adds BLACKHOLE: ALL ['425'] < ['423']
I1217 12:36:46.808 2368348 flip.py:564] node 393 adds BLACKHOLE: ALL ['393'] < ['427']
I1217 12:36:46.808 2368348 flip.py:564] node 372 adds BLACKHOLE: ALL ['372'] < ['427']
I1217 12:36:46.809 2368348 flip.py:564] node 369 adds BLACKHOLE: ALL ['369'] < ['427']
I1217 12:36:46.809 2368348 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['326']
I1217 12:36:46.809 2368348 flip.py:564] node 379 adds BLACKHOLE: ALL ['379'] < ['332']
I1217 12:36:46.809 2368348 flip.py:564] node 406 adds BLACKHOLE: ALL ['406'] < ['332']
I1217 12:36:46.809 2368348 flip.py:564] node 405 adds BLACKHOLE: ALL ['405'] < ['332']
I1217 12:36:46.809 2368348 flip.py:564] node 408 adds BLACKHOLE: ALL ['408'] < ['332']
I1217 12:36:46.809 2368348 flip.py:564] node 409 adds BLACKHOLE: ALL ['409'] < ['332']
I1217 12:36:46.809 2368348 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['380']
I1217 12:36:46.810 2368348 flip.py:564] node 389 adds BLACKHOLE: ALL ['389'] < ['380']
I1217 12:36:46.810 2368348 flip.py:564] node 392 adds BLACKHOLE: ALL ['392'] < ['380']
I1217 12:36:46.810 2368348 flip.py:564] node 391 adds BLACKHOLE: ALL ['391'] < ['380']
I1217 12:36:46.810 2368348 flip.py:564] node 377 adds BLACKHOLE: ALL ['377'] < ['380']
I1217 12:36:46.810 2368348 flip.py:564] node 319 adds BLACKHOLE: ALL ['319'] < ['383']
I1217 12:36:46.810 2368348 flip.py:564] node 324 adds BLACKHOLE: ALL ['324'] < ['383']
I1217 12:36:46.810 2368348 flip.py:564] node 325 adds BLACKHOLE: ALL ['325'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 322 adds BLACKHOLE: ALL ['322'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 323 adds BLACKHOLE: ALL ['323'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 308 adds BLACKHOLE: ALL ['308'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 309 adds BLACKHOLE: ALL ['309'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 311 adds BLACKHOLE: ALL ['311'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 310 adds BLACKHOLE: ALL ['310'] < ['383']
I1217 12:36:46.811 2368348 flip.py:564] node 362 adds BLACKHOLE: ALL ['362'] < ['383']
I1217 12:36:46.812 2368348 flip.py:564] node 402 adds BLACKHOLE: ALL ['402'] < ['318']
I1217 12:36:46.812 2368348 flip.py:564] node 401 adds BLACKHOLE: ALL ['401'] < ['318']
I1217 12:36:46.812 2368348 flip.py:564] node 399 adds BLACKHOLE: ALL ['399'] < ['318']
I1217 12:36:46.812 2368348 flip.py:564] node 415 adds BLACKHOLE: ALL ['415'] < ['318']
I1217 12:36:46.812 2368348 flip.py:564] node 537 adds BLACKHOLE: ALL ['537'] < ['566']
I1217 12:36:46.812 2368348 flip.py:564] node 472 adds BLACKHOLE: ALL ['472'] < ['566']
I1217 12:36:46.812 2368348 flip.py:564] node 568 adds BLACKHOLE: ALL ['568'] < ['566']
I1217 12:36:46.812 2368348 flip.py:564] node 536 adds BLACKHOLE: ALL ['536'] < ['570']
I1217 12:36:46.813 2368348 flip.py:564] node 515 adds BLACKHOLE: ALL ['515'] < ['570']
I1217 12:36:46.813 2368348 flip.py:564] node 512 adds BLACKHOLE: ALL ['512'] < ['570']
I1217 12:36:46.813 2368348 flip.py:564] node 470 adds BLACKHOLE: ALL ['470'] < ['469']
I1217 12:36:46.813 2368348 flip.py:564] node 522 adds BLACKHOLE: ALL ['522'] < ['475']
I1217 12:36:46.813 2368348 flip.py:564] node 549 adds BLACKHOLE: ALL ['549'] < ['475']
I1217 12:36:46.813 2368348 flip.py:564] node 548 adds BLACKHOLE: ALL ['548'] < ['475']
I1217 12:36:46.813 2368348 flip.py:564] node 551 adds BLACKHOLE: ALL ['551'] < ['475']
I1217 12:36:46.813 2368348 flip.py:564] node 552 adds BLACKHOLE: ALL ['552'] < ['475']
I1217 12:36:46.814 2368348 flip.py:564] node 533 adds BLACKHOLE: ALL ['533'] < ['523']
I1217 12:36:46.814 2368348 flip.py:564] node 532 adds BLACKHOLE: ALL ['532'] < ['523']
I1217 12:36:46.814 2368348 flip.py:564] node 535 adds BLACKHOLE: ALL ['535'] < ['523']
I1217 12:36:46.814 2368348 flip.py:564] node 534 adds BLACKHOLE: ALL ['534'] < ['523']
I1217 12:36:46.814 2368348 flip.py:564] node 520 adds BLACKHOLE: ALL ['520'] < ['523']
I1217 12:36:46.814 2368348 flip.py:564] node 462 adds BLACKHOLE: ALL ['462'] < ['526']
I1217 12:36:46.814 2368348 flip.py:564] node 467 adds BLACKHOLE: ALL ['467'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 468 adds BLACKHOLE: ALL ['468'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 465 adds BLACKHOLE: ALL ['465'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 466 adds BLACKHOLE: ALL ['466'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 451 adds BLACKHOLE: ALL ['451'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 452 adds BLACKHOLE: ALL ['452'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 454 adds BLACKHOLE: ALL ['454'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 453 adds BLACKHOLE: ALL ['453'] < ['526']
I1217 12:36:46.815 2368348 flip.py:564] node 505 adds BLACKHOLE: ALL ['505'] < ['526']
I1217 12:36:46.816 2368348 flip.py:564] node 545 adds BLACKHOLE: ALL ['545'] < ['461']
I1217 12:36:46.816 2368348 flip.py:564] node 544 adds BLACKHOLE: ALL ['544'] < ['461']
I1217 12:36:46.816 2368348 flip.py:564] node 542 adds BLACKHOLE: ALL ['542'] < ['461']
I1217 12:36:46.816 2368348 flip.py:564] node 558 adds BLACKHOLE: ALL ['558'] < ['461']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:36:46.836 2368348 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: 137, dst: 538, path: ['137', '138', '140', '141', '142', '40', '47', '46', '128', '126', '94', '88', '87', '67', '98', '97', '75', '82', '81', '26', '20', '52', '132', '131', '32', '117', '112', '110', '109', '280', '281', '283', '284', '285', '183', '190', '189', '271', '269', '237', '231', '230', '210', '241', '240', '218', '225', '224', '169', '163', '195', '275', '274', '175', '260', '255', '253', '252', '423', '424', '426', '427', '428', '326', '333', '332', '414', '412', '380', '374', '373', '353', '384', '383', '361', '368', '367', '312', '306', '338', '418', '417', '318', '403', '398', '396', '395', '566', '567', '569', '570', '571', '469', '476', '475', '557', '555', '523', '517', '516', '496', '527', '526', '504', '511', '510', '455', '449', '481', '561', '560', '461', '546', '541', '539', '538'], tags: {}> doesn't satisfy any of [['119'], ['325']]
