Version: 1.13 
 _ data/zoo_json_cond_enf1/Bics_3.json -f output/flip/data/zoo_json_cond_enf1/Bics_3.json.subpaths
Flip subpaths generated in 0.21 seconds!
real 1.48
user 0.73
sys 0.10
<logging.Logger object at 0x7fa31b2e77d0>
I1217 12:43:45.283 2414690 flip.py:638] node 19 (19->1->19) adds LOOP: ANY ['1'] < ['19']
I1217 12:43:45.288 2414690 flip.py:638] node 32 (32->50->32) adds LOOP: ANY ['32'] < ['50']
I1217 12:43:45.291 2414690 flip.py:638] node 63 (63->81->63) adds LOOP: ANY ['63'] < ['81']
I1217 12:43:45.293 2414690 flip.py:638] node 94 (94->112->94) adds LOOP: ANY ['94'] < ['112']
I1217 12:43:45.293 2414690 flip.py:564] node 115 adds BLACKHOLE: ALL ['112'] < ['115']
I1217 12:43:45.294 2414690 flip.py:564] node 107 adds BLACKHOLE: ALL ['112'] < ['107']
I1217 12:43:45.294 2414690 flip.py:839] node 112 (green-white) adds POLICY: ALL ['94'] < ['112'] with dependencies []
I1217 12:43:45.294 2414690 flip.py:839] node 94 (green-white) adds POLICY: ALL ['110'] < ['94'] with dependencies []
I1217 12:43:45.294 2414690 flip.py:564] node 93 adds BLACKHOLE: ALL ['110'] < ['93']
I1217 12:43:45.294 2414690 flip.py:564] node 98 adds BLACKHOLE: ALL ['110'] < ['98']
I1217 12:43:45.295 2414690 flip.py:564] node 111 adds BLACKHOLE: ALL ['110'] < ['111']
I1217 12:43:45.295 2414690 flip.py:839] node 110 (green-white) adds POLICY: ALL ['81'] < ['110'] with dependencies []
I1217 12:43:45.295 2414690 flip.py:564] node 84 adds BLACKHOLE: ALL ['81'] < ['84']
I1217 12:43:45.295 2414690 flip.py:564] node 76 adds BLACKHOLE: ALL ['81'] < ['76']
I1217 12:43:45.295 2414690 flip.py:839] node 81 (green-white) adds POLICY: ALL ['63'] < ['81'] with dependencies []
I1217 12:43:45.296 2414690 flip.py:839] node 63 (green-white) adds POLICY: ALL ['79'] < ['63'] with dependencies []
I1217 12:43:45.296 2414690 flip.py:564] node 62 adds BLACKHOLE: ALL ['79'] < ['62']
I1217 12:43:45.296 2414690 flip.py:564] node 67 adds BLACKHOLE: ALL ['79'] < ['67']
I1217 12:43:45.296 2414690 flip.py:564] node 80 adds BLACKHOLE: ALL ['79'] < ['80']
I1217 12:43:45.296 2414690 flip.py:839] node 79 (green-white) adds POLICY: ALL ['50'] < ['79'] with dependencies []
I1217 12:43:45.297 2414690 flip.py:564] node 53 adds BLACKHOLE: ALL ['50'] < ['53']
I1217 12:43:45.297 2414690 flip.py:564] node 45 adds BLACKHOLE: ALL ['50'] < ['45']
I1217 12:43:45.297 2414690 flip.py:839] node 50 (green-white) adds POLICY: ALL ['32'] < ['50'] with dependencies []
I1217 12:43:45.297 2414690 flip.py:839] node 32 (green-white) adds POLICY: ALL ['48'] < ['32'] with dependencies []
I1217 12:43:45.297 2414690 flip.py:564] node 31 adds BLACKHOLE: ALL ['48'] < ['31']
I1217 12:43:45.297 2414690 flip.py:564] node 36 adds BLACKHOLE: ALL ['48'] < ['36']
I1217 12:43:45.297 2414690 flip.py:564] node 49 adds BLACKHOLE: ALL ['48'] < ['49']
I1217 12:43:45.298 2414690 flip.py:839] node 48 (green-white) adds POLICY: ALL ['19'] < ['48'] with dependencies []
I1217 12:43:45.298 2414690 flip.py:564] node 22 adds BLACKHOLE: ALL ['19'] < ['22']
I1217 12:43:45.298 2414690 flip.py:564] node 14 adds BLACKHOLE: ALL ['19'] < ['14']
I1217 12:43:45.298 2414690 flip.py:839] node 19 (green-white) adds POLICY: ALL ['1'] < ['19'] with dependencies []
I1217 12:43:45.298 2414690 flip.py:839] node 1 (green-white) adds POLICY: ALL ['17'] < ['1'] with dependencies []
I1217 12:43:45.299 2414690 flip.py:564] node 0 adds BLACKHOLE: ALL ['17'] < ['0']
I1217 12:43:45.299 2414690 flip.py:564] node 5 adds BLACKHOLE: ALL ['17'] < ['5']
I1217 12:43:45.299 2414690 flip.py:564] node 18 adds BLACKHOLE: ALL ['17'] < ['18']
I1217 12:43:45.299 2414690 flip.py:564] node 24 adds BLACKHOLE: ALL ['24'] < ['17']
I1217 12:43:45.299 2414690 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['17']
I1217 12:43:45.300 2414690 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['17']
I1217 12:43:45.300 2414690 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['17']
I1217 12:43:45.300 2414690 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['1']
I1217 12:43:45.300 2414690 flip.py:564] node 30 adds BLACKHOLE: ALL ['30'] < ['1']
I1217 12:43:45.300 2414690 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['1']
I1217 12:43:45.300 2414690 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['48']
I1217 12:43:45.300 2414690 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['48']
I1217 12:43:45.301 2414690 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['48']
I1217 12:43:45.301 2414690 flip.py:564] node 40 adds BLACKHOLE: ALL ['40'] < ['48']
I1217 12:43:45.301 2414690 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['32']
I1217 12:43:45.301 2414690 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['32']
I1217 12:43:45.301 2414690 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['32']
I1217 12:43:45.301 2414690 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['79']
I1217 12:43:45.301 2414690 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['79']
I1217 12:43:45.301 2414690 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['79']
I1217 12:43:45.301 2414690 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['79']
I1217 12:43:45.302 2414690 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['63']
I1217 12:43:45.302 2414690 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['63']
I1217 12:43:45.302 2414690 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['63']
I1217 12:43:45.302 2414690 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['110']
I1217 12:43:45.302 2414690 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['110']
I1217 12:43:45.302 2414690 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['110']
I1217 12:43:45.302 2414690 flip.py:564] node 102 adds BLACKHOLE: ALL ['102'] < ['110']
I1217 12:43:45.303 2414690 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['94']
I1217 12:43:45.303 2414690 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['94']
I1217 12:43:45.303 2414690 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['94']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:45.313 2414690 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: 17, dst: 121, path: ['17', '18', '5', '0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], tags: {}> doesn't satisfy any of [['8']]
