Version: 1.13 
 _ data/zoo_json_cond_enf1/Funet_4.json -f output/flip/data/zoo_json_cond_enf1/Funet_4.json.subpaths
Flip subpaths generated in 0.227 seconds!
real 1.38
user 0.95
sys 0.08
<logging.Logger object at 0x7f5618e977d0>
I1217 12:44:19.836 2481318 flip.py:638] node 0 (0->2->0) adds LOOP: ANY ['0'] < ['2']
I1217 12:44:19.846 2481318 flip.py:638] node 26 (26->28->26) adds LOOP: ANY ['26'] < ['28']
I1217 12:44:19.854 2481318 flip.py:638] node 54 (54->52->54) adds LOOP: ANY ['52'] < ['54']
I1217 12:44:19.861 2481318 flip.py:638] node 80 (80->78->80) adds LOOP: ANY ['78'] < ['80']
I1217 12:44:19.867 2481318 flip.py:638] node 106 (106->104->106) adds LOOP: ANY ['104'] < ['106']
I1217 12:44:19.872 2481318 flip.py:638] node 132 (132->130->132) adds LOOP: ANY ['130'] < ['132']
I1217 12:44:19.875 2481318 flip.py:638] node 158 (158->156->158) adds LOOP: ANY ['156'] < ['158']
I1217 12:44:19.877 2481318 flip.py:638] node 182 (182->184->182) adds LOOP: ANY ['182'] < ['184']
I1217 12:44:19.877 2481318 flip.py:564] node 202 adds BLACKHOLE: ALL ['204'] < ['202']
I1217 12:44:19.877 2481318 flip.py:839] node 204 (white-green) adds POLICY: ALL ['204'] < ['182'] with dependencies []
I1217 12:44:19.878 2481318 flip.py:839] node 184 (white-green) adds POLICY: ALL ['184'] < ['194'] with dependencies []
I1217 12:44:19.878 2481318 flip.py:839] node 182 (white-green) adds POLICY: ALL ['182'] < ['184'] with dependencies []
I1217 12:44:19.878 2481318 flip.py:564] node 183 adds BLACKHOLE: ALL ['194'] < ['183']
I1217 12:44:19.878 2481318 flip.py:564] node 193 adds BLACKHOLE: ALL ['194'] < ['193']
I1217 12:44:19.879 2481318 flip.py:839] node 194 (white-green) adds POLICY: ALL ['194'] < ['178'] with dependencies []
I1217 12:44:19.879 2481318 flip.py:564] node 176 adds BLACKHOLE: ALL ['178'] < ['176']
I1217 12:44:19.879 2481318 flip.py:839] node 178 (white-green) adds POLICY: ALL ['178'] < ['156'] with dependencies []
I1217 12:44:19.879 2481318 flip.py:839] node 158 (white-green) adds POLICY: ALL ['158'] < ['168'] with dependencies []
I1217 12:44:19.880 2481318 flip.py:839] node 156 (white-green) adds POLICY: ALL ['156'] < ['158'] with dependencies []
I1217 12:44:19.880 2481318 flip.py:564] node 157 adds BLACKHOLE: ALL ['168'] < ['157']
I1217 12:44:19.880 2481318 flip.py:564] node 167 adds BLACKHOLE: ALL ['168'] < ['167']
I1217 12:44:19.880 2481318 flip.py:839] node 168 (white-green) adds POLICY: ALL ['168'] < ['152'] with dependencies []
I1217 12:44:19.880 2481318 flip.py:564] node 150 adds BLACKHOLE: ALL ['152'] < ['150']
I1217 12:44:19.880 2481318 flip.py:839] node 152 (white-green) adds POLICY: ALL ['152'] < ['130'] with dependencies []
I1217 12:44:19.881 2481318 flip.py:839] node 132 (white-green) adds POLICY: ALL ['132'] < ['142'] with dependencies []
I1217 12:44:19.881 2481318 flip.py:839] node 130 (white-green) adds POLICY: ALL ['130'] < ['132'] with dependencies []
I1217 12:44:19.881 2481318 flip.py:564] node 131 adds BLACKHOLE: ALL ['142'] < ['131']
I1217 12:44:19.881 2481318 flip.py:564] node 141 adds BLACKHOLE: ALL ['142'] < ['141']
I1217 12:44:19.882 2481318 flip.py:839] node 142 (white-green) adds POLICY: ALL ['142'] < ['126'] with dependencies []
I1217 12:44:19.882 2481318 flip.py:564] node 124 adds BLACKHOLE: ALL ['126'] < ['124']
I1217 12:44:19.882 2481318 flip.py:839] node 126 (white-green) adds POLICY: ALL ['126'] < ['104'] with dependencies []
I1217 12:44:19.882 2481318 flip.py:839] node 106 (white-green) adds POLICY: ALL ['106'] < ['116'] with dependencies []
I1217 12:44:19.883 2481318 flip.py:839] node 104 (white-green) adds POLICY: ALL ['104'] < ['106'] with dependencies []
I1217 12:44:19.883 2481318 flip.py:564] node 105 adds BLACKHOLE: ALL ['116'] < ['105']
I1217 12:44:19.883 2481318 flip.py:564] node 115 adds BLACKHOLE: ALL ['116'] < ['115']
I1217 12:44:19.883 2481318 flip.py:839] node 116 (white-green) adds POLICY: ALL ['116'] < ['100'] with dependencies []
I1217 12:44:19.884 2481318 flip.py:564] node 98 adds BLACKHOLE: ALL ['100'] < ['98']
I1217 12:44:19.884 2481318 flip.py:564] node 79 adds BLACKHOLE: ALL ['90'] < ['79']
I1217 12:44:19.884 2481318 flip.py:564] node 89 adds BLACKHOLE: ALL ['90'] < ['89']
I1217 12:44:19.884 2481318 flip.py:564] node 72 adds BLACKHOLE: ALL ['74'] < ['72']
I1217 12:44:19.884 2481318 flip.py:564] node 53 adds BLACKHOLE: ALL ['64'] < ['53']
I1217 12:44:19.885 2481318 flip.py:564] node 63 adds BLACKHOLE: ALL ['64'] < ['63']
I1217 12:44:19.885 2481318 flip.py:564] node 46 adds BLACKHOLE: ALL ['48'] < ['46']
I1217 12:44:19.885 2481318 flip.py:564] node 27 adds BLACKHOLE: ALL ['38'] < ['27']
I1217 12:44:19.885 2481318 flip.py:564] node 37 adds BLACKHOLE: ALL ['38'] < ['37']
I1217 12:44:19.885 2481318 flip.py:564] node 20 adds BLACKHOLE: ALL ['22'] < ['20']
I1217 12:44:19.886 2481318 flip.py:564] node 1 adds BLACKHOLE: ALL ['12'] < ['1']
I1217 12:44:19.886 2481318 flip.py:564] node 11 adds BLACKHOLE: ALL ['12'] < ['11']
I1217 12:44:19.886 2481318 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['12']
I1217 12:44:19.886 2481318 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['12']
I1217 12:44:19.886 2481318 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['12']
I1217 12:44:19.886 2481318 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['0']
I1217 12:44:19.886 2481318 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['0']
I1217 12:44:19.886 2481318 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['22']
I1217 12:44:19.887 2481318 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['38']
I1217 12:44:19.887 2481318 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['38']
I1217 12:44:19.887 2481318 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['38']
I1217 12:44:19.887 2481318 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['26']
I1217 12:44:19.887 2481318 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['26']
I1217 12:44:19.887 2481318 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['48']
I1217 12:44:19.887 2481318 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['64']
I1217 12:44:19.888 2481318 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['64']
I1217 12:44:19.888 2481318 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['64']
I1217 12:44:19.888 2481318 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['52']
I1217 12:44:19.888 2481318 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['52']
I1217 12:44:19.888 2481318 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['74']
I1217 12:44:19.888 2481318 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['90']
I1217 12:44:19.888 2481318 flip.py:564] node 84 adds BLACKHOLE: ALL ['84'] < ['90']
I1217 12:44:19.889 2481318 flip.py:564] node 85 adds BLACKHOLE: ALL ['85'] < ['90']
I1217 12:44:19.889 2481318 flip.py:564] node 94 adds BLACKHOLE: ALL ['94'] < ['78']
I1217 12:44:19.889 2481318 flip.py:564] node 95 adds BLACKHOLE: ALL ['95'] < ['78']
I1217 12:44:19.889 2481318 flip.py:564] node 96 adds BLACKHOLE: ALL ['96'] < ['100']
I1217 12:44:19.889 2481318 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['116']
I1217 12:44:19.889 2481318 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['116']
I1217 12:44:19.889 2481318 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['116']
I1217 12:44:19.889 2481318 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['104']
I1217 12:44:19.889 2481318 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['104']
I1217 12:44:19.890 2481318 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['126']
I1217 12:44:19.890 2481318 flip.py:564] node 133 adds BLACKHOLE: ALL ['133'] < ['142']
I1217 12:44:19.890 2481318 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['142']
I1217 12:44:19.890 2481318 flip.py:564] node 137 adds BLACKHOLE: ALL ['137'] < ['142']
I1217 12:44:19.890 2481318 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['130']
I1217 12:44:19.890 2481318 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['130']
I1217 12:44:19.890 2481318 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['152']
I1217 12:44:19.890 2481318 flip.py:564] node 159 adds BLACKHOLE: ALL ['159'] < ['168']
I1217 12:44:19.891 2481318 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['168']
I1217 12:44:19.891 2481318 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['168']
I1217 12:44:19.891 2481318 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['156']
I1217 12:44:19.891 2481318 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['156']
I1217 12:44:19.891 2481318 flip.py:564] node 174 adds BLACKHOLE: ALL ['174'] < ['178']
I1217 12:44:19.891 2481318 flip.py:564] node 185 adds BLACKHOLE: ALL ['185'] < ['194']
I1217 12:44:19.891 2481318 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['194']
I1217 12:44:19.892 2481318 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['194']
I1217 12:44:19.892 2481318 flip.py:564] node 198 adds BLACKHOLE: ALL ['198'] < ['182']
I1217 12:44:19.892 2481318 flip.py:564] node 199 adds BLACKHOLE: ALL ['199'] < ['182']
I1217 12:44:19.892 2481318 flip.py:564] node 200 adds BLACKHOLE: ALL ['200'] < ['204']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:19.906 2481318 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: 14, dst: 201, path: ['14', '12', '7', '6', '3', '2', '0', '17', '16', '25', '22', '18', '19', '40', '38', '33', '32', '29', '28', '26', '43', '42', '51', '48', '44', '45', '66', '64', '59', '58', '55', '54', '52', '69', '68', '77', '74', '70', '71', '92', '90', '85', '84', '81', '80', '78', '95', '94', '103', '100', '96', '97', '118', '116', '111', '110', '107', '106', '104', '121', '120', '129', '126', '122', '123', '144', '142', '137', '136', '133', '132', '130', '147', '146', '155', '152', '148', '149', '170', '168', '163', '162', '159', '158', '156', '173', '172', '181', '178', '174', '175', '196', '194', '189', '188', '185', '184', '182', '199', '198', '207', '204', '200', '201'], tags: {}> doesn't satisfy any of [['98']]
