Version: 1.13 
 _ data/zoo_json_cond_enf1/Cesnet201006_4.json -f output/flip/data/zoo_json_cond_enf1/Cesnet201006_4.json.subpaths
Flip subpaths generated in 0.225 seconds!
real 1.60
user 0.88
sys 0.11
<logging.Logger object at 0x7fd4c9d477d0>
I1217 12:42:00.277 2479092 flip.py:564] node 373 adds BLACKHOLE: ALL ['415'] < ['373']
I1217 12:42:00.277 2479092 flip.py:564] node 370 adds BLACKHOLE: ALL ['415'] < ['370']
I1217 12:42:00.277 2479092 flip.py:564] node 369 adds BLACKHOLE: ALL ['415'] < ['369']
I1217 12:42:00.277 2479092 flip.py:564] node 371 adds BLACKHOLE: ALL ['415'] < ['371']
I1217 12:42:00.277 2479092 flip.py:564] node 384 adds BLACKHOLE: ALL ['415'] < ['384']
I1217 12:42:00.278 2479092 flip.py:564] node 366 adds BLACKHOLE: ALL ['415'] < ['366']
I1217 12:42:00.278 2479092 flip.py:839] node 415 (white-green) adds POLICY: ALL ['415'] < ['363'] with dependencies []
I1217 12:42:00.278 2479092 flip.py:564] node 321 adds BLACKHOLE: ALL ['363'] < ['321']
I1217 12:42:00.278 2479092 flip.py:564] node 318 adds BLACKHOLE: ALL ['363'] < ['318']
I1217 12:42:00.279 2479092 flip.py:564] node 317 adds BLACKHOLE: ALL ['363'] < ['317']
I1217 12:42:00.279 2479092 flip.py:564] node 319 adds BLACKHOLE: ALL ['363'] < ['319']
I1217 12:42:00.279 2479092 flip.py:564] node 332 adds BLACKHOLE: ALL ['363'] < ['332']
I1217 12:42:00.279 2479092 flip.py:564] node 314 adds BLACKHOLE: ALL ['363'] < ['314']
I1217 12:42:00.279 2479092 flip.py:839] node 363 (white-green) adds POLICY: ALL ['363'] < ['311'] with dependencies []
I1217 12:42:00.280 2479092 flip.py:564] node 269 adds BLACKHOLE: ALL ['311'] < ['269']
I1217 12:42:00.280 2479092 flip.py:564] node 266 adds BLACKHOLE: ALL ['311'] < ['266']
I1217 12:42:00.280 2479092 flip.py:564] node 265 adds BLACKHOLE: ALL ['311'] < ['265']
I1217 12:42:00.280 2479092 flip.py:564] node 267 adds BLACKHOLE: ALL ['311'] < ['267']
I1217 12:42:00.280 2479092 flip.py:564] node 280 adds BLACKHOLE: ALL ['311'] < ['280']
I1217 12:42:00.281 2479092 flip.py:564] node 262 adds BLACKHOLE: ALL ['311'] < ['262']
I1217 12:42:00.281 2479092 flip.py:839] node 311 (white-green) adds POLICY: ALL ['311'] < ['259'] with dependencies []
I1217 12:42:00.281 2479092 flip.py:564] node 217 adds BLACKHOLE: ALL ['259'] < ['217']
I1217 12:42:00.281 2479092 flip.py:564] node 214 adds BLACKHOLE: ALL ['259'] < ['214']
I1217 12:42:00.282 2479092 flip.py:564] node 213 adds BLACKHOLE: ALL ['259'] < ['213']
I1217 12:42:00.282 2479092 flip.py:564] node 215 adds BLACKHOLE: ALL ['259'] < ['215']
I1217 12:42:00.282 2479092 flip.py:564] node 228 adds BLACKHOLE: ALL ['259'] < ['228']
I1217 12:42:00.282 2479092 flip.py:564] node 210 adds BLACKHOLE: ALL ['259'] < ['210']
I1217 12:42:00.282 2479092 flip.py:839] node 259 (white-green) adds POLICY: ALL ['259'] < ['207'] with dependencies []
I1217 12:42:00.283 2479092 flip.py:564] node 165 adds BLACKHOLE: ALL ['207'] < ['165']
I1217 12:42:00.283 2479092 flip.py:564] node 162 adds BLACKHOLE: ALL ['207'] < ['162']
I1217 12:42:00.283 2479092 flip.py:564] node 161 adds BLACKHOLE: ALL ['207'] < ['161']
I1217 12:42:00.283 2479092 flip.py:564] node 163 adds BLACKHOLE: ALL ['207'] < ['163']
I1217 12:42:00.283 2479092 flip.py:564] node 176 adds BLACKHOLE: ALL ['207'] < ['176']
I1217 12:42:00.283 2479092 flip.py:564] node 158 adds BLACKHOLE: ALL ['207'] < ['158']
I1217 12:42:00.284 2479092 flip.py:839] node 207 (white-green) adds POLICY: ALL ['207'] < ['155'] with dependencies []
I1217 12:42:00.284 2479092 flip.py:564] node 113 adds BLACKHOLE: ALL ['155'] < ['113']
I1217 12:42:00.284 2479092 flip.py:564] node 110 adds BLACKHOLE: ALL ['155'] < ['110']
I1217 12:42:00.284 2479092 flip.py:564] node 109 adds BLACKHOLE: ALL ['155'] < ['109']
I1217 12:42:00.285 2479092 flip.py:564] node 111 adds BLACKHOLE: ALL ['155'] < ['111']
I1217 12:42:00.285 2479092 flip.py:564] node 124 adds BLACKHOLE: ALL ['155'] < ['124']
I1217 12:42:00.285 2479092 flip.py:564] node 106 adds BLACKHOLE: ALL ['155'] < ['106']
I1217 12:42:00.285 2479092 flip.py:564] node 61 adds BLACKHOLE: ALL ['103'] < ['61']
I1217 12:42:00.285 2479092 flip.py:564] node 58 adds BLACKHOLE: ALL ['103'] < ['58']
I1217 12:42:00.286 2479092 flip.py:564] node 57 adds BLACKHOLE: ALL ['103'] < ['57']
I1217 12:42:00.286 2479092 flip.py:564] node 59 adds BLACKHOLE: ALL ['103'] < ['59']
I1217 12:42:00.286 2479092 flip.py:564] node 72 adds BLACKHOLE: ALL ['103'] < ['72']
I1217 12:42:00.286 2479092 flip.py:564] node 54 adds BLACKHOLE: ALL ['103'] < ['54']
I1217 12:42:00.286 2479092 flip.py:564] node 9 adds BLACKHOLE: ALL ['51'] < ['9']
I1217 12:42:00.286 2479092 flip.py:564] node 6 adds BLACKHOLE: ALL ['51'] < ['6']
I1217 12:42:00.287 2479092 flip.py:564] node 5 adds BLACKHOLE: ALL ['51'] < ['5']
I1217 12:42:00.287 2479092 flip.py:564] node 7 adds BLACKHOLE: ALL ['51'] < ['7']
I1217 12:42:00.287 2479092 flip.py:564] node 20 adds BLACKHOLE: ALL ['51'] < ['20']
I1217 12:42:00.287 2479092 flip.py:564] node 2 adds BLACKHOLE: ALL ['51'] < ['2']
I1217 12:42:00.287 2479092 flip.py:564] node 11 adds BLACKHOLE: ALL ['11'] < ['51']
I1217 12:42:00.287 2479092 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['51']
I1217 12:42:00.287 2479092 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['51']
I1217 12:42:00.288 2479092 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['103']
I1217 12:42:00.288 2479092 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['103']
I1217 12:42:00.288 2479092 flip.py:564] node 100 adds BLACKHOLE: ALL ['100'] < ['103']
I1217 12:42:00.288 2479092 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['155']
I1217 12:42:00.288 2479092 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['155']
I1217 12:42:00.288 2479092 flip.py:564] node 152 adds BLACKHOLE: ALL ['152'] < ['155']
I1217 12:42:00.288 2479092 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['207']
I1217 12:42:00.289 2479092 flip.py:564] node 156 adds BLACKHOLE: ALL ['156'] < ['207']
I1217 12:42:00.289 2479092 flip.py:564] node 204 adds BLACKHOLE: ALL ['204'] < ['207']
I1217 12:42:00.289 2479092 flip.py:564] node 219 adds BLACKHOLE: ALL ['219'] < ['259']
I1217 12:42:00.289 2479092 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['259']
I1217 12:42:00.289 2479092 flip.py:564] node 256 adds BLACKHOLE: ALL ['256'] < ['259']
I1217 12:42:00.289 2479092 flip.py:564] node 271 adds BLACKHOLE: ALL ['271'] < ['311']
I1217 12:42:00.289 2479092 flip.py:564] node 260 adds BLACKHOLE: ALL ['260'] < ['311']
I1217 12:42:00.290 2479092 flip.py:564] node 308 adds BLACKHOLE: ALL ['308'] < ['311']
I1217 12:42:00.290 2479092 flip.py:564] node 323 adds BLACKHOLE: ALL ['323'] < ['363']
I1217 12:42:00.290 2479092 flip.py:564] node 312 adds BLACKHOLE: ALL ['312'] < ['363']
I1217 12:42:00.290 2479092 flip.py:564] node 360 adds BLACKHOLE: ALL ['360'] < ['363']
I1217 12:42:00.290 2479092 flip.py:564] node 375 adds BLACKHOLE: ALL ['375'] < ['415']
I1217 12:42:00.290 2479092 flip.py:564] node 364 adds BLACKHOLE: ALL ['364'] < ['415']
I1217 12:42:00.290 2479092 flip.py:564] node 412 adds BLACKHOLE: ALL ['412'] < ['415']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:00.303 2479092 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: 34, dst: 382, path: ['34', '51', '48', '0', '11', '36', '18', '86', '103', '100', '52', '63', '88', '70', '138', '155', '152', '104', '115', '140', '122', '190', '207', '204', '156', '167', '192', '174', '242', '259', '256', '208', '219', '244', '226', '294', '311', '308', '260', '271', '296', '278', '346', '363', '360', '312', '323', '348', '330', '398', '415', '412', '364', '375', '400', '382'], tags: {}> doesn't satisfy any of [['124']]
