Version: 1.13 
 _ data/zoo_json_cond_enf1/Geant2001_4.json -f output/flip/data/zoo_json_cond_enf1/Geant2001_4.json.subpaths
Flip subpaths generated in 0.192 seconds!
real 1.65
user 0.92
sys 0.09
<logging.Logger object at 0x7f14929677d0>
I1217 12:43:10.294 2312925 flip.py:638] node 1 (1->2->1) adds LOOP: ANY ['1'] < ['2']
I1217 12:43:10.299 2312925 flip.py:638] node 13 (13->12->13) adds LOOP: ANY ['12'] < ['13']
I1217 12:43:10.303 2312925 flip.py:638] node 24 (24->23->24) adds LOOP: ANY ['23'] < ['24']
I1217 12:43:10.307 2312925 flip.py:638] node 35 (35->34->35) adds LOOP: ANY ['34'] < ['35']
I1217 12:43:10.310 2312925 flip.py:638] node 46 (46->45->46) adds LOOP: ANY ['45'] < ['46']
I1217 12:43:10.312 2312925 flip.py:638] node 57 (57->56->57) adds LOOP: ANY ['56'] < ['57']
I1217 12:43:10.314 2312925 flip.py:638] node 68 (68->67->68) adds LOOP: ANY ['67'] < ['68']
I1217 12:43:10.315 2312925 flip.py:638] node 79 (79->78->79) adds LOOP: ANY ['78'] < ['79']
I1217 12:43:10.315 2312925 flip.py:839] node 79 (green-white) adds POLICY: ALL ['78'] < ['79'] with dependencies []
I1217 12:43:10.316 2312925 flip.py:839] node 78 (green-white) adds POLICY: ALL ['85'] < ['78'] with dependencies []
I1217 12:43:10.316 2312925 flip.py:564] node 86 adds BLACKHOLE: ALL ['85'] < ['86']
I1217 12:43:10.316 2312925 flip.py:839] node 85 (green-white) adds POLICY: ALL ['68'] < ['85'] with dependencies []
I1217 12:43:10.316 2312925 flip.py:839] node 68 (green-white) adds POLICY: ALL ['67'] < ['68'] with dependencies []
I1217 12:43:10.317 2312925 flip.py:839] node 67 (green-white) adds POLICY: ALL ['74'] < ['67'] with dependencies []
I1217 12:43:10.317 2312925 flip.py:564] node 75 adds BLACKHOLE: ALL ['74'] < ['75']
I1217 12:43:10.317 2312925 flip.py:839] node 74 (green-white) adds POLICY: ALL ['57'] < ['74'] with dependencies []
I1217 12:43:10.318 2312925 flip.py:839] node 57 (green-white) adds POLICY: ALL ['56'] < ['57'] with dependencies []
I1217 12:43:10.318 2312925 flip.py:839] node 56 (green-white) adds POLICY: ALL ['63'] < ['56'] with dependencies []
I1217 12:43:10.318 2312925 flip.py:564] node 64 adds BLACKHOLE: ALL ['63'] < ['64']
I1217 12:43:10.318 2312925 flip.py:839] node 63 (green-white) adds POLICY: ALL ['46'] < ['63'] with dependencies []
I1217 12:43:10.319 2312925 flip.py:839] node 46 (green-white) adds POLICY: ALL ['45'] < ['46'] with dependencies []
I1217 12:43:10.319 2312925 flip.py:839] node 45 (green-white) adds POLICY: ALL ['52'] < ['45'] with dependencies []
I1217 12:43:10.319 2312925 flip.py:564] node 53 adds BLACKHOLE: ALL ['52'] < ['53']
I1217 12:43:10.319 2312925 flip.py:564] node 42 adds BLACKHOLE: ALL ['41'] < ['42']
I1217 12:43:10.319 2312925 flip.py:564] node 31 adds BLACKHOLE: ALL ['30'] < ['31']
I1217 12:43:10.320 2312925 flip.py:564] node 20 adds BLACKHOLE: ALL ['19'] < ['20']
I1217 12:43:10.320 2312925 flip.py:564] node 9 adds BLACKHOLE: ALL ['8'] < ['9']
I1217 12:43:10.320 2312925 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['8']
I1217 12:43:10.320 2312925 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['8']
I1217 12:43:10.320 2312925 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['8']
I1217 12:43:10.321 2312925 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['1']
I1217 12:43:10.321 2312925 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['19']
I1217 12:43:10.321 2312925 flip.py:564] node 11 adds BLACKHOLE: ALL ['11'] < ['19']
I1217 12:43:10.321 2312925 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['19']
I1217 12:43:10.321 2312925 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['12']
I1217 12:43:10.321 2312925 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['30']
I1217 12:43:10.321 2312925 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['30']
I1217 12:43:10.322 2312925 flip.py:564] node 27 adds BLACKHOLE: ALL ['27'] < ['30']
I1217 12:43:10.322 2312925 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['23']
I1217 12:43:10.322 2312925 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['41']
I1217 12:43:10.322 2312925 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['41']
I1217 12:43:10.322 2312925 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['41']
I1217 12:43:10.322 2312925 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['34']
I1217 12:43:10.322 2312925 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['52']
I1217 12:43:10.323 2312925 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['52']
I1217 12:43:10.323 2312925 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['52']
I1217 12:43:10.323 2312925 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['45']
I1217 12:43:10.323 2312925 flip.py:564] node 58 adds BLACKHOLE: ALL ['58'] < ['63']
I1217 12:43:10.323 2312925 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['63']
I1217 12:43:10.323 2312925 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['63']
I1217 12:43:10.323 2312925 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['56']
I1217 12:43:10.324 2312925 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['74']
I1217 12:43:10.324 2312925 flip.py:564] node 66 adds BLACKHOLE: ALL ['66'] < ['74']
I1217 12:43:10.324 2312925 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['74']
I1217 12:43:10.324 2312925 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['67']
I1217 12:43:10.324 2312925 flip.py:564] node 80 adds BLACKHOLE: ALL ['80'] < ['85']
I1217 12:43:10.324 2312925 flip.py:564] node 77 adds BLACKHOLE: ALL ['77'] < ['85']
I1217 12:43:10.324 2312925 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['85']
I1217 12:43:10.325 2312925 flip.py:564] node 83 adds BLACKHOLE: ALL ['83'] < ['78']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:10.337 2312925 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: 81, path: ['10', '8', '9', '1', '2', '7', '4', '21', '19', '20', '12', '13', '18', '15', '32', '30', '31', '23', '24', '29', '26', '43', '41', '42', '34', '35', '40', '37', '54', '52', '53', '45', '46', '51', '48', '65', '63', '64', '56', '57', '62', '59', '76', '74', '75', '67', '68', '73', '70', '87', '85', '86', '78', '79', '84', '81'], tags: {}> doesn't satisfy any of [['44']]
