Version: 1.13 
 _ data/zoo_json_cond_enf1/VtlWavenet2008_1.json -f output/flip/data/zoo_json_cond_enf1/VtlWavenet2008_1.json.subpaths
Flip subpaths generated in 0.157 seconds!
real 0.60
user 0.82
sys 0.09
<logging.Logger object at 0x7f2fa97af7d0>
W1217 12:44:50.618 3251088 flip.py:156] subpath ['81', '80', '82'] is superfluous, discarding it
I1217 12:44:50.641 3251088 flip.py:638] node 11 (11->7->11) adds LOOP: ANY ['7'] < ['11']
I1217 12:44:50.642 3251088 flip.py:638] node 42 (42->74->42) adds LOOP: ANY ['42'] < ['74']
I1217 12:44:50.642 3251088 flip.py:638] node 3 (3->4->3) adds LOOP: ANY ['3'] < ['4']
I1217 12:44:50.643 3251088 flip.py:638] node 3 (3->2->3) adds LOOP: ANY ['2'] < ['3']
I1217 12:44:50.643 3251088 flip.py:638] node 5 (5->6->5) adds LOOP: ANY ['5'] < ['6']
I1217 12:44:50.643 3251088 flip.py:638] node 5 (5->4->5) adds LOOP: ANY ['4'] < ['5']
I1217 12:44:50.644 3251088 flip.py:638] node 7 (7->6->7) adds LOOP: ANY ['6'] < ['7']
I1217 12:44:50.644 3251088 flip.py:638] node 2 (2->74->2) adds LOOP: ANY ['74'] < ['2']
I1217 12:44:50.648 3251088 flip.py:564] node 62 adds BLACKHOLE: ALL ['11'] < ['62']
I1217 12:44:50.648 3251088 flip.py:564] node 63 adds BLACKHOLE: ALL ['11'] < ['63']
I1217 12:44:50.649 3251088 flip.py:564] node 16 adds BLACKHOLE: ALL ['11'] < ['16']
I1217 12:44:50.649 3251088 flip.py:564] node 60 adds BLACKHOLE: ALL ['11'] < ['60']
I1217 12:44:50.649 3251088 flip.py:564] node 12 adds BLACKHOLE: ALL ['11'] < ['12']
I1217 12:44:50.649 3251088 flip.py:564] node 61 adds BLACKHOLE: ALL ['11'] < ['61']
I1217 12:44:50.649 3251088 flip.py:564] node 58 adds BLACKHOLE: ALL ['11'] < ['58']
I1217 12:44:50.649 3251088 flip.py:564] node 10 adds BLACKHOLE: ALL ['11'] < ['10']
I1217 12:44:50.650 3251088 flip.py:839] node 11 (green-white) adds POLICY: ALL ['7'] < ['11'] with dependencies []
I1217 12:44:50.650 3251088 flip.py:839] node 7 (green-white) adds POLICY: ALL ['6'] < ['7'] with dependencies []
I1217 12:44:50.650 3251088 flip.py:839] node 6 (green-white) adds POLICY: ALL ['5'] < ['6'] with dependencies []
I1217 12:44:50.651 3251088 flip.py:839] node 5 (green-white) adds POLICY: ALL ['4'] < ['5'] with dependencies []
I1217 12:44:50.651 3251088 flip.py:839] node 4 (green-white) adds POLICY: ALL ['3'] < ['4'] with dependencies []
I1217 12:44:50.651 3251088 flip.py:839] node 3 (green-white) adds POLICY: ALL ['2'] < ['3'] with dependencies []
I1217 12:44:50.651 3251088 flip.py:839] node 2 (green-white) adds POLICY: ALL ['74'] < ['2'] with dependencies []
I1217 12:44:50.651 3251088 flip.py:839] node 74 (green-white) adds POLICY: ALL ['42'] < ['74'] with dependencies []
I1217 12:44:50.652 3251088 flip.py:839] node 42 (green-white) adds POLICY: ALL ['81'] < ['42'] with dependencies []
I1217 12:44:50.652 3251088 flip.py:564] node 36 adds BLACKHOLE: ALL ['81'] < ['36']
I1217 12:44:50.653 3251088 flip.py:564] node 75 adds BLACKHOLE: ALL ['81'] < ['75']
I1217 12:44:50.653 3251088 flip.py:564] node 24 adds BLACKHOLE: ALL ['81'] < ['24']
I1217 12:44:50.653 3251088 flip.py:564] node 43 adds BLACKHOLE: ALL ['81'] < ['43']
I1217 12:44:50.653 3251088 flip.py:564] node 25 adds BLACKHOLE: ALL ['81'] < ['25']
I1217 12:44:50.653 3251088 flip.py:564] node 22 adds BLACKHOLE: ALL ['81'] < ['22']
I1217 12:44:50.654 3251088 flip.py:564] node 26 adds BLACKHOLE: ALL ['81'] < ['26']
I1217 12:44:50.654 3251088 flip.py:564] node 47 adds BLACKHOLE: ALL ['81'] < ['47']
I1217 12:44:50.654 3251088 flip.py:564] node 27 adds BLACKHOLE: ALL ['81'] < ['27']
I1217 12:44:50.654 3251088 flip.py:564] node 13 adds BLACKHOLE: ALL ['81'] < ['13']
I1217 12:44:50.654 3251088 flip.py:564] node 73 adds BLACKHOLE: ALL ['81'] < ['73']
I1217 12:44:50.654 3251088 flip.py:564] node 46 adds BLACKHOLE: ALL ['81'] < ['46']
I1217 12:44:50.655 3251088 flip.py:564] node 41 adds BLACKHOLE: ALL ['81'] < ['41']
I1217 12:44:50.655 3251088 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['81']
I1217 12:44:50.655 3251088 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['81']
I1217 12:44:50.656 3251088 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['81']
I1217 12:44:50.656 3251088 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['81']
I1217 12:44:50.656 3251088 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['81']
I1217 12:44:50.657 3251088 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['81']
I1217 12:44:50.657 3251088 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['81']
I1217 12:44:50.657 3251088 flip.py:564] node 30 adds BLACKHOLE: ALL ['30'] < ['81']
I1217 12:44:50.657 3251088 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['81']
I1217 12:44:50.658 3251088 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['81']
I1217 12:44:50.658 3251088 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['81']
I1217 12:44:50.658 3251088 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['81']
I1217 12:44:50.658 3251088 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['81']
I1217 12:44:50.659 3251088 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['81']
I1217 12:44:50.660 3251088 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['81']
I1217 12:44:50.660 3251088 flip.py:564] node 64 adds BLACKHOLE: ALL ['64'] < ['42']
I1217 12:44:50.660 3251088 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['42']
I1217 12:44:50.660 3251088 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['42']
I1217 12:44:50.661 3251088 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['42']
I1217 12:44:50.661 3251088 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['42']
I1217 12:44:50.661 3251088 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['42']
I1217 12:44:50.661 3251088 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['42']
I1217 12:44:50.662 3251088 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['42']
I1217 12:44:50.662 3251088 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['42']
I1217 12:44:50.662 3251088 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['42']
I1217 12:44:50.662 3251088 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['42']
I1217 12:44:50.662 3251088 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['42']
I1217 12:44:50.663 3251088 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['42']
I1217 12:44:50.663 3251088 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['42']
I1217 12:44:50.663 3251088 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['42']
I1217 12:44:50.663 3251088 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['42']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:50.674 3251088 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 202, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='initial')
  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 initial configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 81, dst: 65, path: ['81', '41', '46', '73', '13', '27', '47', '26', '22', '25', '43', '24', '75', '36', '42', '74', '2', '3', '4', '5', '6', '7', '11', '10', '58', '61', '12', '60', '16', '63', '62', '65'], tags: {}> doesn't satisfy any of [['81', '80', '82'], ['82']]
