Version: 1.13 
 _ data/zoo_json_cond_enf1/GtsCe_2.json -f output/flip/data/zoo_json_cond_enf1/GtsCe_2.json.subpaths
Flip subpaths generated in 0.188 seconds!
real 1.46
user 0.92
sys 0.08
<logging.Logger object at 0x7f5c969d77d0>
I1217 12:44:19.851 2388465 flip.py:638] node 100 (100->93->100) adds LOOP: ANY ['100'] < ['93']
I1217 12:44:19.868 2388465 flip.py:638] node 245 (245->238->245) adds LOOP: ANY ['245'] < ['238']
I1217 12:44:19.873 2388465 flip.py:564] node 198 adds BLACKHOLE: ALL ['287'] < ['198']
I1217 12:44:19.874 2388465 flip.py:564] node 203 adds BLACKHOLE: ALL ['287'] < ['203']
I1217 12:44:19.874 2388465 flip.py:839] node 287 (white-green) adds POLICY: ALL ['287'] < ['276'] with dependencies []
I1217 12:44:19.874 2388465 flip.py:564] node 174 adds BLACKHOLE: ALL ['276'] < ['174']
I1217 12:44:19.875 2388465 flip.py:564] node 284 adds BLACKHOLE: ALL ['276'] < ['284']
I1217 12:44:19.875 2388465 flip.py:564] node 289 adds BLACKHOLE: ALL ['276'] < ['289']
I1217 12:44:19.875 2388465 flip.py:564] node 165 adds BLACKHOLE: ALL ['276'] < ['165']
I1217 12:44:19.875 2388465 flip.py:564] node 286 adds BLACKHOLE: ALL ['276'] < ['286']
I1217 12:44:19.875 2388465 flip.py:564] node 269 adds BLACKHOLE: ALL ['276'] < ['269']
I1217 12:44:19.875 2388465 flip.py:564] node 268 adds BLACKHOLE: ALL ['276'] < ['268']
I1217 12:44:19.875 2388465 flip.py:839] node 276 (white-green) adds POLICY: ALL ['276'] < ['270'] with dependencies []
I1217 12:44:19.876 2388465 flip.py:839] node 270 (white-green) adds POLICY: ALL ['270'] < ['245'] with dependencies []
I1217 12:44:19.876 2388465 flip.py:564] node 277 adds BLACKHOLE: ALL ['238'] < ['277']
I1217 12:44:19.876 2388465 flip.py:564] node 162 adds BLACKHOLE: ALL ['238'] < ['162']
I1217 12:44:19.876 2388465 flip.py:564] node 239 adds BLACKHOLE: ALL ['238'] < ['239']
I1217 12:44:19.876 2388465 flip.py:839] node 238 (white-green) adds POLICY: ALL ['238'] < ['240'] with dependencies []
I1217 12:44:19.877 2388465 flip.py:839] node 245 (white-green) adds POLICY: ALL ['245'] < ['238'] with dependencies []
I1217 12:44:19.877 2388465 flip.py:564] node 156 adds BLACKHOLE: ALL ['240'] < ['156']
I1217 12:44:19.877 2388465 flip.py:839] node 240 (white-green) adds POLICY: ALL ['240'] < ['142'] with dependencies []
I1217 12:44:19.877 2388465 flip.py:564] node 53 adds BLACKHOLE: ALL ['142'] < ['53']
I1217 12:44:19.878 2388465 flip.py:564] node 58 adds BLACKHOLE: ALL ['142'] < ['58']
I1217 12:44:19.878 2388465 flip.py:839] node 142 (white-green) adds POLICY: ALL ['142'] < ['131'] with dependencies []
I1217 12:44:19.878 2388465 flip.py:564] node 29 adds BLACKHOLE: ALL ['131'] < ['29']
I1217 12:44:19.878 2388465 flip.py:564] node 139 adds BLACKHOLE: ALL ['131'] < ['139']
I1217 12:44:19.878 2388465 flip.py:564] node 144 adds BLACKHOLE: ALL ['131'] < ['144']
I1217 12:44:19.879 2388465 flip.py:564] node 20 adds BLACKHOLE: ALL ['131'] < ['20']
I1217 12:44:19.879 2388465 flip.py:564] node 141 adds BLACKHOLE: ALL ['131'] < ['141']
I1217 12:44:19.879 2388465 flip.py:564] node 124 adds BLACKHOLE: ALL ['131'] < ['124']
I1217 12:44:19.879 2388465 flip.py:564] node 123 adds BLACKHOLE: ALL ['131'] < ['123']
I1217 12:44:19.879 2388465 flip.py:564] node 132 adds BLACKHOLE: ALL ['93'] < ['132']
I1217 12:44:19.879 2388465 flip.py:564] node 17 adds BLACKHOLE: ALL ['93'] < ['17']
I1217 12:44:19.879 2388465 flip.py:564] node 94 adds BLACKHOLE: ALL ['93'] < ['94']
I1217 12:44:19.880 2388465 flip.py:564] node 11 adds BLACKHOLE: ALL ['95'] < ['11']
I1217 12:44:19.880 2388465 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['95']
I1217 12:44:19.880 2388465 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['100']
I1217 12:44:19.880 2388465 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['100']
I1217 12:44:19.880 2388465 flip.py:564] node 128 adds BLACKHOLE: ALL ['128'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['100']
I1217 12:44:19.881 2388465 flip.py:564] node 97 adds BLACKHOLE: ALL ['97'] < ['100']
I1217 12:44:19.882 2388465 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['125']
I1217 12:44:19.882 2388465 flip.py:564] node 19 adds BLACKHOLE: ALL ['19'] < ['131']
I1217 12:44:19.882 2388465 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['131']
I1217 12:44:19.882 2388465 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['131']
I1217 12:44:19.882 2388465 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 89 adds BLACKHOLE: ALL ['89'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 88 adds BLACKHOLE: ALL ['88'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['131']
I1217 12:44:19.883 2388465 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['131']
I1217 12:44:19.884 2388465 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['131']
I1217 12:44:19.884 2388465 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['131']
I1217 12:44:19.884 2388465 flip.py:564] node 62 adds BLACKHOLE: ALL ['62'] < ['131']
I1217 12:44:19.884 2388465 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['142']
I1217 12:44:19.884 2388465 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['142']
I1217 12:44:19.884 2388465 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['142']
I1217 12:44:19.884 2388465 flip.py:564] node 241 adds BLACKHOLE: ALL ['241'] < ['240']
I1217 12:44:19.884 2388465 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 273 adds BLACKHOLE: ALL ['273'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 251 adds BLACKHOLE: ALL ['251'] < ['245']
I1217 12:44:19.885 2388465 flip.py:564] node 248 adds BLACKHOLE: ALL ['248'] < ['245']
I1217 12:44:19.886 2388465 flip.py:564] node 242 adds BLACKHOLE: ALL ['242'] < ['245']
I1217 12:44:19.886 2388465 flip.py:564] node 160 adds BLACKHOLE: ALL ['160'] < ['270']
I1217 12:44:19.886 2388465 flip.py:564] node 164 adds BLACKHOLE: ALL ['164'] < ['276']
I1217 12:44:19.886 2388465 flip.py:564] node 204 adds BLACKHOLE: ALL ['204'] < ['276']
I1217 12:44:19.887 2388465 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['276']
I1217 12:44:19.887 2388465 flip.py:564] node 202 adds BLACKHOLE: ALL ['202'] < ['276']
I1217 12:44:19.887 2388465 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['276']
I1217 12:44:19.887 2388465 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['276']
I1217 12:44:19.887 2388465 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 216 adds BLACKHOLE: ALL ['216'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 274 adds BLACKHOLE: ALL ['274'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 206 adds BLACKHOLE: ALL ['206'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 207 adds BLACKHOLE: ALL ['207'] < ['276']
I1217 12:44:19.888 2388465 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['287']
I1217 12:44:19.888 2388465 flip.py:564] node 199 adds BLACKHOLE: ALL ['199'] < ['287']
I1217 12:44:19.889 2388465 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['287']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:19.900 2388465 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: 46, dst: 288, path: ['46', '10', '16', '95', '96', '93', '100', '97', '103', '106', '41', '44', '45', '128', '2', '3', '125', '15', '131', '62', '61', '33', '129', '71', '88', '89', '25', '50', '57', '56', '59', '19', '142', '28', '54', '55', '52', '143', '191', '155', '161', '240', '241', '238', '245', '242', '248', '251', '186', '189', '190', '273', '147', '148', '270', '160', '276', '207', '206', '178', '274', '216', '233', '234', '170', '195', '202', '201', '204', '164', '287', '173', '199', '200', '197', '288'], tags: {}> doesn't satisfy any of [['123']]
