Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr201107_4.json -f output/flip/data/zoo_json_cond_enf1/Garr201107_4.json.subpaths
Flip subpaths generated in 0.32 seconds!
real 1.72
user 0.87
sys 0.10
<logging.Logger object at 0x7f21c7cf77d0>
I1217 12:43:45.749 2342099 flip.py:839] node 392 (green-white) adds POLICY: ALL ['399'] < ['392'] with dependencies []
I1217 12:43:45.750 2342099 flip.py:564] node 396 adds BLACKHOLE: ALL ['399'] < ['396']
I1217 12:43:45.750 2342099 flip.py:839] node 399 (green-white) adds POLICY: ALL ['338'] < ['399'] with dependencies []
I1217 12:43:45.750 2342099 flip.py:839] node 338 (green-white) adds POLICY: ALL ['345'] < ['338'] with dependencies []
I1217 12:43:45.751 2342099 flip.py:564] node 342 adds BLACKHOLE: ALL ['345'] < ['342']
I1217 12:43:45.751 2342099 flip.py:839] node 345 (green-white) adds POLICY: ALL ['284'] < ['345'] with dependencies []
I1217 12:43:45.751 2342099 flip.py:839] node 284 (green-white) adds POLICY: ALL ['291'] < ['284'] with dependencies []
I1217 12:43:45.752 2342099 flip.py:564] node 288 adds BLACKHOLE: ALL ['291'] < ['288']
I1217 12:43:45.752 2342099 flip.py:839] node 291 (green-white) adds POLICY: ALL ['230'] < ['291'] with dependencies []
I1217 12:43:45.752 2342099 flip.py:839] node 230 (green-white) adds POLICY: ALL ['237'] < ['230'] with dependencies []
I1217 12:43:45.752 2342099 flip.py:564] node 234 adds BLACKHOLE: ALL ['237'] < ['234']
I1217 12:43:45.753 2342099 flip.py:839] node 237 (green-white) adds POLICY: ALL ['176'] < ['237'] with dependencies []
I1217 12:43:45.753 2342099 flip.py:839] node 176 (green-white) adds POLICY: ALL ['183'] < ['176'] with dependencies []
I1217 12:43:45.753 2342099 flip.py:564] node 180 adds BLACKHOLE: ALL ['183'] < ['180']
I1217 12:43:45.753 2342099 flip.py:839] node 183 (green-white) adds POLICY: ALL ['122'] < ['183'] with dependencies []
I1217 12:43:45.754 2342099 flip.py:839] node 122 (green-white) adds POLICY: ALL ['129'] < ['122'] with dependencies []
I1217 12:43:45.754 2342099 flip.py:564] node 126 adds BLACKHOLE: ALL ['129'] < ['126']
I1217 12:43:45.754 2342099 flip.py:839] node 129 (green-white) adds POLICY: ALL ['68'] < ['129'] with dependencies []
I1217 12:43:45.755 2342099 flip.py:839] node 68 (green-white) adds POLICY: ALL ['75'] < ['68'] with dependencies []
I1217 12:43:45.755 2342099 flip.py:564] node 72 adds BLACKHOLE: ALL ['75'] < ['72']
I1217 12:43:45.755 2342099 flip.py:839] node 75 (green-white) adds POLICY: ALL ['14'] < ['75'] with dependencies []
I1217 12:43:45.756 2342099 flip.py:564] node 18 adds BLACKHOLE: ALL ['21'] < ['18']
I1217 12:43:45.756 2342099 flip.py:564] node 10 adds BLACKHOLE: ALL ['10'] < ['21']
I1217 12:43:45.756 2342099 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['14']
I1217 12:43:45.756 2342099 flip.py:564] node 64 adds BLACKHOLE: ALL ['64'] < ['75']
I1217 12:43:45.756 2342099 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['68']
I1217 12:43:45.756 2342099 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['129']
I1217 12:43:45.757 2342099 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['122']
I1217 12:43:45.757 2342099 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['183']
I1217 12:43:45.757 2342099 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['176']
I1217 12:43:45.757 2342099 flip.py:564] node 226 adds BLACKHOLE: ALL ['226'] < ['237']
I1217 12:43:45.757 2342099 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['230']
I1217 12:43:45.757 2342099 flip.py:564] node 280 adds BLACKHOLE: ALL ['280'] < ['291']
I1217 12:43:45.757 2342099 flip.py:564] node 303 adds BLACKHOLE: ALL ['303'] < ['284']
I1217 12:43:45.758 2342099 flip.py:564] node 334 adds BLACKHOLE: ALL ['334'] < ['345']
I1217 12:43:45.758 2342099 flip.py:564] node 357 adds BLACKHOLE: ALL ['357'] < ['338']
I1217 12:43:45.758 2342099 flip.py:564] node 388 adds BLACKHOLE: ALL ['388'] < ['399']
I1217 12:43:45.758 2342099 flip.py:564] node 411 adds BLACKHOLE: ALL ['411'] < ['392']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:45.771 2342099 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: 12, dst: 409, path: ['12', '20', '21', '18', '53', '14', '32', '30', '31', '66', '74', '75', '72', '107', '68', '86', '84', '85', '120', '128', '129', '126', '161', '122', '140', '138', '139', '174', '182', '183', '180', '215', '176', '194', '192', '193', '228', '236', '237', '234', '269', '230', '248', '246', '247', '282', '290', '291', '288', '323', '284', '302', '300', '301', '336', '344', '345', '342', '377', '338', '356', '354', '355', '390', '398', '399', '396', '431', '392', '410', '408', '409'], tags: {}> doesn't satisfy any of [['33']]
