Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr201112_4.json -f output/flip/data/zoo_json_cond_enf1/Garr201112_4.json.subpaths
Flip subpaths generated in 0.18 seconds!
real 0.80
user 0.88
sys 0.10
<logging.Logger object at 0x7f9e1c4ff7d0>
I1217 12:44:18.489 2606457 flip.py:564] node 402 adds BLACKHOLE: ALL ['447'] < ['402']
I1217 12:44:18.489 2606457 flip.py:839] node 447 (white-green) adds POLICY: ALL ['447'] < ['426'] with dependencies []
I1217 12:44:18.490 2606457 flip.py:564] node 406 adds BLACKHOLE: ALL ['426'] < ['406']
I1217 12:44:18.490 2606457 flip.py:839] node 426 (white-green) adds POLICY: ALL ['426'] < ['391'] with dependencies []
I1217 12:44:18.490 2606457 flip.py:564] node 346 adds BLACKHOLE: ALL ['391'] < ['346']
I1217 12:44:18.490 2606457 flip.py:839] node 391 (white-green) adds POLICY: ALL ['391'] < ['370'] with dependencies []
I1217 12:44:18.491 2606457 flip.py:564] node 350 adds BLACKHOLE: ALL ['370'] < ['350']
I1217 12:44:18.491 2606457 flip.py:839] node 370 (white-green) adds POLICY: ALL ['370'] < ['335'] with dependencies []
I1217 12:44:18.491 2606457 flip.py:564] node 290 adds BLACKHOLE: ALL ['335'] < ['290']
I1217 12:44:18.492 2606457 flip.py:839] node 335 (white-green) adds POLICY: ALL ['335'] < ['314'] with dependencies []
I1217 12:44:18.492 2606457 flip.py:564] node 294 adds BLACKHOLE: ALL ['314'] < ['294']
I1217 12:44:18.492 2606457 flip.py:564] node 234 adds BLACKHOLE: ALL ['279'] < ['234']
I1217 12:44:18.492 2606457 flip.py:564] node 238 adds BLACKHOLE: ALL ['258'] < ['238']
I1217 12:44:18.492 2606457 flip.py:564] node 178 adds BLACKHOLE: ALL ['223'] < ['178']
I1217 12:44:18.493 2606457 flip.py:564] node 182 adds BLACKHOLE: ALL ['202'] < ['182']
I1217 12:44:18.493 2606457 flip.py:564] node 122 adds BLACKHOLE: ALL ['167'] < ['122']
I1217 12:44:18.493 2606457 flip.py:564] node 126 adds BLACKHOLE: ALL ['146'] < ['126']
I1217 12:44:18.493 2606457 flip.py:564] node 66 adds BLACKHOLE: ALL ['111'] < ['66']
I1217 12:44:18.493 2606457 flip.py:564] node 70 adds BLACKHOLE: ALL ['90'] < ['70']
I1217 12:44:18.494 2606457 flip.py:564] node 10 adds BLACKHOLE: ALL ['55'] < ['10']
I1217 12:44:18.494 2606457 flip.py:564] node 14 adds BLACKHOLE: ALL ['34'] < ['14']
I1217 12:44:18.494 2606457 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['34']
I1217 12:44:18.494 2606457 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['34']
I1217 12:44:18.494 2606457 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['55']
I1217 12:44:18.494 2606457 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['90']
I1217 12:44:18.494 2606457 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['90']
I1217 12:44:18.495 2606457 flip.py:564] node 74 adds BLACKHOLE: ALL ['74'] < ['111']
I1217 12:44:18.495 2606457 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['146']
I1217 12:44:18.495 2606457 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['146']
I1217 12:44:18.495 2606457 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['167']
I1217 12:44:18.495 2606457 flip.py:564] node 205 adds BLACKHOLE: ALL ['205'] < ['202']
I1217 12:44:18.495 2606457 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['202']
I1217 12:44:18.495 2606457 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['223']
I1217 12:44:18.496 2606457 flip.py:564] node 261 adds BLACKHOLE: ALL ['261'] < ['258']
I1217 12:44:18.496 2606457 flip.py:564] node 259 adds BLACKHOLE: ALL ['259'] < ['258']
I1217 12:44:18.496 2606457 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['279']
I1217 12:44:18.496 2606457 flip.py:564] node 317 adds BLACKHOLE: ALL ['317'] < ['314']
I1217 12:44:18.496 2606457 flip.py:564] node 315 adds BLACKHOLE: ALL ['315'] < ['314']
I1217 12:44:18.496 2606457 flip.py:564] node 298 adds BLACKHOLE: ALL ['298'] < ['335']
I1217 12:44:18.496 2606457 flip.py:564] node 373 adds BLACKHOLE: ALL ['373'] < ['370']
I1217 12:44:18.497 2606457 flip.py:564] node 371 adds BLACKHOLE: ALL ['371'] < ['370']
I1217 12:44:18.497 2606457 flip.py:564] node 354 adds BLACKHOLE: ALL ['354'] < ['391']
I1217 12:44:18.497 2606457 flip.py:564] node 429 adds BLACKHOLE: ALL ['429'] < ['426']
I1217 12:44:18.497 2606457 flip.py:564] node 427 adds BLACKHOLE: ALL ['427'] < ['426']
I1217 12:44:18.497 2606457 flip.py:564] node 410 adds BLACKHOLE: ALL ['410'] < ['447']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:18.510 2606457 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: 33, dst: 404, path: ['33', '31', '34', '35', '37', '55', '18', '21', '20', '12', '89', '87', '90', '91', '93', '111', '74', '77', '76', '68', '145', '143', '146', '147', '149', '167', '130', '133', '132', '124', '201', '199', '202', '203', '205', '223', '186', '189', '188', '180', '257', '255', '258', '259', '261', '279', '242', '245', '244', '236', '313', '311', '314', '315', '317', '335', '298', '301', '300', '292', '369', '367', '370', '371', '373', '391', '354', '357', '356', '348', '425', '423', '426', '427', '429', '447', '410', '413', '412', '404'], tags: {}> doesn't satisfy any of [['294']]
