Version: 1.13 
 _ data/zoo_json_cond_enf1/Sunet_4.json -f output/flip/data/zoo_json_cond_enf1/Sunet_4.json.subpaths
Flip subpaths generated in 0.472 seconds!
real 1.16
user 1.61
sys 0.13
<logging.Logger object at 0x7f99ede3f7d0>
I1217 12:42:33.992 2604947 flip.py:638] node 9 (9->10->9) adds LOOP: ANY ['9'] < ['10']
I1217 12:42:34.9 2604947 flip.py:638] node 36 (36->35->36) adds LOOP: ANY ['35'] < ['36']
I1217 12:42:34.24 2604947 flip.py:638] node 61 (61->62->61) adds LOOP: ANY ['61'] < ['62']
I1217 12:42:34.36 2604947 flip.py:638] node 88 (88->87->88) adds LOOP: ANY ['87'] < ['88']
I1217 12:42:34.46 2604947 flip.py:638] node 114 (114->113->114) adds LOOP: ANY ['113'] < ['114']
I1217 12:42:34.53 2604947 flip.py:638] node 139 (139->140->139) adds LOOP: ANY ['139'] < ['140']
I1217 12:42:34.59 2604947 flip.py:638] node 165 (165->166->165) adds LOOP: ANY ['165'] < ['166']
I1217 12:42:34.63 2604947 flip.py:638] node 191 (191->192->191) adds LOOP: ANY ['191'] < ['192']
I1217 12:42:34.64 2604947 flip.py:839] node 202 (green-white) adds POLICY: ALL ['192'] < ['202'] with dependencies []
I1217 12:42:34.65 2604947 flip.py:564] node 206 adds BLACKHOLE: ALL ['192'] < ['206']
I1217 12:42:34.65 2604947 flip.py:564] node 184 adds BLACKHOLE: ALL ['192'] < ['184']
I1217 12:42:34.65 2604947 flip.py:564] node 183 adds BLACKHOLE: ALL ['192'] < ['183']
I1217 12:42:34.65 2604947 flip.py:564] node 188 adds BLACKHOLE: ALL ['192'] < ['188']
I1217 12:42:34.65 2604947 flip.py:564] node 182 adds BLACKHOLE: ALL ['192'] < ['182']
I1217 12:42:34.65 2604947 flip.py:564] node 186 adds BLACKHOLE: ALL ['192'] < ['186']
I1217 12:42:34.65 2604947 flip.py:839] node 192 (green-white) adds POLICY: ALL ['191'] < ['192'] with dependencies []
I1217 12:42:34.66 2604947 flip.py:839] node 191 (green-white) adds POLICY: ALL ['193'] < ['191'] with dependencies []
I1217 12:42:34.66 2604947 flip.py:564] node 195 adds BLACKHOLE: ALL ['193'] < ['195']
I1217 12:42:34.66 2604947 flip.py:564] node 194 adds BLACKHOLE: ALL ['193'] < ['194']
I1217 12:42:34.66 2604947 flip.py:839] node 193 (green-white) adds POLICY: ALL ['176'] < ['193'] with dependencies []
I1217 12:42:34.67 2604947 flip.py:839] node 176 (green-white) adds POLICY: ALL ['166'] < ['176'] with dependencies []
I1217 12:42:34.67 2604947 flip.py:564] node 180 adds BLACKHOLE: ALL ['166'] < ['180']
I1217 12:42:34.67 2604947 flip.py:564] node 158 adds BLACKHOLE: ALL ['166'] < ['158']
I1217 12:42:34.67 2604947 flip.py:564] node 157 adds BLACKHOLE: ALL ['166'] < ['157']
I1217 12:42:34.67 2604947 flip.py:564] node 162 adds BLACKHOLE: ALL ['166'] < ['162']
I1217 12:42:34.67 2604947 flip.py:564] node 156 adds BLACKHOLE: ALL ['166'] < ['156']
I1217 12:42:34.68 2604947 flip.py:564] node 160 adds BLACKHOLE: ALL ['166'] < ['160']
I1217 12:42:34.68 2604947 flip.py:839] node 166 (green-white) adds POLICY: ALL ['165'] < ['166'] with dependencies []
I1217 12:42:34.68 2604947 flip.py:839] node 165 (green-white) adds POLICY: ALL ['167'] < ['165'] with dependencies []
I1217 12:42:34.68 2604947 flip.py:564] node 169 adds BLACKHOLE: ALL ['167'] < ['169']
I1217 12:42:34.68 2604947 flip.py:564] node 168 adds BLACKHOLE: ALL ['167'] < ['168']
I1217 12:42:34.68 2604947 flip.py:839] node 167 (green-white) adds POLICY: ALL ['150'] < ['167'] with dependencies []
I1217 12:42:34.69 2604947 flip.py:839] node 150 (green-white) adds POLICY: ALL ['140'] < ['150'] with dependencies []
I1217 12:42:34.69 2604947 flip.py:564] node 154 adds BLACKHOLE: ALL ['140'] < ['154']
I1217 12:42:34.69 2604947 flip.py:564] node 132 adds BLACKHOLE: ALL ['140'] < ['132']
I1217 12:42:34.69 2604947 flip.py:564] node 131 adds BLACKHOLE: ALL ['140'] < ['131']
I1217 12:42:34.69 2604947 flip.py:564] node 136 adds BLACKHOLE: ALL ['140'] < ['136']
I1217 12:42:34.70 2604947 flip.py:564] node 130 adds BLACKHOLE: ALL ['140'] < ['130']
I1217 12:42:34.70 2604947 flip.py:564] node 134 adds BLACKHOLE: ALL ['140'] < ['134']
I1217 12:42:34.70 2604947 flip.py:839] node 140 (green-white) adds POLICY: ALL ['139'] < ['140'] with dependencies []
I1217 12:42:34.70 2604947 flip.py:839] node 139 (green-white) adds POLICY: ALL ['141'] < ['139'] with dependencies []
I1217 12:42:34.71 2604947 flip.py:564] node 143 adds BLACKHOLE: ALL ['141'] < ['143']
I1217 12:42:34.71 2604947 flip.py:564] node 142 adds BLACKHOLE: ALL ['141'] < ['142']
I1217 12:42:34.71 2604947 flip.py:839] node 141 (green-white) adds POLICY: ALL ['124'] < ['141'] with dependencies []
I1217 12:42:34.71 2604947 flip.py:839] node 124 (green-white) adds POLICY: ALL ['114'] < ['124'] with dependencies []
I1217 12:42:34.72 2604947 flip.py:564] node 128 adds BLACKHOLE: ALL ['114'] < ['128']
I1217 12:42:34.72 2604947 flip.py:564] node 106 adds BLACKHOLE: ALL ['114'] < ['106']
I1217 12:42:34.72 2604947 flip.py:564] node 105 adds BLACKHOLE: ALL ['114'] < ['105']
I1217 12:42:34.72 2604947 flip.py:564] node 110 adds BLACKHOLE: ALL ['114'] < ['110']
I1217 12:42:34.72 2604947 flip.py:564] node 104 adds BLACKHOLE: ALL ['114'] < ['104']
I1217 12:42:34.72 2604947 flip.py:564] node 108 adds BLACKHOLE: ALL ['114'] < ['108']
I1217 12:42:34.72 2604947 flip.py:839] node 114 (green-white) adds POLICY: ALL ['113'] < ['114'] with dependencies []
I1217 12:42:34.73 2604947 flip.py:839] node 113 (green-white) adds POLICY: ALL ['115'] < ['113'] with dependencies []
I1217 12:42:34.73 2604947 flip.py:564] node 117 adds BLACKHOLE: ALL ['115'] < ['117']
I1217 12:42:34.73 2604947 flip.py:564] node 116 adds BLACKHOLE: ALL ['115'] < ['116']
I1217 12:42:34.73 2604947 flip.py:839] node 115 (green-white) adds POLICY: ALL ['98'] < ['115'] with dependencies []
I1217 12:42:34.73 2604947 flip.py:839] node 98 (green-white) adds POLICY: ALL ['88'] < ['98'] with dependencies []
I1217 12:42:34.74 2604947 flip.py:564] node 102 adds BLACKHOLE: ALL ['88'] < ['102']
I1217 12:42:34.74 2604947 flip.py:564] node 80 adds BLACKHOLE: ALL ['88'] < ['80']
I1217 12:42:34.74 2604947 flip.py:564] node 79 adds BLACKHOLE: ALL ['88'] < ['79']
I1217 12:42:34.74 2604947 flip.py:564] node 84 adds BLACKHOLE: ALL ['88'] < ['84']
I1217 12:42:34.74 2604947 flip.py:564] node 78 adds BLACKHOLE: ALL ['88'] < ['78']
I1217 12:42:34.75 2604947 flip.py:564] node 82 adds BLACKHOLE: ALL ['88'] < ['82']
I1217 12:42:34.75 2604947 flip.py:564] node 91 adds BLACKHOLE: ALL ['89'] < ['91']
I1217 12:42:34.75 2604947 flip.py:564] node 90 adds BLACKHOLE: ALL ['89'] < ['90']
I1217 12:42:34.76 2604947 flip.py:564] node 76 adds BLACKHOLE: ALL ['62'] < ['76']
I1217 12:42:34.76 2604947 flip.py:564] node 54 adds BLACKHOLE: ALL ['62'] < ['54']
I1217 12:42:34.76 2604947 flip.py:564] node 53 adds BLACKHOLE: ALL ['62'] < ['53']
I1217 12:42:34.76 2604947 flip.py:564] node 58 adds BLACKHOLE: ALL ['62'] < ['58']
I1217 12:42:34.76 2604947 flip.py:564] node 52 adds BLACKHOLE: ALL ['62'] < ['52']
I1217 12:42:34.76 2604947 flip.py:564] node 56 adds BLACKHOLE: ALL ['62'] < ['56']
I1217 12:42:34.76 2604947 flip.py:564] node 65 adds BLACKHOLE: ALL ['63'] < ['65']
I1217 12:42:34.76 2604947 flip.py:564] node 64 adds BLACKHOLE: ALL ['63'] < ['64']
I1217 12:42:34.77 2604947 flip.py:564] node 50 adds BLACKHOLE: ALL ['36'] < ['50']
I1217 12:42:34.77 2604947 flip.py:564] node 28 adds BLACKHOLE: ALL ['36'] < ['28']
I1217 12:42:34.77 2604947 flip.py:564] node 27 adds BLACKHOLE: ALL ['36'] < ['27']
I1217 12:42:34.77 2604947 flip.py:564] node 32 adds BLACKHOLE: ALL ['36'] < ['32']
I1217 12:42:34.77 2604947 flip.py:564] node 26 adds BLACKHOLE: ALL ['36'] < ['26']
I1217 12:42:34.77 2604947 flip.py:564] node 30 adds BLACKHOLE: ALL ['36'] < ['30']
I1217 12:42:34.78 2604947 flip.py:564] node 39 adds BLACKHOLE: ALL ['37'] < ['39']
I1217 12:42:34.78 2604947 flip.py:564] node 38 adds BLACKHOLE: ALL ['37'] < ['38']
I1217 12:42:34.78 2604947 flip.py:564] node 24 adds BLACKHOLE: ALL ['10'] < ['24']
I1217 12:42:34.78 2604947 flip.py:564] node 2 adds BLACKHOLE: ALL ['10'] < ['2']
I1217 12:42:34.78 2604947 flip.py:564] node 1 adds BLACKHOLE: ALL ['10'] < ['1']
I1217 12:42:34.78 2604947 flip.py:564] node 6 adds BLACKHOLE: ALL ['10'] < ['6']
I1217 12:42:34.79 2604947 flip.py:564] node 0 adds BLACKHOLE: ALL ['10'] < ['0']
I1217 12:42:34.79 2604947 flip.py:564] node 4 adds BLACKHOLE: ALL ['10'] < ['4']
I1217 12:42:34.79 2604947 flip.py:564] node 13 adds BLACKHOLE: ALL ['11'] < ['13']
I1217 12:42:34.79 2604947 flip.py:564] node 12 adds BLACKHOLE: ALL ['11'] < ['12']
I1217 12:42:34.79 2604947 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['11']
I1217 12:42:34.79 2604947 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['9']
I1217 12:42:34.79 2604947 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['9']
I1217 12:42:34.80 2604947 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['9']
I1217 12:42:34.80 2604947 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['9']
I1217 12:42:34.80 2604947 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['20']
I1217 12:42:34.80 2604947 flip.py:564] node 41 adds BLACKHOLE: ALL ['41'] < ['37']
I1217 12:42:34.80 2604947 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['35']
I1217 12:42:34.80 2604947 flip.py:564] node 42 adds BLACKHOLE: ALL ['42'] < ['35']
I1217 12:42:34.80 2604947 flip.py:564] node 31 adds BLACKHOLE: ALL ['31'] < ['35']
I1217 12:42:34.80 2604947 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['35']
I1217 12:42:34.80 2604947 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['46']
I1217 12:42:34.81 2604947 flip.py:564] node 67 adds BLACKHOLE: ALL ['67'] < ['63']
I1217 12:42:34.81 2604947 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['61']
I1217 12:42:34.81 2604947 flip.py:564] node 68 adds BLACKHOLE: ALL ['68'] < ['61']
I1217 12:42:34.81 2604947 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['61']
I1217 12:42:34.81 2604947 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['61']
I1217 12:42:34.81 2604947 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['72']
I1217 12:42:34.81 2604947 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['89']
I1217 12:42:34.82 2604947 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['87']
I1217 12:42:34.82 2604947 flip.py:564] node 94 adds BLACKHOLE: ALL ['94'] < ['87']
I1217 12:42:34.82 2604947 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['87']
I1217 12:42:34.82 2604947 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['87']
I1217 12:42:34.82 2604947 flip.py:564] node 99 adds BLACKHOLE: ALL ['99'] < ['98']
I1217 12:42:34.82 2604947 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['115']
I1217 12:42:34.82 2604947 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['113']
I1217 12:42:34.83 2604947 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['113']
I1217 12:42:34.83 2604947 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['113']
I1217 12:42:34.83 2604947 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['113']
I1217 12:42:34.83 2604947 flip.py:564] node 125 adds BLACKHOLE: ALL ['125'] < ['124']
I1217 12:42:34.83 2604947 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['141']
I1217 12:42:34.83 2604947 flip.py:564] node 155 adds BLACKHOLE: ALL ['155'] < ['139']
I1217 12:42:34.83 2604947 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['139']
I1217 12:42:34.83 2604947 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['139']
I1217 12:42:34.83 2604947 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['139']
I1217 12:42:34.84 2604947 flip.py:564] node 151 adds BLACKHOLE: ALL ['151'] < ['150']
I1217 12:42:34.84 2604947 flip.py:564] node 171 adds BLACKHOLE: ALL ['171'] < ['167']
I1217 12:42:34.84 2604947 flip.py:564] node 181 adds BLACKHOLE: ALL ['181'] < ['165']
I1217 12:42:34.84 2604947 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['165']
I1217 12:42:34.84 2604947 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['165']
I1217 12:42:34.84 2604947 flip.py:564] node 164 adds BLACKHOLE: ALL ['164'] < ['165']
I1217 12:42:34.84 2604947 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['176']
I1217 12:42:34.84 2604947 flip.py:564] node 197 adds BLACKHOLE: ALL ['197'] < ['193']
I1217 12:42:34.84 2604947 flip.py:564] node 207 adds BLACKHOLE: ALL ['207'] < ['191']
I1217 12:42:34.85 2604947 flip.py:564] node 198 adds BLACKHOLE: ALL ['198'] < ['191']
I1217 12:42:34.85 2604947 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['191']
I1217 12:42:34.85 2604947 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['191']
I1217 12:42:34.85 2604947 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['202']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:34.102 2604947 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: 11, dst: 200, path: ['11', '12', '13', '9', '10', '4', '0', '6', '1', '2', '24', '23', '22', '20', '19', '18', '37', '38', '39', '35', '36', '30', '26', '32', '27', '28', '50', '49', '48', '46', '45', '44', '63', '64', '65', '61', '62', '56', '52', '58', '53', '54', '76', '75', '74', '72', '71', '70', '89', '90', '91', '87', '88', '82', '78', '84', '79', '80', '102', '101', '100', '98', '97', '96', '115', '116', '117', '113', '114', '108', '104', '110', '105', '106', '128', '127', '126', '124', '123', '122', '141', '142', '143', '139', '140', '134', '130', '136', '131', '132', '154', '153', '152', '150', '149', '148', '167', '168', '169', '165', '166', '160', '156', '162', '157', '158', '180', '179', '178', '176', '175', '174', '193', '194', '195', '191', '192', '186', '182', '188', '183', '184', '206', '205', '204', '202', '201', '200'], tags: {}> doesn't satisfy any of [['94']]
