Version: 1.13 
 _ data/zoo_json_cond_enf1/Tw_4.json -f output/flip/data/zoo_json_cond_enf1/Tw_4.json.subpaths
Flip subpaths generated in 1.196 seconds!
real 2.44
user 2.76
sys 0.13
<logging.Logger object at 0x7f857df5f7d0>
W1217 12:43:10.697 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.698 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.699 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.700 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.701 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.702 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.712 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.712 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.712 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.712 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.713 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '161', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.714 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.715 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '188', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.716 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '226', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.717 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.717 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '253', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.717 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '200', '199', '322', '324', '291'] is superfluous, discarding it
W1217 12:43:10.717 2374508 flip.py:156] subpath ['71', '72', '70', '69', '192', '194', '156', '183', '155', '191', '162', '140', '136', '137', '135', '134', '257', '259', '221', '248', '220', '256', '227', '205', '201', '202', '200', '199', '322', '324', '291'] 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 62 is not green in final graph
