Version: 1.13 
 _ data/zoo_json_cond_enf1/Garr201102_4.json -f output/flip/data/zoo_json_cond_enf1/Garr201102_4.json.subpaths
Flip subpaths generated in 0.257 seconds!
real 1.96
user 0.88
sys 0.13
<logging.Logger object at 0x7f80d90ef7d0>
I1217 12:42:45.576 2340845 flip.py:564] node 405 adds BLACKHOLE: ALL ['443'] < ['405']
I1217 12:42:45.576 2340845 flip.py:839] node 443 (green-white) adds POLICY: ALL ['412'] < ['443'] with dependencies []
I1217 12:42:45.576 2340845 flip.py:564] node 409 adds BLACKHOLE: ALL ['412'] < ['409']
I1217 12:42:45.577 2340845 flip.py:839] node 412 (green-white) adds POLICY: ALL ['387'] < ['412'] with dependencies []
I1217 12:42:45.577 2340845 flip.py:564] node 349 adds BLACKHOLE: ALL ['387'] < ['349']
I1217 12:42:45.577 2340845 flip.py:839] node 387 (green-white) adds POLICY: ALL ['356'] < ['387'] with dependencies []
I1217 12:42:45.577 2340845 flip.py:564] node 353 adds BLACKHOLE: ALL ['356'] < ['353']
I1217 12:42:45.578 2340845 flip.py:839] node 356 (green-white) adds POLICY: ALL ['331'] < ['356'] with dependencies []
I1217 12:42:45.578 2340845 flip.py:564] node 293 adds BLACKHOLE: ALL ['331'] < ['293']
I1217 12:42:45.578 2340845 flip.py:839] node 331 (green-white) adds POLICY: ALL ['300'] < ['331'] with dependencies []
I1217 12:42:45.578 2340845 flip.py:564] node 297 adds BLACKHOLE: ALL ['300'] < ['297']
I1217 12:42:45.578 2340845 flip.py:839] node 300 (green-white) adds POLICY: ALL ['275'] < ['300'] with dependencies []
I1217 12:42:45.579 2340845 flip.py:564] node 237 adds BLACKHOLE: ALL ['275'] < ['237']
I1217 12:42:45.579 2340845 flip.py:839] node 275 (green-white) adds POLICY: ALL ['244'] < ['275'] with dependencies []
I1217 12:42:45.579 2340845 flip.py:564] node 241 adds BLACKHOLE: ALL ['244'] < ['241']
I1217 12:42:45.579 2340845 flip.py:839] node 244 (green-white) adds POLICY: ALL ['219'] < ['244'] with dependencies []
I1217 12:42:45.580 2340845 flip.py:564] node 181 adds BLACKHOLE: ALL ['219'] < ['181']
I1217 12:42:45.580 2340845 flip.py:839] node 219 (green-white) adds POLICY: ALL ['188'] < ['219'] with dependencies []
I1217 12:42:45.580 2340845 flip.py:564] node 185 adds BLACKHOLE: ALL ['188'] < ['185']
I1217 12:42:45.580 2340845 flip.py:564] node 125 adds BLACKHOLE: ALL ['163'] < ['125']
I1217 12:42:45.580 2340845 flip.py:564] node 129 adds BLACKHOLE: ALL ['132'] < ['129']
I1217 12:42:45.580 2340845 flip.py:564] node 69 adds BLACKHOLE: ALL ['107'] < ['69']
I1217 12:42:45.580 2340845 flip.py:564] node 73 adds BLACKHOLE: ALL ['76'] < ['73']
I1217 12:42:45.581 2340845 flip.py:564] node 13 adds BLACKHOLE: ALL ['51'] < ['13']
I1217 12:42:45.581 2340845 flip.py:564] node 17 adds BLACKHOLE: ALL ['20'] < ['17']
I1217 12:42:45.581 2340845 flip.py:564] node 4 adds BLACKHOLE: ALL ['4'] < ['20']
I1217 12:42:45.581 2340845 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['20']
I1217 12:42:45.581 2340845 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['51']
I1217 12:42:45.581 2340845 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['76']
I1217 12:42:45.582 2340845 flip.py:564] node 65 adds BLACKHOLE: ALL ['65'] < ['76']
I1217 12:42:45.582 2340845 flip.py:564] node 111 adds BLACKHOLE: ALL ['111'] < ['107']
I1217 12:42:45.582 2340845 flip.py:564] node 116 adds BLACKHOLE: ALL ['116'] < ['132']
I1217 12:42:45.582 2340845 flip.py:564] node 121 adds BLACKHOLE: ALL ['121'] < ['132']
I1217 12:42:45.582 2340845 flip.py:564] node 167 adds BLACKHOLE: ALL ['167'] < ['163']
I1217 12:42:45.582 2340845 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['188']
I1217 12:42:45.582 2340845 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['188']
I1217 12:42:45.582 2340845 flip.py:564] node 223 adds BLACKHOLE: ALL ['223'] < ['219']
I1217 12:42:45.583 2340845 flip.py:564] node 228 adds BLACKHOLE: ALL ['228'] < ['244']
I1217 12:42:45.583 2340845 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['244']
I1217 12:42:45.583 2340845 flip.py:564] node 279 adds BLACKHOLE: ALL ['279'] < ['275']
I1217 12:42:45.583 2340845 flip.py:564] node 284 adds BLACKHOLE: ALL ['284'] < ['300']
I1217 12:42:45.583 2340845 flip.py:564] node 289 adds BLACKHOLE: ALL ['289'] < ['300']
I1217 12:42:45.583 2340845 flip.py:564] node 335 adds BLACKHOLE: ALL ['335'] < ['331']
I1217 12:42:45.583 2340845 flip.py:564] node 340 adds BLACKHOLE: ALL ['340'] < ['356']
I1217 12:42:45.584 2340845 flip.py:564] node 345 adds BLACKHOLE: ALL ['345'] < ['356']
I1217 12:42:45.584 2340845 flip.py:564] node 391 adds BLACKHOLE: ALL ['391'] < ['387']
I1217 12:42:45.584 2340845 flip.py:564] node 396 adds BLACKHOLE: ALL ['396'] < ['412']
I1217 12:42:45.584 2340845 flip.py:564] node 401 adds BLACKHOLE: ALL ['401'] < ['412']
I1217 12:42:45.584 2340845 flip.py:564] node 447 adds BLACKHOLE: ALL ['447'] < ['443']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:42:45.623 2340845 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: 404, path: ['11', '19', '20', '17', '51', '13', '26', '12', '67', '75', '76', '73', '107', '69', '82', '68', '123', '131', '132', '129', '163', '125', '138', '124', '179', '187', '188', '185', '219', '181', '194', '180', '235', '243', '244', '241', '275', '237', '250', '236', '291', '299', '300', '297', '331', '293', '306', '292', '347', '355', '356', '353', '387', '349', '362', '348', '403', '411', '412', '409', '443', '405', '418', '404'], tags: {}> doesn't satisfy any of [['177']]
