Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Garr201005_4.json -f output/flip/data/zoo_json_alt_waypoint4/Garr201005_4.json.subpaths
Flip subpaths generated in 0.402 seconds!
real 1.53
user 1.14
sys 0.09
<logging.Logger object at 0x7fe2e72a77d0>
W1217 12:33:04.903 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.903 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.903 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.903 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.903 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['40', '12', '43', '16', '19', '18', '10', '80', '63', '79', '81', '99', '88', '58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.904 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['58', '90', '62', '93', '66', '69', '68', '60', '130', '113', '129', '131', '149', '138', '108', '140', '112', '143', '116', '119', '118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.905 2962949 flip.py:156] subpath ['118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.906 2962949 flip.py:156] subpath ['118', '110', '180', '163', '179', '181', '199', '188', '158', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.906 2962949 flip.py:156] subpath ['118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] is superfluous, discarding it
W1217 12:33:04.906 2962949 flip.py:156] subpath ['118', '110', '180', '163', '179', '181', '199', '188', '158', '190', '162', '193', '166', '169', '168', '160', '230', '213', '229', '231', '249', '238', '208', '240', '212', '243', '216', '219', '218', '210', '280', '263', '279', '281', '299', '288', '258', '290'] 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 30 is not green in initial graph
