Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr201004_4.json -f output/flip/data/zoo_json_cond_enf1/Garr201004_4.json.subpaths
Flip subpaths generated in 0.229 seconds!
real 1.44
user 0.84
sys 0.08
<logging.Logger object at 0x7fe6cd77f7d0>
I1217 12:44:19.845 2388475 flip.py:564] node 371 adds BLACKHOLE: ALL ['359'] < ['371']
I1217 12:44:19.845 2388475 flip.py:564] node 373 adds BLACKHOLE: ALL ['359'] < ['373']
I1217 12:44:19.845 2388475 flip.py:564] node 391 adds BLACKHOLE: ALL ['359'] < ['391']
I1217 12:44:19.845 2388475 flip.py:839] node 359 (green-white) adds POLICY: ALL ['310'] < ['359'] with dependencies []
I1217 12:44:19.846 2388475 flip.py:564] node 322 adds BLACKHOLE: ALL ['310'] < ['322']
I1217 12:44:19.846 2388475 flip.py:564] node 324 adds BLACKHOLE: ALL ['310'] < ['324']
I1217 12:44:19.846 2388475 flip.py:564] node 342 adds BLACKHOLE: ALL ['310'] < ['342']
I1217 12:44:19.846 2388475 flip.py:839] node 310 (green-white) adds POLICY: ALL ['261'] < ['310'] with dependencies []
I1217 12:44:19.847 2388475 flip.py:564] node 273 adds BLACKHOLE: ALL ['261'] < ['273']
I1217 12:44:19.847 2388475 flip.py:564] node 275 adds BLACKHOLE: ALL ['261'] < ['275']
I1217 12:44:19.847 2388475 flip.py:564] node 293 adds BLACKHOLE: ALL ['261'] < ['293']
I1217 12:44:19.847 2388475 flip.py:839] node 261 (green-white) adds POLICY: ALL ['212'] < ['261'] with dependencies []
I1217 12:44:19.848 2388475 flip.py:564] node 224 adds BLACKHOLE: ALL ['212'] < ['224']
I1217 12:44:19.848 2388475 flip.py:564] node 226 adds BLACKHOLE: ALL ['212'] < ['226']
I1217 12:44:19.848 2388475 flip.py:564] node 244 adds BLACKHOLE: ALL ['212'] < ['244']
I1217 12:44:19.848 2388475 flip.py:839] node 212 (green-white) adds POLICY: ALL ['163'] < ['212'] with dependencies []
I1217 12:44:19.849 2388475 flip.py:564] node 175 adds BLACKHOLE: ALL ['163'] < ['175']
I1217 12:44:19.849 2388475 flip.py:564] node 177 adds BLACKHOLE: ALL ['163'] < ['177']
I1217 12:44:19.849 2388475 flip.py:564] node 195 adds BLACKHOLE: ALL ['163'] < ['195']
I1217 12:44:19.849 2388475 flip.py:839] node 163 (green-white) adds POLICY: ALL ['114'] < ['163'] with dependencies []
I1217 12:44:19.850 2388475 flip.py:564] node 126 adds BLACKHOLE: ALL ['114'] < ['126']
I1217 12:44:19.850 2388475 flip.py:564] node 128 adds BLACKHOLE: ALL ['114'] < ['128']
I1217 12:44:19.850 2388475 flip.py:564] node 146 adds BLACKHOLE: ALL ['114'] < ['146']
I1217 12:44:19.850 2388475 flip.py:839] node 114 (green-white) adds POLICY: ALL ['65'] < ['114'] with dependencies []
I1217 12:44:19.851 2388475 flip.py:564] node 77 adds BLACKHOLE: ALL ['65'] < ['77']
I1217 12:44:19.851 2388475 flip.py:564] node 79 adds BLACKHOLE: ALL ['65'] < ['79']
I1217 12:44:19.851 2388475 flip.py:564] node 97 adds BLACKHOLE: ALL ['65'] < ['97']
I1217 12:44:19.851 2388475 flip.py:839] node 65 (green-white) adds POLICY: ALL ['16'] < ['65'] with dependencies []
I1217 12:44:19.852 2388475 flip.py:564] node 28 adds BLACKHOLE: ALL ['16'] < ['28']
I1217 12:44:19.852 2388475 flip.py:564] node 30 adds BLACKHOLE: ALL ['16'] < ['30']
I1217 12:44:19.852 2388475 flip.py:564] node 48 adds BLACKHOLE: ALL ['16'] < ['48']
I1217 12:44:19.852 2388475 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['16']
I1217 12:44:19.852 2388475 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['16']
I1217 12:44:19.852 2388475 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['65']
I1217 12:44:19.853 2388475 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['65']
I1217 12:44:19.853 2388475 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['114']
I1217 12:44:19.853 2388475 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['114']
I1217 12:44:19.853 2388475 flip.py:564] node 159 adds BLACKHOLE: ALL ['159'] < ['163']
I1217 12:44:19.853 2388475 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['163']
I1217 12:44:19.853 2388475 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['212']
I1217 12:44:19.853 2388475 flip.py:564] node 238 adds BLACKHOLE: ALL ['238'] < ['212']
I1217 12:44:19.854 2388475 flip.py:564] node 257 adds BLACKHOLE: ALL ['257'] < ['261']
I1217 12:44:19.854 2388475 flip.py:564] node 287 adds BLACKHOLE: ALL ['287'] < ['261']
I1217 12:44:19.854 2388475 flip.py:564] node 306 adds BLACKHOLE: ALL ['306'] < ['310']
I1217 12:44:19.854 2388475 flip.py:564] node 336 adds BLACKHOLE: ALL ['336'] < ['310']
I1217 12:44:19.854 2388475 flip.py:564] node 355 adds BLACKHOLE: ALL ['355'] < ['359']
I1217 12:44:19.854 2388475 flip.py:564] node 385 adds BLACKHOLE: ALL ['385'] < ['359']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:19.865 2388475 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: 10, dst: 357, path: ['10', '18', '19', '16', '48', '30', '28', '27', '14', '59', '67', '68', '65', '97', '79', '77', '76', '63', '108', '116', '117', '114', '146', '128', '126', '125', '112', '157', '165', '166', '163', '195', '177', '175', '174', '161', '206', '214', '215', '212', '244', '226', '224', '223', '210', '255', '263', '264', '261', '293', '275', '273', '272', '259', '304', '312', '313', '310', '342', '324', '322', '321', '308', '353', '361', '362', '359', '391', '373', '371', '370', '357'], tags: {}> doesn't satisfy any of [['12']]
