Version: 1.13 
 _ data/zoo_json_cond_enf1/Savvis_4.json -f output/flip/data/zoo_json_cond_enf1/Savvis_4.json.subpaths
Flip subpaths generated in 0.166 seconds!
real 1.23
user 0.92
sys 0.07
<logging.Logger object at 0x7f70ce1277d0>
I1217 12:42:42.715 2479569 flip.py:564] node 141 adds BLACKHOLE: ALL ['144'] < ['141']
I1217 12:42:42.715 2479569 flip.py:564] node 147 adds BLACKHOLE: ALL ['144'] < ['147']
I1217 12:42:42.715 2479569 flip.py:564] node 145 adds BLACKHOLE: ALL ['144'] < ['145']
I1217 12:42:42.716 2479569 flip.py:839] node 144 (white-green) adds POLICY: ALL ['144'] < ['125'] with dependencies []
I1217 12:42:42.716 2479569 flip.py:564] node 122 adds BLACKHOLE: ALL ['125'] < ['122']
I1217 12:42:42.716 2479569 flip.py:564] node 128 adds BLACKHOLE: ALL ['125'] < ['128']
I1217 12:42:42.716 2479569 flip.py:564] node 126 adds BLACKHOLE: ALL ['125'] < ['126']
I1217 12:42:42.717 2479569 flip.py:839] node 125 (white-green) adds POLICY: ALL ['125'] < ['106'] with dependencies []
I1217 12:42:42.717 2479569 flip.py:564] node 103 adds BLACKHOLE: ALL ['106'] < ['103']
I1217 12:42:42.717 2479569 flip.py:564] node 109 adds BLACKHOLE: ALL ['106'] < ['109']
I1217 12:42:42.717 2479569 flip.py:564] node 107 adds BLACKHOLE: ALL ['106'] < ['107']
I1217 12:42:42.718 2479569 flip.py:564] node 84 adds BLACKHOLE: ALL ['87'] < ['84']
I1217 12:42:42.718 2479569 flip.py:564] node 90 adds BLACKHOLE: ALL ['87'] < ['90']
I1217 12:42:42.718 2479569 flip.py:564] node 88 adds BLACKHOLE: ALL ['87'] < ['88']
I1217 12:42:42.718 2479569 flip.py:564] node 65 adds BLACKHOLE: ALL ['68'] < ['65']
I1217 12:42:42.718 2479569 flip.py:564] node 71 adds BLACKHOLE: ALL ['68'] < ['71']
I1217 12:42:42.718 2479569 flip.py:564] node 69 adds BLACKHOLE: ALL ['68'] < ['69']
I1217 12:42:42.719 2479569 flip.py:564] node 46 adds BLACKHOLE: ALL ['49'] < ['46']
I1217 12:42:42.719 2479569 flip.py:564] node 52 adds BLACKHOLE: ALL ['49'] < ['52']
I1217 12:42:42.719 2479569 flip.py:564] node 50 adds BLACKHOLE: ALL ['49'] < ['50']
I1217 12:42:42.719 2479569 flip.py:564] node 27 adds BLACKHOLE: ALL ['30'] < ['27']
I1217 12:42:42.719 2479569 flip.py:564] node 33 adds BLACKHOLE: ALL ['30'] < ['33']
I1217 12:42:42.719 2479569 flip.py:564] node 31 adds BLACKHOLE: ALL ['30'] < ['31']
I1217 12:42:42.720 2479569 flip.py:564] node 8 adds BLACKHOLE: ALL ['11'] < ['8']
I1217 12:42:42.720 2479569 flip.py:564] node 14 adds BLACKHOLE: ALL ['11'] < ['14']
I1217 12:42:42.720 2479569 flip.py:564] node 12 adds BLACKHOLE: ALL ['11'] < ['12']
I1217 12:42:42.720 2479569 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['11']
I1217 12:42:42.720 2479569 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['11']
I1217 12:42:42.720 2479569 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['11']
I1217 12:42:42.720 2479569 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['30']
I1217 12:42:42.721 2479569 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['30']
I1217 12:42:42.721 2479569 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['30']
I1217 12:42:42.721 2479569 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['49']
I1217 12:42:42.721 2479569 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['49']
I1217 12:42:42.721 2479569 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['49']
I1217 12:42:42.721 2479569 flip.py:564] node 74 adds BLACKHOLE: ALL ['74'] < ['68']
I1217 12:42:42.721 2479569 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['68']
I1217 12:42:42.721 2479569 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['68']
I1217 12:42:42.722 2479569 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['87']
I1217 12:42:42.722 2479569 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['87']
I1217 12:42:42.722 2479569 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['87']
I1217 12:42:42.722 2479569 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['106']
I1217 12:42:42.722 2479569 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['106']
I1217 12:42:42.722 2479569 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['106']
I1217 12:42:42.722 2479569 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['125']
I1217 12:42:42.723 2479569 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['125']
I1217 12:42:42.723 2479569 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['125']
I1217 12:42:42.723 2479569 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['144']
I1217 12:42:42.723 2479569 flip.py:564] node 149 adds BLACKHOLE: ALL ['149'] < ['144']
I1217 12:42:42.723 2479569 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['144']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:42.734 2479569 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: 11, dst: 133, path: ['11', '15', '16', '17', '18', '10', '2', '3', '0', '30', '34', '35', '36', '37', '29', '21', '22', '19', '49', '53', '54', '55', '56', '48', '40', '41', '38', '68', '72', '73', '74', '75', '67', '59', '60', '57', '87', '91', '92', '93', '94', '86', '78', '79', '76', '106', '110', '111', '112', '113', '105', '97', '98', '95', '125', '129', '130', '131', '132', '124', '116', '117', '114', '144', '148', '149', '150', '151', '143', '135', '136', '133'], tags: {}> doesn't satisfy any of [['103']]
