Version: 1.13 
 _ data/zoo_json_alt_waypoint1/Globenet_4.json -f output/flip/data/zoo_json_alt_waypoint1/Globenet_4.json.subpaths
Flip subpaths generated in 0.363 seconds!
real 1.43
user 1.15
sys 0.08
<logging.Logger object at 0x7f3b86b577d0>
I1217 13:03:06.325 2431730 flip.py:564] node 526 adds BLACKHOLE: ALL ['535'] < ['526']
I1217 13:03:06.326 2431730 flip.py:839] node 535 (green-white) adds POLICY: ALL ['479'] < ['535'] with dependencies []
I1217 13:03:06.326 2431730 flip.py:839] node 479 (green-white) adds POLICY: ALL ['508'] < ['479'] with dependencies []
I1217 13:03:06.326 2431730 flip.py:839] node 508 (green-cyan) adds POLICY: ALL ['485'] < ['508'] with dependencies []
I1217 13:03:06.327 2431730 flip.py:564] node 515 adds BLACKHOLE: ALL ['485'] < ['515']
I1217 13:03:06.327 2431730 flip.py:564] node 507 adds BLACKHOLE: ALL ['485'] < ['507']
I1217 13:03:06.327 2431730 flip.py:564] node 486 adds BLACKHOLE: ALL ['485'] < ['486']
I1217 13:03:06.327 2431730 flip.py:564] node 459 adds BLACKHOLE: ALL ['468'] < ['459']
I1217 13:03:06.328 2431730 flip.py:564] node 448 adds BLACKHOLE: ALL ['418'] < ['448']
I1217 13:03:06.328 2431730 flip.py:564] node 440 adds BLACKHOLE: ALL ['418'] < ['440']
I1217 13:03:06.328 2431730 flip.py:564] node 419 adds BLACKHOLE: ALL ['418'] < ['419']
I1217 13:03:06.328 2431730 flip.py:564] node 392 adds BLACKHOLE: ALL ['401'] < ['392']
I1217 13:03:06.328 2431730 flip.py:564] node 381 adds BLACKHOLE: ALL ['351'] < ['381']
I1217 13:03:06.329 2431730 flip.py:564] node 373 adds BLACKHOLE: ALL ['351'] < ['373']
I1217 13:03:06.329 2431730 flip.py:564] node 352 adds BLACKHOLE: ALL ['351'] < ['352']
I1217 13:03:06.329 2431730 flip.py:564] node 325 adds BLACKHOLE: ALL ['334'] < ['325']
I1217 13:03:06.329 2431730 flip.py:564] node 314 adds BLACKHOLE: ALL ['284'] < ['314']
I1217 13:03:06.330 2431730 flip.py:564] node 306 adds BLACKHOLE: ALL ['284'] < ['306']
I1217 13:03:06.330 2431730 flip.py:564] node 285 adds BLACKHOLE: ALL ['284'] < ['285']
I1217 13:03:06.330 2431730 flip.py:564] node 258 adds BLACKHOLE: ALL ['267'] < ['258']
I1217 13:03:06.330 2431730 flip.py:564] node 247 adds BLACKHOLE: ALL ['217'] < ['247']
I1217 13:03:06.331 2431730 flip.py:564] node 239 adds BLACKHOLE: ALL ['217'] < ['239']
I1217 13:03:06.331 2431730 flip.py:564] node 218 adds BLACKHOLE: ALL ['217'] < ['218']
I1217 13:03:06.331 2431730 flip.py:564] node 191 adds BLACKHOLE: ALL ['200'] < ['191']
I1217 13:03:06.331 2431730 flip.py:564] node 180 adds BLACKHOLE: ALL ['150'] < ['180']
I1217 13:03:06.332 2431730 flip.py:564] node 172 adds BLACKHOLE: ALL ['150'] < ['172']
I1217 13:03:06.332 2431730 flip.py:564] node 151 adds BLACKHOLE: ALL ['150'] < ['151']
I1217 13:03:06.332 2431730 flip.py:564] node 124 adds BLACKHOLE: ALL ['133'] < ['124']
I1217 13:03:06.333 2431730 flip.py:564] node 113 adds BLACKHOLE: ALL ['83'] < ['113']
I1217 13:03:06.333 2431730 flip.py:564] node 105 adds BLACKHOLE: ALL ['83'] < ['105']
I1217 13:03:06.333 2431730 flip.py:564] node 84 adds BLACKHOLE: ALL ['83'] < ['84']
I1217 13:03:06.333 2431730 flip.py:564] node 57 adds BLACKHOLE: ALL ['66'] < ['57']
I1217 13:03:06.334 2431730 flip.py:564] node 46 adds BLACKHOLE: ALL ['16'] < ['46']
I1217 13:03:06.334 2431730 flip.py:564] node 38 adds BLACKHOLE: ALL ['16'] < ['38']
I1217 13:03:06.334 2431730 flip.py:564] node 17 adds BLACKHOLE: ALL ['16'] < ['17']
I1217 13:03:06.334 2431730 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['16']
I1217 13:03:06.334 2431730 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['16']
I1217 13:03:06.335 2431730 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['16']
I1217 13:03:06.335 2431730 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['16']
I1217 13:03:06.335 2431730 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['16']
I1217 13:03:06.335 2431730 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['39']
I1217 13:03:06.335 2431730 flip.py:564] node 53 adds BLACKHOLE: ALL ['53'] < ['39']
I1217 13:03:06.335 2431730 flip.py:564] node 31 adds BLACKHOLE: ALL ['31'] < ['39']
I1217 13:03:06.336 2431730 flip.py:564] node 52 adds BLACKHOLE: ALL ['52'] < ['39']
I1217 13:03:06.336 2431730 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['39']
I1217 13:03:06.336 2431730 flip.py:564] node 62 adds BLACKHOLE: ALL ['62'] < ['10']
I1217 13:03:06.336 2431730 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['10']
I1217 13:03:06.336 2431730 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['10']
I1217 13:03:06.337 2431730 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['66']
I1217 13:03:06.337 2431730 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['83']
I1217 13:03:06.337 2431730 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['83']
I1217 13:03:06.337 2431730 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['83']
I1217 13:03:06.337 2431730 flip.py:564] node 79 adds BLACKHOLE: ALL ['79'] < ['83']
I1217 13:03:06.338 2431730 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['83']
I1217 13:03:06.338 2431730 flip.py:564] node 115 adds BLACKHOLE: ALL ['115'] < ['106']
I1217 13:03:06.338 2431730 flip.py:564] node 120 adds BLACKHOLE: ALL ['120'] < ['106']
I1217 13:03:06.338 2431730 flip.py:564] node 98 adds BLACKHOLE: ALL ['98'] < ['106']
I1217 13:03:06.338 2431730 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['106']
I1217 13:03:06.339 2431730 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['106']
I1217 13:03:06.339 2431730 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['77']
I1217 13:03:06.339 2431730 flip.py:564] node 128 adds BLACKHOLE: ALL ['128'] < ['77']
I1217 13:03:06.339 2431730 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['77']
I1217 13:03:06.339 2431730 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['133']
I1217 13:03:06.340 2431730 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['150']
I1217 13:03:06.340 2431730 flip.py:564] node 197 adds BLACKHOLE: ALL ['197'] < ['150']
I1217 13:03:06.340 2431730 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['150']
I1217 13:03:06.340 2431730 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['150']
I1217 13:03:06.340 2431730 flip.py:564] node 148 adds BLACKHOLE: ALL ['148'] < ['150']
I1217 13:03:06.340 2431730 flip.py:564] node 182 adds BLACKHOLE: ALL ['182'] < ['173']
I1217 13:03:06.340 2431730 flip.py:564] node 187 adds BLACKHOLE: ALL ['187'] < ['173']
I1217 13:03:06.341 2431730 flip.py:564] node 165 adds BLACKHOLE: ALL ['165'] < ['173']
I1217 13:03:06.341 2431730 flip.py:564] node 186 adds BLACKHOLE: ALL ['186'] < ['173']
I1217 13:03:06.341 2431730 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['173']
I1217 13:03:06.341 2431730 flip.py:564] node 196 adds BLACKHOLE: ALL ['196'] < ['144']
I1217 13:03:06.341 2431730 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['144']
I1217 13:03:06.342 2431730 flip.py:564] node 193 adds BLACKHOLE: ALL ['193'] < ['144']
I1217 13:03:06.342 2431730 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['200']
I1217 13:03:06.342 2431730 flip.py:564] node 244 adds BLACKHOLE: ALL ['244'] < ['217']
I1217 13:03:06.342 2431730 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['217']
I1217 13:03:06.342 2431730 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['217']
I1217 13:03:06.342 2431730 flip.py:564] node 213 adds BLACKHOLE: ALL ['213'] < ['217']
I1217 13:03:06.343 2431730 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['217']
I1217 13:03:06.343 2431730 flip.py:564] node 249 adds BLACKHOLE: ALL ['249'] < ['240']
I1217 13:03:06.343 2431730 flip.py:564] node 254 adds BLACKHOLE: ALL ['254'] < ['240']
I1217 13:03:06.343 2431730 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['240']
I1217 13:03:06.343 2431730 flip.py:564] node 253 adds BLACKHOLE: ALL ['253'] < ['240']
I1217 13:03:06.343 2431730 flip.py:564] node 257 adds BLACKHOLE: ALL ['257'] < ['240']
I1217 13:03:06.344 2431730 flip.py:564] node 263 adds BLACKHOLE: ALL ['263'] < ['211']
I1217 13:03:06.344 2431730 flip.py:564] node 262 adds BLACKHOLE: ALL ['262'] < ['211']
I1217 13:03:06.344 2431730 flip.py:564] node 260 adds BLACKHOLE: ALL ['260'] < ['211']
I1217 13:03:06.344 2431730 flip.py:564] node 203 adds BLACKHOLE: ALL ['203'] < ['267']
I1217 13:03:06.344 2431730 flip.py:564] node 311 adds BLACKHOLE: ALL ['311'] < ['284']
I1217 13:03:06.344 2431730 flip.py:564] node 331 adds BLACKHOLE: ALL ['331'] < ['284']
I1217 13:03:06.344 2431730 flip.py:564] node 277 adds BLACKHOLE: ALL ['277'] < ['284']
I1217 13:03:06.345 2431730 flip.py:564] node 280 adds BLACKHOLE: ALL ['280'] < ['284']
I1217 13:03:06.345 2431730 flip.py:564] node 282 adds BLACKHOLE: ALL ['282'] < ['284']
I1217 13:03:06.345 2431730 flip.py:564] node 316 adds BLACKHOLE: ALL ['316'] < ['307']
I1217 13:03:06.345 2431730 flip.py:564] node 321 adds BLACKHOLE: ALL ['321'] < ['307']
I1217 13:03:06.345 2431730 flip.py:564] node 299 adds BLACKHOLE: ALL ['299'] < ['307']
I1217 13:03:06.345 2431730 flip.py:564] node 320 adds BLACKHOLE: ALL ['320'] < ['307']
I1217 13:03:06.345 2431730 flip.py:564] node 324 adds BLACKHOLE: ALL ['324'] < ['307']
I1217 13:03:06.345 2431730 flip.py:564] node 330 adds BLACKHOLE: ALL ['330'] < ['278']
I1217 13:03:06.346 2431730 flip.py:564] node 329 adds BLACKHOLE: ALL ['329'] < ['278']
I1217 13:03:06.346 2431730 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['278']
I1217 13:03:06.346 2431730 flip.py:564] node 270 adds BLACKHOLE: ALL ['270'] < ['334']
I1217 13:03:06.346 2431730 flip.py:564] node 378 adds BLACKHOLE: ALL ['378'] < ['351']
I1217 13:03:06.346 2431730 flip.py:564] node 398 adds BLACKHOLE: ALL ['398'] < ['351']
I1217 13:03:06.346 2431730 flip.py:564] node 344 adds BLACKHOLE: ALL ['344'] < ['351']
I1217 13:03:06.346 2431730 flip.py:564] node 347 adds BLACKHOLE: ALL ['347'] < ['351']
I1217 13:03:06.346 2431730 flip.py:564] node 349 adds BLACKHOLE: ALL ['349'] < ['351']
I1217 13:03:06.347 2431730 flip.py:564] node 383 adds BLACKHOLE: ALL ['383'] < ['374']
I1217 13:03:06.347 2431730 flip.py:564] node 388 adds BLACKHOLE: ALL ['388'] < ['374']
I1217 13:03:06.347 2431730 flip.py:564] node 366 adds BLACKHOLE: ALL ['366'] < ['374']
I1217 13:03:06.347 2431730 flip.py:564] node 387 adds BLACKHOLE: ALL ['387'] < ['374']
I1217 13:03:06.347 2431730 flip.py:564] node 391 adds BLACKHOLE: ALL ['391'] < ['374']
I1217 13:03:06.347 2431730 flip.py:564] node 397 adds BLACKHOLE: ALL ['397'] < ['345']
I1217 13:03:06.348 2431730 flip.py:564] node 396 adds BLACKHOLE: ALL ['396'] < ['345']
I1217 13:03:06.348 2431730 flip.py:564] node 394 adds BLACKHOLE: ALL ['394'] < ['345']
I1217 13:03:06.348 2431730 flip.py:564] node 337 adds BLACKHOLE: ALL ['337'] < ['401']
I1217 13:03:06.348 2431730 flip.py:564] node 445 adds BLACKHOLE: ALL ['445'] < ['418']
I1217 13:03:06.348 2431730 flip.py:564] node 465 adds BLACKHOLE: ALL ['465'] < ['418']
I1217 13:03:06.348 2431730 flip.py:564] node 411 adds BLACKHOLE: ALL ['411'] < ['418']
I1217 13:03:06.348 2431730 flip.py:564] node 414 adds BLACKHOLE: ALL ['414'] < ['418']
I1217 13:03:06.349 2431730 flip.py:564] node 416 adds BLACKHOLE: ALL ['416'] < ['418']
I1217 13:03:06.349 2431730 flip.py:564] node 450 adds BLACKHOLE: ALL ['450'] < ['441']
I1217 13:03:06.349 2431730 flip.py:564] node 455 adds BLACKHOLE: ALL ['455'] < ['441']
I1217 13:03:06.349 2431730 flip.py:564] node 433 adds BLACKHOLE: ALL ['433'] < ['441']
I1217 13:03:06.349 2431730 flip.py:564] node 454 adds BLACKHOLE: ALL ['454'] < ['441']
I1217 13:03:06.349 2431730 flip.py:564] node 458 adds BLACKHOLE: ALL ['458'] < ['441']
I1217 13:03:06.349 2431730 flip.py:564] node 464 adds BLACKHOLE: ALL ['464'] < ['412']
I1217 13:03:06.350 2431730 flip.py:564] node 463 adds BLACKHOLE: ALL ['463'] < ['412']
I1217 13:03:06.350 2431730 flip.py:564] node 461 adds BLACKHOLE: ALL ['461'] < ['412']
I1217 13:03:06.350 2431730 flip.py:564] node 404 adds BLACKHOLE: ALL ['404'] < ['468']
I1217 13:03:06.350 2431730 flip.py:564] node 512 adds BLACKHOLE: ALL ['512'] < ['485']
I1217 13:03:06.350 2431730 flip.py:564] node 532 adds BLACKHOLE: ALL ['532'] < ['485']
I1217 13:03:06.350 2431730 flip.py:564] node 478 adds BLACKHOLE: ALL ['478'] < ['485']
I1217 13:03:06.350 2431730 flip.py:564] node 481 adds BLACKHOLE: ALL ['481'] < ['485']
I1217 13:03:06.351 2431730 flip.py:564] node 483 adds BLACKHOLE: ALL ['483'] < ['485']
I1217 13:03:06.351 2431730 flip.py:564] node 517 adds BLACKHOLE: ALL ['517'] < ['508']
I1217 13:03:06.351 2431730 flip.py:564] node 522 adds BLACKHOLE: ALL ['522'] < ['508']
I1217 13:03:06.351 2431730 flip.py:564] node 500 adds BLACKHOLE: ALL ['500'] < ['508']
I1217 13:03:06.351 2431730 flip.py:564] node 521 adds BLACKHOLE: ALL ['521'] < ['508']
I1217 13:03:06.351 2431730 flip.py:564] node 525 adds BLACKHOLE: ALL ['525'] < ['508']
I1217 13:03:06.351 2431730 flip.py:564] node 531 adds BLACKHOLE: ALL ['531'] < ['479']
I1217 13:03:06.352 2431730 flip.py:564] node 530 adds BLACKHOLE: ALL ['530'] < ['479']
I1217 13:03:06.352 2431730 flip.py:564] node 528 adds BLACKHOLE: ALL ['528'] < ['479']
I1217 13:03:06.352 2431730 flip.py:564] node 471 adds BLACKHOLE: ALL ['471'] < ['535']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:03:06.373 2431730 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: 35, dst: 527, path: ['35', '36', '25', '24', '23', '16', '17', '38', '46', '42', '39', '10', '64', '65', '66', '57', '58', '102', '103', '92', '91', '90', '83', '84', '105', '113', '109', '106', '77', '131', '132', '133', '124', '125', '169', '170', '159', '158', '157', '150', '151', '172', '180', '176', '173', '144', '198', '199', '200', '191', '192', '236', '237', '226', '225', '224', '217', '218', '239', '247', '243', '240', '211', '265', '266', '267', '258', '259', '303', '304', '293', '292', '291', '284', '285', '306', '314', '310', '307', '278', '332', '333', '334', '325', '326', '370', '371', '360', '359', '358', '351', '352', '373', '381', '377', '374', '345', '399', '400', '401', '392', '393', '437', '438', '427', '426', '425', '418', '419', '440', '448', '444', '441', '412', '466', '467', '468', '459', '460', '504', '505', '494', '493', '492', '485', '486', '507', '515', '511', '508', '479', '533', '534', '535', '526', '527'], tags: {}> doesn't satisfy any of [['512'], ['525']]
