Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr201008_4.json -f output/flip/data/zoo_json_cond_enf1/Garr201008_4.json.subpaths
Flip subpaths generated in 0.177 seconds!
real 0.70
user 0.86
sys 0.10
<logging.Logger object at 0x7f72d6f977d0>
I1217 12:41:56.153 3247687 flip.py:564] node 379 adds BLACKHOLE: ALL ['381'] < ['379']
I1217 12:41:56.153 3247687 flip.py:839] node 381 (white-green) adds POLICY: ALL ['381'] < ['369'] with dependencies []
I1217 12:41:56.154 3247687 flip.py:564] node 366 adds BLACKHOLE: ALL ['369'] < ['366']
I1217 12:41:56.154 3247687 flip.py:839] node 369 (white-green) adds POLICY: ALL ['369'] < ['331'] with dependencies []
I1217 12:41:56.154 3247687 flip.py:564] node 329 adds BLACKHOLE: ALL ['331'] < ['329']
I1217 12:41:56.154 3247687 flip.py:839] node 331 (white-green) adds POLICY: ALL ['331'] < ['319'] with dependencies []
I1217 12:41:56.155 3247687 flip.py:564] node 316 adds BLACKHOLE: ALL ['319'] < ['316']
I1217 12:41:56.155 3247687 flip.py:839] node 319 (white-green) adds POLICY: ALL ['319'] < ['281'] with dependencies []
I1217 12:41:56.155 3247687 flip.py:564] node 279 adds BLACKHOLE: ALL ['281'] < ['279']
I1217 12:41:56.155 3247687 flip.py:839] node 281 (white-green) adds POLICY: ALL ['281'] < ['269'] with dependencies []
I1217 12:41:56.156 3247687 flip.py:564] node 266 adds BLACKHOLE: ALL ['269'] < ['266']
I1217 12:41:56.156 3247687 flip.py:564] node 229 adds BLACKHOLE: ALL ['231'] < ['229']
I1217 12:41:56.156 3247687 flip.py:564] node 216 adds BLACKHOLE: ALL ['219'] < ['216']
I1217 12:41:56.156 3247687 flip.py:564] node 179 adds BLACKHOLE: ALL ['181'] < ['179']
I1217 12:41:56.156 3247687 flip.py:564] node 166 adds BLACKHOLE: ALL ['169'] < ['166']
I1217 12:41:56.157 3247687 flip.py:564] node 129 adds BLACKHOLE: ALL ['131'] < ['129']
I1217 12:41:56.157 3247687 flip.py:564] node 116 adds BLACKHOLE: ALL ['119'] < ['116']
I1217 12:41:56.157 3247687 flip.py:564] node 79 adds BLACKHOLE: ALL ['81'] < ['79']
I1217 12:41:56.157 3247687 flip.py:564] node 66 adds BLACKHOLE: ALL ['69'] < ['66']
I1217 12:41:56.157 3247687 flip.py:564] node 29 adds BLACKHOLE: ALL ['31'] < ['29']
I1217 12:41:56.158 3247687 flip.py:564] node 16 adds BLACKHOLE: ALL ['19'] < ['16']
I1217 12:41:56.158 3247687 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['19']
I1217 12:41:56.158 3247687 flip.py:564] node 40 adds BLACKHOLE: ALL ['40'] < ['19']
I1217 12:41:56.158 3247687 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['19']
I1217 12:41:56.158 3247687 flip.py:564] node 62 adds BLACKHOLE: ALL ['62'] < ['69']
I1217 12:41:56.158 3247687 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['69']
I1217 12:41:56.158 3247687 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['69']
I1217 12:41:56.159 3247687 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['119']
I1217 12:41:56.159 3247687 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['119']
I1217 12:41:56.159 3247687 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['119']
I1217 12:41:56.159 3247687 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['169']
I1217 12:41:56.159 3247687 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['169']
I1217 12:41:56.159 3247687 flip.py:564] node 158 adds BLACKHOLE: ALL ['158'] < ['169']
I1217 12:41:56.160 3247687 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['219']
I1217 12:41:56.160 3247687 flip.py:564] node 240 adds BLACKHOLE: ALL ['240'] < ['219']
I1217 12:41:56.160 3247687 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['219']
I1217 12:41:56.160 3247687 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['269']
I1217 12:41:56.160 3247687 flip.py:564] node 290 adds BLACKHOLE: ALL ['290'] < ['269']
I1217 12:41:56.160 3247687 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['269']
I1217 12:41:56.160 3247687 flip.py:564] node 312 adds BLACKHOLE: ALL ['312'] < ['319']
I1217 12:41:56.161 3247687 flip.py:564] node 340 adds BLACKHOLE: ALL ['340'] < ['319']
I1217 12:41:56.161 3247687 flip.py:564] node 308 adds BLACKHOLE: ALL ['308'] < ['319']
I1217 12:41:56.161 3247687 flip.py:564] node 362 adds BLACKHOLE: ALL ['362'] < ['369']
I1217 12:41:56.161 3247687 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['369']
I1217 12:41:56.161 3247687 flip.py:564] node 358 adds BLACKHOLE: ALL ['358'] < ['369']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:41:56.173 3247687 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: 10, dst: 397, path: ['10', '18', '19', '8', '40', '12', '49', '31', '13', '47', '60', '68', '69', '58', '90', '62', '99', '81', '63', '97', '110', '118', '119', '108', '140', '112', '149', '131', '113', '147', '160', '168', '169', '158', '190', '162', '199', '181', '163', '197', '210', '218', '219', '208', '240', '212', '249', '231', '213', '247', '260', '268', '269', '258', '290', '262', '299', '281', '263', '297', '310', '318', '319', '308', '340', '312', '349', '331', '313', '347', '360', '368', '369', '358', '390', '362', '399', '381', '363', '397'], tags: {}> doesn't satisfy any of [['266']]
