Version: 1.13 
 _ data/zoo_json_cond_enf1/Belnet2007_4.json -f output/flip/data/zoo_json_cond_enf1/Belnet2007_4.json.subpaths
Flip subpaths generated in 0.208 seconds!
real 1.36
user 0.84
sys 0.12
<logging.Logger object at 0x7ff0596977d0>
I1217 12:44:20.304 2342566 flip.py:564] node 161 adds BLACKHOLE: ALL ['154'] < ['161']
I1217 12:44:20.304 2342566 flip.py:564] node 160 adds BLACKHOLE: ALL ['154'] < ['160']
I1217 12:44:20.305 2342566 flip.py:564] node 165 adds BLACKHOLE: ALL ['154'] < ['165']
I1217 12:44:20.305 2342566 flip.py:839] node 154 (green-white) adds POLICY: ALL ['133'] < ['154'] with dependencies []
I1217 12:44:20.306 2342566 flip.py:564] node 140 adds BLACKHOLE: ALL ['133'] < ['140']
I1217 12:44:20.306 2342566 flip.py:564] node 139 adds BLACKHOLE: ALL ['133'] < ['139']
I1217 12:44:20.306 2342566 flip.py:564] node 144 adds BLACKHOLE: ALL ['133'] < ['144']
I1217 12:44:20.306 2342566 flip.py:839] node 133 (green-white) adds POLICY: ALL ['112'] < ['133'] with dependencies []
I1217 12:44:20.307 2342566 flip.py:564] node 119 adds BLACKHOLE: ALL ['112'] < ['119']
I1217 12:44:20.307 2342566 flip.py:564] node 118 adds BLACKHOLE: ALL ['112'] < ['118']
I1217 12:44:20.307 2342566 flip.py:564] node 123 adds BLACKHOLE: ALL ['112'] < ['123']
I1217 12:44:20.308 2342566 flip.py:839] node 112 (green-white) adds POLICY: ALL ['91'] < ['112'] with dependencies []
I1217 12:44:20.308 2342566 flip.py:564] node 98 adds BLACKHOLE: ALL ['91'] < ['98']
I1217 12:44:20.309 2342566 flip.py:564] node 97 adds BLACKHOLE: ALL ['91'] < ['97']
I1217 12:44:20.309 2342566 flip.py:564] node 102 adds BLACKHOLE: ALL ['91'] < ['102']
I1217 12:44:20.309 2342566 flip.py:839] node 91 (green-white) adds POLICY: ALL ['70'] < ['91'] with dependencies []
I1217 12:44:20.310 2342566 flip.py:564] node 77 adds BLACKHOLE: ALL ['70'] < ['77']
I1217 12:44:20.310 2342566 flip.py:564] node 76 adds BLACKHOLE: ALL ['70'] < ['76']
I1217 12:44:20.310 2342566 flip.py:564] node 81 adds BLACKHOLE: ALL ['70'] < ['81']
I1217 12:44:20.311 2342566 flip.py:564] node 56 adds BLACKHOLE: ALL ['49'] < ['56']
I1217 12:44:20.311 2342566 flip.py:564] node 55 adds BLACKHOLE: ALL ['49'] < ['55']
I1217 12:44:20.311 2342566 flip.py:564] node 60 adds BLACKHOLE: ALL ['49'] < ['60']
I1217 12:44:20.311 2342566 flip.py:564] node 35 adds BLACKHOLE: ALL ['28'] < ['35']
I1217 12:44:20.312 2342566 flip.py:564] node 34 adds BLACKHOLE: ALL ['28'] < ['34']
I1217 12:44:20.312 2342566 flip.py:564] node 39 adds BLACKHOLE: ALL ['28'] < ['39']
I1217 12:44:20.312 2342566 flip.py:564] node 14 adds BLACKHOLE: ALL ['7'] < ['14']
I1217 12:44:20.312 2342566 flip.py:564] node 13 adds BLACKHOLE: ALL ['7'] < ['13']
I1217 12:44:20.312 2342566 flip.py:564] node 18 adds BLACKHOLE: ALL ['7'] < ['18']
I1217 12:44:20.313 2342566 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['7']
I1217 12:44:20.313 2342566 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['7']
I1217 12:44:20.313 2342566 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['7']
I1217 12:44:20.314 2342566 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['28']
I1217 12:44:20.314 2342566 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['28']
I1217 12:44:20.314 2342566 flip.py:564] node 27 adds BLACKHOLE: ALL ['27'] < ['28']
I1217 12:44:20.314 2342566 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['49']
I1217 12:44:20.314 2342566 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['49']
I1217 12:44:20.315 2342566 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['49']
I1217 12:44:20.315 2342566 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['70']
I1217 12:44:20.315 2342566 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['70']
I1217 12:44:20.315 2342566 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['70']
I1217 12:44:20.315 2342566 flip.py:564] node 100 adds BLACKHOLE: ALL ['100'] < ['91']
I1217 12:44:20.316 2342566 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['91']
I1217 12:44:20.316 2342566 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['91']
I1217 12:44:20.316 2342566 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['112']
I1217 12:44:20.316 2342566 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['112']
I1217 12:44:20.317 2342566 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['112']
I1217 12:44:20.317 2342566 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['133']
I1217 12:44:20.317 2342566 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['133']
I1217 12:44:20.317 2342566 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['133']
I1217 12:44:20.317 2342566 flip.py:564] node 163 adds BLACKHOLE: ALL ['163'] < ['154']
I1217 12:44:20.318 2342566 flip.py:564] node 164 adds BLACKHOLE: ALL ['164'] < ['154']
I1217 12:44:20.318 2342566 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['154']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:44:20.333 2342566 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: 10, dst: 162, path: ['10', '20', '19', '7', '18', '13', '14', '15', '31', '41', '40', '28', '39', '34', '35', '36', '52', '62', '61', '49', '60', '55', '56', '57', '73', '83', '82', '70', '81', '76', '77', '78', '94', '104', '103', '91', '102', '97', '98', '99', '115', '125', '124', '112', '123', '118', '119', '120', '136', '146', '145', '133', '144', '139', '140', '141', '157', '167', '166', '154', '165', '160', '161', '162'], tags: {}> doesn't satisfy any of [['69']]
