Version: 1.13 
 _ data/zoo_json_cond_enf1/Aarnet_4.json -f output/flip/data/zoo_json_cond_enf1/Aarnet_4.json.subpaths
Flip subpaths generated in 0.175 seconds!
real 0.60
user 0.96
sys 0.06
<logging.Logger object at 0x7fbc884ef7d0>
I1217 12:44:18.468 2606410 flip.py:638] node 13 (13->14->13) adds LOOP: ANY ['14'] < ['13']
I1217 12:44:18.477 2606410 flip.py:638] node 33 (33->32->33) adds LOOP: ANY ['33'] < ['32']
I1217 12:44:18.483 2606410 flip.py:638] node 51 (51->52->51) adds LOOP: ANY ['52'] < ['51']
I1217 12:44:18.490 2606410 flip.py:638] node 71 (71->70->71) adds LOOP: ANY ['71'] < ['70']
I1217 12:44:18.494 2606410 flip.py:638] node 90 (90->89->90) adds LOOP: ANY ['90'] < ['89']
I1217 12:44:18.498 2606410 flip.py:638] node 108 (108->109->108) adds LOOP: ANY ['109'] < ['108']
I1217 12:44:18.501 2606410 flip.py:638] node 128 (128->127->128) adds LOOP: ANY ['128'] < ['127']
I1217 12:44:18.503 2606410 flip.py:638] node 146 (146->147->146) adds LOOP: ANY ['147'] < ['146']
I1217 12:44:18.503 2606410 flip.py:564] node 143 adds BLACKHOLE: ALL ['146'] < ['143']
I1217 12:44:18.503 2606410 flip.py:564] node 135 adds BLACKHOLE: ALL ['146'] < ['135']
I1217 12:44:18.503 2606410 flip.py:564] node 148 adds BLACKHOLE: ALL ['146'] < ['148']
I1217 12:44:18.504 2606410 flip.py:839] node 146 (white-green) adds POLICY: ALL ['146'] < ['151'] with dependencies []
I1217 12:44:18.504 2606410 flip.py:839] node 147 (white-green) adds POLICY: ALL ['147'] < ['146'] with dependencies []
I1217 12:44:18.504 2606410 flip.py:564] node 150 adds BLACKHOLE: ALL ['151'] < ['150']
I1217 12:44:18.504 2606410 flip.py:839] node 151 (white-green) adds POLICY: ALL ['151'] < ['128'] with dependencies []
I1217 12:44:18.505 2606410 flip.py:564] node 124 adds BLACKHOLE: ALL ['127'] < ['124']
I1217 12:44:18.505 2606410 flip.py:564] node 116 adds BLACKHOLE: ALL ['127'] < ['116']
I1217 12:44:18.505 2606410 flip.py:564] node 129 adds BLACKHOLE: ALL ['127'] < ['129']
I1217 12:44:18.505 2606410 flip.py:839] node 127 (white-green) adds POLICY: ALL ['127'] < ['132'] with dependencies []
I1217 12:44:18.505 2606410 flip.py:839] node 128 (white-green) adds POLICY: ALL ['128'] < ['127'] with dependencies []
I1217 12:44:18.505 2606410 flip.py:564] node 131 adds BLACKHOLE: ALL ['132'] < ['131']
I1217 12:44:18.506 2606410 flip.py:839] node 132 (white-green) adds POLICY: ALL ['132'] < ['109'] with dependencies []
I1217 12:44:18.506 2606410 flip.py:564] node 105 adds BLACKHOLE: ALL ['108'] < ['105']
I1217 12:44:18.506 2606410 flip.py:564] node 97 adds BLACKHOLE: ALL ['108'] < ['97']
I1217 12:44:18.506 2606410 flip.py:564] node 110 adds BLACKHOLE: ALL ['108'] < ['110']
I1217 12:44:18.506 2606410 flip.py:839] node 108 (white-green) adds POLICY: ALL ['108'] < ['113'] with dependencies []
I1217 12:44:18.507 2606410 flip.py:839] node 109 (white-green) adds POLICY: ALL ['109'] < ['108'] with dependencies []
I1217 12:44:18.507 2606410 flip.py:564] node 112 adds BLACKHOLE: ALL ['113'] < ['112']
I1217 12:44:18.507 2606410 flip.py:839] node 113 (white-green) adds POLICY: ALL ['113'] < ['90'] with dependencies []
I1217 12:44:18.508 2606410 flip.py:564] node 86 adds BLACKHOLE: ALL ['89'] < ['86']
I1217 12:44:18.508 2606410 flip.py:564] node 78 adds BLACKHOLE: ALL ['89'] < ['78']
I1217 12:44:18.508 2606410 flip.py:564] node 91 adds BLACKHOLE: ALL ['89'] < ['91']
I1217 12:44:18.508 2606410 flip.py:839] node 89 (white-green) adds POLICY: ALL ['89'] < ['94'] with dependencies []
I1217 12:44:18.508 2606410 flip.py:839] node 90 (white-green) adds POLICY: ALL ['90'] < ['89'] with dependencies []
I1217 12:44:18.508 2606410 flip.py:564] node 93 adds BLACKHOLE: ALL ['94'] < ['93']
I1217 12:44:18.509 2606410 flip.py:839] node 94 (white-green) adds POLICY: ALL ['94'] < ['71'] with dependencies []
I1217 12:44:18.509 2606410 flip.py:564] node 67 adds BLACKHOLE: ALL ['70'] < ['67']
I1217 12:44:18.509 2606410 flip.py:564] node 59 adds BLACKHOLE: ALL ['70'] < ['59']
I1217 12:44:18.509 2606410 flip.py:564] node 72 adds BLACKHOLE: ALL ['70'] < ['72']
I1217 12:44:18.509 2606410 flip.py:564] node 74 adds BLACKHOLE: ALL ['75'] < ['74']
I1217 12:44:18.510 2606410 flip.py:564] node 48 adds BLACKHOLE: ALL ['51'] < ['48']
I1217 12:44:18.510 2606410 flip.py:564] node 40 adds BLACKHOLE: ALL ['51'] < ['40']
I1217 12:44:18.510 2606410 flip.py:564] node 53 adds BLACKHOLE: ALL ['51'] < ['53']
I1217 12:44:18.510 2606410 flip.py:564] node 55 adds BLACKHOLE: ALL ['56'] < ['55']
I1217 12:44:18.510 2606410 flip.py:564] node 29 adds BLACKHOLE: ALL ['32'] < ['29']
I1217 12:44:18.511 2606410 flip.py:564] node 21 adds BLACKHOLE: ALL ['32'] < ['21']
I1217 12:44:18.511 2606410 flip.py:564] node 34 adds BLACKHOLE: ALL ['32'] < ['34']
I1217 12:44:18.511 2606410 flip.py:564] node 36 adds BLACKHOLE: ALL ['37'] < ['36']
I1217 12:44:18.511 2606410 flip.py:564] node 10 adds BLACKHOLE: ALL ['13'] < ['10']
I1217 12:44:18.511 2606410 flip.py:564] node 2 adds BLACKHOLE: ALL ['13'] < ['2']
I1217 12:44:18.511 2606410 flip.py:564] node 15 adds BLACKHOLE: ALL ['13'] < ['15']
I1217 12:44:18.512 2606410 flip.py:564] node 17 adds BLACKHOLE: ALL ['18'] < ['17']
I1217 12:44:18.512 2606410 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['14']
I1217 12:44:18.512 2606410 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['14']
I1217 12:44:18.512 2606410 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['33']
I1217 12:44:18.512 2606410 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['33']
I1217 12:44:18.512 2606410 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['52']
I1217 12:44:18.512 2606410 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['52']
I1217 12:44:18.512 2606410 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['71']
I1217 12:44:18.512 2606410 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['71']
I1217 12:44:18.513 2606410 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['90']
I1217 12:44:18.513 2606410 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['90']
I1217 12:44:18.513 2606410 flip.py:564] node 98 adds BLACKHOLE: ALL ['98'] < ['109']
I1217 12:44:18.513 2606410 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['109']
I1217 12:44:18.513 2606410 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['128']
I1217 12:44:18.513 2606410 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['128']
I1217 12:44:18.513 2606410 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['147']
I1217 12:44:18.514 2606410 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['147']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:18.526 2606410 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: 18, dst: 138, path: ['18', '13', '14', '16', '3', '0', '6', '7', '4', '5', '37', '32', '33', '35', '22', '19', '25', '26', '23', '24', '56', '51', '52', '54', '41', '38', '44', '45', '42', '43', '75', '70', '71', '73', '60', '57', '63', '64', '61', '62', '94', '89', '90', '92', '79', '76', '82', '83', '80', '81', '113', '108', '109', '111', '98', '95', '101', '102', '99', '100', '132', '127', '128', '130', '117', '114', '120', '121', '118', '119', '151', '146', '147', '149', '136', '133', '139', '140', '137', '138'], tags: {}> doesn't satisfy any of [['67']]
