Version: 1.13 
 _ data/zoo_json_alt_waypoint4/DialtelecomCz_3.json -f output/flip/data/zoo_json_alt_waypoint4/DialtelecomCz_3.json.subpaths
Flip subpaths generated in 0.265 seconds!
real 1.61
user 1.54
sys 0.09
<logging.Logger object at 0x7fb6ee26f7d0>
W1217 12:32:46.486 3239583 flip.py:156] subpath ['122', '61', '168', '69', '67', '145', '62', '88', '82', '89', '11', '10', '31', '38', '138', '112', '121', '117', '115', '1', '171', '2', '164', '172', '49', '45', '44', '47', '308', '310', '313', '312', '315', '207', '204', '210', '212', '242', '237', '353', '243', '240', '234', '367', '365', '364', '363', '327', '282', '336', '330', '226', '224', '225', '230', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.486 3239583 flip.py:156] subpath ['122', '61', '168', '69', '67', '145', '62', '88', '82', '89', '11', '10', '31', '38', '138', '112', '121', '117', '115', '1', '171', '2', '164', '172', '49', '45', '44', '47', '308', '309', '306', '245', '352', '253', '251', '329', '246', '272', '266', '273', '195', '194', '215', '222', '322', '296', '305', '301', '299', '185', '355', '186', '348', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.486 3239583 flip.py:156] subpath ['181', '180', '179', '143', '98', '152', '146', '42', '40', '41', '46', '172', '49', '45', '44', '47', '308', '310', '313', '312', '315', '207', '204', '210', '212', '242', '237', '353', '243', '240', '234', '367', '365', '364', '363', '327', '282', '336', '330', '226', '224', '225', '230', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.486 3239583 flip.py:156] subpath ['181', '180', '179', '143', '98', '152', '146', '42', '40', '41', '46', '172', '49', '45', '44', '47', '308', '309', '306', '245', '352', '253', '251', '329', '246', '272', '266', '273', '195', '194', '215', '222', '322', '296', '305', '301', '299', '185', '355', '186', '348', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.486 3239583 flip.py:156] subpath ['164', '172', '49', '45', '44', '47', '308', '310', '313', '312', '315', '207', '204', '210', '212', '242', '237', '353', '243', '240', '234', '367', '365', '364', '363', '327', '282', '336', '330', '226', '224', '225', '230', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.486 3239583 flip.py:156] subpath ['164', '172', '49', '45', '44', '47', '308', '309', '306', '245', '352', '253', '251', '329', '246', '272', '266', '273', '195', '194', '215', '222', '322', '296', '305', '301', '299', '185', '355', '186', '348', '356', '233', '229', '228', '231', '492', '494', '497', '496', '499', '391', '388', '394', '396', '426', '421', '537', '427', '424', '418', '551', '549', '548', '547', '511', '466', '520', '514', '410', '408', '409', '414', '540', '417', '413', '412', '415', '676', '677', '674', '613', '720', '621', '619', '697', '614', '640', '634', '641', '563', '562', '583', '590'] is superfluous, discarding it
W1217 12:32:46.491 3239583 flip.py:156] subpath ['122', '61', '168', '69', '67', '145', '62', '88', '82', '89', '11', '10', '31', '38', '138', '112', '121', '117', '115', '1', '171', '2', '164', '172', '49', '45', '44', '47', '308', '310', '313', '312', '315', '207', '204', '210', '212', '242', '237', '353', '243', '240', '234', '367', '365', '364', '363', '327', '282', '336', '330', '226', '224', '225', '230', '356', '233', '229', '228', '231', '492', '493', '490', '429', '536', '437', '435', '513', '430', '456', '450'] is superfluous, discarding it
W1217 12:32:46.491 3239583 flip.py:156] subpath ['122', '61', '168', '69', '67', '145', '62', '88', '82', '89', '11', '10', '31', '38', '138', '112', '121', '117', '115', '1', '171', '2', '164', '172', '49', '45', '44', '47', '308', '309', '306', '245', '352', '253', '251', '329', '246', '272', '266', '273', '195', '194', '215', '222', '322', '296', '305', '301', '299', '185', '355', '186', '348', '356', '233', '229', '228', '231', '492', '493', '490', '429', '536', '437', '435', '513', '430', '456', '450'] is superfluous, discarding it
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 1374, in compute_sequence
    storage.extract()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1009, in extract
    self.graph.initialize()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 74, in initialize
    self.color_dag(self.initial)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 182, in color_dag
    'source %s is not green in %s graph' %(node, desc))
FLIP.flip.PreconditionFailedError: source 124 is not green in initial graph
