Version: 1.13 
 _ data/zoo_json_alt_waypoint1/Canerie_4.json -f output/flip/data/zoo_json_alt_waypoint1/Canerie_4.json.subpaths
Flip subpaths generated in 0.202 seconds!
real 0.68
user 0.93
sys 0.07
<logging.Logger object at 0x7fbc5d1cf7d0>
I1217 13:04:11.210 2626822 flip.py:564] node 253 adds BLACKHOLE: ALL ['231'] < ['253']
I1217 13:04:11.210 2626822 flip.py:564] node 255 adds BLACKHOLE: ALL ['231'] < ['255']
I1217 13:04:11.210 2626822 flip.py:564] node 225 adds BLACKHOLE: ALL ['231'] < ['225']
I1217 13:04:11.211 2626822 flip.py:564] node 230 adds BLACKHOLE: ALL ['231'] < ['230']
I1217 13:04:11.211 2626822 flip.py:839] node 231 (white-green) adds POLICY: ALL ['231'] < ['241'] with dependencies []
I1217 13:04:11.211 2626822 flip.py:564] node 228 adds BLACKHOLE: ALL ['241'] < ['228']
I1217 13:04:11.211 2626822 flip.py:564] node 229 adds BLACKHOLE: ALL ['241'] < ['229']
I1217 13:04:11.211 2626822 flip.py:839] node 241 (white-green) adds POLICY: ALL ['241'] < ['199'] with dependencies []
I1217 13:04:11.212 2626822 flip.py:564] node 221 adds BLACKHOLE: ALL ['199'] < ['221']
I1217 13:04:11.212 2626822 flip.py:564] node 223 adds BLACKHOLE: ALL ['199'] < ['223']
I1217 13:04:11.212 2626822 flip.py:564] node 193 adds BLACKHOLE: ALL ['199'] < ['193']
I1217 13:04:11.212 2626822 flip.py:564] node 198 adds BLACKHOLE: ALL ['199'] < ['198']
I1217 13:04:11.212 2626822 flip.py:839] node 199 (white-green) adds POLICY: ALL ['199'] < ['209'] with dependencies []
I1217 13:04:11.212 2626822 flip.py:564] node 196 adds BLACKHOLE: ALL ['209'] < ['196']
I1217 13:04:11.212 2626822 flip.py:564] node 197 adds BLACKHOLE: ALL ['209'] < ['197']
I1217 13:04:11.212 2626822 flip.py:839] node 209 (white-green) adds POLICY: ALL ['209'] < ['167'] with dependencies []
I1217 13:04:11.213 2626822 flip.py:564] node 189 adds BLACKHOLE: ALL ['167'] < ['189']
I1217 13:04:11.213 2626822 flip.py:564] node 191 adds BLACKHOLE: ALL ['167'] < ['191']
I1217 13:04:11.213 2626822 flip.py:564] node 161 adds BLACKHOLE: ALL ['167'] < ['161']
I1217 13:04:11.213 2626822 flip.py:564] node 166 adds BLACKHOLE: ALL ['167'] < ['166']
I1217 13:04:11.213 2626822 flip.py:839] node 167 (white-green) adds POLICY: ALL ['167'] < ['177'] with dependencies []
I1217 13:04:11.214 2626822 flip.py:564] node 164 adds BLACKHOLE: ALL ['177'] < ['164']
I1217 13:04:11.214 2626822 flip.py:564] node 165 adds BLACKHOLE: ALL ['177'] < ['165']
I1217 13:04:11.214 2626822 flip.py:839] node 177 (white-green) adds POLICY: ALL ['177'] < ['135'] with dependencies []
I1217 13:04:11.214 2626822 flip.py:564] node 157 adds BLACKHOLE: ALL ['135'] < ['157']
I1217 13:04:11.215 2626822 flip.py:564] node 159 adds BLACKHOLE: ALL ['135'] < ['159']
I1217 13:04:11.215 2626822 flip.py:564] node 129 adds BLACKHOLE: ALL ['135'] < ['129']
I1217 13:04:11.215 2626822 flip.py:564] node 134 adds BLACKHOLE: ALL ['135'] < ['134']
I1217 13:04:11.215 2626822 flip.py:839] node 135 (cyan-green) adds POLICY: ALL ['135'] < ['145'] with dependencies []
I1217 13:04:11.215 2626822 flip.py:564] node 132 adds BLACKHOLE: ALL ['145'] < ['132']
I1217 13:04:11.215 2626822 flip.py:564] node 133 adds BLACKHOLE: ALL ['145'] < ['133']
I1217 13:04:11.215 2626822 flip.py:839] node 145 (cyan-green) adds POLICY: ALL ['145'] < ['103'] with dependencies []
I1217 13:04:11.216 2626822 flip.py:564] node 125 adds BLACKHOLE: ALL ['103'] < ['125']
I1217 13:04:11.216 2626822 flip.py:564] node 127 adds BLACKHOLE: ALL ['103'] < ['127']
I1217 13:04:11.216 2626822 flip.py:564] node 97 adds BLACKHOLE: ALL ['103'] < ['97']
I1217 13:04:11.216 2626822 flip.py:564] node 102 adds BLACKHOLE: ALL ['103'] < ['102']
I1217 13:04:11.216 2626822 flip.py:839] node 103 (cyan-green) adds POLICY: ALL ['103'] < ['113'] with dependencies []
I1217 13:04:11.216 2626822 flip.py:564] node 100 adds BLACKHOLE: ALL ['113'] < ['100']
I1217 13:04:11.217 2626822 flip.py:564] node 101 adds BLACKHOLE: ALL ['113'] < ['101']
I1217 13:04:11.217 2626822 flip.py:839] node 113 (cyan-green) adds POLICY: ALL ['113'] < ['71'] with dependencies []
I1217 13:04:11.217 2626822 flip.py:564] node 93 adds BLACKHOLE: ALL ['71'] < ['93']
I1217 13:04:11.217 2626822 flip.py:564] node 95 adds BLACKHOLE: ALL ['71'] < ['95']
I1217 13:04:11.217 2626822 flip.py:564] node 65 adds BLACKHOLE: ALL ['71'] < ['65']
I1217 13:04:11.218 2626822 flip.py:564] node 70 adds BLACKHOLE: ALL ['71'] < ['70']
I1217 13:04:11.218 2626822 flip.py:839] node 71 (cyan-green) adds POLICY: ALL ['71'] < ['81'] with dependencies []
I1217 13:04:11.218 2626822 flip.py:564] node 68 adds BLACKHOLE: ALL ['81'] < ['68']
I1217 13:04:11.218 2626822 flip.py:564] node 69 adds BLACKHOLE: ALL ['81'] < ['69']
I1217 13:04:11.218 2626822 flip.py:839] node 81 (cyan-green) adds POLICY: ALL ['81'] < ['39'] with dependencies []
I1217 13:04:11.219 2626822 flip.py:564] node 61 adds BLACKHOLE: ALL ['39'] < ['61']
I1217 13:04:11.219 2626822 flip.py:564] node 63 adds BLACKHOLE: ALL ['39'] < ['63']
I1217 13:04:11.219 2626822 flip.py:564] node 33 adds BLACKHOLE: ALL ['39'] < ['33']
I1217 13:04:11.219 2626822 flip.py:564] node 38 adds BLACKHOLE: ALL ['39'] < ['38']
I1217 13:04:11.219 2626822 flip.py:839] node 39 (cyan-green) adds POLICY: ALL ['39'] < ['49'] with dependencies []
I1217 13:04:11.220 2626822 flip.py:564] node 36 adds BLACKHOLE: ALL ['49'] < ['36']
I1217 13:04:11.220 2626822 flip.py:564] node 37 adds BLACKHOLE: ALL ['49'] < ['37']
I1217 13:04:11.220 2626822 flip.py:564] node 29 adds BLACKHOLE: ALL ['7'] < ['29']
I1217 13:04:11.220 2626822 flip.py:564] node 31 adds BLACKHOLE: ALL ['7'] < ['31']
I1217 13:04:11.220 2626822 flip.py:564] node 1 adds BLACKHOLE: ALL ['7'] < ['1']
I1217 13:04:11.220 2626822 flip.py:564] node 6 adds BLACKHOLE: ALL ['7'] < ['6']
I1217 13:04:11.221 2626822 flip.py:564] node 4 adds BLACKHOLE: ALL ['17'] < ['4']
I1217 13:04:11.221 2626822 flip.py:564] node 5 adds BLACKHOLE: ALL ['17'] < ['5']
I1217 13:04:11.221 2626822 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['17']
I1217 13:04:11.221 2626822 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['7']
I1217 13:04:11.221 2626822 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['7']
I1217 13:04:11.221 2626822 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['49']
I1217 13:04:11.221 2626822 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['39']
I1217 13:04:11.222 2626822 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['39']
I1217 13:04:11.222 2626822 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['81']
I1217 13:04:11.222 2626822 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['71']
I1217 13:04:11.222 2626822 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['71']
I1217 13:04:11.222 2626822 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['113']
I1217 13:04:11.222 2626822 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['103']
I1217 13:04:11.222 2626822 flip.py:564] node 99 adds BLACKHOLE: ALL ['99'] < ['103']
I1217 13:04:11.223 2626822 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['145']
I1217 13:04:11.223 2626822 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['135']
I1217 13:04:11.223 2626822 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['135']
I1217 13:04:11.223 2626822 flip.py:564] node 175 adds BLACKHOLE: ALL ['175'] < ['177']
I1217 13:04:11.223 2626822 flip.py:564] node 182 adds BLACKHOLE: ALL ['182'] < ['167']
I1217 13:04:11.223 2626822 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['167']
I1217 13:04:11.223 2626822 flip.py:564] node 207 adds BLACKHOLE: ALL ['207'] < ['209']
I1217 13:04:11.224 2626822 flip.py:564] node 214 adds BLACKHOLE: ALL ['214'] < ['199']
I1217 13:04:11.224 2626822 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['199']
I1217 13:04:11.224 2626822 flip.py:564] node 239 adds BLACKHOLE: ALL ['239'] < ['241']
I1217 13:04:11.224 2626822 flip.py:564] node 246 adds BLACKHOLE: ALL ['246'] < ['231']
I1217 13:04:11.224 2626822 flip.py:564] node 227 adds BLACKHOLE: ALL ['227'] < ['231']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:04:11.238 2626822 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: 14, dst: 252, path: ['14', '16', '17', '15', '7', '3', '22', '27', '28', '46', '48', '49', '47', '39', '35', '54', '59', '60', '78', '80', '81', '79', '71', '67', '86', '91', '92', '110', '112', '113', '111', '103', '99', '118', '123', '124', '142', '144', '145', '143', '135', '131', '150', '155', '156', '174', '176', '177', '175', '167', '163', '182', '187', '188', '206', '208', '209', '207', '199', '195', '214', '219', '220', '238', '240', '241', '239', '231', '227', '246', '251', '252'], tags: {}> doesn't satisfy any of [['134'], ['37']]
