Version: 1.13 
 _ data/zoo_json_cond_enf1/Grnet_4.json -f output/flip/data/zoo_json_cond_enf1/Grnet_4.json.subpaths
Flip subpaths generated in 0.236 seconds!
real 9.44
user 0.90
sys 0.11
<logging.Logger object at 0x7f47113177d0>
I1217 12:42:45.805 2374066 flip.py:839] node 237 (white-green) adds POLICY: ALL ['237'] < ['245'] with dependencies []
I1217 12:42:45.806 2374066 flip.py:564] node 219 adds BLACKHOLE: ALL ['245'] < ['219']
I1217 12:42:45.806 2374066 flip.py:564] node 247 adds BLACKHOLE: ALL ['245'] < ['247']
I1217 12:42:45.806 2374066 flip.py:839] node 245 (white-green) adds POLICY: ALL ['245'] < ['206'] with dependencies []
I1217 12:42:45.807 2374066 flip.py:839] node 206 (white-green) adds POLICY: ALL ['206'] < ['214'] with dependencies []
I1217 12:42:45.807 2374066 flip.py:564] node 188 adds BLACKHOLE: ALL ['214'] < ['188']
I1217 12:42:45.807 2374066 flip.py:564] node 216 adds BLACKHOLE: ALL ['214'] < ['216']
I1217 12:42:45.807 2374066 flip.py:839] node 214 (white-green) adds POLICY: ALL ['214'] < ['175'] with dependencies []
I1217 12:42:45.808 2374066 flip.py:839] node 175 (white-green) adds POLICY: ALL ['175'] < ['183'] with dependencies []
I1217 12:42:45.808 2374066 flip.py:564] node 157 adds BLACKHOLE: ALL ['183'] < ['157']
I1217 12:42:45.808 2374066 flip.py:564] node 185 adds BLACKHOLE: ALL ['183'] < ['185']
I1217 12:42:45.808 2374066 flip.py:839] node 183 (white-green) adds POLICY: ALL ['183'] < ['144'] with dependencies []
I1217 12:42:45.809 2374066 flip.py:839] node 144 (white-green) adds POLICY: ALL ['144'] < ['152'] with dependencies []
I1217 12:42:45.809 2374066 flip.py:564] node 126 adds BLACKHOLE: ALL ['152'] < ['126']
I1217 12:42:45.809 2374066 flip.py:564] node 154 adds BLACKHOLE: ALL ['152'] < ['154']
I1217 12:42:45.809 2374066 flip.py:839] node 152 (white-green) adds POLICY: ALL ['152'] < ['113'] with dependencies []
I1217 12:42:45.810 2374066 flip.py:839] node 113 (white-green) adds POLICY: ALL ['113'] < ['121'] with dependencies []
I1217 12:42:45.810 2374066 flip.py:564] node 95 adds BLACKHOLE: ALL ['121'] < ['95']
I1217 12:42:45.810 2374066 flip.py:564] node 123 adds BLACKHOLE: ALL ['121'] < ['123']
I1217 12:42:45.810 2374066 flip.py:839] node 121 (white-green) adds POLICY: ALL ['121'] < ['82'] with dependencies []
I1217 12:42:45.811 2374066 flip.py:839] node 82 (white-green) adds POLICY: ALL ['82'] < ['90'] with dependencies []
I1217 12:42:45.811 2374066 flip.py:564] node 64 adds BLACKHOLE: ALL ['90'] < ['64']
I1217 12:42:45.811 2374066 flip.py:564] node 92 adds BLACKHOLE: ALL ['90'] < ['92']
I1217 12:42:45.811 2374066 flip.py:564] node 33 adds BLACKHOLE: ALL ['59'] < ['33']
I1217 12:42:45.812 2374066 flip.py:564] node 61 adds BLACKHOLE: ALL ['59'] < ['61']
I1217 12:42:45.812 2374066 flip.py:564] node 2 adds BLACKHOLE: ALL ['28'] < ['2']
I1217 12:42:45.812 2374066 flip.py:564] node 30 adds BLACKHOLE: ALL ['28'] < ['30']
I1217 12:42:45.812 2374066 flip.py:564] node 24 adds BLACKHOLE: ALL ['24'] < ['28']
I1217 12:42:45.812 2374066 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['20']
I1217 12:42:45.812 2374066 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['20']
I1217 12:42:45.813 2374066 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['59']
I1217 12:42:45.813 2374066 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['51']
I1217 12:42:45.813 2374066 flip.py:564] node 45 adds BLACKHOLE: ALL ['45'] < ['51']
I1217 12:42:45.813 2374066 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['90']
I1217 12:42:45.813 2374066 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['82']
I1217 12:42:45.813 2374066 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['82']
I1217 12:42:45.813 2374066 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['121']
I1217 12:42:45.814 2374066 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['113']
I1217 12:42:45.814 2374066 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['113']
I1217 12:42:45.814 2374066 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['152']
I1217 12:42:45.814 2374066 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['144']
I1217 12:42:45.814 2374066 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['144']
I1217 12:42:45.814 2374066 flip.py:564] node 179 adds BLACKHOLE: ALL ['179'] < ['183']
I1217 12:42:45.814 2374066 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['175']
I1217 12:42:45.815 2374066 flip.py:564] node 169 adds BLACKHOLE: ALL ['169'] < ['175']
I1217 12:42:45.815 2374066 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['214']
I1217 12:42:45.815 2374066 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['206']
I1217 12:42:45.815 2374066 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['206']
I1217 12:42:45.815 2374066 flip.py:564] node 241 adds BLACKHOLE: ALL ['241'] < ['245']
I1217 12:42:45.815 2374066 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['237']
I1217 12:42:45.815 2374066 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['237']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:45.833 2374066 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: 7, dst: 244, path: ['7', '6', '28', '24', '20', '14', '15', '8', '5', '4', '27', '38', '37', '59', '55', '51', '45', '46', '39', '36', '35', '58', '69', '68', '90', '86', '82', '76', '77', '70', '67', '66', '89', '100', '99', '121', '117', '113', '107', '108', '101', '98', '97', '120', '131', '130', '152', '148', '144', '138', '139', '132', '129', '128', '151', '162', '161', '183', '179', '175', '169', '170', '163', '160', '159', '182', '193', '192', '214', '210', '206', '200', '201', '194', '191', '190', '213', '224', '223', '245', '241', '237', '231', '232', '225', '222', '221', '244'], tags: {}> doesn't satisfy any of [['92']]
