Version: 1.13 
 _ data/zoo_json_cond_enf2/Cernet_4.json -f output/flip/data/zoo_json_cond_enf2/Cernet_4.json.subpaths
Flip subpaths generated in 0.189 seconds!
real 0.67
user 0.97
sys 0.09
<logging.Logger object at 0x7f01806377d0>
I1217 12:35:46.977 2380992 flip.py:839] node 263 (white-green) adds POLICY: ALL ['263'] < ['255'] with dependencies []
I1217 12:35:46.977 2380992 flip.py:564] node 233 adds BLACKHOLE: ALL ['255'] < ['233']
I1217 12:35:46.977 2380992 flip.py:839] node 255 (white-green) adds POLICY: ALL ['255'] < ['246'] with dependencies []
I1217 12:35:46.978 2380992 flip.py:564] node 254 adds BLACKHOLE: ALL ['246'] < ['254']
I1217 12:35:46.978 2380992 flip.py:564] node 260 adds BLACKHOLE: ALL ['246'] < ['260']
I1217 12:35:46.978 2380992 flip.py:839] node 246 (white-green) adds POLICY: ALL ['246'] < ['230'] with dependencies []
I1217 12:35:46.978 2380992 flip.py:839] node 230 (white-green) adds POLICY: ALL ['230'] < ['222'] with dependencies []
I1217 12:35:46.978 2380992 flip.py:564] node 200 adds BLACKHOLE: ALL ['222'] < ['200']
I1217 12:35:46.979 2380992 flip.py:839] node 222 (white-green) adds POLICY: ALL ['222'] < ['213'] with dependencies []
I1217 12:35:46.979 2380992 flip.py:564] node 221 adds BLACKHOLE: ALL ['213'] < ['221']
I1217 12:35:46.979 2380992 flip.py:564] node 227 adds BLACKHOLE: ALL ['213'] < ['227']
I1217 12:35:46.979 2380992 flip.py:839] node 213 (white-green) adds POLICY: ALL ['213'] < ['197'] with dependencies []
I1217 12:35:46.979 2380992 flip.py:839] node 197 (white-green) adds POLICY: ALL ['197'] < ['189'] with dependencies []
I1217 12:35:46.980 2380992 flip.py:564] node 167 adds BLACKHOLE: ALL ['189'] < ['167']
I1217 12:35:46.980 2380992 flip.py:839] node 189 (white-green) adds POLICY: ALL ['189'] < ['180'] with dependencies []
I1217 12:35:46.980 2380992 flip.py:564] node 188 adds BLACKHOLE: ALL ['180'] < ['188']
I1217 12:35:46.980 2380992 flip.py:564] node 194 adds BLACKHOLE: ALL ['180'] < ['194']
I1217 12:35:46.980 2380992 flip.py:839] node 180 (white-green) adds POLICY: ALL ['180'] < ['164'] with dependencies []
I1217 12:35:46.981 2380992 flip.py:839] node 164 (white-green) adds POLICY: ALL ['164'] < ['156'] with dependencies []
I1217 12:35:46.981 2380992 flip.py:564] node 134 adds BLACKHOLE: ALL ['156'] < ['134']
I1217 12:35:46.981 2380992 flip.py:839] node 156 (white-green) adds POLICY: ALL ['156'] < ['147'] with dependencies []
I1217 12:35:46.981 2380992 flip.py:564] node 155 adds BLACKHOLE: ALL ['147'] < ['155']
I1217 12:35:46.981 2380992 flip.py:564] node 161 adds BLACKHOLE: ALL ['147'] < ['161']
I1217 12:35:46.982 2380992 flip.py:839] node 147 (white-green) adds POLICY: ALL ['147'] < ['131'] with dependencies []
I1217 12:35:46.982 2380992 flip.py:839] node 131 (white-green) adds POLICY: ALL ['131'] < ['123'] with dependencies []
I1217 12:35:46.982 2380992 flip.py:564] node 101 adds BLACKHOLE: ALL ['123'] < ['101']
I1217 12:35:46.982 2380992 flip.py:839] node 123 (cyan-green) adds POLICY: ALL ['123'] < ['114'] with dependencies []
I1217 12:35:46.982 2380992 flip.py:564] node 122 adds BLACKHOLE: ALL ['114'] < ['122']
I1217 12:35:46.982 2380992 flip.py:564] node 128 adds BLACKHOLE: ALL ['114'] < ['128']
I1217 12:35:46.983 2380992 flip.py:839] node 114 (cyan-green) adds POLICY: ALL ['114'] < ['98'] with dependencies []
I1217 12:35:46.983 2380992 flip.py:839] node 98 (cyan-green) adds POLICY: ALL ['98'] < ['90'] with dependencies []
I1217 12:35:46.983 2380992 flip.py:564] node 68 adds BLACKHOLE: ALL ['90'] < ['68']
I1217 12:35:46.983 2380992 flip.py:839] node 90 (cyan-green) adds POLICY: ALL ['90'] < ['81'] with dependencies []
I1217 12:35:46.983 2380992 flip.py:564] node 89 adds BLACKHOLE: ALL ['81'] < ['89']
I1217 12:35:46.984 2380992 flip.py:564] node 95 adds BLACKHOLE: ALL ['81'] < ['95']
I1217 12:35:46.984 2380992 flip.py:564] node 35 adds BLACKHOLE: ALL ['57'] < ['35']
I1217 12:35:46.984 2380992 flip.py:564] node 56 adds BLACKHOLE: ALL ['48'] < ['56']
I1217 12:35:46.984 2380992 flip.py:564] node 62 adds BLACKHOLE: ALL ['48'] < ['62']
I1217 12:35:46.984 2380992 flip.py:564] node 2 adds BLACKHOLE: ALL ['24'] < ['2']
I1217 12:35:46.985 2380992 flip.py:564] node 23 adds BLACKHOLE: ALL ['15'] < ['23']
I1217 12:35:46.985 2380992 flip.py:564] node 29 adds BLACKHOLE: ALL ['15'] < ['29']
I1217 12:35:46.985 2380992 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['32']
I1217 12:35:46.985 2380992 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['65']
I1217 12:35:46.985 2380992 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['98']
I1217 12:35:46.985 2380992 flip.py:564] node 102 adds BLACKHOLE: ALL ['102'] < ['131']
I1217 12:35:46.986 2380992 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['164']
I1217 12:35:46.986 2380992 flip.py:564] node 168 adds BLACKHOLE: ALL ['168'] < ['197']
I1217 12:35:46.986 2380992 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['230']
I1217 12:35:46.986 2380992 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['263']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:35:46.998 2380992 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: 16, dst: 232, path: ['16', '15', '21', '24', '32', '3', '1', '49', '48', '54', '57', '65', '36', '34', '82', '81', '87', '90', '98', '69', '67', '115', '114', '120', '123', '131', '102', '100', '148', '147', '153', '156', '164', '135', '133', '181', '180', '186', '189', '197', '168', '166', '214', '213', '219', '222', '230', '201', '199', '247', '246', '252', '255', '263', '234', '232'], tags: {}> doesn't satisfy any of [['101'], ['89']]
