Version: 1.13 
 _ data/zoo_json_cond_enf1/Uninett2011_4.json -f output/flip/data/zoo_json_cond_enf1/Uninett2011_4.json.subpaths
Flip subpaths generated in 0.241 seconds!
real 1.23
user 0.98
sys 0.09
<logging.Logger object at 0x7efc8ccc77d0>
I1217 12:41:59.549 2604342 flip.py:564] node 441 adds BLACKHOLE: ALL ['497'] < ['441']
I1217 12:41:59.549 2604342 flip.py:564] node 442 adds BLACKHOLE: ALL ['497'] < ['442']
I1217 12:41:59.549 2604342 flip.py:564] node 503 adds BLACKHOLE: ALL ['497'] < ['503']
I1217 12:41:59.549 2604342 flip.py:564] node 484 adds BLACKHOLE: ALL ['497'] < ['484']
I1217 12:41:59.550 2604342 flip.py:839] node 497 (white-green) adds POLICY: ALL ['497'] < ['434'] with dependencies []
I1217 12:41:59.550 2604342 flip.py:564] node 378 adds BLACKHOLE: ALL ['434'] < ['378']
I1217 12:41:59.551 2604342 flip.py:564] node 379 adds BLACKHOLE: ALL ['434'] < ['379']
I1217 12:41:59.551 2604342 flip.py:564] node 440 adds BLACKHOLE: ALL ['434'] < ['440']
I1217 12:41:59.551 2604342 flip.py:564] node 421 adds BLACKHOLE: ALL ['434'] < ['421']
I1217 12:41:59.551 2604342 flip.py:839] node 434 (white-green) adds POLICY: ALL ['434'] < ['371'] with dependencies []
I1217 12:41:59.552 2604342 flip.py:564] node 315 adds BLACKHOLE: ALL ['371'] < ['315']
I1217 12:41:59.552 2604342 flip.py:564] node 316 adds BLACKHOLE: ALL ['371'] < ['316']
I1217 12:41:59.552 2604342 flip.py:564] node 377 adds BLACKHOLE: ALL ['371'] < ['377']
I1217 12:41:59.552 2604342 flip.py:564] node 358 adds BLACKHOLE: ALL ['371'] < ['358']
I1217 12:41:59.552 2604342 flip.py:839] node 371 (white-green) adds POLICY: ALL ['371'] < ['308'] with dependencies []
I1217 12:41:59.553 2604342 flip.py:564] node 252 adds BLACKHOLE: ALL ['308'] < ['252']
I1217 12:41:59.553 2604342 flip.py:564] node 253 adds BLACKHOLE: ALL ['308'] < ['253']
I1217 12:41:59.553 2604342 flip.py:564] node 314 adds BLACKHOLE: ALL ['308'] < ['314']
I1217 12:41:59.553 2604342 flip.py:564] node 295 adds BLACKHOLE: ALL ['308'] < ['295']
I1217 12:41:59.554 2604342 flip.py:839] node 308 (white-green) adds POLICY: ALL ['308'] < ['245'] with dependencies []
I1217 12:41:59.554 2604342 flip.py:564] node 189 adds BLACKHOLE: ALL ['245'] < ['189']
I1217 12:41:59.554 2604342 flip.py:564] node 190 adds BLACKHOLE: ALL ['245'] < ['190']
I1217 12:41:59.555 2604342 flip.py:564] node 251 adds BLACKHOLE: ALL ['245'] < ['251']
I1217 12:41:59.555 2604342 flip.py:564] node 232 adds BLACKHOLE: ALL ['245'] < ['232']
I1217 12:41:59.555 2604342 flip.py:839] node 245 (white-green) adds POLICY: ALL ['245'] < ['182'] with dependencies []
I1217 12:41:59.555 2604342 flip.py:564] node 126 adds BLACKHOLE: ALL ['182'] < ['126']
I1217 12:41:59.556 2604342 flip.py:564] node 127 adds BLACKHOLE: ALL ['182'] < ['127']
I1217 12:41:59.556 2604342 flip.py:564] node 188 adds BLACKHOLE: ALL ['182'] < ['188']
I1217 12:41:59.556 2604342 flip.py:564] node 169 adds BLACKHOLE: ALL ['182'] < ['169']
I1217 12:41:59.556 2604342 flip.py:564] node 63 adds BLACKHOLE: ALL ['119'] < ['63']
I1217 12:41:59.556 2604342 flip.py:564] node 64 adds BLACKHOLE: ALL ['119'] < ['64']
I1217 12:41:59.556 2604342 flip.py:564] node 125 adds BLACKHOLE: ALL ['119'] < ['125']
I1217 12:41:59.556 2604342 flip.py:564] node 106 adds BLACKHOLE: ALL ['119'] < ['106']
I1217 12:41:59.557 2604342 flip.py:564] node 0 adds BLACKHOLE: ALL ['56'] < ['0']
I1217 12:41:59.557 2604342 flip.py:564] node 1 adds BLACKHOLE: ALL ['56'] < ['1']
I1217 12:41:59.557 2604342 flip.py:564] node 62 adds BLACKHOLE: ALL ['56'] < ['62']
I1217 12:41:59.557 2604342 flip.py:564] node 43 adds BLACKHOLE: ALL ['56'] < ['43']
I1217 12:41:59.557 2604342 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['56']
I1217 12:41:59.557 2604342 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['56']
I1217 12:41:59.558 2604342 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['56']
I1217 12:41:59.558 2604342 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['56']
I1217 12:41:59.558 2604342 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['56']
I1217 12:41:59.558 2604342 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['56']
I1217 12:41:59.558 2604342 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['56']
I1217 12:41:59.559 2604342 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['56']
I1217 12:41:59.559 2604342 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['56']
I1217 12:41:59.559 2604342 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['119']
I1217 12:41:59.559 2604342 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['119']
I1217 12:41:59.559 2604342 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['119']
I1217 12:41:59.559 2604342 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 124 adds BLACKHOLE: ALL ['124'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['119']
I1217 12:41:59.560 2604342 flip.py:564] node 179 adds BLACKHOLE: ALL ['179'] < ['182']
I1217 12:41:59.560 2604342 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['182']
I1217 12:41:59.561 2604342 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['182']
I1217 12:41:59.562 2604342 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['245']
I1217 12:41:59.562 2604342 flip.py:564] node 236 adds BLACKHOLE: ALL ['236'] < ['245']
I1217 12:41:59.562 2604342 flip.py:564] node 235 adds BLACKHOLE: ALL ['235'] < ['245']
I1217 12:41:59.562 2604342 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['245']
I1217 12:41:59.562 2604342 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['245']
I1217 12:41:59.563 2604342 flip.py:564] node 250 adds BLACKHOLE: ALL ['250'] < ['245']
I1217 12:41:59.563 2604342 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['245']
I1217 12:41:59.563 2604342 flip.py:564] node 204 adds BLACKHOLE: ALL ['204'] < ['245']
I1217 12:41:59.563 2604342 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['245']
I1217 12:41:59.563 2604342 flip.py:564] node 305 adds BLACKHOLE: ALL ['305'] < ['308']
I1217 12:41:59.563 2604342 flip.py:564] node 299 adds BLACKHOLE: ALL ['299'] < ['308']
I1217 12:41:59.563 2604342 flip.py:564] node 298 adds BLACKHOLE: ALL ['298'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 255 adds BLACKHOLE: ALL ['255'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 274 adds BLACKHOLE: ALL ['274'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 313 adds BLACKHOLE: ALL ['313'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 267 adds BLACKHOLE: ALL ['267'] < ['308']
I1217 12:41:59.564 2604342 flip.py:564] node 294 adds BLACKHOLE: ALL ['294'] < ['308']
I1217 12:41:59.565 2604342 flip.py:564] node 368 adds BLACKHOLE: ALL ['368'] < ['371']
I1217 12:41:59.565 2604342 flip.py:564] node 362 adds BLACKHOLE: ALL ['362'] < ['371']
I1217 12:41:59.565 2604342 flip.py:564] node 361 adds BLACKHOLE: ALL ['361'] < ['371']
I1217 12:41:59.565 2604342 flip.py:564] node 318 adds BLACKHOLE: ALL ['318'] < ['371']
I1217 12:41:59.565 2604342 flip.py:564] node 337 adds BLACKHOLE: ALL ['337'] < ['371']
I1217 12:41:59.566 2604342 flip.py:564] node 376 adds BLACKHOLE: ALL ['376'] < ['371']
I1217 12:41:59.566 2604342 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['371']
I1217 12:41:59.566 2604342 flip.py:564] node 330 adds BLACKHOLE: ALL ['330'] < ['371']
I1217 12:41:59.566 2604342 flip.py:564] node 357 adds BLACKHOLE: ALL ['357'] < ['371']
I1217 12:41:59.566 2604342 flip.py:564] node 431 adds BLACKHOLE: ALL ['431'] < ['434']
I1217 12:41:59.566 2604342 flip.py:564] node 425 adds BLACKHOLE: ALL ['425'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 424 adds BLACKHOLE: ALL ['424'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 381 adds BLACKHOLE: ALL ['381'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 400 adds BLACKHOLE: ALL ['400'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 439 adds BLACKHOLE: ALL ['439'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 393 adds BLACKHOLE: ALL ['393'] < ['434']
I1217 12:41:59.567 2604342 flip.py:564] node 420 adds BLACKHOLE: ALL ['420'] < ['434']
I1217 12:41:59.568 2604342 flip.py:564] node 494 adds BLACKHOLE: ALL ['494'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 488 adds BLACKHOLE: ALL ['488'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 487 adds BLACKHOLE: ALL ['487'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 444 adds BLACKHOLE: ALL ['444'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 463 adds BLACKHOLE: ALL ['463'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 502 adds BLACKHOLE: ALL ['502'] < ['497']
I1217 12:41:59.568 2604342 flip.py:564] node 453 adds BLACKHOLE: ALL ['453'] < ['497']
I1217 12:41:59.569 2604342 flip.py:564] node 456 adds BLACKHOLE: ALL ['456'] < ['497']
I1217 12:41:59.569 2604342 flip.py:564] node 483 adds BLACKHOLE: ALL ['483'] < ['497']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:41:59.585 2604342 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 199, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='final')
  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 final configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 31, dst: 493, path: ['31', '14', '30', '56', '42', '15', '12', '61', '22', '3', '46', '47', '53', '54', '52', '94', '77', '93', '119', '105', '78', '75', '124', '85', '66', '109', '110', '116', '117', '115', '157', '140', '156', '182', '168', '141', '138', '187', '148', '129', '172', '173', '179', '180', '178', '220', '203', '219', '245', '231', '204', '201', '250', '211', '192', '235', '236', '242', '243', '241', '283', '266', '282', '308', '294', '267', '264', '313', '274', '255', '298', '299', '305', '306', '304', '346', '329', '345', '371', '357', '330', '327', '376', '337', '318', '361', '362', '368', '369', '367', '409', '392', '408', '434', '420', '393', '390', '439', '400', '381', '424', '425', '431', '432', '430', '472', '455', '471', '497', '483', '456', '453', '502', '463', '444', '487', '488', '494', '495', '493'], tags: {}> doesn't satisfy any of [['169']]
