Version: 1.13 
 _ data/zoo_json_cond_enf1/Dfn_4.json -f output/flip/data/zoo_json_cond_enf1/Dfn_4.json.subpaths
Flip subpaths generated in 0.239 seconds!
real 1.50
user 0.99
sys 0.09
<logging.Logger object at 0x7f9b22f177d0>
I1217 12:43:10.566 2341432 flip.py:564] node 451 adds BLACKHOLE: ALL ['456'] < ['451']
I1217 12:43:10.566 2341432 flip.py:564] node 452 adds BLACKHOLE: ALL ['456'] < ['452']
I1217 12:43:10.566 2341432 flip.py:564] node 426 adds BLACKHOLE: ALL ['456'] < ['426']
I1217 12:43:10.567 2341432 flip.py:564] node 425 adds BLACKHOLE: ALL ['456'] < ['425']
I1217 12:43:10.567 2341432 flip.py:564] node 457 adds BLACKHOLE: ALL ['456'] < ['457']
I1217 12:43:10.567 2341432 flip.py:839] node 456 (white-green) adds POLICY: ALL ['456'] < ['458'] with dependencies []
I1217 12:43:10.567 2341432 flip.py:839] node 458 (white-green) adds POLICY: ALL ['458'] < ['455'] with dependencies []
I1217 12:43:10.567 2341432 flip.py:839] node 455 (white-green) adds POLICY: ALL ['455'] < ['398'] with dependencies []
I1217 12:43:10.568 2341432 flip.py:564] node 393 adds BLACKHOLE: ALL ['398'] < ['393']
I1217 12:43:10.568 2341432 flip.py:564] node 394 adds BLACKHOLE: ALL ['398'] < ['394']
I1217 12:43:10.568 2341432 flip.py:564] node 368 adds BLACKHOLE: ALL ['398'] < ['368']
I1217 12:43:10.568 2341432 flip.py:564] node 367 adds BLACKHOLE: ALL ['398'] < ['367']
I1217 12:43:10.568 2341432 flip.py:564] node 399 adds BLACKHOLE: ALL ['398'] < ['399']
I1217 12:43:10.568 2341432 flip.py:839] node 398 (white-green) adds POLICY: ALL ['398'] < ['400'] with dependencies []
I1217 12:43:10.569 2341432 flip.py:839] node 400 (white-green) adds POLICY: ALL ['400'] < ['397'] with dependencies []
I1217 12:43:10.569 2341432 flip.py:839] node 397 (white-green) adds POLICY: ALL ['397'] < ['340'] with dependencies []
I1217 12:43:10.570 2341432 flip.py:564] node 335 adds BLACKHOLE: ALL ['340'] < ['335']
I1217 12:43:10.570 2341432 flip.py:564] node 336 adds BLACKHOLE: ALL ['340'] < ['336']
I1217 12:43:10.570 2341432 flip.py:564] node 310 adds BLACKHOLE: ALL ['340'] < ['310']
I1217 12:43:10.570 2341432 flip.py:564] node 309 adds BLACKHOLE: ALL ['340'] < ['309']
I1217 12:43:10.570 2341432 flip.py:564] node 341 adds BLACKHOLE: ALL ['340'] < ['341']
I1217 12:43:10.570 2341432 flip.py:839] node 340 (white-green) adds POLICY: ALL ['340'] < ['342'] with dependencies []
I1217 12:43:10.571 2341432 flip.py:839] node 342 (white-green) adds POLICY: ALL ['342'] < ['339'] with dependencies []
I1217 12:43:10.571 2341432 flip.py:839] node 339 (white-green) adds POLICY: ALL ['339'] < ['282'] with dependencies []
I1217 12:43:10.571 2341432 flip.py:564] node 277 adds BLACKHOLE: ALL ['282'] < ['277']
I1217 12:43:10.571 2341432 flip.py:564] node 278 adds BLACKHOLE: ALL ['282'] < ['278']
I1217 12:43:10.571 2341432 flip.py:564] node 252 adds BLACKHOLE: ALL ['282'] < ['252']
I1217 12:43:10.572 2341432 flip.py:564] node 251 adds BLACKHOLE: ALL ['282'] < ['251']
I1217 12:43:10.572 2341432 flip.py:564] node 283 adds BLACKHOLE: ALL ['282'] < ['283']
I1217 12:43:10.572 2341432 flip.py:839] node 282 (white-green) adds POLICY: ALL ['282'] < ['284'] with dependencies []
I1217 12:43:10.572 2341432 flip.py:839] node 284 (white-green) adds POLICY: ALL ['284'] < ['281'] with dependencies []
I1217 12:43:10.572 2341432 flip.py:839] node 281 (white-green) adds POLICY: ALL ['281'] < ['224'] with dependencies []
I1217 12:43:10.573 2341432 flip.py:564] node 219 adds BLACKHOLE: ALL ['224'] < ['219']
I1217 12:43:10.573 2341432 flip.py:564] node 220 adds BLACKHOLE: ALL ['224'] < ['220']
I1217 12:43:10.573 2341432 flip.py:564] node 194 adds BLACKHOLE: ALL ['224'] < ['194']
I1217 12:43:10.573 2341432 flip.py:564] node 193 adds BLACKHOLE: ALL ['224'] < ['193']
I1217 12:43:10.573 2341432 flip.py:564] node 225 adds BLACKHOLE: ALL ['224'] < ['225']
I1217 12:43:10.574 2341432 flip.py:839] node 224 (white-green) adds POLICY: ALL ['224'] < ['226'] with dependencies []
I1217 12:43:10.574 2341432 flip.py:839] node 226 (white-green) adds POLICY: ALL ['226'] < ['223'] with dependencies []
I1217 12:43:10.574 2341432 flip.py:839] node 223 (white-green) adds POLICY: ALL ['223'] < ['166'] with dependencies []
I1217 12:43:10.575 2341432 flip.py:564] node 161 adds BLACKHOLE: ALL ['166'] < ['161']
I1217 12:43:10.575 2341432 flip.py:564] node 162 adds BLACKHOLE: ALL ['166'] < ['162']
I1217 12:43:10.575 2341432 flip.py:564] node 136 adds BLACKHOLE: ALL ['166'] < ['136']
I1217 12:43:10.575 2341432 flip.py:564] node 135 adds BLACKHOLE: ALL ['166'] < ['135']
I1217 12:43:10.575 2341432 flip.py:564] node 167 adds BLACKHOLE: ALL ['166'] < ['167']
I1217 12:43:10.575 2341432 flip.py:839] node 166 (white-green) adds POLICY: ALL ['166'] < ['168'] with dependencies []
I1217 12:43:10.576 2341432 flip.py:839] node 168 (white-green) adds POLICY: ALL ['168'] < ['165'] with dependencies []
I1217 12:43:10.576 2341432 flip.py:839] node 165 (white-green) adds POLICY: ALL ['165'] < ['108'] with dependencies []
I1217 12:43:10.576 2341432 flip.py:564] node 103 adds BLACKHOLE: ALL ['108'] < ['103']
I1217 12:43:10.576 2341432 flip.py:564] node 104 adds BLACKHOLE: ALL ['108'] < ['104']
I1217 12:43:10.577 2341432 flip.py:564] node 78 adds BLACKHOLE: ALL ['108'] < ['78']
I1217 12:43:10.577 2341432 flip.py:564] node 77 adds BLACKHOLE: ALL ['108'] < ['77']
I1217 12:43:10.577 2341432 flip.py:564] node 109 adds BLACKHOLE: ALL ['108'] < ['109']
I1217 12:43:10.577 2341432 flip.py:564] node 45 adds BLACKHOLE: ALL ['50'] < ['45']
I1217 12:43:10.577 2341432 flip.py:564] node 46 adds BLACKHOLE: ALL ['50'] < ['46']
I1217 12:43:10.577 2341432 flip.py:564] node 20 adds BLACKHOLE: ALL ['50'] < ['20']
I1217 12:43:10.578 2341432 flip.py:564] node 19 adds BLACKHOLE: ALL ['50'] < ['19']
I1217 12:43:10.578 2341432 flip.py:564] node 51 adds BLACKHOLE: ALL ['50'] < ['51']
I1217 12:43:10.578 2341432 flip.py:564] node 57 adds BLACKHOLE: ALL ['57'] < ['49']
I1217 12:43:10.578 2341432 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['49']
I1217 12:43:10.578 2341432 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['49']
I1217 12:43:10.578 2341432 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['52']
I1217 12:43:10.578 2341432 flip.py:564] node 34 adds BLACKHOLE: ALL ['34'] < ['52']
I1217 12:43:10.579 2341432 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['107']
I1217 12:43:10.579 2341432 flip.py:564] node 114 adds BLACKHOLE: ALL ['114'] < ['107']
I1217 12:43:10.579 2341432 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['107']
I1217 12:43:10.579 2341432 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['110']
I1217 12:43:10.579 2341432 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['110']
I1217 12:43:10.579 2341432 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['165']
I1217 12:43:10.579 2341432 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['165']
I1217 12:43:10.579 2341432 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['165']
I1217 12:43:10.580 2341432 flip.py:564] node 151 adds BLACKHOLE: ALL ['151'] < ['168']
I1217 12:43:10.580 2341432 flip.py:564] node 150 adds BLACKHOLE: ALL ['150'] < ['168']
I1217 12:43:10.580 2341432 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['223']
I1217 12:43:10.580 2341432 flip.py:564] node 230 adds BLACKHOLE: ALL ['230'] < ['223']
I1217 12:43:10.580 2341432 flip.py:564] node 176 adds BLACKHOLE: ALL ['176'] < ['223']
I1217 12:43:10.580 2341432 flip.py:564] node 209 adds BLACKHOLE: ALL ['209'] < ['226']
I1217 12:43:10.580 2341432 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['226']
I1217 12:43:10.581 2341432 flip.py:564] node 289 adds BLACKHOLE: ALL ['289'] < ['281']
I1217 12:43:10.581 2341432 flip.py:564] node 288 adds BLACKHOLE: ALL ['288'] < ['281']
I1217 12:43:10.581 2341432 flip.py:564] node 234 adds BLACKHOLE: ALL ['234'] < ['281']
I1217 12:43:10.581 2341432 flip.py:564] node 267 adds BLACKHOLE: ALL ['267'] < ['284']
I1217 12:43:10.581 2341432 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['284']
I1217 12:43:10.581 2341432 flip.py:564] node 347 adds BLACKHOLE: ALL ['347'] < ['339']
I1217 12:43:10.581 2341432 flip.py:564] node 346 adds BLACKHOLE: ALL ['346'] < ['339']
I1217 12:43:10.582 2341432 flip.py:564] node 292 adds BLACKHOLE: ALL ['292'] < ['339']
I1217 12:43:10.582 2341432 flip.py:564] node 325 adds BLACKHOLE: ALL ['325'] < ['342']
I1217 12:43:10.582 2341432 flip.py:564] node 324 adds BLACKHOLE: ALL ['324'] < ['342']
I1217 12:43:10.582 2341432 flip.py:564] node 405 adds BLACKHOLE: ALL ['405'] < ['397']
I1217 12:43:10.582 2341432 flip.py:564] node 404 adds BLACKHOLE: ALL ['404'] < ['397']
I1217 12:43:10.582 2341432 flip.py:564] node 350 adds BLACKHOLE: ALL ['350'] < ['397']
I1217 12:43:10.582 2341432 flip.py:564] node 383 adds BLACKHOLE: ALL ['383'] < ['400']
I1217 12:43:10.583 2341432 flip.py:564] node 382 adds BLACKHOLE: ALL ['382'] < ['400']
I1217 12:43:10.583 2341432 flip.py:564] node 463 adds BLACKHOLE: ALL ['463'] < ['455']
I1217 12:43:10.583 2341432 flip.py:564] node 462 adds BLACKHOLE: ALL ['462'] < ['455']
I1217 12:43:10.583 2341432 flip.py:564] node 408 adds BLACKHOLE: ALL ['408'] < ['455']
I1217 12:43:10.583 2341432 flip.py:564] node 441 adds BLACKHOLE: ALL ['441'] < ['458']
I1217 12:43:10.583 2341432 flip.py:564] node 440 adds BLACKHOLE: ALL ['440'] < ['458']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:43:10.597 2341432 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: 49, dst: 444, path: ['49', '2', '56', '57', '48', '52', '34', '35', '50', '44', '39', '38', '107', '60', '114', '115', '106', '110', '92', '93', '108', '102', '97', '96', '165', '118', '172', '173', '164', '168', '150', '151', '166', '160', '155', '154', '223', '176', '230', '231', '222', '226', '208', '209', '224', '218', '213', '212', '281', '234', '288', '289', '280', '284', '266', '267', '282', '276', '271', '270', '339', '292', '346', '347', '338', '342', '324', '325', '340', '334', '329', '328', '397', '350', '404', '405', '396', '400', '382', '383', '398', '392', '387', '386', '455', '408', '462', '463', '454', '458', '440', '441', '456', '450', '445', '444'], tags: {}> doesn't satisfy any of [['78']]
