Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Litnet_4.json -f output/flip/data/zoo_json_alt_waypoint4/Litnet_4.json.subpaths
Flip subpaths generated in 0.433 seconds!
real 1.15
user 0.90
sys 0.11
<logging.Logger object at 0x7f19f0c4f7d0>
I1217 12:33:08.333 2365052 flip.py:564] node 313 adds BLACKHOLE: ALL ['306'] < ['313']
I1217 12:33:08.334 2365052 flip.py:564] node 273 adds BLACKHOLE: ALL ['266'] < ['273']
I1217 12:33:08.334 2365052 flip.py:564] node 233 adds BLACKHOLE: ALL ['226'] < ['233']
I1217 12:33:08.335 2365052 flip.py:839] node 226 (cyan-cyan) adds POLICY: ALL ['226'] < ['186'] with dependencies set([])
I1217 12:33:08.335 2365052 flip.py:839] node 226 (cyan-cyan) adds POLICY: ALL ['186'] < ['226'] with dependencies set([])
I1217 12:33:08.335 2365052 flip.py:564] node 193 adds BLACKHOLE: ALL ['186'] < ['193']
I1217 12:33:08.336 2365052 flip.py:839] node 186 (cyan-cyan) adds POLICY: ALL ['146'] < ['186'] with dependencies set([])
I1217 12:33:08.337 2365052 flip.py:564] node 153 adds BLACKHOLE: ALL ['146'] < ['153']
I1217 12:33:08.338 2365052 flip.py:839] node 146 (cyan-cyan) adds POLICY: ALL ['106'] < ['146'] with dependencies set([])
I1217 12:33:08.338 2365052 flip.py:564] node 113 adds BLACKHOLE: ALL ['106'] < ['113']
I1217 12:33:08.339 2365052 flip.py:839] node 106 (cyan-cyan) adds POLICY: ALL ['106'] < ['66'] with dependencies set([])
I1217 12:33:08.339 2365052 flip.py:839] node 106 (cyan-cyan) adds POLICY: ALL ['66'] < ['106'] with dependencies set([])
I1217 12:33:08.340 2365052 flip.py:564] node 73 adds BLACKHOLE: ALL ['66'] < ['73']
I1217 12:33:08.341 2365052 flip.py:839] node 66 (cyan-cyan) adds POLICY: ALL ['26'] < ['66'] with dependencies set([])
I1217 12:33:08.341 2365052 flip.py:839] node 66 (cyan-cyan) adds POLICY: ALL ['66'] < ['26'] with dependencies set([])
I1217 12:33:08.341 2365052 flip.py:564] node 33 adds BLACKHOLE: ALL ['26'] < ['33']
I1217 12:33:08.341 2365052 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['26']
I1217 12:33:08.342 2365052 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['26']
I1217 12:33:08.342 2365052 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['66']
I1217 12:33:08.342 2365052 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['66']
I1217 12:33:08.342 2365052 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['106']
I1217 12:33:08.342 2365052 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['106']
I1217 12:33:08.342 2365052 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['146']
I1217 12:33:08.342 2365052 flip.py:564] node 152 adds BLACKHOLE: ALL ['152'] < ['146']
I1217 12:33:08.343 2365052 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['186']
I1217 12:33:08.343 2365052 flip.py:564] node 192 adds BLACKHOLE: ALL ['192'] < ['186']
I1217 12:33:08.343 2365052 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['226']
I1217 12:33:08.343 2365052 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['226']
I1217 12:33:08.343 2365052 flip.py:564] node 241 adds BLACKHOLE: ALL ['241'] < ['266']
I1217 12:33:08.344 2365052 flip.py:564] node 272 adds BLACKHOLE: ALL ['272'] < ['266']
I1217 12:33:08.344 2365052 flip.py:564] node 281 adds BLACKHOLE: ALL ['281'] < ['306']
I1217 12:33:08.344 2365052 flip.py:564] node 312 adds BLACKHOLE: ALL ['312'] < ['306']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:33:08.358 2365052 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: 18, dst: 316, path: ['18', '26', '32', '1', '39', '36', '58', '66', '72', '41', '79', '76', '98', '106', '112', '81', '119', '116', '138', '146', '152', '121', '159', '156', '178', '186', '192', '161', '199', '196', '218', '226', '232', '201', '239', '236', '258', '266', '272', '241', '279', '276', '298', '306', '312', '281', '319', '316'], tags: {}> doesn't satisfy any of [['159', '156', '178', '186', '193', '199', '196'], ['39', '36', '58', '66', '73', '79', '76', '98', '106', '113', '119', '116', '138', '146', '153', '159'], ['39', '36', '58', '66', '73', '79', '76', '98', '106', '113', '119', '116', '138', '146', '152', '121', '159', '156', '178', '186', '193'], ['39', '36', '58', '66', '73', '79', '76', '98', '106', '112', '81', '119', '116', '138', '146', '153', '159'], ['39', '36', '58', '66', '73', '79', '76', '98', '106', '112', '81', '119', '116', '138', '146', '152', '121', '159', '156', '178', '186', '193'], ['39', '36', '58', '66', '72', '41', '79', '76', '98', '106', '113', '119', '116', '138', '146', '153', '159'], ['39', '36', '58', '66', '72', '41', '79', '76', '98', '106', '113', '119', '116', '138', '146', '152', '121', '159', '156', '178', '186', '193'], ['39', '36', '58', '66', '72', '41', '79', '76', '98', '106', '112', '81', '119', '116', '138', '146', '153', '159'], ['39', '36', '58', '66', '72', '41', '79', '76', '98', '106', '112', '81', '119', '116', '138', '146', '152', '121', '159', '156', '178', '186', '193'], ['146', '153', '159', '156', '178', '186', '193', '199', '196'], ['146', '153', '159', '156', '178', '186', '192', '161', '199', '196'], ['146', '152', '121', '159', '156', '178', '186', '193', '199', '196'], ['153', '159', '156', '178', '186', '193', '199', '196'], ['153', '159', '156', '178', '186', '192', '161', '199', '196'], ['193', '199', '196', '218', '226', '233', '239', '236', '258'], ['193', '199', '196', '218', '226', '232', '201', '239', '236', '258']]
