Version: 1.13 
 _ data/zoo_json_cond_enf1/Geant2010_3.json -f output/flip/data/zoo_json_cond_enf1/Geant2010_3.json.subpaths
Flip subpaths generated in 0.171 seconds!
real 0.58
user 0.76
sys 0.13
<logging.Logger object at 0x7fdbbba477d0>
I1217 12:44:18.114 2481134 flip.py:564] node 97 adds BLACKHOLE: ALL ['109'] < ['97']
I1217 12:44:18.114 2481134 flip.py:564] node 96 adds BLACKHOLE: ALL ['109'] < ['96']
I1217 12:44:18.115 2481134 flip.py:564] node 98 adds BLACKHOLE: ALL ['109'] < ['98']
I1217 12:44:18.115 2481134 flip.py:564] node 100 adds BLACKHOLE: ALL ['109'] < ['100']
I1217 12:44:18.115 2481134 flip.py:564] node 122 adds BLACKHOLE: ALL ['109'] < ['122']
I1217 12:44:18.115 2481134 flip.py:839] node 109 (white-green) adds POLICY: ALL ['109'] < ['77'] with dependencies []
I1217 12:44:18.116 2481134 flip.py:564] node 65 adds BLACKHOLE: ALL ['77'] < ['65']
I1217 12:44:18.116 2481134 flip.py:564] node 64 adds BLACKHOLE: ALL ['77'] < ['64']
I1217 12:44:18.116 2481134 flip.py:564] node 66 adds BLACKHOLE: ALL ['77'] < ['66']
I1217 12:44:18.116 2481134 flip.py:564] node 68 adds BLACKHOLE: ALL ['77'] < ['68']
I1217 12:44:18.116 2481134 flip.py:564] node 90 adds BLACKHOLE: ALL ['77'] < ['90']
I1217 12:44:18.116 2481134 flip.py:839] node 77 (white-green) adds POLICY: ALL ['77'] < ['45'] with dependencies []
I1217 12:44:18.117 2481134 flip.py:564] node 33 adds BLACKHOLE: ALL ['45'] < ['33']
I1217 12:44:18.117 2481134 flip.py:564] node 32 adds BLACKHOLE: ALL ['45'] < ['32']
I1217 12:44:18.117 2481134 flip.py:564] node 34 adds BLACKHOLE: ALL ['45'] < ['34']
I1217 12:44:18.117 2481134 flip.py:564] node 36 adds BLACKHOLE: ALL ['45'] < ['36']
I1217 12:44:18.117 2481134 flip.py:564] node 58 adds BLACKHOLE: ALL ['45'] < ['58']
I1217 12:44:18.118 2481134 flip.py:564] node 1 adds BLACKHOLE: ALL ['13'] < ['1']
I1217 12:44:18.118 2481134 flip.py:564] node 0 adds BLACKHOLE: ALL ['13'] < ['0']
I1217 12:44:18.118 2481134 flip.py:564] node 2 adds BLACKHOLE: ALL ['13'] < ['2']
I1217 12:44:18.118 2481134 flip.py:564] node 4 adds BLACKHOLE: ALL ['13'] < ['4']
I1217 12:44:18.118 2481134 flip.py:564] node 26 adds BLACKHOLE: ALL ['13'] < ['26']
I1217 12:44:18.119 2481134 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['13']
I1217 12:44:18.119 2481134 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['13']
I1217 12:44:18.119 2481134 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['13']
I1217 12:44:18.119 2481134 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['45']
I1217 12:44:18.119 2481134 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['45']
I1217 12:44:18.119 2481134 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['45']
I1217 12:44:18.119 2481134 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['77']
I1217 12:44:18.120 2481134 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['77']
I1217 12:44:18.120 2481134 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['77']
I1217 12:44:18.120 2481134 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['109']
I1217 12:44:18.120 2481134 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['109']
I1217 12:44:18.120 2481134 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['109']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:18.128 2481134 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: 17, dst: 126, path: ['17', '10', '13', '9', '22', '21', '31', '30', '49', '42', '45', '41', '54', '53', '63', '62', '81', '74', '77', '73', '86', '85', '95', '94', '113', '106', '109', '105', '118', '117', '127', '126'], tags: {}> doesn't satisfy any of [['34']]
