Version: 1.13 
 _ data/zoo_json_cond_enf1/DialtelecomCz_2.json -f output/flip/data/zoo_json_cond_enf1/DialtelecomCz_2.json.subpaths
Flip subpaths generated in 0.221 seconds!
real 1.16
user 0.82
sys 0.13
<logging.Logger object at 0x7f012e6877d0>
I1217 12:41:58.955 2604217 flip.py:564] node 338 adds BLACKHOLE: ALL ['380'] < ['338']
I1217 12:41:58.955 2604217 flip.py:564] node 255 adds BLACKHOLE: ALL ['380'] < ['255']
I1217 12:41:58.955 2604217 flip.py:564] node 281 adds BLACKHOLE: ALL ['380'] < ['281']
I1217 12:41:58.955 2604217 flip.py:564] node 275 adds BLACKHOLE: ALL ['380'] < ['275']
I1217 12:41:58.955 2604217 flip.py:564] node 282 adds BLACKHOLE: ALL ['380'] < ['282']
I1217 12:41:58.956 2604217 flip.py:564] node 204 adds BLACKHOLE: ALL ['380'] < ['204']
I1217 12:41:58.956 2604217 flip.py:564] node 203 adds BLACKHOLE: ALL ['380'] < ['203']
I1217 12:41:58.956 2604217 flip.py:564] node 224 adds BLACKHOLE: ALL ['380'] < ['224']
I1217 12:41:58.956 2604217 flip.py:564] node 231 adds BLACKHOLE: ALL ['380'] < ['231']
I1217 12:41:58.956 2604217 flip.py:564] node 331 adds BLACKHOLE: ALL ['380'] < ['331']
I1217 12:41:58.956 2604217 flip.py:564] node 332 adds BLACKHOLE: ALL ['380'] < ['332']
I1217 12:41:58.956 2604217 flip.py:839] node 380 (white-green) adds POLICY: ALL ['380'] < ['345'] with dependencies []
I1217 12:41:58.957 2604217 flip.py:564] node 383 adds BLACKHOLE: ALL ['345'] < ['383']
I1217 12:41:58.957 2604217 flip.py:564] node 384 adds BLACKHOLE: ALL ['345'] < ['384']
I1217 12:41:58.957 2604217 flip.py:564] node 385 adds BLACKHOLE: ALL ['345'] < ['385']
I1217 12:41:58.957 2604217 flip.py:564] node 344 adds BLACKHOLE: ALL ['345'] < ['344']
I1217 12:41:58.957 2604217 flip.py:839] node 345 (white-green) adds POLICY: ALL ['345'] < ['187'] with dependencies []
I1217 12:41:58.958 2604217 flip.py:564] node 145 adds BLACKHOLE: ALL ['187'] < ['145']
I1217 12:41:58.958 2604217 flip.py:564] node 62 adds BLACKHOLE: ALL ['187'] < ['62']
I1217 12:41:58.959 2604217 flip.py:564] node 88 adds BLACKHOLE: ALL ['187'] < ['88']
I1217 12:41:58.959 2604217 flip.py:564] node 82 adds BLACKHOLE: ALL ['187'] < ['82']
I1217 12:41:58.959 2604217 flip.py:564] node 89 adds BLACKHOLE: ALL ['187'] < ['89']
I1217 12:41:58.959 2604217 flip.py:564] node 11 adds BLACKHOLE: ALL ['187'] < ['11']
I1217 12:41:58.959 2604217 flip.py:564] node 10 adds BLACKHOLE: ALL ['187'] < ['10']
I1217 12:41:58.959 2604217 flip.py:564] node 31 adds BLACKHOLE: ALL ['187'] < ['31']
I1217 12:41:58.960 2604217 flip.py:564] node 38 adds BLACKHOLE: ALL ['187'] < ['38']
I1217 12:41:58.960 2604217 flip.py:564] node 138 adds BLACKHOLE: ALL ['187'] < ['138']
I1217 12:41:58.960 2604217 flip.py:564] node 139 adds BLACKHOLE: ALL ['187'] < ['139']
I1217 12:41:58.960 2604217 flip.py:564] node 190 adds BLACKHOLE: ALL ['152'] < ['190']
I1217 12:41:58.960 2604217 flip.py:564] node 191 adds BLACKHOLE: ALL ['152'] < ['191']
I1217 12:41:58.960 2604217 flip.py:564] node 192 adds BLACKHOLE: ALL ['152'] < ['192']
I1217 12:41:58.960 2604217 flip.py:564] node 151 adds BLACKHOLE: ALL ['152'] < ['151']
I1217 12:41:58.961 2604217 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['152']
I1217 12:41:58.961 2604217 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['152']
I1217 12:41:58.961 2604217 flip.py:564] node 98 adds BLACKHOLE: ALL ['98'] < ['152']
I1217 12:41:58.961 2604217 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['187']
I1217 12:41:58.961 2604217 flip.py:564] node 144 adds BLACKHOLE: ALL ['144'] < ['187']
I1217 12:41:58.961 2604217 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['187']
I1217 12:41:58.961 2604217 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 134 adds BLACKHOLE: ALL ['134'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['187']
I1217 12:41:58.962 2604217 flip.py:564] node 379 adds BLACKHOLE: ALL ['379'] < ['345']
I1217 12:41:58.963 2604217 flip.py:564] node 336 adds BLACKHOLE: ALL ['336'] < ['345']
I1217 12:41:58.963 2604217 flip.py:564] node 291 adds BLACKHOLE: ALL ['291'] < ['345']
I1217 12:41:58.963 2604217 flip.py:564] node 263 adds BLACKHOLE: ALL ['263'] < ['380']
I1217 12:41:58.963 2604217 flip.py:564] node 337 adds BLACKHOLE: ALL ['337'] < ['380']
I1217 12:41:58.963 2604217 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 325 adds BLACKHOLE: ALL ['325'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 328 adds BLACKHOLE: ALL ['328'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['380']
I1217 12:41:58.964 2604217 flip.py:564] node 330 adds BLACKHOLE: ALL ['330'] < ['380']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:41:58.975 2604217 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: 165, dst: 320, path: ['165', '161', '160', '37', '149', '147', '148', '153', '152', '98', '143', '186', '187', '137', '134', '135', '132', '73', '72', '71', '144', '70', '67', '69', '168', '61', '122', '125', '124', '127', '358', '354', '353', '230', '342', '340', '341', '346', '345', '291', '336', '379', '380', '330', '327', '328', '325', '266', '265', '264', '337', '263', '260', '262', '361', '254', '315', '318', '317', '320'], tags: {}> doesn't satisfy any of [['89']]
