Version: 1.13 
 _ data/zoo_json_cond_enf1/Darkstrand_4.json -f output/flip/data/zoo_json_cond_enf1/Darkstrand_4.json.subpaths
Flip subpaths generated in 0.358 seconds!
real 1.94
user 1.71
sys 0.11
<logging.Logger object at 0x7f15ab30f7d0>
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.297 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '42', '54', '47', '55', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.298 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '71', '68', '69', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '70', '82', '75', '83', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '99', '96', '97', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.299 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '98', '110', '103', '111', '102', '129', '128', '121', '120', '117', '116'] is superfluous, discarding it
W1217 12:43:10.300 2312967 flip.py:156] subpath ['43', '40', '41', '29', '53', '52', '51', '48', '49', '50', '46', '73', '72', '65', '64', '61', '60', '63', '62', '59', '56', '57', '81', '80', '79', '76', '77', '78', '74', '101', '100', '93', '92', '89', '88', '91', '90', '87', '84', '85', '109', '108', '107', '104', '105', '106', '102', '129', '128', '121', '120', '117', '116'] 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 17 is not green in initial graph
