Version: 1.13 
 _ data/zoo_json_cond_enf1/DialtelecomCz_1.json -f output/flip/data/zoo_json_cond_enf1/DialtelecomCz_1.json.subpaths
Flip subpaths generated in 0.166 seconds!
real 1.60
user 0.79
sys 0.07
<logging.Logger object at 0x7fb77cf6f7d0>
I1217 12:42:00.907 2373394 flip.py:638] node 82 (82->88->82) adds LOOP: ANY ['82'] < ['88']
I1217 12:42:00.908 2373394 flip.py:638] node 62 (62->145->62) adds LOOP: ANY ['62'] < ['145']
I1217 12:42:00.908 2373394 flip.py:638] node 62 (62->88->62) adds LOOP: ANY ['88'] < ['62']
I1217 12:42:00.909 2373394 flip.py:638] node 145 (145->67->145) adds LOOP: ANY ['145'] < ['67']
I1217 12:42:00.912 2373394 flip.py:564] node 125 adds BLACKHOLE: ALL ['67'] < ['125']
I1217 12:42:00.912 2373394 flip.py:564] node 122 adds BLACKHOLE: ALL ['67'] < ['122']
I1217 12:42:00.913 2373394 flip.py:564] node 61 adds BLACKHOLE: ALL ['67'] < ['61']
I1217 12:42:00.913 2373394 flip.py:564] node 168 adds BLACKHOLE: ALL ['67'] < ['168']
I1217 12:42:00.913 2373394 flip.py:564] node 69 adds BLACKHOLE: ALL ['67'] < ['69']
I1217 12:42:00.913 2373394 flip.py:839] node 67 (green-white) adds POLICY: ALL ['145'] < ['67'] with dependencies []
I1217 12:42:00.914 2373394 flip.py:839] node 145 (green-white) adds POLICY: ALL ['62'] < ['145'] with dependencies []
I1217 12:42:00.914 2373394 flip.py:839] node 62 (green-white) adds POLICY: ALL ['88'] < ['62'] with dependencies []
I1217 12:42:00.914 2373394 flip.py:839] node 88 (green-white) adds POLICY: ALL ['82'] < ['88'] with dependencies []
I1217 12:42:00.914 2373394 flip.py:839] node 82 (green-white) adds POLICY: ALL ['44'] < ['82'] with dependencies []
I1217 12:42:00.915 2373394 flip.py:564] node 89 adds BLACKHOLE: ALL ['44'] < ['89']
I1217 12:42:00.915 2373394 flip.py:564] node 11 adds BLACKHOLE: ALL ['44'] < ['11']
I1217 12:42:00.916 2373394 flip.py:564] node 10 adds BLACKHOLE: ALL ['44'] < ['10']
I1217 12:42:00.916 2373394 flip.py:564] node 31 adds BLACKHOLE: ALL ['44'] < ['31']
I1217 12:42:00.916 2373394 flip.py:564] node 38 adds BLACKHOLE: ALL ['44'] < ['38']
I1217 12:42:00.917 2373394 flip.py:564] node 138 adds BLACKHOLE: ALL ['44'] < ['138']
I1217 12:42:00.917 2373394 flip.py:564] node 112 adds BLACKHOLE: ALL ['44'] < ['112']
I1217 12:42:00.917 2373394 flip.py:564] node 121 adds BLACKHOLE: ALL ['44'] < ['121']
I1217 12:42:00.917 2373394 flip.py:564] node 117 adds BLACKHOLE: ALL ['44'] < ['117']
I1217 12:42:00.917 2373394 flip.py:564] node 115 adds BLACKHOLE: ALL ['44'] < ['115']
I1217 12:42:00.918 2373394 flip.py:564] node 1 adds BLACKHOLE: ALL ['44'] < ['1']
I1217 12:42:00.918 2373394 flip.py:564] node 171 adds BLACKHOLE: ALL ['44'] < ['171']
I1217 12:42:00.918 2373394 flip.py:564] node 2 adds BLACKHOLE: ALL ['44'] < ['2']
I1217 12:42:00.918 2373394 flip.py:564] node 164 adds BLACKHOLE: ALL ['44'] < ['164']
I1217 12:42:00.918 2373394 flip.py:564] node 172 adds BLACKHOLE: ALL ['44'] < ['172']
I1217 12:42:00.918 2373394 flip.py:564] node 49 adds BLACKHOLE: ALL ['44'] < ['49']
I1217 12:42:00.919 2373394 flip.py:564] node 45 adds BLACKHOLE: ALL ['44'] < ['45']
I1217 12:42:00.919 2373394 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['44']
I1217 12:42:00.919 2373394 flip.py:564] node 144 adds BLACKHOLE: ALL ['144'] < ['44']
I1217 12:42:00.920 2373394 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['44']
I1217 12:42:00.920 2373394 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['44']
I1217 12:42:00.920 2373394 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['44']
I1217 12:42:00.921 2373394 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['44']
I1217 12:42:00.921 2373394 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['44']
I1217 12:42:00.921 2373394 flip.py:564] node 134 adds BLACKHOLE: ALL ['134'] < ['44']
I1217 12:42:00.921 2373394 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['44']
I1217 12:42:00.922 2373394 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['44']
I1217 12:42:00.922 2373394 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['44']
I1217 12:42:00.922 2373394 flip.py:564] node 191 adds BLACKHOLE: ALL ['191'] < ['44']
I1217 12:42:00.922 2373394 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['44']
I1217 12:42:00.923 2373394 flip.py:564] node 151 adds BLACKHOLE: ALL ['151'] < ['44']
I1217 12:42:00.923 2373394 flip.py:564] node 152 adds BLACKHOLE: ALL ['152'] < ['44']
I1217 12:42:00.923 2373394 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['44']
I1217 12:42:00.923 2373394 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['44']
I1217 12:42:00.923 2373394 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['44']
I1217 12:42:00.924 2373394 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['44']
I1217 12:42:00.924 2373394 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['44']
I1217 12:42:00.924 2373394 flip.py:564] node 155 adds BLACKHOLE: ALL ['155'] < ['44']
I1217 12:42:00.924 2373394 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['44']
I1217 12:42:00.924 2373394 flip.py:564] node 159 adds BLACKHOLE: ALL ['159'] < ['44']
I1217 12:42:00.925 2373394 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['82']
I1217 12:42:00.925 2373394 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['82']
I1217 12:42:00.925 2373394 flip.py:564] node 128 adds BLACKHOLE: ALL ['128'] < ['82']
I1217 12:42:00.925 2373394 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['82']
I1217 12:42:00.926 2373394 flip.py:564] node 23 adds BLACKHOLE: ALL ['23'] < ['82']
I1217 12:42:00.926 2373394 flip.py:564] node 20 adds BLACKHOLE: ALL ['20'] < ['82']
I1217 12:42:00.926 2373394 flip.py:564] node 26 adds BLACKHOLE: ALL ['26'] < ['82']
I1217 12:42:00.927 2373394 flip.py:564] node 27 adds BLACKHOLE: ALL ['27'] < ['82']
I1217 12:42:00.927 2373394 flip.py:564] node 100 adds BLACKHOLE: ALL ['100'] < ['82']
I1217 12:42:00.927 2373394 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['82']
I1217 12:42:00.927 2373394 flip.py:564] node 94 adds BLACKHOLE: ALL ['94'] < ['82']
I1217 12:42:00.927 2373394 flip.py:564] node 95 adds BLACKHOLE: ALL ['95'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['82']
I1217 12:42:00.928 2373394 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['82']
I1217 12:42:00.929 2373394 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['82']
I1217 12:42:00.929 2373394 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['82']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:00.940 2373394 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: 47, dst: 127, path: ['47', '44', '45', '49', '172', '164', '2', '171', '1', '115', '117', '121', '112', '138', '38', '31', '10', '11', '89', '82', '88', '62', '145', '67', '69', '168', '61', '122', '125', '124', '127'], tags: {}> doesn't satisfy any of [['70']]
