Version: 1.13 
 _ data/zoo_json_cond_enf1/Belnet2010_4.json -f output/flip/data/zoo_json_cond_enf1/Belnet2010_4.json.subpaths
Flip subpaths generated in 0.159 seconds!
real 1.04
user 0.84
sys 0.06
<logging.Logger object at 0x7f5c95ef77d0>
I1217 12:44:20.292 2314100 flip.py:564] node 154 adds BLACKHOLE: ALL ['144'] < ['154']
I1217 12:44:20.293 2314100 flip.py:564] node 159 adds BLACKHOLE: ALL ['144'] < ['159']
I1217 12:44:20.293 2314100 flip.py:564] node 147 adds BLACKHOLE: ALL ['144'] < ['147']
I1217 12:44:20.293 2314100 flip.py:839] node 144 (green-white) adds POLICY: ALL ['124'] < ['144'] with dependencies []
I1217 12:44:20.293 2314100 flip.py:564] node 134 adds BLACKHOLE: ALL ['124'] < ['134']
I1217 12:44:20.293 2314100 flip.py:564] node 139 adds BLACKHOLE: ALL ['124'] < ['139']
I1217 12:44:20.294 2314100 flip.py:564] node 127 adds BLACKHOLE: ALL ['124'] < ['127']
I1217 12:44:20.294 2314100 flip.py:839] node 124 (green-white) adds POLICY: ALL ['104'] < ['124'] with dependencies []
I1217 12:44:20.294 2314100 flip.py:564] node 114 adds BLACKHOLE: ALL ['104'] < ['114']
I1217 12:44:20.294 2314100 flip.py:564] node 119 adds BLACKHOLE: ALL ['104'] < ['119']
I1217 12:44:20.294 2314100 flip.py:564] node 107 adds BLACKHOLE: ALL ['104'] < ['107']
I1217 12:44:20.295 2314100 flip.py:839] node 104 (green-white) adds POLICY: ALL ['84'] < ['104'] with dependencies []
I1217 12:44:20.295 2314100 flip.py:564] node 94 adds BLACKHOLE: ALL ['84'] < ['94']
I1217 12:44:20.295 2314100 flip.py:564] node 99 adds BLACKHOLE: ALL ['84'] < ['99']
I1217 12:44:20.295 2314100 flip.py:564] node 87 adds BLACKHOLE: ALL ['84'] < ['87']
I1217 12:44:20.295 2314100 flip.py:839] node 84 (green-white) adds POLICY: ALL ['64'] < ['84'] with dependencies []
I1217 12:44:20.296 2314100 flip.py:564] node 74 adds BLACKHOLE: ALL ['64'] < ['74']
I1217 12:44:20.296 2314100 flip.py:564] node 79 adds BLACKHOLE: ALL ['64'] < ['79']
I1217 12:44:20.296 2314100 flip.py:564] node 67 adds BLACKHOLE: ALL ['64'] < ['67']
I1217 12:44:20.296 2314100 flip.py:564] node 54 adds BLACKHOLE: ALL ['44'] < ['54']
I1217 12:44:20.296 2314100 flip.py:564] node 59 adds BLACKHOLE: ALL ['44'] < ['59']
I1217 12:44:20.296 2314100 flip.py:564] node 47 adds BLACKHOLE: ALL ['44'] < ['47']
I1217 12:44:20.297 2314100 flip.py:564] node 34 adds BLACKHOLE: ALL ['24'] < ['34']
I1217 12:44:20.297 2314100 flip.py:564] node 39 adds BLACKHOLE: ALL ['24'] < ['39']
I1217 12:44:20.297 2314100 flip.py:564] node 27 adds BLACKHOLE: ALL ['24'] < ['27']
I1217 12:44:20.297 2314100 flip.py:564] node 14 adds BLACKHOLE: ALL ['4'] < ['14']
I1217 12:44:20.297 2314100 flip.py:564] node 19 adds BLACKHOLE: ALL ['4'] < ['19']
I1217 12:44:20.297 2314100 flip.py:564] node 7 adds BLACKHOLE: ALL ['4'] < ['7']
I1217 12:44:20.298 2314100 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['4']
I1217 12:44:20.298 2314100 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['4']
I1217 12:44:20.298 2314100 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['4']
I1217 12:44:20.298 2314100 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['24']
I1217 12:44:20.298 2314100 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['24']
I1217 12:44:20.298 2314100 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['24']
I1217 12:44:20.298 2314100 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['44']
I1217 12:44:20.299 2314100 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['44']
I1217 12:44:20.299 2314100 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['44']
I1217 12:44:20.299 2314100 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['64']
I1217 12:44:20.299 2314100 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['64']
I1217 12:44:20.299 2314100 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['64']
I1217 12:44:20.299 2314100 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['84']
I1217 12:44:20.299 2314100 flip.py:564] node 97 adds BLACKHOLE: ALL ['97'] < ['84']
I1217 12:44:20.299 2314100 flip.py:564] node 98 adds BLACKHOLE: ALL ['98'] < ['84']
I1217 12:44:20.300 2314100 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['104']
I1217 12:44:20.300 2314100 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['104']
I1217 12:44:20.300 2314100 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['104']
I1217 12:44:20.300 2314100 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['124']
I1217 12:44:20.300 2314100 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['124']
I1217 12:44:20.300 2314100 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['124']
I1217 12:44:20.300 2314100 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['144']
I1217 12:44:20.301 2314100 flip.py:564] node 157 adds BLACKHOLE: ALL ['157'] < ['144']
I1217 12:44:20.301 2314100 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['144']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:20.312 2314100 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: 2, dst: 155, path: ['2', '3', '0', '4', '7', '19', '14', '15', '22', '23', '20', '24', '27', '39', '34', '35', '42', '43', '40', '44', '47', '59', '54', '55', '62', '63', '60', '64', '67', '79', '74', '75', '82', '83', '80', '84', '87', '99', '94', '95', '102', '103', '100', '104', '107', '119', '114', '115', '122', '123', '120', '124', '127', '139', '134', '135', '142', '143', '140', '144', '147', '159', '154', '155'], tags: {}> doesn't satisfy any of [['78']]
