Version: 1.13 
 _ data/zoo_json_alt_waypoint2/AsnetAm_4.json -f output/flip/data/zoo_json_alt_waypoint2/AsnetAm_4.json.subpaths
Flip subpaths generated in 0.169 seconds!
real 2.62
user 0.91
sys 0.15
<logging.Logger object at 0x7f0e206377d0>
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.456 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.457 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '317', '278', '319'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.458 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '312', '316', '315', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['251', '250', '288', '287', '283', '264', '263', '278', '319'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.459 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '381', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.460 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '376', '380', '379', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '445', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '440', '444', '443', '442', '480', '479', '475', '456', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '509', '470', '455', '504', '508', '507'] is superfluous, discarding it
W1217 13:02:28.461 2624499 flip.py:156] subpath ['319', '310', '313', '314', '352', '351', '347', '328', '327', '342', '383', '374', '377', '378', '416', '415', '411', '392', '391', '406', '447', '438', '441', '442', '480', '479', '475', '456', '455', '504', '508', '507'] 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 75, in initialize
    self.color_dag(self.final)
  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 32 is not green in final graph
