Version: 1.13 
 _ data/zoo_json_cond_enf1/Ion_2.json -f output/flip/data/zoo_json_cond_enf1/Ion_2.json.subpaths
Flip subpaths generated in 0.185 seconds!
real 1.22
user 0.78
sys 0.09
<logging.Logger object at 0x7fd3fa1577d0>
I1217 12:44:20.289 2342522 flip.py:564] node 207 adds BLACKHOLE: ALL ['225'] < ['207']
I1217 12:44:20.290 2342522 flip.py:564] node 206 adds BLACKHOLE: ALL ['225'] < ['206']
I1217 12:44:20.290 2342522 flip.py:564] node 219 adds BLACKHOLE: ALL ['225'] < ['219']
I1217 12:44:20.290 2342522 flip.py:564] node 208 adds BLACKHOLE: ALL ['225'] < ['208']
I1217 12:44:20.291 2342522 flip.py:564] node 211 adds BLACKHOLE: ALL ['225'] < ['211']
I1217 12:44:20.291 2342522 flip.py:564] node 192 adds BLACKHOLE: ALL ['225'] < ['192']
I1217 12:44:20.291 2342522 flip.py:564] node 199 adds BLACKHOLE: ALL ['225'] < ['199']
I1217 12:44:20.291 2342522 flip.py:564] node 237 adds BLACKHOLE: ALL ['225'] < ['237']
I1217 12:44:20.292 2342522 flip.py:564] node 238 adds BLACKHOLE: ALL ['225'] < ['238']
I1217 12:44:20.292 2342522 flip.py:564] node 236 adds BLACKHOLE: ALL ['225'] < ['236']
I1217 12:44:20.292 2342522 flip.py:564] node 190 adds BLACKHOLE: ALL ['225'] < ['190']
I1217 12:44:20.292 2342522 flip.py:564] node 189 adds BLACKHOLE: ALL ['225'] < ['189']
I1217 12:44:20.293 2342522 flip.py:564] node 134 adds BLACKHOLE: ALL ['225'] < ['134']
I1217 12:44:20.293 2342522 flip.py:564] node 125 adds BLACKHOLE: ALL ['225'] < ['125']
I1217 12:44:20.293 2342522 flip.py:564] node 150 adds BLACKHOLE: ALL ['225'] < ['150']
I1217 12:44:20.293 2342522 flip.py:564] node 153 adds BLACKHOLE: ALL ['225'] < ['153']
I1217 12:44:20.293 2342522 flip.py:564] node 152 adds BLACKHOLE: ALL ['225'] < ['152']
I1217 12:44:20.293 2342522 flip.py:564] node 148 adds BLACKHOLE: ALL ['225'] < ['148']
I1217 12:44:20.294 2342522 flip.py:564] node 151 adds BLACKHOLE: ALL ['225'] < ['151']
I1217 12:44:20.294 2342522 flip.py:564] node 232 adds BLACKHOLE: ALL ['225'] < ['232']
I1217 12:44:20.294 2342522 flip.py:564] node 82 adds BLACKHOLE: ALL ['100'] < ['82']
I1217 12:44:20.295 2342522 flip.py:564] node 81 adds BLACKHOLE: ALL ['100'] < ['81']
I1217 12:44:20.295 2342522 flip.py:564] node 94 adds BLACKHOLE: ALL ['100'] < ['94']
I1217 12:44:20.295 2342522 flip.py:564] node 83 adds BLACKHOLE: ALL ['100'] < ['83']
I1217 12:44:20.295 2342522 flip.py:564] node 86 adds BLACKHOLE: ALL ['100'] < ['86']
I1217 12:44:20.296 2342522 flip.py:564] node 67 adds BLACKHOLE: ALL ['100'] < ['67']
I1217 12:44:20.296 2342522 flip.py:564] node 74 adds BLACKHOLE: ALL ['100'] < ['74']
I1217 12:44:20.296 2342522 flip.py:564] node 112 adds BLACKHOLE: ALL ['100'] < ['112']
I1217 12:44:20.296 2342522 flip.py:564] node 113 adds BLACKHOLE: ALL ['100'] < ['113']
I1217 12:44:20.297 2342522 flip.py:564] node 111 adds BLACKHOLE: ALL ['100'] < ['111']
I1217 12:44:20.297 2342522 flip.py:564] node 65 adds BLACKHOLE: ALL ['100'] < ['65']
I1217 12:44:20.297 2342522 flip.py:564] node 64 adds BLACKHOLE: ALL ['100'] < ['64']
I1217 12:44:20.297 2342522 flip.py:564] node 9 adds BLACKHOLE: ALL ['100'] < ['9']
I1217 12:44:20.298 2342522 flip.py:564] node 0 adds BLACKHOLE: ALL ['100'] < ['0']
I1217 12:44:20.298 2342522 flip.py:564] node 25 adds BLACKHOLE: ALL ['100'] < ['25']
I1217 12:44:20.298 2342522 flip.py:564] node 28 adds BLACKHOLE: ALL ['100'] < ['28']
I1217 12:44:20.298 2342522 flip.py:564] node 27 adds BLACKHOLE: ALL ['100'] < ['27']
I1217 12:44:20.298 2342522 flip.py:564] node 23 adds BLACKHOLE: ALL ['100'] < ['23']
I1217 12:44:20.298 2342522 flip.py:564] node 26 adds BLACKHOLE: ALL ['100'] < ['26']
I1217 12:44:20.298 2342522 flip.py:564] node 107 adds BLACKHOLE: ALL ['100'] < ['107']
I1217 12:44:20.299 2342522 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['100']
I1217 12:44:20.299 2342522 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['100']
I1217 12:44:20.300 2342522 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['100']
I1217 12:44:20.300 2342522 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['100']
I1217 12:44:20.300 2342522 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['100']
I1217 12:44:20.300 2342522 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['100']
I1217 12:44:20.301 2342522 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['100']
I1217 12:44:20.301 2342522 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['100']
I1217 12:44:20.301 2342522 flip.py:564] node 124 adds BLACKHOLE: ALL ['124'] < ['100']
I1217 12:44:20.301 2342522 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 19 adds BLACKHOLE: ALL ['19'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 11 adds BLACKHOLE: ALL ['11'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 10 adds BLACKHOLE: ALL ['10'] < ['100']
I1217 12:44:20.302 2342522 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['100']
I1217 12:44:20.303 2342522 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['100']
I1217 12:44:20.303 2342522 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['100']
I1217 12:44:20.303 2342522 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['225']
I1217 12:44:20.303 2342522 flip.py:564] node 205 adds BLACKHOLE: ALL ['205'] < ['225']
I1217 12:44:20.304 2342522 flip.py:564] node 202 adds BLACKHOLE: ALL ['202'] < ['225']
I1217 12:44:20.304 2342522 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['225']
I1217 12:44:20.304 2342522 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['225']
I1217 12:44:20.304 2342522 flip.py:564] node 174 adds BLACKHOLE: ALL ['174'] < ['225']
I1217 12:44:20.305 2342522 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['225']
I1217 12:44:20.305 2342522 flip.py:564] node 185 adds BLACKHOLE: ALL ['185'] < ['225']
I1217 12:44:20.305 2342522 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['225']
I1217 12:44:20.305 2342522 flip.py:564] node 184 adds BLACKHOLE: ALL ['184'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 144 adds BLACKHOLE: ALL ['144'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['225']
I1217 12:44:20.306 2342522 flip.py:564] node 183 adds BLACKHOLE: ALL ['183'] < ['225']
I1217 12:44:20.307 2342522 flip.py:564] node 217 adds BLACKHOLE: ALL ['217'] < ['225']
I1217 12:44:20.307 2342522 flip.py:564] node 133 adds BLACKHOLE: ALL ['133'] < ['225']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:20.318 2342522 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: 102, dst: 204, path: ['102', '103', '34', '33', '29', '105', '100', '8', '92', '58', '10', '11', '18', '13', '19', '59', '124', '60', '109', '49', '48', '78', '77', '80', '22', '79', '227', '228', '159', '158', '154', '230', '225', '133', '217', '183', '135', '136', '143', '138', '144', '184', '249', '185', '234', '174', '173', '203', '202', '205', '147', '204'], tags: {}> doesn't satisfy any of [['189']]
