Version: 1.13 
 _ data/zoo_json_cond_enf1/Uninett2011_3.json -f output/flip/data/zoo_json_cond_enf1/Uninett2011_3.json.subpaths
Flip subpaths generated in 0.224 seconds!
real 1.68
user 0.83
sys 0.08
<logging.Logger object at 0x7f78ff13f7d0>
I1217 12:43:45.749 2375124 flip.py:638] node 15 (15->43->15) adds LOOP: ANY ['15'] < ['43']
I1217 12:43:45.760 2375124 flip.py:638] node 84 (84->112->84) adds LOOP: ANY ['84'] < ['112']
I1217 12:43:45.768 2375124 flip.py:638] node 153 (153->181->153) adds LOOP: ANY ['153'] < ['181']
I1217 12:43:45.772 2375124 flip.py:638] node 250 (250->222->250) adds LOOP: ANY ['222'] < ['250']
I1217 12:43:45.773 2375124 flip.py:564] node 237 adds BLACKHOLE: ALL ['250'] < ['237']
I1217 12:43:45.773 2375124 flip.py:564] node 263 adds BLACKHOLE: ALL ['250'] < ['263']
I1217 12:43:45.774 2375124 flip.py:839] node 250 (green-white) adds POLICY: ALL ['222'] < ['250'] with dependencies []
I1217 12:43:45.774 2375124 flip.py:839] node 222 (green-white) adds POLICY: ALL ['208'] < ['222'] with dependencies []
I1217 12:43:45.774 2375124 flip.py:564] node 219 adds BLACKHOLE: ALL ['208'] < ['219']
I1217 12:43:45.775 2375124 flip.py:564] node 239 adds BLACKHOLE: ALL ['208'] < ['239']
I1217 12:43:45.775 2375124 flip.py:839] node 208 (green-white) adds POLICY: ALL ['266'] < ['208'] with dependencies []
I1217 12:43:45.775 2375124 flip.py:564] node 207 adds BLACKHOLE: ALL ['266'] < ['207']
I1217 12:43:45.776 2375124 flip.py:564] node 275 adds BLACKHOLE: ALL ['266'] < ['275']
I1217 12:43:45.776 2375124 flip.py:564] node 274 adds BLACKHOLE: ALL ['266'] < ['274']
I1217 12:43:45.776 2375124 flip.py:839] node 266 (green-white) adds POLICY: ALL ['181'] < ['266'] with dependencies []
I1217 12:43:45.776 2375124 flip.py:564] node 168 adds BLACKHOLE: ALL ['181'] < ['168']
I1217 12:43:45.777 2375124 flip.py:564] node 194 adds BLACKHOLE: ALL ['181'] < ['194']
I1217 12:43:45.777 2375124 flip.py:839] node 181 (green-white) adds POLICY: ALL ['153'] < ['181'] with dependencies []
I1217 12:43:45.777 2375124 flip.py:839] node 153 (green-white) adds POLICY: ALL ['139'] < ['153'] with dependencies []
I1217 12:43:45.778 2375124 flip.py:564] node 150 adds BLACKHOLE: ALL ['139'] < ['150']
I1217 12:43:45.778 2375124 flip.py:564] node 170 adds BLACKHOLE: ALL ['139'] < ['170']
I1217 12:43:45.778 2375124 flip.py:839] node 139 (green-white) adds POLICY: ALL ['197'] < ['139'] with dependencies []
I1217 12:43:45.778 2375124 flip.py:564] node 138 adds BLACKHOLE: ALL ['197'] < ['138']
I1217 12:43:45.779 2375124 flip.py:564] node 206 adds BLACKHOLE: ALL ['197'] < ['206']
I1217 12:43:45.779 2375124 flip.py:564] node 205 adds BLACKHOLE: ALL ['197'] < ['205']
I1217 12:43:45.779 2375124 flip.py:839] node 197 (green-white) adds POLICY: ALL ['112'] < ['197'] with dependencies []
I1217 12:43:45.780 2375124 flip.py:564] node 99 adds BLACKHOLE: ALL ['112'] < ['99']
I1217 12:43:45.780 2375124 flip.py:564] node 125 adds BLACKHOLE: ALL ['112'] < ['125']
I1217 12:43:45.780 2375124 flip.py:839] node 112 (green-white) adds POLICY: ALL ['84'] < ['112'] with dependencies []
I1217 12:43:45.780 2375124 flip.py:839] node 84 (green-white) adds POLICY: ALL ['70'] < ['84'] with dependencies []
I1217 12:43:45.781 2375124 flip.py:564] node 81 adds BLACKHOLE: ALL ['70'] < ['81']
I1217 12:43:45.781 2375124 flip.py:564] node 101 adds BLACKHOLE: ALL ['70'] < ['101']
I1217 12:43:45.781 2375124 flip.py:839] node 70 (green-white) adds POLICY: ALL ['128'] < ['70'] with dependencies []
I1217 12:43:45.782 2375124 flip.py:564] node 69 adds BLACKHOLE: ALL ['128'] < ['69']
I1217 12:43:45.782 2375124 flip.py:564] node 137 adds BLACKHOLE: ALL ['128'] < ['137']
I1217 12:43:45.782 2375124 flip.py:564] node 136 adds BLACKHOLE: ALL ['128'] < ['136']
I1217 12:43:45.782 2375124 flip.py:839] node 128 (green-white) adds POLICY: ALL ['43'] < ['128'] with dependencies []
I1217 12:43:45.783 2375124 flip.py:564] node 30 adds BLACKHOLE: ALL ['43'] < ['30']
I1217 12:43:45.783 2375124 flip.py:564] node 56 adds BLACKHOLE: ALL ['43'] < ['56']
I1217 12:43:45.783 2375124 flip.py:839] node 43 (green-white) adds POLICY: ALL ['15'] < ['43'] with dependencies []
I1217 12:43:45.784 2375124 flip.py:839] node 15 (green-white) adds POLICY: ALL ['1'] < ['15'] with dependencies []
I1217 12:43:45.784 2375124 flip.py:564] node 12 adds BLACKHOLE: ALL ['1'] < ['12']
I1217 12:43:45.784 2375124 flip.py:564] node 32 adds BLACKHOLE: ALL ['1'] < ['32']
I1217 12:43:45.785 2375124 flip.py:839] node 1 (green-white) adds POLICY: ALL ['59'] < ['1'] with dependencies []
I1217 12:43:45.785 2375124 flip.py:564] node 0 adds BLACKHOLE: ALL ['59'] < ['0']
I1217 12:43:45.785 2375124 flip.py:564] node 68 adds BLACKHOLE: ALL ['59'] < ['68']
I1217 12:43:45.785 2375124 flip.py:564] node 67 adds BLACKHOLE: ALL ['59'] < ['67']
I1217 12:43:45.786 2375124 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['59']
I1217 12:43:45.786 2375124 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['59']
I1217 12:43:45.786 2375124 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['59']
I1217 12:43:45.786 2375124 flip.py:564] node 62 adds BLACKHOLE: ALL ['62'] < ['1']
I1217 12:43:45.787 2375124 flip.py:564] node 31 adds BLACKHOLE: ALL ['31'] < ['15']
I1217 12:43:45.787 2375124 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['15']
I1217 12:43:45.787 2375124 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['15']
I1217 12:43:45.787 2375124 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['128']
I1217 12:43:45.787 2375124 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['128']
I1217 12:43:45.787 2375124 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['128']
I1217 12:43:45.788 2375124 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['70']
I1217 12:43:45.788 2375124 flip.py:564] node 100 adds BLACKHOLE: ALL ['100'] < ['84']
I1217 12:43:45.788 2375124 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['84']
I1217 12:43:45.788 2375124 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['84']
I1217 12:43:45.788 2375124 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['197']
I1217 12:43:45.788 2375124 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['197']
I1217 12:43:45.788 2375124 flip.py:564] node 198 adds BLACKHOLE: ALL ['198'] < ['197']
I1217 12:43:45.789 2375124 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['139']
I1217 12:43:45.789 2375124 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['153']
I1217 12:43:45.789 2375124 flip.py:564] node 182 adds BLACKHOLE: ALL ['182'] < ['153']
I1217 12:43:45.789 2375124 flip.py:564] node 180 adds BLACKHOLE: ALL ['180'] < ['153']
I1217 12:43:45.789 2375124 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['266']
I1217 12:43:45.789 2375124 flip.py:564] node 209 adds BLACKHOLE: ALL ['209'] < ['266']
I1217 12:43:45.789 2375124 flip.py:564] node 267 adds BLACKHOLE: ALL ['267'] < ['266']
I1217 12:43:45.790 2375124 flip.py:564] node 269 adds BLACKHOLE: ALL ['269'] < ['208']
I1217 12:43:45.790 2375124 flip.py:564] node 238 adds BLACKHOLE: ALL ['238'] < ['222']
I1217 12:43:45.790 2375124 flip.py:564] node 251 adds BLACKHOLE: ALL ['251'] < ['222']
I1217 12:43:45.790 2375124 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['222']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:45.803 2375124 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: 59, dst: 221, path: ['59', '67', '68', '0', '1', '32', '12', '15', '43', '56', '30', '14', '128', '136', '137', '69', '70', '101', '81', '84', '112', '125', '99', '83', '197', '205', '206', '138', '139', '170', '150', '153', '181', '194', '168', '152', '266', '274', '275', '207', '208', '239', '219', '222', '250', '263', '237', '221'], tags: {}> doesn't satisfy any of [['2']]
